AlgorithmOrderTr.YFTO
Thm. 26POLO-7.1+7.2safe39 [2.5]058
Thm. 26POLO-7.1+7.2(1)+(2)097 [8.6]0

ExampleThm. 26, POLO-7.1+7.2, safeThm. 26, POLO-7.1+7.2, (1)+(2)
JAR_INN/TRS/various/11.trsYES0.96MAYBE0.75
JAR_INN/TRS/Zantema/jw42.trsYES0.82MAYBE0.85
JAR_INN/TRS/secret2005/aprove4.trsYES1.24MAYBE0.88
JAR_INN/TRS/secret2005/cime3.trsKILLED60.00MAYBE20.06
JAR_INN/TRS/secret2005/cime5.trsKILLED60.00MAYBE37.72
JAR_INN/TRS/secret2005/teparla2.trsYES1.22MAYBE1.17
JAR_INN/TRS/secret2005/teparla3.trsYES1.22MAYBE0.96
JAR_INN/TRS/secret2005/tpa2.trsYES2.10MAYBE1.11
JAR_INN/TRS/secret2005/aprove2.trsYES1.81MAYBE1.22
JAR_INN/TRS/nontermin/AG01/#4.26.trsYES1.48MAYBE0.82
JAR_INN/TRS/nontermin/AG01/#4.28.trsYES0.77MAYBE0.77
JAR_INN/TRS/nontermin/AG01/#4.29.trsYES1.30MAYBE1.13
JAR_INN/TRS/nontermin/AG01/#4.30.trsYES1.32MAYBE0.87
JAR_INN/TRS/nontermin/AG01/#4.30b.trsYES1.63MAYBE0.93
JAR_INN/TRS/nontermin/AG01/#4.30c.trsYES1.62MAYBE0.98
JAR_INN/TRS/nontermin/AG01/#4.31.trsYES1.79MAYBE0.82
JAR_INN/TRS/higher-order/Kusakari/Ex7_9.trsKILLED60.00MAYBE6.78
JAR_INN/TRS/higher-order/Lifantsev/Ex7OrdinalRec.trsKILLED60.00MAYBE6.03
JAR_INN/TRS/higher-order/Lifantsev/Ex8Polymorphic.trsKILLED60.00MAYBE2.96
JAR_INN/TRS/higher-order/Lifantsev/Ex9Maps.trsKILLED60.00MAYBE2.44
JAR_INN/TRS/higher-order/Bird/Hamming.trsKILLED60.00MAYBE42.38
JAR_INN/TRS/higher-order/Bird/TreeHeight.trsKILLED60.00MAYBE2.52
JAR_INN/TRS/higher-order/Bird/TreeLevels.trsKILLED60.00MAYBE9.54
JAR_INN/TRS/higher-order/AotoYam/009.trsKILLED60.00MAYBE3.25
JAR_INN/TRS/higher-order/AotoYam/010.trsKILLED60.00MAYBE2.21
JAR_INN/TRS/higher-order/AotoYam/012.trsKILLED60.00MAYBE2.61
JAR_INN/TRS/higher-order/AotoYam/022.trsYES4.34MAYBE1.08
JAR_INN/TRS/higher-order/AotoYam/024.trsYES2.46MAYBE0.87
JAR_INN/TRS/currying/Ste92/perfect2.trsKILLED60.00MAYBE20.07
JAR_INN/TRS/higher-order/AProVE_HO/TakeDropWhile.trsKILLED60.00MAYBE2.47
JAR_INN/TRS/higher-order/AotoYam/003.trsKILLED60.00MAYBE1.17
JAR_INN/TRS/higher-order/AotoYam/006.trsYES39.49MAYBE1.37
JAR_INN/TRS/currying/D33/12.trsKILLED60.00MAYBE2.47
JAR_INN/TRS/currying/Ste92/minsort.trsKILLED60.00MAYBE6.47
JAR_INN/TRS/currying/AG01/#3.55.trsKILLED60.00MAYBE8.47
JAR_INN/TRS/Zantema/z23.trsKILLED60.00MAYBE0.92
JAR_INN/TRS/Zantema/z24.trsKILLED60.00MAYBE1.22
JAR_INN/TRS/Zantema/z28.trsYES1.03MAYBE0.96
JAR_INN/TRS/currying/AG01/#3.10.trsKILLED60.00MAYBE10.16
JAR_INN/TRS/Zantema/jw28.trsYES0.72MAYBE0.83
JAR_INN/TRS/Zantema/jw33.trsYES0.85MAYBE0.83
JAR_INN/TRS/Zantema/jw40.trsYES0.77MAYBE1.01
JAR_INN/TRS/Zantema/z02.trsYES0.88MAYBE1.11
JAR_INN/TRS/Zantema/z04.trsYES0.77MAYBE0.77
JAR_INN/TRS/Zantema/jw01.trsYES0.72MAYBE0.80
JAR_INN/TRS/Zantema/jw06.trsYES0.72MAYBE0.82
JAR_INN/TRS/Zantema/jw07.trsYES0.82MAYBE0.93
JAR_INN/TRS/Zantema/jw09.trsYES0.77MAYBE0.80
JAR_INN/TRS/Zantema/jw16.trsYES0.72MAYBE0.80
JAR_INN/TRS/Zantema/jw21.trsYES0.77MAYBE0.83
JAR_INN/TRS/TRCSR/ExIntrod_GM99_GM.trsKILLED60.00MAYBE54.90
JAR_INN/TRS/TRCSR/ExIntrod_Zan97_C.trsKILLED60.00MAYBE39.80
JAR_INN/TRS/TRCSR/ExIntrod_Zan97_GM.trsKILLED60.00MAYBE26.52
JAR_INN/TRS/TRCSR/ExIntrod_GM01_C.trsKILLED60.00MAYBE10.23
JAR_INN/TRS/TRCSR/ExIntrod_GM01_GM.trsKILLED60.00MAYBE12.50
JAR_INN/TRS/TRCSR/Ex8_BLR02_GM.trsKILLED60.00MAYBE18.33
JAR_INN/TRS/AG01/#3.42.trsYES0.92MAYBE0.85
JAR_INN/TRS/AProVE/AAECC.trsYES8.08MAYBE2.20
JAR_INN/TRS/AProVE/Liveness_WRS.trsYES1.74MAYBE1.46
JAR_INN/TRS/Cime/append-hard.trsYES1.03MAYBE0.77
JAR_INN/TRS/Cime/fact-hard.trsYES1.29MAYBE0.98
JAR_INN/TRS/HM/t008.trsYES1.11MAYBE0.88
JAR_INN/TRS/SK90/4.51.trsYES0.96MAYBE0.96
JAR_INN/TRS/SK90/4.61.trsYES1.69MAYBE1.03
JAR_INN/TRS/TRCSR/Ex1_2_Luc02c_GM.trsKILLED60.00MAYBE1.27
JAR_INN/TRS/TRCSR/Ex1_GL02a_C.trsKILLED60.00MAYBE12.42
JAR_INN/TRS/TRCSR/Ex1_GM03_C.trsKILLED60.00MAYBE15.65
JAR_INN/TRS/TRCSR/Ex1_GM03_GM.trsKILLED60.00MAYBE10.99
JAR_INN/TRS/TRCSR/Ex1_Luc02b_C.trsKILLED60.00MAYBE12.29
JAR_INN/TRS/TRCSR/Ex1_Luc02b_GM.trsKILLED60.00MAYBE5.68
JAR_INN/TRS/TRCSR/Ex1_Zan97_C.trsYES2.05MAYBE1.03
JAR_INN/TRS/TRCSR/Ex26_Luc03b_C.trsKILLED60.00MAYBE43.15
JAR_INN/TRS/TRCSR/Ex2_Luc02a_C.trsKILLED60.00MAYBE50.40
JAR_INN/TRS/TRCSR/Ex3_12_Luc96a_GM.trsKILLED60.00MAYBE2.13
JAR_INN/TRS/TRCSR/Ex3_2_Luc97_C.trsKILLED60.00MAYBE17.10
JAR_INN/TRS/TRCSR/Ex3_2_Luc97_FR.trsKILLED60.00MAYBE4.81
JAR_INN/TRS/TRCSR/Ex3_2_Luc97_GM.trsKILLED60.00MAYBE4.16
JAR_INN/TRS/TRCSR/Ex3_3_25_Bor03_C.trsKILLED60.00MAYBE19.70
JAR_INN/TRS/TRCSR/Ex3_3_25_Bor03_FR.trsKILLED60.00MAYBE4.32
JAR_INN/TRS/TRCSR/ExIntrod_GM04_C.trsKILLED60.00MAYBE6.66
JAR_INN/TRS/TRCSR/Ex49_GM04_C.trsKILLED60.00MAYBE11.10
JAR_INN/TRS/TRCSR/Ex49_GM04_FR.trsKILLED60.00MAYBE2.39
JAR_INN/TRS/TRCSR/Ex4_7_37_Bor03_C.trsKILLED60.00MAYBE52.38
JAR_INN/TRS/TRCSR/Ex4_7_56_Bor03_C.trsKILLED60.00MAYBE5.18
JAR_INN/TRS/TRCSR/Ex4_7_56_Bor03_GM.trsKILLED60.00MAYBE2.07
JAR_INN/TRS/TRCSR/Ex4_Zan97_C.trsKILLED60.00MAYBE8.23
JAR_INN/TRS/TRCSR/Ex4_Zan97_GM.trsKILLED60.00MAYBE3.80
JAR_INN/TRS/TRCSR/Ex5_7_Luc97_FR.trsKILLED60.00MAYBE5.88
JAR_INN/TRS/TRCSR/Ex5_7_Luc97_GM.trsKILLED60.00MAYBE44.61
JAR_INN/TRS/TRCSR/Ex5_Zan97_GM.trsKILLED60.00MAYBE2.67
JAR_INN/TRS/TRCSR/Ex6_9_Luc02c_GM.trsKILLED60.00MAYBE1.97
JAR_INN/TRS/TRCSR/Ex6_GM04_C.trsYES1.74MAYBE1.06
JAR_INN/TRS/TRCSR/Ex7_BLR02_C.trsKILLED60.00MAYBE31.79
JAR_INN/TRS/TRCSR/Ex7_BLR02_GM.trsKILLED60.00MAYBE21.34
JAR_INN/TRS/TRCSR/Ex8_BLR02_C.trsKILLED60.00MAYBE22.54
JAR_INN/TRS/TRCSR/Ex9_BLR02_C.trsKILLED60.00MAYBE12.24
JAR_INN/TRS/TRCSR/Ex9_BLR02_FR.trsKILLED60.00MAYBE3.09