AlgorithmOrderTr.YFTO
Thm. 26POLO-7.1+7.2older21 [1.0]029
Thm. 26POLO-7.1+7.2no050 [6.1]0

ExampleThm. 26, POLO-7.1+7.2, olderThm. 26, POLO-7.1+7.2, no
JAR_TERM/TRS/AG01/#3.21.trsYES0.88MAYBE0.72
JAR_TERM/TRS/AG01/#3.22.trsYES0.96MAYBE0.85
JAR_TERM/TRS/AG01/#3.39.trsYES1.01MAYBE0.85
JAR_TERM/TRS/AG01/#3.40.trsYES1.27MAYBE1.10
JAR_TERM/TRS/AG01/#3.41.trsYES0.91MAYBE0.91
JAR_TERM/TRS/AG01/#3.42.trsYES1.06MAYBE0.80
JAR_TERM/TRS/AProVE/Liveness_WRS.trsYES1.45MAYBE1.48
JAR_TERM/TRS/D33/21.trsYES0.91MAYBE0.80
JAR_TERM/TRS/HM/t008.trsYES0.88MAYBE0.91
JAR_TERM/TRS/HM/t009.trsKILLED60.00MAYBE55.11
JAR_TERM/TRS/SK90/4.13.trsYES0.85MAYBE0.91
JAR_TERM/TRS/SK90/4.51.trsYES0.80MAYBE0.91
JAR_TERM/TRS/SK90/4.55.trsYES0.80MAYBE0.61
JAR_TERM/TRS/SK90/4.61.trsYES1.19MAYBE0.88
JAR_TERM/TRS/TRCSR/Ex1_2_AEL03_C.trsKILLED60.00MAYBE6.42
JAR_TERM/TRS/TRCSR/Ex1_GL02a_C.trsKILLED60.00MAYBE2.28
JAR_TERM/TRS/TRCSR/Ex1_GM03_C.trsKILLED60.00MAYBE2.57
JAR_TERM/TRS/TRCSR/Ex1_GM03_GM.trsKILLED60.00MAYBE5.66
JAR_TERM/TRS/TRCSR/Ex1_Luc02b_C.trsKILLED60.00MAYBE2.44
JAR_TERM/TRS/TRCSR/Ex1_Zan97_C.trsYES1.29MAYBE0.93
JAR_TERM/TRS/TRCSR/Ex26_Luc03b_C.trsKILLED60.00MAYBE3.40
JAR_TERM/TRS/TRCSR/Ex2_Luc02a_C.trsKILLED60.00MAYBE3.43
JAR_TERM/TRS/TRCSR/Ex3_2_Luc97_C.trsKILLED60.00MAYBE2.78
JAR_TERM/TRS/TRCSR/Ex3_3_25_Bor03_C.trsKILLED60.00MAYBE2.72
JAR_TERM/TRS/TRCSR/Ex49_GM04_C.trsKILLED60.00MAYBE2.21
JAR_TERM/TRS/TRCSR/Ex4_7_37_Bor03_C.trsKILLED60.00MAYBE3.87
JAR_TERM/TRS/TRCSR/Ex5_7_Luc97_C.trsKILLED60.00MAYBE4.63
JAR_TERM/TRS/TRCSR/Ex5_7_Luc97_GM.trsKILLED60.00MAYBE11.88
JAR_TERM/TRS/TRCSR/Ex6_15_AEL02_C.trsKILLED60.00MAYBE7.64
JAR_TERM/TRS/TRCSR/Ex6_GM04_C.trsYES1.37MAYBE0.98
JAR_TERM/TRS/TRCSR/Ex7_BLR02_C.trsKILLED60.00MAYBE3.05
JAR_TERM/TRS/TRCSR/Ex7_BLR02_GM.trsKILLED60.00MAYBE11.96
JAR_TERM/TRS/TRCSR/Ex8_BLR02_C.trsKILLED60.00MAYBE2.99
JAR_TERM/TRS/TRCSR/Ex8_BLR02_GM.trsKILLED60.00MAYBE11.15
JAR_TERM/TRS/TRCSR/Ex9_BLR02_C.trsKILLED60.00MAYBE2.73
JAR_TERM/TRS/TRCSR/ExAppendixB_AEL03_C.trsKILLED60.00MAYBE7.25
JAR_TERM/TRS/TRCSR/ExIntrod_GM01_C.trsKILLED60.00MAYBE2.41
JAR_TERM/TRS/TRCSR/ExIntrod_GM99_C.trsKILLED60.00MAYBE4.36
JAR_TERM/TRS/TRCSR/ExIntrod_GM99_GM.trsKILLED60.00MAYBE40.58
JAR_TERM/TRS/TRCSR/ExIntrod_Zan97_C.trsKILLED60.00MAYBE3.26
JAR_TERM/TRS/TRCSR/ExIntrod_Zan97_GM.trsKILLED60.00MAYBE12.24
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_C.trsKILLED60.00MAYBE4.44
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_GM.trsKILLED60.00MAYBE49.09
JAR_TERM/TRS/Zantema/z11.trsYES1.16MAYBE0.88
JAR_TERM/TRS/nontermin/AG01/#4.27.trsYES0.96MAYBE0.72
JAR_TERM/TRS/nontermin/AG01/#4.28.trsYES0.83MAYBE0.75
JAR_TERM/TRS/nontermin/AG01/#4.29.trsYES1.27MAYBE0.93
JAR_TERM/TRS/nontermin/AG01/#4.31.trsYES0.96MAYBE0.77
JAR_TERM/TRS/secret2005/cime3.trsKILLED60.00MAYBE12.42
JAR_TERM/TRS/various/15.trsYES0.84MAYBE0.72