AlgorithmOrderTr.YFTO
Thm. 26POLO-7.1+7.2safe14 [3.9]020
Thm. 26POLO-7.1+7.2old1 [40.0]33 [17.1]0

ExampleThm. 26, POLO-7.1+7.2, safeThm. 26, POLO-7.1+7.2, old
JAR_INN/TRS/Zantema/jw42.trsYES0.82MAYBE1.06
JAR_INN/TRS/higher-order/Lifantsev/Ex7OrdinalRec.trsKILLED60.00MAYBE40.34
JAR_INN/TRS/higher-order/Lifantsev/Ex8Polymorphic.trsKILLED60.00MAYBE30.29
JAR_INN/TRS/higher-order/Lifantsev/Ex9Maps.trsKILLED60.00MAYBE54.41
JAR_INN/TRS/higher-order/Bird/TreeHeight.trsKILLED60.00MAYBE37.98
JAR_INN/TRS/higher-order/AotoYam/010.trsKILLED60.00MAYBE25.03
JAR_INN/TRS/higher-order/AotoYam/022.trsYES4.34MAYBE2.90
JAR_INN/TRS/higher-order/AotoYam/024.trsYES2.46MAYBE1.68
JAR_INN/TRS/higher-order/AotoYam/006.trsYES39.49MAYBE15.83
JAR_INN/TRS/currying/D33/12.trsKILLED60.00MAYBE37.09
JAR_INN/TRS/Zantema/z23.trsKILLED60.00MAYBE2.88
JAR_INN/TRS/Zantema/z24.trsKILLED60.00MAYBE7.92
JAR_INN/TRS/Zantema/z28.trsYES1.03MAYBE0.96
JAR_INN/TRS/Zantema/jw28.trsYES0.72MAYBE0.83
JAR_INN/TRS/Zantema/jw33.trsYES0.85MAYBE0.72
JAR_INN/TRS/Zantema/jw40.trsYES0.77MAYBE0.77
JAR_INN/TRS/Zantema/jw01.trsYES0.72MAYBE0.76
JAR_INN/TRS/Zantema/jw06.trsYES0.72MAYBE0.72
JAR_INN/TRS/Zantema/jw07.trsYES0.82MAYBE0.88
JAR_INN/TRS/Zantema/jw09.trsYES0.77MAYBE0.80
JAR_INN/TRS/Zantema/jw16.trsYES0.72MAYBE0.96
JAR_INN/TRS/Zantema/jw21.trsYES0.77MAYBE0.72
JAR_INN/TRS/TRCSR/ExIntrod_GM01_GM.trsKILLED60.00MAYBE14.18
JAR_INN/TRS/Cime/mucrl1.trsKILLED60.00YES39.97
JAR_INN/TRS/TRCSR/Ex1_2_Luc02c_GM.trsKILLED60.00MAYBE1.58
JAR_INN/TRS/TRCSR/Ex3_12_Luc96a_GM.trsKILLED60.00MAYBE30.02
JAR_INN/TRS/TRCSR/Ex3_2_Luc97_FR.trsKILLED60.00MAYBE47.13
JAR_INN/TRS/TRCSR/Ex49_GM04_FR.trsKILLED60.00MAYBE20.39
JAR_INN/TRS/TRCSR/Ex4_7_56_Bor03_C.trsKILLED60.00MAYBE49.75
JAR_INN/TRS/TRCSR/Ex4_7_56_Bor03_GM.trsKILLED60.00MAYBE33.71
JAR_INN/TRS/TRCSR/Ex5_7_Luc97_FR.trsKILLED60.00MAYBE59.75
JAR_INN/TRS/TRCSR/Ex5_Zan97_GM.trsKILLED60.00MAYBE5.17
JAR_INN/TRS/TRCSR/Ex6_9_Luc02c_GM.trsKILLED60.00MAYBE6.30
JAR_INN/TRS/TRCSR/Ex9_BLR02_FR.trsKILLED60.00MAYBE30.68