| Example | AProVE | 2LS | KITTeL | Juggernaut | Ultimate |
|---|
| c/unsigned/juggernaut/loop6.c | YES | 1.51 | YES | 0.17 | TIMEOUT | -- | YES | 2.36 | MAYBE | 2.53 |
| c/unsigned/juggernaut-paper/a.c | YES | 1.75 | YES | 0.22 | TIMEOUT | -- | YES | 17.44 | MAYBE | 2.53 |
| 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/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/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 |