Statistics
| Tool[ttt2] | # (% of total) | time (avg.) sec | |
|---|---|---|---|
| yes | 277 ( 37) | 760.12 (2.74) | |
| no | 97 ( 13) | 1126.09 (11.61) | |
| maybe | 358 ( 48) | 21152.56 (59.09) | |
| timeout | 0 ( 0) | - | |
| error | 0 ( 0) | - | |
| total | 732 | 23038.77 | |
| Certifier[CeTA] | # (% of total) | time (avg.) sec | proof-size (avg.) KB |
| accepted | 97 (100) | 2.42 (0.02) | 245.23 (2.53) |
| rejected | 0 ( 0) | - | 0.00 (0.00) |
| timeout | 0 ( 0) | - | 0.00 (0.00) |
| total | 97 | 2.42 | 245.23 (2.53) |