AlgorithmOrderTr.YFTO
Thm. 12POLO-filterno098 [9.3]40
Thm. 17POLO-filterno97 [4.0]33 [3.2]8
Thm. 26POLO-filterno127 [3.2]6 [4.1]5

ExampleThm. 12, POLO-filter, noThm. 17, POLO-filter, noThm. 26, POLO-filter, no
JAR_TERM/TRS/AG01/#3.10.trsKILLED60.00YES27.84YES3.79
JAR_TERM/TRS/AG01/#3.11.trsKILLED60.00YES1.42YES1.40
JAR_TERM/TRS/AG01/#3.13.trsKILLED60.00YES3.48YES3.37
JAR_TERM/TRS/AG01/#3.16.trsMAYBE1.55YES0.72YES0.72
JAR_TERM/TRS/AG01/#3.18.trsMAYBE1.67MAYBE1.24YES1.17
JAR_TERM/TRS/AG01/#3.53.trsKILLED60.00YES1.22YES1.20
JAR_TERM/TRS/AG01/#3.55.trsKILLED60.00YES1.57YES1.55
JAR_TERM/TRS/AG01/#3.56.trsMAYBE1.08YES0.77YES0.83
JAR_TERM/TRS/AProVE/IJCAR_1.trsMAYBE2.59YES0.89YES0.82
JAR_TERM/TRS/AProVE/IJCAR_12.trsMAYBE1.25MAYBE2.87YES2.07
JAR_TERM/TRS/AProVE/IJCAR_18.trsMAYBE2.17MAYBE3.08YES2.44
JAR_TERM/TRS/AProVE/JFP_Ex17.trsMAYBE49.68YES1.32YES1.19
JAR_TERM/TRS/AProVE/LPAR_intlist.trsMAYBE2.31YES0.94YES0.84
JAR_TERM/TRS/AProVE/Liveness6.4.trsKILLED60.00MAYBE16.95MAYBE15.55
JAR_TERM/TRS/AProVE/improved_usable.trsMAYBE1.75MAYBE0.84YES1.00
JAR_TERM/TRS/AProVE/improved_usable2.trsMAYBE1.31YES0.89YES0.67
JAR_TERM/TRS/AProVE/rta1.trsMAYBE1.24MAYBE1.66YES1.31
JAR_TERM/TRS/Cime/big.trsKILLED60.00MAYBE5.35YES3.68
JAR_TERM/TRS/Cime/boolean_rings.trsMAYBE2.44YES0.72YES0.83
JAR_TERM/TRS/Cime/intersect.trsKILLED60.00YES1.60YES1.50
JAR_TERM/TRS/Cime/list-sum-prod-assoc-append.trsMAYBE1.79MAYBE1.70YES1.73
JAR_TERM/TRS/Cime/list-sum-prod-assoc.trsMAYBE1.25MAYBE1.45YES1.19
JAR_TERM/TRS/Cime/list-sum-prod-bin-assoc-distr-app.trsMAYBE3.60MAYBE2.47YES1.93
JAR_TERM/TRS/Cime/list-sum-prod-bin-assoc.trsMAYBE3.07MAYBE1.92YES1.60
JAR_TERM/TRS/Cime/list-sum-prod-bin.trsMAYBE3.67YES1.16YES1.16
JAR_TERM/TRS/Cime/list-sum-prod.trsMAYBE0.93YES0.77YES0.78
JAR_TERM/TRS/Cime/log2.trsKILLED60.00YES1.77YES1.82
JAR_TERM/TRS/Cime/maude2.trsKILLED60.00MAYBE24.55MAYBE4.08
JAR_TERM/TRS/Cime/mucrl1.trsKILLED60.00YES24.12YES24.45
JAR_TERM/TRS/Cime/quick.trsKILLED60.00YES23.50YES23.03
JAR_TERM/TRS/Cime/ternary-hard.trsMAYBE13.61MAYBE2.80YES2.51
JAR_TERM/TRS/Cime/ternary.trsMAYBE6.03MAYBE6.23YES3.33
JAR_TERM/TRS/Cime/tree.trsKILLED60.00YES2.54YES2.58
JAR_TERM/TRS/D33/06.trsMAYBE0.67YES0.67YES0.70
JAR_TERM/TRS/D33/08.trsMAYBE1.08YES0.85YES0.77
JAR_TERM/TRS/D33/11.trsMAYBE3.63YES1.08YES1.09
JAR_TERM/TRS/D33/12.trsMAYBE1.47YES0.77YES0.77
JAR_TERM/TRS/D33/28.trsMAYBE0.93MAYBE0.98YES0.99
JAR_TERM/TRS/D33/31.trsMAYBE1.19MAYBE1.09YES0.82
JAR_TERM/TRS/HM/t001.trsKILLED60.00MAYBE2.41MAYBE1.93
JAR_TERM/TRS/HM/t005.trsMAYBE57.20YES6.65YES6.34
JAR_TERM/TRS/HM/t012.trsMAYBE4.55YES0.88YES1.05
JAR_TERM/TRS/LJB01/jones2.trsMAYBE2.02YES0.99YES0.93
JAR_TERM/TRS/Rubio/aoto.trsMAYBE0.84YES0.74YES0.77
JAR_TERM/TRS/Rubio/bn122.trsMAYBE1.51YES0.88YES0.67
JAR_TERM/TRS/Rubio/enno.trsKILLED60.00YES6.60YES4.93
JAR_TERM/TRS/Rubio/ma96.trsMAYBE48.69YES4.73YES4.86
JAR_TERM/TRS/Rubio/polo2.trsMAYBE2.79YES1.30YES1.14
JAR_TERM/TRS/Rubio/quick.trsKILLED60.00YES1.40YES1.42
JAR_TERM/TRS/Rubio/selsort.trsKILLED60.00YES2.00YES2.28
JAR_TERM/TRS/SK90/2.07.trsMAYBE1.50MAYBE1.20YES1.05
JAR_TERM/TRS/SK90/2.10.trsMAYBE1.74YES1.14YES0.91
JAR_TERM/TRS/SK90/2.12.trsMAYBE3.96YES0.77YES0.78
JAR_TERM/TRS/SK90/2.13.trsMAYBE1.11YES0.67YES0.89
JAR_TERM/TRS/SK90/2.14.trsMAYBE2.17YES0.73YES0.78
JAR_TERM/TRS/SK90/2.16.trsMAYBE2.04YES0.88YES0.94
JAR_TERM/TRS/SK90/2.18.trsMAYBE0.88YES0.72YES0.72
JAR_TERM/TRS/SK90/2.19.trsMAYBE2.28YES0.67YES0.80
JAR_TERM/TRS/SK90/2.23.trsMAYBE3.45MAYBE1.08YES0.90
JAR_TERM/TRS/SK90/2.25.trsMAYBE1.83YES0.67YES0.89
JAR_TERM/TRS/SK90/2.26.trsMAYBE46.78YES0.85YES0.87
JAR_TERM/TRS/SK90/2.27.trsMAYBE8.93YES0.72YES0.72
JAR_TERM/TRS/SK90/2.34.trsMAYBE1.20MAYBE1.24YES0.93
JAR_TERM/TRS/SK90/2.50.trsMAYBE0.63YES0.63YES0.62
JAR_TERM/TRS/SK90/2.51.trsMAYBE1.22MAYBE1.20YES1.00
JAR_TERM/TRS/SK90/2.52.trsMAYBE1.92MAYBE1.50YES1.50
JAR_TERM/TRS/SK90/4.03.trsMAYBE0.88YES0.72YES0.77
JAR_TERM/TRS/SK90/4.05.trsMAYBE1.19YES0.72YES0.95
JAR_TERM/TRS/SK90/4.09.trsMAYBE1.43YES0.90YES0.85
JAR_TERM/TRS/SK90/4.10.trsMAYBE3.09YES0.82YES0.88
JAR_TERM/TRS/SK90/4.14.trsMAYBE4.38YES0.82YES0.83
JAR_TERM/TRS/SK90/4.20.trsMAYBE1.66YES0.95YES0.72
JAR_TERM/TRS/SK90/4.21.trsMAYBE1.13YES0.77YES0.84
JAR_TERM/TRS/SK90/4.22.trsMAYBE1.39YES0.78YES0.84
JAR_TERM/TRS/SK90/4.23.trsMAYBE1.27MAYBE1.03YES0.93
JAR_TERM/TRS/SK90/4.24.trsMAYBE1.24MAYBE3.48YES1.53
JAR_TERM/TRS/SK90/4.27.trsMAYBE1.86YES0.72YES0.84
JAR_TERM/TRS/SK90/4.30.trsMAYBE1.34YES0.78YES0.89
JAR_TERM/TRS/SK90/4.42.trsMAYBE5.41MAYBE3.33YES1.33
JAR_TERM/TRS/SK90/4.53.trsMAYBE0.99YES0.72YES0.84
JAR_TERM/TRS/TRCSR/Ex15_Luc98_C.trsKILLED60.00YES10.81YES11.07
JAR_TERM/TRS/TRCSR/Ex15_Luc98_Z.trsKILLED60.00YES1.08YES1.14
JAR_TERM/TRS/TRCSR/Ex1_2_AEL03_FR.trsKILLED60.00YES2.28YES2.28
JAR_TERM/TRS/TRCSR/Ex1_2_AEL03_Z.trsKILLED60.00YES1.66YES1.73
JAR_TERM/TRS/TRCSR/Ex1_2_Luc02c_C.trsMAYBE16.29YES6.23YES6.32
JAR_TERM/TRS/TRCSR/Ex1_2_Luc02c_FR.trsMAYBE5.94YES1.01YES0.83
JAR_TERM/TRS/TRCSR/Ex1_Luc02b_C.trsMAYBE44.52KILLED60.00KILLED60.00
JAR_TERM/TRS/TRCSR/Ex1_Luc02b_FR.trsKILLED60.00YES7.02YES7.08
JAR_TERM/TRS/TRCSR/Ex1_Luc02b_Z.trsMAYBE10.70YES1.82YES1.81
JAR_TERM/TRS/TRCSR/Ex2_Luc02a_FR.trsKILLED60.00YES35.42YES2.24
JAR_TERM/TRS/TRCSR/Ex2_Luc02a_L.trsMAYBE12.99YES0.67YES0.72
JAR_TERM/TRS/TRCSR/Ex2_Luc02a_Z.trsKILLED60.00YES0.83YES0.83
JAR_TERM/TRS/TRCSR/Ex2_Luc03b_C.trsKILLED60.00YES37.03YES37.87
JAR_TERM/TRS/TRCSR/Ex2_Luc03b_GM.trsKILLED60.00KILLED60.00YES14.51
JAR_TERM/TRS/TRCSR/Ex3_12_Luc96a_C.trsMAYBE14.76KILLED60.00KILLED60.00
JAR_TERM/TRS/TRCSR/Ex3_12_Luc96a_FR.trsMAYBE1.77YES0.99YES1.11
JAR_TERM/TRS/TRCSR/Ex3_12_Luc96a_Z.trsMAYBE1.60YES0.82YES0.88
JAR_TERM/TRS/TRCSR/Ex3_2_Luc97_C.trsMAYBE30.64KILLED60.00KILLED60.00
JAR_TERM/TRS/TRCSR/Ex3_3_25_Bor03_GM.trsKILLED60.00KILLED60.00YES48.71
JAR_TERM/TRS/TRCSR/Ex3_3_25_Bor03_Z.trsKILLED60.00MAYBE0.93MAYBE1.05
JAR_TERM/TRS/TRCSR/Ex4_7_37_Bor03_FR.trsKILLED60.00YES30.62YES19.16
JAR_TERM/TRS/TRCSR/Ex4_7_37_Bor03_Z.trsKILLED60.00YES7.28YES3.08
JAR_TERM/TRS/TRCSR/Ex4_7_56_Bor03_C.trsMAYBE58.56KILLED60.00KILLED60.00
JAR_TERM/TRS/TRCSR/Ex4_Zan97_FR.trsMAYBE5.83MAYBE5.88YES2.40
JAR_TERM/TRS/TRCSR/Ex4_Zan97_Z.trsMAYBE2.52MAYBE2.97YES1.25
JAR_TERM/TRS/TRCSR/Ex6_9_Luc02c_C.trsMAYBE38.28YES27.36YES28.20
JAR_TERM/TRS/TRCSR/Ex6_9_Luc02c_FR.trsMAYBE2.88YES0.80YES0.80
JAR_TERM/TRS/TRCSR/Ex7_BLR02_FR.trsKILLED60.00YES4.38YES4.49
JAR_TERM/TRS/TRCSR/Ex7_BLR02_Z.trsMAYBE14.53YES1.87YES1.87
JAR_TERM/TRS/TRCSR/Ex8_BLR02_FR.trsMAYBE49.18YES2.29YES2.46
JAR_TERM/TRS/TRCSR/Ex8_BLR02_Z.trsMAYBE25.48YES1.09YES1.03
JAR_TERM/TRS/TRCSR/Ex9_BLR02_Z.trsKILLED60.00KILLED60.00YES16.86
JAR_TERM/TRS/TRCSR/ExAppendixB_AEL03_FR.trsKILLED60.00YES3.07YES3.16
JAR_TERM/TRS/TRCSR/ExAppendixB_AEL03_Z.trsKILLED60.00YES2.09YES2.08
JAR_TERM/TRS/TRCSR/ExIntrod_GM04_GM.trsKILLED60.00YES1.30YES1.31
JAR_TERM/TRS/TRCSR/ExIntrod_GM99_C.trsMAYBE26.48KILLED60.00KILLED60.00
JAR_TERM/TRS/TRCSR/ExIntrod_Zan97_Z.trsKILLED60.00MAYBE0.83MAYBE0.89
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_FR.trsKILLED60.00YES33.50YES2.32
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_L.trsMAYBE47.95YES0.89YES0.79
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_Z.trsKILLED60.00YES1.01YES1.22
JAR_TERM/TRS/Zantema/z29.trsMAYBE1.03MAYBE1.15YES0.93
JAR_TERM/TRS/currying/D33/06.trsMAYBE1.45YES0.78YES0.78
JAR_TERM/TRS/currying/D33/08.trsMAYBE2.29YES1.33YES1.16
JAR_TERM/TRS/currying/D33/11.trsMAYBE2.47YES2.07YES2.09
JAR_TERM/TRS/currying/D33/18.trsMAYBE1.36MAYBE0.93YES0.82
JAR_TERM/TRS/higher-order/AProVE_HO/ReverseLastInit.trsMAYBE1.13YES1.14YES1.22
JAR_TERM/TRS/higher-order/Bird/BTreeMember.trsMAYBE1.39MAYBE1.45YES1.56
JAR_TERM/TRS/nontermin/AG01/#4.22.trsMAYBE1.92YES0.72YES0.82
JAR_TERM/TRS/nontermin/AG01/#4.23.trsMAYBE1.84YES0.88YES0.93
JAR_TERM/TRS/nontermin/AG01/#4.33.trsMAYBE1.27YES1.15YES1.17
JAR_TERM/TRS/nontermin/AG01/#4.34.trsMAYBE1.16YES0.78YES0.93
JAR_TERM/TRS/nontermin/AG01/#4.35.trsMAYBE25.41YES5.19YES5.15
JAR_TERM/TRS/nontermin/AG01/#4.36.trsMAYBE59.11YES1.39YES1.58
JAR_TERM/TRS/nontermin/CSR/Ex6_15_AEL02.trsKILLED60.00MAYBE1.42MAYBE1.35
JAR_TERM/TRS/various/10.trsMAYBE54.55YES1.29YES1.48
JAR_TERM/TRS/various/12.trsMAYBE4.12YES0.82YES1.11
JAR_TERM/TRS/various/13.trsMAYBE2.91YES1.16YES1.30
JAR_TERM/TRS/various/14.trsKILLED60.00YES2.18YES2.36