AlgorithmOrderTr.YFTO
Thm. 26POLO-7.1+7.2safe32 [0.9]032
Thm. 26POLO-7.1+7.2(1)+(2)064 [5.1]0

ExampleThm. 26, POLO-7.1+7.2, safeThm. 26, POLO-7.1+7.2, (1)+(2)
JAR_TERM/TRS/AG01/#3.21.trsYES1.01MAYBE0.80
JAR_TERM/TRS/AG01/#3.22.trsYES0.88MAYBE0.83
JAR_TERM/TRS/AG01/#3.39.trsYES1.27MAYBE1.11
JAR_TERM/TRS/AG01/#3.40.trsYES1.32MAYBE1.16
JAR_TERM/TRS/AG01/#3.41.trsYES0.72MAYBE0.75
JAR_TERM/TRS/AG01/#3.42.trsYES0.91MAYBE0.88
JAR_TERM/TRS/AProVE/Liveness_WRS.trsYES1.51MAYBE1.36
JAR_TERM/TRS/AProVE/forward_instantiation.trsYES0.77MAYBE0.67
JAR_TERM/TRS/AProVE/forward_instantiation2.trsYES0.72MAYBE0.75
JAR_TERM/TRS/D33/21.trsYES0.77MAYBE0.96
JAR_TERM/TRS/HM/t008.trsYES0.88MAYBE1.01
JAR_TERM/TRS/HM/t009.trsKILLED60.00MAYBE56.10
JAR_TERM/TRS/SK90/4.13.trsYES0.72MAYBE0.72
JAR_TERM/TRS/SK90/4.51.trsYES0.72MAYBE0.85
JAR_TERM/TRS/SK90/4.61.trsYES1.14MAYBE0.93
JAR_TERM/TRS/TRCSR/Ex1_2_AEL03_C.trsKILLED60.00MAYBE6.92
JAR_TERM/TRS/TRCSR/Ex1_GL02a_C.trsKILLED60.00MAYBE2.73
JAR_TERM/TRS/TRCSR/Ex1_GM03_C.trsKILLED60.00MAYBE2.67
JAR_TERM/TRS/TRCSR/Ex1_GM03_GM.trsKILLED60.00MAYBE5.84
JAR_TERM/TRS/TRCSR/Ex1_Luc02b_C.trsKILLED60.00MAYBE2.67
JAR_TERM/TRS/TRCSR/Ex1_Zan97_C.trsYES1.30MAYBE0.93
JAR_TERM/TRS/TRCSR/Ex26_Luc03b_C.trsKILLED60.00MAYBE3.67
JAR_TERM/TRS/TRCSR/Ex2_Luc02a_C.trsKILLED60.00MAYBE3.79
JAR_TERM/TRS/TRCSR/Ex3_2_Luc97_C.trsKILLED60.00MAYBE2.93
JAR_TERM/TRS/TRCSR/Ex3_3_25_Bor03_C.trsKILLED60.00MAYBE3.09
JAR_TERM/TRS/TRCSR/Ex49_GM04_C.trsKILLED60.00MAYBE2.46
JAR_TERM/TRS/TRCSR/Ex4_7_37_Bor03_C.trsKILLED60.00MAYBE3.98
JAR_TERM/TRS/TRCSR/Ex5_7_Luc97_C.trsKILLED60.00MAYBE5.41
JAR_TERM/TRS/TRCSR/Ex5_7_Luc97_GM.trsKILLED60.00MAYBE13.64
JAR_TERM/TRS/TRCSR/Ex6_15_AEL02_C.trsKILLED60.00MAYBE8.67
JAR_TERM/TRS/TRCSR/Ex6_GM04_C.trsYES1.53MAYBE0.88
JAR_TERM/TRS/TRCSR/Ex7_BLR02_C.trsKILLED60.00MAYBE3.43
JAR_TERM/TRS/TRCSR/Ex7_BLR02_GM.trsKILLED60.00MAYBE13.05
JAR_TERM/TRS/TRCSR/Ex8_BLR02_C.trsKILLED60.00MAYBE3.25
JAR_TERM/TRS/TRCSR/Ex8_BLR02_GM.trsKILLED60.00MAYBE11.54
JAR_TERM/TRS/TRCSR/Ex9_BLR02_C.trsKILLED60.00MAYBE2.93
JAR_TERM/TRS/TRCSR/ExAppendixB_AEL03_C.trsKILLED60.00MAYBE8.03
JAR_TERM/TRS/TRCSR/ExIntrod_GM01_C.trsKILLED60.00MAYBE2.67
JAR_TERM/TRS/TRCSR/ExIntrod_GM99_C.trsKILLED60.00MAYBE4.69
JAR_TERM/TRS/TRCSR/ExIntrod_GM99_GM.trsKILLED60.00MAYBE36.60
JAR_TERM/TRS/TRCSR/ExIntrod_Zan97_C.trsKILLED60.00MAYBE3.61
JAR_TERM/TRS/TRCSR/ExIntrod_Zan97_GM.trsKILLED60.00MAYBE13.49
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_C.trsKILLED60.00MAYBE4.61
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_GM.trsKILLED60.00MAYBE50.01
JAR_TERM/TRS/Zantema/jw01.trsYES0.88MAYBE0.80
JAR_TERM/TRS/Zantema/jw06.trsYES0.88MAYBE0.80
JAR_TERM/TRS/Zantema/jw07.trsYES0.96MAYBE0.84
JAR_TERM/TRS/Zantema/jw09.trsYES0.80MAYBE0.83
JAR_TERM/TRS/Zantema/jw16.trsYES0.72MAYBE0.96
JAR_TERM/TRS/Zantema/jw21.trsYES0.85MAYBE0.90
JAR_TERM/TRS/Zantema/jw28.trsYES0.72MAYBE0.91
JAR_TERM/TRS/Zantema/jw33.trsYES0.72MAYBE0.79
JAR_TERM/TRS/Zantema/jw40.trsYES0.77MAYBE0.85
JAR_TERM/TRS/Zantema/jw42.trsYES0.77MAYBE0.80
JAR_TERM/TRS/Zantema/z11.trsYES0.93MAYBE0.89
JAR_TERM/TRS/nontermin/AG01/#4.27.trsYES1.01MAYBE1.01
JAR_TERM/TRS/nontermin/AG01/#4.28.trsYES0.77MAYBE0.96
JAR_TERM/TRS/nontermin/AG01/#4.29.trsYES1.11MAYBE1.05
JAR_TERM/TRS/nontermin/AG01/#4.31.trsYES0.82MAYBE0.77
JAR_TERM/TRS/secret2005/cime3.trsKILLED60.00MAYBE12.71
JAR_TERM/TRS/various/04.trsKILLED60.00MAYBE0.98
JAR_TERM/TRS/various/05.trsKILLED60.00MAYBE1.17
JAR_TERM/TRS/various/08.trsKILLED60.00MAYBE1.89
JAR_TERM/TRS/various/15.trsYES0.80MAYBE0.85