| Tool | YES | NO | MAYBE | TIMEOUT |
|---|---|---|---|---|
| Induction Technique & Loop Detection | 0 | 100 [1.55] | 908 [5.40] | 74 |
| Induction Technique & Loop Detection & Improvements | 0 | 100 [1.50] | 913 [5.26] | 69 |
| TCT2 | 373 [35.75] | 0 | 549 [229.68] | 160 |
| TCT3 | 386 [52.19] | 0 | 675 [157.82] | 21 |
| AProVE | 411 [20.33] | 0 | 137 [30.12] | 534 |