| Example | AProVE | 2LS | KITTeL | Juggernaut | Ultimate |
|---|
| 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/svcomp3.c | YES | 8.32 | MAYBE | 7.36 | YES | 2.90 | YES | 239.29 | -- | -- |
| c/signed/juggernaut/svcomp7.c | YES | 3.66 | MAYBE | 0.62 | YES | 0.27 | TIMEOUT | -- | -- | -- |
| c/signed/juggernaut/svcomp18.c | YES | 20.27 | MAYBE | 1.22 | TIMEOUT | -- | TIMEOUT | -- | -- | -- |
| c/signed/wdk-signed-overflow/detect.c | YES | 2.28 | MAYBE | 0.35 | YES | 1.50 | MAYBE | 0.63 | -- | -- |
| c/signed/wdk-signed-overflow/testapp.c | YES | 1.97 | MAYBE | 0.35 | TIMEOUT | -- | MAYBE | 0.64 | -- | -- |
| c/unsigned/juggernaut/loop10.c | YES | 1.78 | MAYBE | 0.33 | YES | 0.24 | YES | 2.55 | MAYBE | 47.32 |
| 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/i.c | YES | 7.87 | MAYBE | 2.68 | YES | 30.50 | TIMEOUT | -- | MAYBE | 53.04 |
| 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/mp_dbg.c | YES | 1.99 | YES | 0.27 | TIMEOUT | -- | YES | 2.15 | MAYBE | 52.32 |
| c/unsigned/wdk-no-signed-overflow/swap.c | YES | 23.66 | MAYBE | 0.40 | TIMEOUT | -- | TIMEOUT | -- | MAYBE | 48.89 |