AlgorithmOrderTr.YFTO
Thm. 26POLO-7.1+7.2lim6 [4.1]6 [2.4]168
Thm. 26POLO-7.1+7.2safe100 [4.5]79 [16.0]1

ExampleThm. 26, POLO-7.1+7.2, limThm. 26, POLO-7.1+7.2, safe
JAR_INN/TRS/various/23.trsKILLED60.00YES0.95
JAR_INN/TRS/secret2005/tpa5.trsKILLED60.00MAYBE5.83
JAR_INN/TRS/various/12.trsKILLED60.00YES1.66
JAR_INN/TRS/various/14.trsKILLED60.00YES9.23
JAR_INN/TRS/various/13.trsKILLED60.00YES2.83
JAR_INN/TRS/secret2005/aprove5.trsKILLED60.00MAYBE1.48
JAR_INN/TRS/nontermin/cariboo/tricky1.trsYES0.80MAYBE1.17
JAR_INN/TRS/secret2005/cime1.trsKILLED60.00MAYBE16.77
JAR_INN/TRS/secret2005/cime2.trsKILLED60.00YES1.65
JAR_INN/TRS/secret2005/tpa1.trsKILLED60.00MAYBE8.08
JAR_INN/TRS/nontermin/CSR/ExIntrod_GM99.trsKILLED60.00MAYBE2.41
JAR_INN/TRS/nontermin/AG01/#4.35.trsKILLED60.00YES5.41
JAR_INN/TRS/higher-order/Kusakari/Ex7_9.trsMAYBE1.74KILLED60.00
JAR_INN/TRS/higher-order/AotoYam/Ex1SimplyTyped.trsKILLED60.00MAYBE9.77
JAR_INN/TRS/higher-order/Lifantsev/Ex3Lists.trsKILLED60.00MAYBE48.30
JAR_INN/TRS/higher-order/ToyamaRTA04/Ex4Filter.trsKILLED60.00MAYBE47.27
JAR_INN/TRS/higher-order/ToyamaRTA04/Ex6Recursor.trsKILLED60.00MAYBE1.55
JAR_INN/TRS/higher-order/AotoYam/027.trsKILLED60.00MAYBE11.15
JAR_INN/TRS/higher-order/AotoYam/028.trsKILLED60.00MAYBE13.18
JAR_INN/TRS/higher-order/Bird/BTreeMember.trsKILLED60.00YES5.43
JAR_INN/TRS/higher-order/Bird/TreeFlatten.trsKILLED60.00MAYBE39.98
JAR_INN/TRS/higher-order/Bird/TreeMap.trsKILLED60.00MAYBE19.14
JAR_INN/TRS/higher-order/Bird/TreeSize.trsKILLED60.00MAYBE24.16
JAR_INN/TRS/higher-order/AotoYam/007.trsKILLED60.00MAYBE7.82
JAR_INN/TRS/currying/D33/06.trsMAYBE0.96YES0.80
JAR_INN/TRS/higher-order/AotoYam/011.trsKILLED60.00MAYBE29.33
JAR_INN/TRS/higher-order/AotoYam/013.trsKILLED60.00MAYBE9.80
JAR_INN/TRS/higher-order/AotoYam/014.trsKILLED60.00MAYBE22.59
JAR_INN/TRS/higher-order/AotoYam/015.trsKILLED60.00MAYBE47.50
JAR_INN/TRS/higher-order/AotoYam/016.trsKILLED60.00MAYBE15.11
JAR_INN/TRS/higher-order/AotoYam/019.trsMAYBE1.06YES0.85
JAR_INN/TRS/higher-order/AotoYam/021.trsKILLED60.00MAYBE38.06
JAR_INN/TRS/higher-order/AotoYam/026.trsKILLED60.00MAYBE17.16
JAR_INN/TRS/currying/D33/08.trsKILLED60.00YES5.73
JAR_INN/TRS/higher-order/AProVE_HO/TypeEx3.trsKILLED60.00MAYBE12.08
JAR_INN/TRS/higher-order/AProVE_HO/mapDivMinus.trsKILLED60.00MAYBE19.75
JAR_INN/TRS/higher-order/AProVE_HO/mapDivMinusHard.trsKILLED60.00MAYBE27.95
JAR_INN/TRS/higher-order/AotoYam/002.trsKILLED60.00MAYBE4.66
JAR_INN/TRS/higher-order/AotoYam/006.trsKILLED60.00YES39.49
JAR_INN/TRS/currying/D33/13.trsKILLED60.00MAYBE2.24
JAR_INN/TRS/currying/D33/21.trsKILLED60.00MAYBE2.00
JAR_INN/TRS/currying/D33/29.trsKILLED60.00MAYBE1.48
JAR_INN/TRS/currying/D33/30.trsKILLED60.00MAYBE7.66
JAR_INN/TRS/currying/D33/31.trsKILLED60.00MAYBE2.05
JAR_INN/TRS/currying/D33/33.trsKILLED60.00MAYBE3.87
JAR_INN/TRS/currying/AG01/#3.22.trsKILLED60.00MAYBE1.53
JAR_INN/TRS/currying/AG01/#3.36.trsKILLED60.00MAYBE4.39
JAR_INN/TRS/Zantema/z26.trsMAYBE9.25YES1.27
JAR_INN/TRS/currying/AG01/#3.57.trsKILLED60.00MAYBE7.46
JAR_INN/TRS/Zantema/z20.trsKILLED60.00MAYBE1.67
JAR_INN/TRS/Zantema/z27.trsKILLED60.00MAYBE2.18
JAR_INN/TRS/Zantema/z30.trsKILLED60.00MAYBE1.92
JAR_INN/TRS/Zantema/jw37.trsYES1.17MAYBE0.97
JAR_INN/TRS/Zantema/jw38.trsYES1.17MAYBE1.06
JAR_INN/TRS/Zantema/z10.trsKILLED60.00MAYBE15.78
JAR_INN/TRS/Zantema/z11.trsMAYBE0.87YES1.11
JAR_INN/TRS/Zantema/z12.trsKILLED60.00MAYBE14.40
JAR_INN/TRS/Zantema/z13.trsKILLED60.00MAYBE49.87
JAR_INN/TRS/Zantema/z14.trsKILLED60.00MAYBE3.19
JAR_INN/TRS/Zantema/z15.trsKILLED60.00MAYBE57.75
JAR_INN/TRS/Zantema/z16.trsKILLED60.00MAYBE47.21
JAR_INN/TRS/Zantema/z17.trsKILLED60.00MAYBE57.53
JAR_INN/TRS/Zantema/z18.trsKILLED60.00MAYBE57.22
JAR_INN/TRS/TRCSR/ExSec11_1_Luc02a_FR.trsKILLED60.00YES1.46
JAR_INN/TRS/Zantema/jw11.trsYES1.22MAYBE0.98
JAR_INN/TRS/Zantema/jw12.trsYES1.17MAYBE0.98
JAR_INN/TRS/TRCSR/ExIntrod_GM99_FR.trsKILLED60.00YES2.78
JAR_INN/TRS/TRCSR/ExIntrod_Zan97_FR.trsKILLED60.00YES2.45
JAR_INN/TRS/TRCSR/ExIntrod_GM04_GM.trsKILLED60.00YES2.66
JAR_INN/TRS/TRCSR/Ex8_BLR02_FR.trsKILLED60.00YES1.36
JAR_INN/TRS/AG01/#3.13.trsKILLED60.00YES1.89
JAR_INN/TRS/AG01/#3.15.trsKILLED60.00YES0.91
JAR_INN/TRS/AG01/#3.16.trsKILLED60.00YES0.82
JAR_INN/TRS/AG01/#3.19.trsKILLED60.00YES1.06
JAR_INN/TRS/AG01/#3.48.trsKILLED60.00YES1.01
JAR_INN/TRS/AProVE/AAECC.trsKILLED60.00YES8.08
JAR_INN/TRS/AProVE/IJCAR_26.trsKILLED60.00YES2.24
JAR_INN/TRS/AProVE/IJCAR_26a.trsKILLED60.00YES2.20
JAR_INN/TRS/AProVE/JFP_Ex17.trsKILLED60.00YES2.62
JAR_INN/TRS/AProVE/JFP_Ex31.trsKILLED60.00MAYBE3.11
JAR_INN/TRS/AProVE/JFP_Ex51.trsKILLED60.00YES3.25
JAR_INN/TRS/AProVE/Liveness6.1.trsKILLED60.00MAYBE1.35
JAR_INN/TRS/AProVE/Liveness6.2.trsKILLED60.00MAYBE1.55
JAR_INN/TRS/AProVE/Liveness6.4.trsKILLED60.00MAYBE29.34
JAR_INN/TRS/AProVE/rta1.trsKILLED60.00YES1.11
JAR_INN/TRS/AProVE/rta2.trsKILLED60.00MAYBE1.37
JAR_INN/TRS/AProVE/rta3.trsKILLED60.00MAYBE17.94
JAR_INN/TRS/Cime/big.trsKILLED60.00YES19.99
JAR_INN/TRS/Cime/filliatre.trsKILLED60.00YES1.35
JAR_INN/TRS/Cime/intersect.trsKILLED60.00YES2.88
JAR_INN/TRS/Cime/list-sum-prod-assoc-append.trsKILLED60.00YES1.77
JAR_INN/TRS/Cime/list-sum-prod-assoc.trsKILLED60.00YES1.29
JAR_INN/TRS/Cime/list-sum-prod-bin-assoc-distr-app.trsKILLED60.00YES4.96
JAR_INN/TRS/Cime/list-sum-prod-bin-assoc.trsKILLED60.00YES2.66
JAR_INN/TRS/Cime/list-sum-prod-bin.trsKILLED60.00YES2.00
JAR_INN/TRS/Cime/log2.trsKILLED60.00YES5.38
JAR_INN/TRS/Cime/lse.trsKILLED60.00YES14.85
JAR_INN/TRS/Cime/ternary-hard.trsKILLED60.00YES15.04
JAR_INN/TRS/Cime/ternary.trsKILLED60.00YES9.86
JAR_INN/TRS/Cime/tree.trsKILLED60.00YES9.28
JAR_INN/TRS/D33/08.trsKILLED60.00YES1.14
JAR_INN/TRS/D33/11.trsKILLED60.00YES6.56
JAR_INN/TRS/D33/12.trsKILLED60.00YES1.06
JAR_INN/TRS/D33/13.trsKILLED60.00MAYBE6.00
JAR_INN/TRS/D33/20.trsKILLED60.00YES1.68
JAR_INN/TRS/D33/28.trsMAYBE0.82YES0.72
JAR_INN/TRS/D33/30.trsKILLED60.00MAYBE9.85
JAR_INN/TRS/D33/31.trsKILLED60.00YES0.82
JAR_INN/TRS/D33/33.trsKILLED60.00MAYBE3.90
JAR_INN/TRS/HM/t000.trsKILLED60.00YES10.99
JAR_INN/TRS/HM/t001.trsYES18.96MAYBE2.00
JAR_INN/TRS/HM/t005.trsKILLED60.00YES26.38
JAR_INN/TRS/HM/t012.trsKILLED60.00YES1.95
JAR_INN/TRS/HofWald/7.trsKILLED60.00MAYBE6.16
JAR_INN/TRS/Rubio/ma96.trsKILLED60.00YES6.11
JAR_INN/TRS/Rubio/polo2.trsKILLED60.00YES6.99
JAR_INN/TRS/Rubio/wst99.trsKILLED60.00YES2.35
JAR_INN/TRS/SK90/2.03.trsKILLED60.00YES0.77
JAR_INN/TRS/SK90/2.07.trsKILLED60.00YES0.90
JAR_INN/TRS/SK90/2.13.trsKILLED60.00YES0.90
JAR_INN/TRS/SK90/2.31.trsKILLED60.00YES0.85
JAR_INN/TRS/SK90/2.34.trsKILLED60.00YES1.01
JAR_INN/TRS/SK90/2.36.trsKILLED60.00YES0.77
JAR_INN/TRS/SK90/4.05.trsKILLED60.00YES0.93
JAR_INN/TRS/SK90/4.10.trsKILLED60.00YES1.17
JAR_INN/TRS/SK90/4.16.trsKILLED60.00YES1.06
JAR_INN/TRS/SK90/4.22.trsKILLED60.00YES0.87
JAR_INN/TRS/SK90/4.25.trsKILLED60.00YES0.82
JAR_INN/TRS/SK90/4.26.trsKILLED60.00YES1.17
JAR_INN/TRS/SK90/4.32.trsKILLED60.00MAYBE9.28
JAR_INN/TRS/SK90/4.38.trsKILLED60.00YES0.96
JAR_INN/TRS/SK90/4.43.trsKILLED60.00YES1.08
JAR_INN/TRS/SK90/4.52.trsKILLED60.00YES0.98
JAR_INN/TRS/SK90/4.53.trsKILLED60.00YES0.96
JAR_INN/TRS/SK90/4.58.trsKILLED60.00MAYBE3.98
JAR_INN/TRS/Ste92/minsort.trsKILLED60.00MAYBE23.22
JAR_INN/TRS/Ste92/perfect2.trsKILLED60.00YES1.48
JAR_INN/TRS/TRCSR/Ex14_AEGL02_C.trsKILLED60.00MAYBE52.16
JAR_INN/TRS/TRCSR/Ex14_AEGL02_FR.trsKILLED60.00MAYBE10.03
JAR_INN/TRS/TRCSR/Ex14_AEGL02_GM.trsKILLED60.00YES1.27
JAR_INN/TRS/TRCSR/Ex14_AEGL02_Z.trsKILLED60.00MAYBE3.22
JAR_INN/TRS/TRCSR/Ex15_Luc98_C.trsKILLED60.00YES31.09
JAR_INN/TRS/TRCSR/Ex15_Luc98_FR.trsKILLED60.00YES1.99
JAR_INN/TRS/TRCSR/Ex15_Luc98_GM.trsKILLED60.00YES5.94
JAR_INN/TRS/TRCSR/Ex1_2_Luc02c_C.trsKILLED60.00YES3.66
JAR_INN/TRS/TRCSR/Ex1_GL02a_FR.trsKILLED60.00MAYBE35.88
JAR_INN/TRS/TRCSR/Ex1_GL02a_GM.trsKILLED60.00YES1.49
JAR_INN/TRS/TRCSR/Ex1_GL02a_Z.trsKILLED60.00MAYBE18.53
JAR_INN/TRS/TRCSR/Ex1_GM03_FR.trsKILLED60.00YES1.45
JAR_INN/TRS/TRCSR/Ex1_Luc02b_FR.trsKILLED60.00YES1.17
JAR_INN/TRS/TRCSR/Ex24_GM04_C.trsKILLED60.00MAYBE4.08
JAR_INN/TRS/TRCSR/Ex26_Luc03b_FR.trsKILLED60.00YES3.18
JAR_INN/TRS/TRCSR/Ex26_Luc03b_GM.trsKILLED60.00YES17.20
JAR_INN/TRS/TRCSR/Ex2_Luc02a_FR.trsKILLED60.00YES1.25
JAR_INN/TRS/TRCSR/Ex2_Luc03b_C.trsKILLED60.00YES15.46
JAR_INN/TRS/TRCSR/Ex2_Luc03b_FR.trsKILLED60.00YES3.10
JAR_INN/TRS/TRCSR/Ex2_Luc03b_GM.trsKILLED60.00YES11.06
JAR_INN/TRS/TRCSR/Ex2_Luc03b_Z.trsKILLED60.00YES1.29
JAR_INN/TRS/TRCSR/Ex3_12_Luc96a_C.trsKILLED60.00MAYBE59.35
JAR_INN/TRS/TRCSR/Ex3_2_Luc97_Z.trsKILLED60.00YES2.55
JAR_INN/TRS/TRCSR/Ex3_3_25_Bor03_GM.trsKILLED60.00YES16.33
JAR_INN/TRS/TRCSR/Ex3_3_25_Bor03_Z.trsKILLED60.00MAYBE1.24
JAR_INN/TRS/TRCSR/Ex49_GM04_GM.trsKILLED60.00YES3.29
JAR_INN/TRS/TRCSR/Ex4_4_Luc96b_C.trsKILLED60.00YES1.51
JAR_INN/TRS/TRCSR/Ex4_4_Luc96b_Z.trsKILLED60.00MAYBE1.50
JAR_INN/TRS/TRCSR/Ex4_7_15_Bor03_C.trsKILLED60.00MAYBE36.84
JAR_INN/TRS/TRCSR/Ex4_7_15_Bor03_GM.trsKILLED60.00YES1.13
JAR_INN/TRS/TRCSR/Ex4_7_37_Bor03_FR.trsKILLED60.00YES2.45
JAR_INN/TRS/TRCSR/Ex4_7_77_Bor03_C.trsKILLED60.00MAYBE8.08
JAR_INN/TRS/TRCSR/Ex5_7_Luc97_Z.trsKILLED60.00YES2.69
JAR_INN/TRS/TRCSR/Ex5_Zan97_C.trsKILLED60.00MAYBE20.75
JAR_INN/TRS/TRCSR/Ex6_15_AEL02_FR.trsKILLED60.00MAYBE40.17
JAR_INN/TRS/TRCSR/Ex6_9_Luc02c_C.trsKILLED60.00YES7.96
JAR_INN/TRS/TRCSR/Ex6_Luc98_C.trsKILLED60.00YES5.59
JAR_INN/TRS/TRCSR/Ex6_Luc98_FR.trsKILLED60.00YES1.21
JAR_INN/TRS/TRCSR/Ex6_Luc98_GM.trsKILLED60.00YES2.73
JAR_INN/TRS/TRCSR/Ex7_BLR02_FR.trsKILLED60.00YES1.25
JAR_INN/TRS/TRCSR/Ex9_BLR02_GM.trsKILLED60.00YES14.38
JAR_INN/TRS/TRCSR/Ex9_BLR02_Z.trsKILLED60.00YES1.69
JAR_INN/TRS/TRCSR/Ex9_Luc04_C.trsKILLED60.00MAYBE4.70