| Example | AProVE | 2LS | KITTeL | Juggernaut |
|---|
| c/signed/juggernaut/loop4.c | YES | 3.42 | YES | 0.34 | YES | 0.61 | TIMEOUT | -- |
| c/signed/juggernaut/loop7.c | YES | 2.50 | MAYBE | 0.56 | YES | 0.65 | TIMEOUT | -- |
| c/signed/juggernaut/loop9.c | YES | 2.15 | MAYBE | 0.33 | YES | 0.28 | YES | 3.48 |
| c/signed/juggernaut/loop47.c | MAYBE | 1.80 | MAYBE | 0.31 | YES | 0.70 | YES | 2.83 |
| c/signed/juggernaut/svcomp1.c | YES | 48.01 | YES | 0.31 | YES | 0.18 | TIMEOUT | -- |
| c/signed/juggernaut/svcomp2.c | YES | 6.43 | YES | 0.29 | YES | 0.25 | YES | 2.98 |
| c/signed/juggernaut/svcomp3.c | YES | 8.32 | MAYBE | 7.36 | YES | 2.90 | YES | 239.29 |
| c/signed/juggernaut/svcomp5.c | MAYBE | 2.20 | MAYBE | 0.81 | TIMEOUT | -- | TIMEOUT | -- |
| c/signed/juggernaut/svcomp6.c | YES | 3.38 | YES | 0.30 | TIMEOUT | -- | TIMEOUT | -- |
| c/signed/juggernaut/svcomp7.c | YES | 3.66 | MAYBE | 0.62 | YES | 0.27 | TIMEOUT | -- |
| c/signed/juggernaut/svcomp8.c | YES | 2.84 | YES | 0.83 | YES | 0.28 | TIMEOUT | -- |
| c/signed/juggernaut/svcomp9.c | YES | 2.61 | YES | 0.42 | YES | 0.40 | YES | 21.65 |
| c/signed/juggernaut/svcomp10.c | YES | 2.50 | YES | 0.55 | YES | 1.58 | YES | 14.89 |
| c/signed/juggernaut/svcomp11.c | YES | 5.61 | YES | 0.76 | YES | 5.21 | YES | 20.47 |
| c/signed/juggernaut/svcomp12.c | YES | 6.95 | YES | 0.39 | MAYBE | 154.57 | TIMEOUT | -- |
| c/signed/juggernaut/svcomp13.c | YES | 5.49 | MAYBE | 2.97 | YES | 1.23 | TIMEOUT | -- |
| c/signed/juggernaut/svcomp14.c | TIMEOUT | -- | MAYBE | 1.74 | TIMEOUT | -- | TIMEOUT | -- |
| c/signed/juggernaut/svcomp15.c | YES | 17.16 | MAYBE | 0.46 | TIMEOUT | -- | TIMEOUT | -- |
| c/signed/juggernaut/svcomp16.c | YES | 1.99 | YES | 0.22 | YES | 0.10 | YES | 2.29 |
| c/signed/juggernaut/svcomp17.c | MAYBE | 1.33 | MAYBE | 0.29 | TIMEOUT | -- | TIMEOUT | -- |
| c/signed/juggernaut/svcomp18.c | YES | 20.27 | MAYBE | 1.22 | TIMEOUT | -- | TIMEOUT | -- |
| c/signed/juggernaut/svcomp19.c | YES | 2.86 | YES | 0.23 | YES | 4.57 | MAYBE | 0.63 |
| c/signed/juggernaut/svcomp20.c | YES | 2.71 | MAYBE | 0.70 | MAYBE | 0.03 | MAYBE | 0.66 |
| c/signed/juggernaut/svcomp21.c | YES | 2.45 | YES | 0.18 | YES | 0.93 | MAYBE | 0.63 |
| c/signed/juggernaut/svcomp22.c | YES | 2.20 | YES | 0.18 | YES | 0.16 | MAYBE | 0.63 |
| c/signed/juggernaut/svcomp23.c | YES | 2.08 | YES | 0.18 | YES | 1.64 | MAYBE | 0.63 |
| c/signed/juggernaut/svcomp24.c | TIMEOUT | -- | YES | 0.22 | YES | 1.40 | MAYBE | 0.63 |
| c/signed/juggernaut/svcomp25.c | TIMEOUT | -- | MAYBE | 0.35 | TIMEOUT | -- | TIMEOUT | -- |
| c/signed/juggernaut/svcomp26.c | TIMEOUT | -- | MAYBE | 13.60 | YES | 7.82 | TIMEOUT | -- |
| c/signed/juggernaut/svcomp28.c | TIMEOUT | -- | MAYBE | 2.87 | TIMEOUT | -- | TIMEOUT | -- |
| c/signed/juggernaut/svcomp29.c | YES | 150.50 | MAYBE | 0.30 | YES | 0.30 | TIMEOUT | -- |
| c/signed/juggernaut/svcomp30.c | MAYBE | 2.22 | MAYBE | 0.25 | MAYBE | 143.09 | MAYBE | 0.66 |
| c/signed/juggernaut/svcomp31.c | TIMEOUT | -- | MAYBE | 0.25 | TIMEOUT | -- | MAYBE | 0.67 |
| c/signed/juggernaut/svcomp32.c | YES | 2.01 | MAYBE | 0.23 | TIMEOUT | -- | MAYBE | 0.65 |
| c/signed/juggernaut/svcomp33.c | MAYBE | 2.30 | YES | 0.31 | YES | 0.91 | MAYBE | 0.63 |
| c/signed/juggernaut/svcomp34.c | YES | 5.37 | MAYBE | 0.23 | TIMEOUT | -- | MAYBE | 0.67 |
| c/signed/juggernaut/svcomp35.c | TIMEOUT | -- | MAYBE | 0.25 | TIMEOUT | -- | MAYBE | 0.64 |
| c/signed/juggernaut/svcomp36.c | YES | 2.72 | MAYBE | 0.21 | MAYBE | 193.10 | MAYBE | 0.65 |
| c/signed/juggernaut/svcomp37.c | TIMEOUT | -- | MAYBE | 1.61 | TIMEOUT | -- | YES | 30.79 |
| c/signed/juggernaut/svcomp38.c | YES | 7.04 | MAYBE | 0.31 | TIMEOUT | -- | TIMEOUT | -- |
| c/signed/juggernaut/svcomp39.c | YES | 2.91 | MAYBE | 0.27 | TIMEOUT | -- | TIMEOUT | -- |
| c/signed/juggernaut/svcomp40.c | YES | 2.11 | YES | 0.30 | TIMEOUT | -- | TIMEOUT | -- |
| c/signed/juggernaut/svcomp41.c | YES | 1.98 | YES | 0.27 | TIMEOUT | -- | TIMEOUT | -- |
| c/signed/juggernaut/svcomp42.c | YES | 4.90 | MAYBE | 0.33 | YES | 13.92 | TIMEOUT | -- |
| c/signed/wdk-signed-overflow/allocsup.c | YES | 8.38 | YES | 0.71 | TIMEOUT | -- | MAYBE | 0.65 |
| c/signed/wdk-signed-overflow/common.c | MAYBE | 1.27 | YES | 0.70 | YES | 0.45 | MAYBE | 0.65 |
| c/signed/wdk-signed-overflow/csynth.c | TIMEOUT | -- | MAYBE | 0.23 | YES | 0.29 | TIMEOUT | -- |
| c/signed/wdk-signed-overflow/csynth2.c | MAYBE | 117.03 | YES | 0.19 | YES | 0.21 | MAYBE | 0.65 |
| c/signed/wdk-signed-overflow/detect.c | YES | 2.28 | MAYBE | 0.35 | YES | 1.50 | MAYBE | 0.63 |
| c/signed/wdk-signed-overflow/eeprom2.c | MAYBE | 1.34 | YES | 0.23 | TIMEOUT | -- | YES | 2.53 |
| c/signed/wdk-signed-overflow/ioctl.c | MAYBE | 1.31 | YES | 0.32 | TIMEOUT | -- | MAYBE | 0.65 |
| c/signed/wdk-signed-overflow/testapp.c | YES | 1.97 | MAYBE | 0.35 | TIMEOUT | -- | MAYBE | 0.64 |