problem set | problems.zip, containing 52 ESs in the WST format |
---|---|
tool | accompll v0.1.1 with termination tool TTT2 v1.20, its experimental version (TTT2e) and muterm 5.0 |
other tools | MaedMax v1.4, mkbTT v2.2 and mkbTT v2.1 with muterm 5.0 |
environment | Intel Core i7-7500U CPU (2.70 GHz) and 15.5 GiB memory |
timeout | 60 seconds timeout for each problem |
status | accompll-muterm | accompll-ttt2 | accompll-ttt2e | maedmax | mkbtt | mkbtt-muterm |
---|---|---|---|---|---|---|
YES | 17 | 17 | 17 | 23 | 38 | 26 |
(sec) | 52.63 | 25.34 | 10.90 | 52.59 | 354.52 | 113.42 |
NO | 0 | 0 | 0 | 0 | 0 | 0 |
(sec) | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
MAYBE | 15 | 15 | 15 | 0 | 0 | 0 |
(sec) | 38.54 | 36.99 | 12.49 | 0.00 | 0.00 | 0.00 |
TIMEOUT | 20 | 20 | 20 | 12 | 10 | 22 |
(sec) | 1200.00 | 1200.00 | 1200.00 | 720.00 | 600.00 | 1320.00 |
ERROR | 0 | 0 | 0 | 17 | 4 | 4 |
(sec) | 0.00 | 0.00 | 0.00 | 43.35 | 16.84 | 0.44 |