Experiments for Left-Linear AC Completion

General Information
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
Summary
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
Individual results
file accompll-muterm accompll-ttt2 accompll-ttt2e maedmax mkbtt mkbtt-muterm
A95_ex4_2_4a.trs Y:2.61 Y:1.71 Y:0.45 Y:0.51 Y:3.03 Y:9.94
A95_ex4_2_4b.trs Y:0.62 Y:1.03 Y:0.32 E:0.02 Y:11.39 Y:15.42
A95_ex4_2_5a.trs T:60.00 T:60.00 T:60.00 E:0.01 Y:0.94 Y:0.94
A95_ex4_2_5b.trs Y:0.07 Y:0.55 Y:0.26 Y:3.18 Y:0.29 Y:0.30
A95_ex4_2_15a.trs Y:0.03 Y:0.28 Y:0.24 Y:0.01 Y:0.18 E:0.11
A95_ex4_2_15b.trs Y:0.08 Y:0.54 Y:0.31 Y:0.02 Y:0.19 E:0.11
JK86.trs T:60.00 T:60.00 T:60.00 E:0.01 Y:0.25 E:0.11
K00_ex5_4_2.trs Y:0.05 Y:0.42 Y:0.30 Y:0.02 Y:0.38 E:0.11
K21_ex1.trs T:60.00 T:60.00 T:60.00 E:0.02 Y:0.16 Y:0.21
K21_ex2.trs T:60.00 T:60.00 T:60.00 Y:0.05 Y:0.47 Y:0.60
K21_ex3.trs T:60.00 T:60.00 T:60.00 Y:0.06 Y:0.19 Y:0.27
L12_ex6_1.trs M:1.19 M:2.09 M:0.48 T:60.00 T:60.00 T:60.00
LS94_G0.trs M:0.54 M:2.17 M:0.52 Y:0.22 Y:0.35 Y:0.39
LS94_G2.trs T:60.00 T:60.00 T:60.00 E:0.01 E:15.58 T:60.00
MU98_binarith1.trs T:60.00 T:60.00 T:60.00 E:0.01 Y:0.96 T:60.00
MU98_binarith1b.trs T:60.00 T:60.00 T:60.00 E:0.01 Y:4.41 T:60.00
MU98_ternary_addition.trs T:60.00 T:60.00 T:60.00 E:0.01 Y:5.26 T:60.00
SK90_ex3_13.trs Y:0.12 Y:0.76 Y:0.32 Y:0.02 Y:0.24 Y:0.32
abelian_groups.trs M:0.04 M:0.21 M:0.30 Y:0.18 Y:0.15 Y:0.11
abelian_groups_comm_action.trs T:60.00 T:60.00 T:60.00 T:60.00 Y:60.02 T:60.00
abelian_groups_homomorphism.trs M:0.07 M:0.58 M:0.29 Y:1.73 Y:2.26 Y:2.73
addition_list_reverse.trs Y:1.22 Y:2.62 Y:0.54 E:0.01 Y:60.03 T:60.00
arithmetic.trs Y:4.68 Y:0.95 Y:0.32 Y:19.30 T:60.00 T:60.00
assoc_comm_ring_unit.trs M:1.56 M:1.73 M:0.37 E:25.75 T:60.00 Y:0.12
assoc_ring_unit.trs M:0.38 M:2.21 M:0.41 E:1.56 E:0.37 T:60.00
bool_ring.trs M:1.52 M:1.64 M:0.40 T:60.00 Y:5.58 Y:3.83
chameleons.trs T:60.00 T:60.00 T:60.00 E:0.17 Y:0.60 T:60.00
cnf.trs Y:0.60 Y:0.78 Y:0.34 Y:3.57 T:60.00 Y:3.29
comm_assoc_ring_homomorphism.trs M:19.50 T:60.00 T:60.00 T:60.00 E:0.64 T:60.00
comm_monoid.trs Y:0.04 Y:0.22 Y:0.27 Y:0.01 Y:0.13 Y:0.12
eh.trs Y:6.97 Y:1.60 Y:0.48 T:60.00 Y:12.77 T:60.00
example10.trs T:60.00 T:60.00 T:60.00 T:60.00 Y:0.23 Y:0.29
example13.trs T:60.00 T:60.00 T:60.00 T:60.00 Y:43.20 T:60.00
exponentiate.trs M:9.58 M:2.18 M:0.53 T:60.00 Y:33.74 T:60.00
height.trs T:60.00 T:60.00 T:60.00 E:0.01 Y:0.57 Y:1.04
hsi.trs M:2.20 M:1.35 M:0.36 T:60.00 T:60.00 T:60.00
ics.trs M:0.04 M:0.21 M:0.24 Y:0.02 Y:0.45 Y:0.34
integers.trs Y:22.14 Y:8.37 Y:5.26 Y:2.61 Y:8.94 T:60.00
integers_2.trs T:60.00 M:17.13 M:7.41 T:60.00 T:60.00 T:60.00
land_ground.trs T:60.00 T:60.00 T:60.00 Y:0.01 Y:0.15 Y:0.28
max.trs T:60.00 T:60.00 T:60.00 E:0.01 T:60.00 T:60.00
multisets_binary.trs T:60.00 T:60.00 T:60.00 E:0.01 T:60.00 Y:57.62
nats.trs Y:0.22 Y:0.96 Y:0.29 Y:0.05 Y:0.36 Y:0.47
nats_div.trs Y:7.18 Y:1.99 Y:0.48 T:60.00 Y:8.94 T:60.00
nats_mul.trs Y:4.39 Y:1.55 Y:0.40 Y:16.15 Y:4.98 T:60.00
ring.trs M:0.28 M:1.66 M:0.35 Y:2.16 Y:21.82 T:60.00
ring_unit.trs M:0.32 M:2.04 M:0.48 Y:2.54 E:0.26 Y:8.43
semilattice.trs M:0.01 M:0.01 M:0.02 Y:0.01 Y:0.46 Y:0.33
semiring.trs M:1.27 M:1.73 M:0.34 E:15.73 T:60.00 Y:4.21
sp.trs Y:1.57 Y:0.96 Y:0.32 Y:0.15 Y:0.44 Y:1.52
strange_addition.trs T:60.00 T:60.00 T:60.00 T:60.00 Y:60.02 Y:0.28
sum.trs T:60.00 T:60.00 T:60.00 E:0.01 T:60.00 T:60.00