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 |