| Example | AProVE | 2LS | KITTeL | Juggernaut | Ultimate |
|---|
| c/unsigned/juggernaut/loop1.c | YES | 1.80 | YES | 0.23 | YES | 2.26 | YES | 2.55 | MAYBE | 47.73 |
| c/unsigned/juggernaut/loop2.c | YES | 1.81 | YES | 0.19 | YES | 1.84 | YES | 2.78 | MAYBE | 52.05 |
| c/unsigned/juggernaut/loop3.c | YES | 1.82 | YES | 0.21 | YES | 0.74 | YES | 3.77 | MAYBE | 51.83 |
| c/unsigned/juggernaut/loop5.c | YES | 2.89 | YES | 0.28 | YES | 0.55 | TIMEOUT | -- | MAYBE | 1.96 |
| c/unsigned/juggernaut/loop6.c | YES | 1.51 | YES | 0.17 | TIMEOUT | -- | YES | 2.36 | MAYBE | 2.53 |
| c/unsigned/juggernaut/loop10.c | YES | 1.78 | MAYBE | 0.33 | YES | 0.24 | YES | 2.55 | MAYBE | 47.32 |
| c/unsigned/juggernaut/loop43.c | YES | 1.90 | MAYBE | 0.27 | YES | 0.77 | YES | 3.93 | YES | 3.21 |
| c/unsigned/juggernaut/loop45.c | YES | 2.52 | YES | 0.44 | YES | 2.19 | YES | 13.61 | YES | 3.29 |
| c/unsigned/juggernaut/loop46.c | YES | 1.98 | MAYBE | 0.29 | YES | 6.14 | YES | 3.05 | MAYBE | 89.20 |
| c/unsigned/juggernaut/loop48.c | YES | 1.78 | YES | 0.23 | YES | 0.10 | YES | 3.36 | YES | 2.83 |
| c/unsigned/juggernaut-paper/a.c | YES | 1.75 | YES | 0.22 | TIMEOUT | -- | YES | 17.44 | MAYBE | 2.53 |
| c/unsigned/juggernaut-paper/c.c | YES | 1.90 | MAYBE | 0.36 | YES | 0.18 | YES | 3.03 | MAYBE | 51.90 |
| c/unsigned/juggernaut-paper/g.c | YES | 2.48 | YES | 0.21 | YES | 0.22 | YES | 17.21 | MAYBE | 51.96 |
| c/unsigned/juggernaut-paper/h.c | YES | 2.45 | YES | 0.27 | YES | 0.22 | TIMEOUT | -- | MAYBE | 51.86 |
| c/unsigned/juggernaut-paper/i.c | YES | 7.87 | MAYBE | 2.68 | YES | 30.50 | TIMEOUT | -- | MAYBE | 53.04 |
| c/unsigned/mult/m01.c | YES | 41.93 | MAYBE | 0.30 | TIMEOUT | -- | YES | 22.48 | MAYBE | 51.84 |
| c/unsigned/mult/m02.c | YES | 42.15 | MAYBE | 0.25 | TIMEOUT | -- | MAYBE | 0.66 | MAYBE | 56.73 |
| c/unsigned/mult/m03.c | YES | 11.31 | YES | 0.25 | TIMEOUT | -- | YES | 19.52 | MAYBE | 52.82 |
| c/unsigned/mult/m04.c | YES | 3.25 | MAYBE | 0.39 | MAYBE | 281.84 | TIMEOUT | -- | MAYBE | 58.55 |
| c/unsigned/pointer/p01.c | YES | 1.30 | MAYBE | 0.18 | TIMEOUT | -- | MAYBE | 0.62 | YES | 3.21 |
| c/unsigned/pointer/p02.c | YES | 1.34 | MAYBE | 0.18 | TIMEOUT | -- | MAYBE | 0.61 | YES | 3.36 |
| c/unsigned/pointer/p03.c | YES | 1.30 | MAYBE | 0.18 | MAYBE | 0.09 | MAYBE | 0.62 | MAYBE | 5.22 |
| c/unsigned/pointer/p04.c | YES | 1.50 | MAYBE | 0.18 | TIMEOUT | -- | MAYBE | 0.68 | YES | 3.45 |
| c/unsigned/wdk-no-signed-overflow/allocsup1.c | YES | 1.59 | YES | 0.67 | TIMEOUT | -- | YES | 2.36 | MAYBE | 2.28 |
| c/unsigned/wdk-no-signed-overflow/buspdo.c | MAYBE | 10.93 | MAYBE | 0.67 | TIMEOUT | -- | MAYBE | 0.61 | MAYBE | 1.78 |
| c/unsigned/wdk-no-signed-overflow/cachesup.c | YES | 1.97 | YES | 0.29 | YES | 0.75 | MAYBE | 0.89 | MAYBE | 65.05 |
| c/unsigned/wdk-no-signed-overflow/cddata.c | YES | 1.87 | YES | 0.52 | YES | 1.45 | TIMEOUT | -- | MAYBE | 52.37 |
| c/unsigned/wdk-no-signed-overflow/comm.c | YES | 1.95 | YES | 0.27 | YES | 3.59 | TIMEOUT | -- | MAYBE | 1.87 |
| c/unsigned/wdk-no-signed-overflow/cseries.c | YES | 1.89 | YES | 0.21 | YES | 0.10 | TIMEOUT | -- | YES | 42.33 |
| c/unsigned/wdk-no-signed-overflow/cvsndrcv.c | YES | 17.01 | MAYBE | 1.55 | TIMEOUT | -- | MAYBE | 0.87 | YES | 3.80 |
| c/unsigned/wdk-no-signed-overflow/easup.c | YES | 3.09 | YES | 0.50 | TIMEOUT | -- | MAYBE | 1.19 | MAYBE | 1.79 |
| c/unsigned/wdk-no-signed-overflow/eeprom.c | YES | 5.97 | YES | 0.21 | TIMEOUT | -- | MAYBE | 1.54 | MAYBE | 7.96 |
| c/unsigned/wdk-no-signed-overflow/firefly.c | TIMEOUT | -- | YES | 0.45 | TIMEOUT | -- | TIMEOUT | -- | TIMEOUT | -- |
| c/unsigned/wdk-no-signed-overflow/gart.c | YES | 3.18 | YES | 0.32 | YES | 4.65 | MAYBE | 1.55 | MAYBE | 53.27 |
| c/unsigned/wdk-no-signed-overflow/gsm610.c | YES | 2.79 | YES | 0.26 | YES | 0.64 | TIMEOUT | -- | MAYBE | 228.51 |
| c/unsigned/wdk-no-signed-overflow/gsm6102.c | YES | 1.96 | MAYBE | 1.62 | TIMEOUT | -- | TIMEOUT | -- | MAYBE | 2.26 |
| c/unsigned/wdk-no-signed-overflow/gsm6103.c | YES | 2.25 | MAYBE | 0.49 | TIMEOUT | -- | TIMEOUT | -- | MAYBE | 2.25 |
| c/unsigned/wdk-no-signed-overflow/hw_ccmp.c | YES | 1.80 | YES | 0.19 | TIMEOUT | -- | TIMEOUT | -- | MAYBE | 6.53 |
| c/unsigned/wdk-no-signed-overflow/hwsim.c | YES | 9.37 | YES | 0.44 | TIMEOUT | -- | MAYBE | 0.88 | MAYBE | 53.97 |
| c/unsigned/wdk-no-signed-overflow/imaadpcm.c | TIMEOUT | -- | MAYBE | 0.33 | TIMEOUT | -- | TIMEOUT | -- | MAYBE | 52.23 |
| c/unsigned/wdk-no-signed-overflow/image.c | YES | 42.72 | YES | 0.33 | MAYBE | 0.02 | MAYBE | 0.90 | MAYBE | 53.39 |
| c/unsigned/wdk-no-signed-overflow/init.c | YES | 1.54 | YES | 0.18 | TIMEOUT | -- | YES | 2.29 | MAYBE | 2.48 |
| c/unsigned/wdk-no-signed-overflow/intrface.c | YES | 2.21 | YES | 0.83 | TIMEOUT | -- | YES | 2.29 | MAYBE | 2.88 |
| c/unsigned/wdk-no-signed-overflow/io.c | YES | 2.37 | YES | 0.55 | YES | 0.53 | MAYBE | 0.87 | MAYBE | 144.27 |
| c/unsigned/wdk-no-signed-overflow/isochapi.c | YES | 15.78 | YES | 0.30 | YES | 243.65 | MAYBE | 0.96 | MAYBE | 53.67 |
| c/unsigned/wdk-no-signed-overflow/miniport.c | YES | 2.10 | YES | 0.51 | TIMEOUT | -- | MAYBE | 0.61 | MAYBE | 3.01 |
| c/unsigned/wdk-no-signed-overflow/miniport2.c | YES | 2.36 | YES | 0.27 | YES | 0.29 | MAYBE | 0.63 | MAYBE | 13.94 |
| c/unsigned/wdk-no-signed-overflow/moudep.c | YES | 2.40 | YES | 0.22 | YES | 1.09 | MAYBE | 0.87 | MAYBE | 53.07 |
| c/unsigned/wdk-no-signed-overflow/mp_dbg.c | YES | 1.99 | YES | 0.27 | TIMEOUT | -- | YES | 2.15 | MAYBE | 52.32 |
| c/unsigned/wdk-no-signed-overflow/mp_util.c | MAYBE | 2.33 | MAYBE | 1.13 | TIMEOUT | -- | MAYBE | 0.62 | MAYBE | 15.57 |
| c/unsigned/wdk-no-signed-overflow/mpu.c | YES | 2.41 | YES | 0.50 | YES | 142.81 | MAYBE | 0.91 | MAYBE | 53.22 |
| c/unsigned/wdk-no-signed-overflow/namelookup.c | YES | 1.87 | YES | 0.23 | YES | 2.64 | MAYBE | 0.86 | MAYBE | 52.28 |
| c/unsigned/wdk-no-signed-overflow/namesup.c | MAYBE | 7.04 | MAYBE | 1.21 | TIMEOUT | -- | MAYBE | 0.62 | MAYBE | 107.20 |
| c/unsigned/wdk-no-signed-overflow/namesup2.c | YES | 1.52 | YES | 0.50 | TIMEOUT | -- | YES | 2.28 | MAYBE | 51.51 |
| c/unsigned/wdk-no-signed-overflow/nic_init.c | YES | 1.65 | YES | 0.21 | YES | 0.10 | TIMEOUT | -- | YES | 3.09 |
| c/unsigned/wdk-no-signed-overflow/notify.c | YES | 1.86 | YES | 0.26 | YES | 0.22 | YES | 2.32 | MAYBE | 52.58 |
| c/unsigned/wdk-no-signed-overflow/physet.c | YES | 1.80 | YES | 0.20 | YES | 0.21 | TIMEOUT | -- | MAYBE | 4.83 |
| c/unsigned/wdk-no-signed-overflow/queue.c | YES | 1.84 | YES | 0.47 | YES | 0.15 | YES | 2.99 | YES | 2.74 |
| c/unsigned/wdk-no-signed-overflow/rtstream.c | YES | 2.00 | YES | 0.30 | YES | 0.23 | MAYBE | 0.87 | MAYBE | 53.12 |
| c/unsigned/wdk-no-signed-overflow/S5933DK1.c | YES | 2.47 | YES | 0.26 | TIMEOUT | -- | YES | 2.62 | MAYBE | 166.06 |
| c/unsigned/wdk-no-signed-overflow/smbxchng.c | YES | 2.88 | MAYBE | 0.51 | YES | 1.11 | MAYBE | 0.89 | YES | 69.12 |
| c/unsigned/wdk-no-signed-overflow/st_aplst.c | YES | 5.19 | YES | 0.36 | TIMEOUT | -- | TIMEOUT | -- | MAYBE | 70.18 |
| c/unsigned/wdk-no-signed-overflow/st_misc.c | YES | 14.44 | YES | 0.50 | TIMEOUT | -- | MAYBE | 0.91 | MAYBE | 1.96 |
| c/unsigned/wdk-no-signed-overflow/swap.c | YES | 23.66 | MAYBE | 0.40 | TIMEOUT | -- | TIMEOUT | -- | MAYBE | 48.89 |
| c/unsigned/wdk-no-signed-overflow/TpiParam.c | YES | 2.65 | YES | 0.22 | YES | 13.14 | TIMEOUT | -- | MAYBE | 54.08 |
| c/unsigned/wdk-no-signed-overflow/write.c | YES | 1.85 | YES | 0.38 | YES | 4.37 | MAYBE | 0.88 | MAYBE | 52.18 |