Algorithm
Order
Tr.
Y
F
TO
Thm. 12
POLO-filter
no
0
19 [3.3]
5
Thm. 26
POLO-filter
no
24 [6.3]
0
0
Example
Thm. 12, POLO-filter, no
Thm. 26, POLO-filter, no
JAR_INN/TRS/higher-order/Bird/BTreeMember.trs
MAYBE
1.71
YES
1.61
JAR_INN/TRS/currying/D33/18.trs
MAYBE
0.91
YES
0.88
JAR_INN/TRS/AG01/#3.18.trs
MAYBE
1.84
YES
1.25
JAR_INN/TRS/AG01/#3.19.trs
MAYBE
1.35
YES
1.25
JAR_INN/TRS/AProVE/IJCAR_18.trs
KILLED
60.00
YES
1.24
JAR_INN/TRS/AProVE/improved_usable.trs
MAYBE
0.88
YES
0.83
JAR_INN/TRS/AProVE/rta1.trs
MAYBE
1.75
YES
1.30
JAR_INN/TRS/Cime/big.trs
MAYBE
13.49
YES
5.87
JAR_INN/TRS/Cime/list-sum-prod-assoc-append.trs
MAYBE
3.23
YES
1.51
JAR_INN/TRS/Cime/list-sum-prod-assoc.trs
MAYBE
1.46
YES
1.19
JAR_INN/TRS/Cime/list-sum-prod-bin-assoc-distr-app.trs
MAYBE
2.65
YES
2.18
JAR_INN/TRS/Cime/mucrl1.trs
KILLED
60.00
YES
37.48
JAR_INN/TRS/Cime/ternary-hard.trs
MAYBE
3.32
YES
3.11
JAR_INN/TRS/SK90/2.23.trs
MAYBE
1.08
YES
0.88
JAR_INN/TRS/SK90/2.34.trs
MAYBE
1.40
YES
0.99
JAR_INN/TRS/SK90/2.51.trs
MAYBE
1.33
YES
0.99
JAR_INN/TRS/SK90/2.52.trs
MAYBE
1.65
YES
1.62
JAR_INN/TRS/SK90/4.24.trs
MAYBE
4.15
YES
1.50
JAR_INN/TRS/SK90/4.42.trs
MAYBE
3.96
YES
1.40
JAR_INN/TRS/TRCSR/Ex2_Luc03b_GM.trs
KILLED
60.00
YES
14.67
JAR_INN/TRS/TRCSR/Ex3_3_25_Bor03_GM.trs
KILLED
60.00
YES
48.82
JAR_INN/TRS/TRCSR/Ex4_Zan97_FR.trs
MAYBE
11.66
YES
2.39
JAR_INN/TRS/TRCSR/Ex4_Zan97_Z.trs
MAYBE
4.99
YES
1.22
JAR_INN/TRS/TRCSR/Ex9_BLR02_Z.trs
KILLED
60.00
YES
16.90