Algorithm
Order
Tr.
Y
F
TO
Thm. 26
POLO-7.1+7.2
lim
6 [4.1]
6 [2.4]
168
Thm. 26
POLO-7.1+7.2
safe
100 [4.5]
79 [16.0]
1
Example
Thm. 26, POLO-7.1+7.2, lim
Thm. 26, POLO-7.1+7.2, safe
JAR_INN/TRS/various/23.trs
KILLED
60.00
YES
0.95
JAR_INN/TRS/secret2005/tpa5.trs
KILLED
60.00
MAYBE
5.83
JAR_INN/TRS/various/12.trs
KILLED
60.00
YES
1.66
JAR_INN/TRS/various/14.trs
KILLED
60.00
YES
9.23
JAR_INN/TRS/various/13.trs
KILLED
60.00
YES
2.83
JAR_INN/TRS/secret2005/aprove5.trs
KILLED
60.00
MAYBE
1.48
JAR_INN/TRS/nontermin/cariboo/tricky1.trs
YES
0.80
MAYBE
1.17
JAR_INN/TRS/secret2005/cime1.trs
KILLED
60.00
MAYBE
16.77
JAR_INN/TRS/secret2005/cime2.trs
KILLED
60.00
YES
1.65
JAR_INN/TRS/secret2005/tpa1.trs
KILLED
60.00
MAYBE
8.08
JAR_INN/TRS/nontermin/CSR/ExIntrod_GM99.trs
KILLED
60.00
MAYBE
2.41
JAR_INN/TRS/nontermin/AG01/#4.35.trs
KILLED
60.00
YES
5.41
JAR_INN/TRS/higher-order/Kusakari/Ex7_9.trs
MAYBE
1.74
KILLED
60.00
JAR_INN/TRS/higher-order/AotoYam/Ex1SimplyTyped.trs
KILLED
60.00
MAYBE
9.77
JAR_INN/TRS/higher-order/Lifantsev/Ex3Lists.trs
KILLED
60.00
MAYBE
48.30
JAR_INN/TRS/higher-order/ToyamaRTA04/Ex4Filter.trs
KILLED
60.00
MAYBE
47.27
JAR_INN/TRS/higher-order/ToyamaRTA04/Ex6Recursor.trs
KILLED
60.00
MAYBE
1.55
JAR_INN/TRS/higher-order/AotoYam/027.trs
KILLED
60.00
MAYBE
11.15
JAR_INN/TRS/higher-order/AotoYam/028.trs
KILLED
60.00
MAYBE
13.18
JAR_INN/TRS/higher-order/Bird/BTreeMember.trs
KILLED
60.00
YES
5.43
JAR_INN/TRS/higher-order/Bird/TreeFlatten.trs
KILLED
60.00
MAYBE
39.98
JAR_INN/TRS/higher-order/Bird/TreeMap.trs
KILLED
60.00
MAYBE
19.14
JAR_INN/TRS/higher-order/Bird/TreeSize.trs
KILLED
60.00
MAYBE
24.16
JAR_INN/TRS/higher-order/AotoYam/007.trs
KILLED
60.00
MAYBE
7.82
JAR_INN/TRS/currying/D33/06.trs
MAYBE
0.96
YES
0.80
JAR_INN/TRS/higher-order/AotoYam/011.trs
KILLED
60.00
MAYBE
29.33
JAR_INN/TRS/higher-order/AotoYam/013.trs
KILLED
60.00
MAYBE
9.80
JAR_INN/TRS/higher-order/AotoYam/014.trs
KILLED
60.00
MAYBE
22.59
JAR_INN/TRS/higher-order/AotoYam/015.trs
KILLED
60.00
MAYBE
47.50
JAR_INN/TRS/higher-order/AotoYam/016.trs
KILLED
60.00
MAYBE
15.11
JAR_INN/TRS/higher-order/AotoYam/019.trs
MAYBE
1.06
YES
0.85
JAR_INN/TRS/higher-order/AotoYam/021.trs
KILLED
60.00
MAYBE
38.06
JAR_INN/TRS/higher-order/AotoYam/026.trs
KILLED
60.00
MAYBE
17.16
JAR_INN/TRS/currying/D33/08.trs
KILLED
60.00
YES
5.73
JAR_INN/TRS/higher-order/AProVE_HO/TypeEx3.trs
KILLED
60.00
MAYBE
12.08
JAR_INN/TRS/higher-order/AProVE_HO/mapDivMinus.trs
KILLED
60.00
MAYBE
19.75
JAR_INN/TRS/higher-order/AProVE_HO/mapDivMinusHard.trs
KILLED
60.00
MAYBE
27.95
JAR_INN/TRS/higher-order/AotoYam/002.trs
KILLED
60.00
MAYBE
4.66
JAR_INN/TRS/higher-order/AotoYam/006.trs
KILLED
60.00
YES
39.49
JAR_INN/TRS/currying/D33/13.trs
KILLED
60.00
MAYBE
2.24
JAR_INN/TRS/currying/D33/21.trs
KILLED
60.00
MAYBE
2.00
JAR_INN/TRS/currying/D33/29.trs
KILLED
60.00
MAYBE
1.48
JAR_INN/TRS/currying/D33/30.trs
KILLED
60.00
MAYBE
7.66
JAR_INN/TRS/currying/D33/31.trs
KILLED
60.00
MAYBE
2.05
JAR_INN/TRS/currying/D33/33.trs
KILLED
60.00
MAYBE
3.87
JAR_INN/TRS/currying/AG01/#3.22.trs
KILLED
60.00
MAYBE
1.53
JAR_INN/TRS/currying/AG01/#3.36.trs
KILLED
60.00
MAYBE
4.39
JAR_INN/TRS/Zantema/z26.trs
MAYBE
9.25
YES
1.27
JAR_INN/TRS/currying/AG01/#3.57.trs
KILLED
60.00
MAYBE
7.46
JAR_INN/TRS/Zantema/z20.trs
KILLED
60.00
MAYBE
1.67
JAR_INN/TRS/Zantema/z27.trs
KILLED
60.00
MAYBE
2.18
JAR_INN/TRS/Zantema/z30.trs
KILLED
60.00
MAYBE
1.92
JAR_INN/TRS/Zantema/jw37.trs
YES
1.17
MAYBE
0.97
JAR_INN/TRS/Zantema/jw38.trs
YES
1.17
MAYBE
1.06
JAR_INN/TRS/Zantema/z10.trs
KILLED
60.00
MAYBE
15.78
JAR_INN/TRS/Zantema/z11.trs
MAYBE
0.87
YES
1.11
JAR_INN/TRS/Zantema/z12.trs
KILLED
60.00
MAYBE
14.40
JAR_INN/TRS/Zantema/z13.trs
KILLED
60.00
MAYBE
49.87
JAR_INN/TRS/Zantema/z14.trs
KILLED
60.00
MAYBE
3.19
JAR_INN/TRS/Zantema/z15.trs
KILLED
60.00
MAYBE
57.75
JAR_INN/TRS/Zantema/z16.trs
KILLED
60.00
MAYBE
47.21
JAR_INN/TRS/Zantema/z17.trs
KILLED
60.00
MAYBE
57.53
JAR_INN/TRS/Zantema/z18.trs
KILLED
60.00
MAYBE
57.22
JAR_INN/TRS/TRCSR/ExSec11_1_Luc02a_FR.trs
KILLED
60.00
YES
1.46
JAR_INN/TRS/Zantema/jw11.trs
YES
1.22
MAYBE
0.98
JAR_INN/TRS/Zantema/jw12.trs
YES
1.17
MAYBE
0.98
JAR_INN/TRS/TRCSR/ExIntrod_GM99_FR.trs
KILLED
60.00
YES
2.78
JAR_INN/TRS/TRCSR/ExIntrod_Zan97_FR.trs
KILLED
60.00
YES
2.45
JAR_INN/TRS/TRCSR/ExIntrod_GM04_GM.trs
KILLED
60.00
YES
2.66
JAR_INN/TRS/TRCSR/Ex8_BLR02_FR.trs
KILLED
60.00
YES
1.36
JAR_INN/TRS/AG01/#3.13.trs
KILLED
60.00
YES
1.89
JAR_INN/TRS/AG01/#3.15.trs
KILLED
60.00
YES
0.91
JAR_INN/TRS/AG01/#3.16.trs
KILLED
60.00
YES
0.82
JAR_INN/TRS/AG01/#3.19.trs
KILLED
60.00
YES
1.06
JAR_INN/TRS/AG01/#3.48.trs
KILLED
60.00
YES
1.01
JAR_INN/TRS/AProVE/AAECC.trs
KILLED
60.00
YES
8.08
JAR_INN/TRS/AProVE/IJCAR_26.trs
KILLED
60.00
YES
2.24
JAR_INN/TRS/AProVE/IJCAR_26a.trs
KILLED
60.00
YES
2.20
JAR_INN/TRS/AProVE/JFP_Ex17.trs
KILLED
60.00
YES
2.62
JAR_INN/TRS/AProVE/JFP_Ex31.trs
KILLED
60.00
MAYBE
3.11
JAR_INN/TRS/AProVE/JFP_Ex51.trs
KILLED
60.00
YES
3.25
JAR_INN/TRS/AProVE/Liveness6.1.trs
KILLED
60.00
MAYBE
1.35
JAR_INN/TRS/AProVE/Liveness6.2.trs
KILLED
60.00
MAYBE
1.55
JAR_INN/TRS/AProVE/Liveness6.4.trs
KILLED
60.00
MAYBE
29.34
JAR_INN/TRS/AProVE/rta1.trs
KILLED
60.00
YES
1.11
JAR_INN/TRS/AProVE/rta2.trs
KILLED
60.00
MAYBE
1.37
JAR_INN/TRS/AProVE/rta3.trs
KILLED
60.00
MAYBE
17.94
JAR_INN/TRS/Cime/big.trs
KILLED
60.00
YES
19.99
JAR_INN/TRS/Cime/filliatre.trs
KILLED
60.00
YES
1.35
JAR_INN/TRS/Cime/intersect.trs
KILLED
60.00
YES
2.88
JAR_INN/TRS/Cime/list-sum-prod-assoc-append.trs
KILLED
60.00
YES
1.77
JAR_INN/TRS/Cime/list-sum-prod-assoc.trs
KILLED
60.00
YES
1.29
JAR_INN/TRS/Cime/list-sum-prod-bin-assoc-distr-app.trs
KILLED
60.00
YES
4.96
JAR_INN/TRS/Cime/list-sum-prod-bin-assoc.trs
KILLED
60.00
YES
2.66
JAR_INN/TRS/Cime/list-sum-prod-bin.trs
KILLED
60.00
YES
2.00
JAR_INN/TRS/Cime/log2.trs
KILLED
60.00
YES
5.38
JAR_INN/TRS/Cime/lse.trs
KILLED
60.00
YES
14.85
JAR_INN/TRS/Cime/ternary-hard.trs
KILLED
60.00
YES
15.04
JAR_INN/TRS/Cime/ternary.trs
KILLED
60.00
YES
9.86
JAR_INN/TRS/Cime/tree.trs
KILLED
60.00
YES
9.28
JAR_INN/TRS/D33/08.trs
KILLED
60.00
YES
1.14
JAR_INN/TRS/D33/11.trs
KILLED
60.00
YES
6.56
JAR_INN/TRS/D33/12.trs
KILLED
60.00
YES
1.06
JAR_INN/TRS/D33/13.trs
KILLED
60.00
MAYBE
6.00
JAR_INN/TRS/D33/20.trs
KILLED
60.00
YES
1.68
JAR_INN/TRS/D33/28.trs
MAYBE
0.82
YES
0.72
JAR_INN/TRS/D33/30.trs
KILLED
60.00
MAYBE
9.85
JAR_INN/TRS/D33/31.trs
KILLED
60.00
YES
0.82
JAR_INN/TRS/D33/33.trs
KILLED
60.00
MAYBE
3.90
JAR_INN/TRS/HM/t000.trs
KILLED
60.00
YES
10.99
JAR_INN/TRS/HM/t001.trs
YES
18.96
MAYBE
2.00
JAR_INN/TRS/HM/t005.trs
KILLED
60.00
YES
26.38
JAR_INN/TRS/HM/t012.trs
KILLED
60.00
YES
1.95
JAR_INN/TRS/HofWald/7.trs
KILLED
60.00
MAYBE
6.16
JAR_INN/TRS/Rubio/ma96.trs
KILLED
60.00
YES
6.11
JAR_INN/TRS/Rubio/polo2.trs
KILLED
60.00
YES
6.99
JAR_INN/TRS/Rubio/wst99.trs
KILLED
60.00
YES
2.35
JAR_INN/TRS/SK90/2.03.trs
KILLED
60.00
YES
0.77
JAR_INN/TRS/SK90/2.07.trs
KILLED
60.00
YES
0.90
JAR_INN/TRS/SK90/2.13.trs
KILLED
60.00
YES
0.90
JAR_INN/TRS/SK90/2.31.trs
KILLED
60.00
YES
0.85
JAR_INN/TRS/SK90/2.34.trs
KILLED
60.00
YES
1.01
JAR_INN/TRS/SK90/2.36.trs
KILLED
60.00
YES
0.77
JAR_INN/TRS/SK90/4.05.trs
KILLED
60.00
YES
0.93
JAR_INN/TRS/SK90/4.10.trs
KILLED
60.00
YES
1.17
JAR_INN/TRS/SK90/4.16.trs
KILLED
60.00
YES
1.06
JAR_INN/TRS/SK90/4.22.trs
KILLED
60.00
YES
0.87
JAR_INN/TRS/SK90/4.25.trs
KILLED
60.00
YES
0.82
JAR_INN/TRS/SK90/4.26.trs
KILLED
60.00
YES
1.17
JAR_INN/TRS/SK90/4.32.trs
KILLED
60.00
MAYBE
9.28
JAR_INN/TRS/SK90/4.38.trs
KILLED
60.00
YES
0.96
JAR_INN/TRS/SK90/4.43.trs
KILLED
60.00
YES
1.08
JAR_INN/TRS/SK90/4.52.trs
KILLED
60.00
YES
0.98
JAR_INN/TRS/SK90/4.53.trs
KILLED
60.00
YES
0.96
JAR_INN/TRS/SK90/4.58.trs
KILLED
60.00
MAYBE
3.98
JAR_INN/TRS/Ste92/minsort.trs
KILLED
60.00
MAYBE
23.22
JAR_INN/TRS/Ste92/perfect2.trs
KILLED
60.00
YES
1.48
JAR_INN/TRS/TRCSR/Ex14_AEGL02_C.trs
KILLED
60.00
MAYBE
52.16
JAR_INN/TRS/TRCSR/Ex14_AEGL02_FR.trs
KILLED
60.00
MAYBE
10.03
JAR_INN/TRS/TRCSR/Ex14_AEGL02_GM.trs
KILLED
60.00
YES
1.27
JAR_INN/TRS/TRCSR/Ex14_AEGL02_Z.trs
KILLED
60.00
MAYBE
3.22
JAR_INN/TRS/TRCSR/Ex15_Luc98_C.trs
KILLED
60.00
YES
31.09
JAR_INN/TRS/TRCSR/Ex15_Luc98_FR.trs
KILLED
60.00
YES
1.99
JAR_INN/TRS/TRCSR/Ex15_Luc98_GM.trs
KILLED
60.00
YES
5.94
JAR_INN/TRS/TRCSR/Ex1_2_Luc02c_C.trs
KILLED
60.00
YES
3.66
JAR_INN/TRS/TRCSR/Ex1_GL02a_FR.trs
KILLED
60.00
MAYBE
35.88
JAR_INN/TRS/TRCSR/Ex1_GL02a_GM.trs
KILLED
60.00
YES
1.49
JAR_INN/TRS/TRCSR/Ex1_GL02a_Z.trs
KILLED
60.00
MAYBE
18.53
JAR_INN/TRS/TRCSR/Ex1_GM03_FR.trs
KILLED
60.00
YES
1.45
JAR_INN/TRS/TRCSR/Ex1_Luc02b_FR.trs
KILLED
60.00
YES
1.17
JAR_INN/TRS/TRCSR/Ex24_GM04_C.trs
KILLED
60.00
MAYBE
4.08
JAR_INN/TRS/TRCSR/Ex26_Luc03b_FR.trs
KILLED
60.00
YES
3.18
JAR_INN/TRS/TRCSR/Ex26_Luc03b_GM.trs
KILLED
60.00
YES
17.20
JAR_INN/TRS/TRCSR/Ex2_Luc02a_FR.trs
KILLED
60.00
YES
1.25
JAR_INN/TRS/TRCSR/Ex2_Luc03b_C.trs
KILLED
60.00
YES
15.46
JAR_INN/TRS/TRCSR/Ex2_Luc03b_FR.trs
KILLED
60.00
YES
3.10
JAR_INN/TRS/TRCSR/Ex2_Luc03b_GM.trs
KILLED
60.00
YES
11.06
JAR_INN/TRS/TRCSR/Ex2_Luc03b_Z.trs
KILLED
60.00
YES
1.29
JAR_INN/TRS/TRCSR/Ex3_12_Luc96a_C.trs
KILLED
60.00
MAYBE
59.35
JAR_INN/TRS/TRCSR/Ex3_2_Luc97_Z.trs
KILLED
60.00
YES
2.55
JAR_INN/TRS/TRCSR/Ex3_3_25_Bor03_GM.trs
KILLED
60.00
YES
16.33
JAR_INN/TRS/TRCSR/Ex3_3_25_Bor03_Z.trs
KILLED
60.00
MAYBE
1.24
JAR_INN/TRS/TRCSR/Ex49_GM04_GM.trs
KILLED
60.00
YES
3.29
JAR_INN/TRS/TRCSR/Ex4_4_Luc96b_C.trs
KILLED
60.00
YES
1.51
JAR_INN/TRS/TRCSR/Ex4_4_Luc96b_Z.trs
KILLED
60.00
MAYBE
1.50
JAR_INN/TRS/TRCSR/Ex4_7_15_Bor03_C.trs
KILLED
60.00
MAYBE
36.84
JAR_INN/TRS/TRCSR/Ex4_7_15_Bor03_GM.trs
KILLED
60.00
YES
1.13
JAR_INN/TRS/TRCSR/Ex4_7_37_Bor03_FR.trs
KILLED
60.00
YES
2.45
JAR_INN/TRS/TRCSR/Ex4_7_77_Bor03_C.trs
KILLED
60.00
MAYBE
8.08
JAR_INN/TRS/TRCSR/Ex5_7_Luc97_Z.trs
KILLED
60.00
YES
2.69
JAR_INN/TRS/TRCSR/Ex5_Zan97_C.trs
KILLED
60.00
MAYBE
20.75
JAR_INN/TRS/TRCSR/Ex6_15_AEL02_FR.trs
KILLED
60.00
MAYBE
40.17
JAR_INN/TRS/TRCSR/Ex6_9_Luc02c_C.trs
KILLED
60.00
YES
7.96
JAR_INN/TRS/TRCSR/Ex6_Luc98_C.trs
KILLED
60.00
YES
5.59
JAR_INN/TRS/TRCSR/Ex6_Luc98_FR.trs
KILLED
60.00
YES
1.21
JAR_INN/TRS/TRCSR/Ex6_Luc98_GM.trs
KILLED
60.00
YES
2.73
JAR_INN/TRS/TRCSR/Ex7_BLR02_FR.trs
KILLED
60.00
YES
1.25
JAR_INN/TRS/TRCSR/Ex9_BLR02_GM.trs
KILLED
60.00
YES
14.38
JAR_INN/TRS/TRCSR/Ex9_BLR02_Z.trs
KILLED
60.00
YES
1.69
JAR_INN/TRS/TRCSR/Ex9_Luc04_C.trs
KILLED
60.00
MAYBE
4.70