problem set | problems.zip, containing 50 ESs in the WST format |
---|---|
tool | accompll v0.1 with termination tool TTT2 v1.20 and experimental version (TTT2e) |
other tools | MaedMax v1.4, mkbTT v2.2 |
environment | Intel Core i7-7500U CPU (2.70 GHz) with 15.5 GiB memory |
timeout | 60 seconds timeout for each problem |
status | accompll-ttt2 | accompll-ttt2e | maedmax | mkbtt |
---|---|---|---|---|
YES | 16 | 16 | 22 | 35 |
(sec) | 20.84 | 9.27 | 50.57 | 377.13 |
NO | 0 | 0 | 0 | 0 |
(sec) | 0.00 | 0.00 | 0.00 | 0.00 |
MAYBE | 15 | 15 | 0 | 0 |
(sec) | 31.41 | 9.76 | 0.00 | 0.00 |
TIMEOUT | 19 | 19 | 11 | 11 |
(sec) | 1140.00 | 1140.00 | 660.00 | 660.00 |
ERROR | 0 | 0 | 17 | 4 |
(sec) | 0.00 | 0.00 | 41.78 | 15.79 |