Experiments for Left-Linear AC Completion

General Information
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
Summary
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
Individual results
file accompll-ttt2 accompll-ttt2e maedmax mkbtt
A95_ex4_2_4a.trs Y:1.65 Y:0.40 Y:0.38 Y:2.98
A95_ex4_2_4b.trs Y:0.98 Y:0.29 E:0.01 Y:11.13
A95_ex4_2_5a.trs T:60.00 T:60.00 E:0.01 Y:0.90
A95_ex4_2_5b.trs Y:0.48 Y:0.23 Y:2.56 Y:0.28
A95_ex4_2_15a.trs Y:0.17 Y:0.26 Y:0.01 Y:0.18
A95_ex4_2_15b.trs Y:0.48 Y:0.24 Y:0.01 Y:0.19
JK86.trs T:60.00 T:60.00 E:0.01 Y:0.24
K00_ex5_4_2.trs Y:0.36 Y:0.26 Y:0.01 Y:0.37
K21_ex1.trs T:60.00 T:60.00 E:0.01 Y:0.15
K21_ex2.trs T:60.00 T:60.00 Y:0.04 Y:0.44
K21_ex3.trs T:60.00 T:60.00 Y:0.05 Y:0.18
L12_ex6_1.trs M:1.81 M:0.37 T:60.00 T:60.00
LS94_G0.trs M:1.82 M:0.40 Y:0.20 Y:0.33
LS94_G2.trs T:60.00 T:60.00 E:0.01 E:14.66
MU98_binarith1.trs T:60.00 T:60.00 E:0.01 Y:0.72
MU98_binarith1b.trs T:60.00 T:60.00 E:0.01 Y:3.95
MU98_ternary_addition.trs T:60.00 T:60.00 E:0.01 Y:4.77
SK90_ex3_13.trs Y:0.65 Y:0.25 Y:0.01 Y:0.22
abelian_groups.trs M:0.17 M:0.20 Y:0.16 Y:0.14
abelian_groups_comm_action.trs T:60.00 T:60.00 T:60.00 Y:60.05
abelian_groups_homomorphism.trs M:0.49 M:0.25 Y:1.57 Y:2.05
addition_list_reverse.trs Y:2.28 Y:0.44 E:0.01 Y:60.03
arithmetic.trs Y:0.85 Y:0.28 Y:18.78 T:60.00
assoc_comm_ring_unit.trs M:1.50 M:0.32 E:24.79 T:60.00
assoc_ring_unit.trs M:1.94 M:0.36 E:1.48 E:0.29
bool_ring.trs M:1.44 M:0.29 T:60.00 Y:4.41
chameleons.trs T:60.00 T:60.00 E:0.16 Y:0.43
cnf.trs Y:0.66 Y:0.26 Y:3.40 T:60.00
comm_assoc_ring_homomorphism.trs T:60.00 T:60.00 T:60.00 E:0.59
comm_monoid.trs Y:0.19 Y:0.22 Y:0.01 Y:0.12
example10.trs T:60.00 T:60.00 T:60.00 Y:0.22
example13.trs T:60.00 T:60.00 T:60.00 Y:38.32
exponentiate.trs M:1.86 M:0.42 T:60.00 Y:31.92
height.trs T:60.00 T:60.00 E:0.01 Y:0.52
hsi.trs M:1.16 M:0.32 T:60.00 T:60.00
ics.trs M:0.25 M:0.32 Y:0.02 Y:0.42
integers.trs Y:7.28 Y:4.76 Y:2.53 Y:8.15
integers_2.trs M:14.22 M:5.40 T:60.00 T:60.00
max.trs T:60.00 T:60.00 E:0.01 T:60.00
multisets_binary.trs T:60.00 T:60.00 E:0.01 T:60.00
nats.trs Y:0.81 Y:0.28 Y:0.04 Y:0.45
nats_div.trs Y:1.74 Y:0.42 T:60.00 Y:60.06
nats_mul.trs Y:1.38 Y:0.38 Y:16.20 T:60.00
ring.trs M:1.48 M:0.34 Y:2.04 Y:21.92
ring_unit.trs M:1.78 M:0.37 Y:2.38 E:0.25
semilattice.trs M:0.01 M:0.02 Y:0.01 Y:0.45
semiring.trs M:1.44 M:0.36 E:15.24 T:60.00
sp.trs Y:0.83 Y:0.31 Y:0.14 Y:0.43
strange_addition.trs T:60.00 T:60.00 T:60.00 Y:60.02
sum.trs T:60.00 T:60.00 E:0.01 T:60.00