AlgorithmOrderTr.YFTO
Thm. 12POLO-7.1no029 [4.1]0
Thm. 26POLO-7.1no20 [1.4]09

ExampleThm. 12, POLO-7.1, noThm. 26, POLO-7.1, no
JAR_INN/TRS/secret2005/cime3.trsMAYBE2.75KILLED60.00
JAR_INN/TRS/higher-order/Bird/BTreeMember.trsMAYBE1.61YES1.71
JAR_INN/TRS/currying/D33/18.trsMAYBE0.82YES0.94
JAR_INN/TRS/TRCSR/ExSec11_1_Luc02a_GM.trsMAYBE6.86KILLED60.00
JAR_INN/TRS/TRCSR/ExIntrod_GM99_GM.trsMAYBE4.52KILLED60.00
JAR_INN/TRS/TRCSR/ExIntrod_Zan97_GM.trsMAYBE4.10KILLED60.00
JAR_INN/TRS/TRCSR/Ex8_BLR02_GM.trsMAYBE2.81KILLED60.00
JAR_INN/TRS/AG01/#3.18.trsMAYBE0.93YES0.89
JAR_INN/TRS/AG01/#3.19.trsMAYBE0.77YES0.88
JAR_INN/TRS/AProVE/AAECC.trsMAYBE18.03KILLED60.00
JAR_INN/TRS/AProVE/IJCAR_18.trsMAYBE1.24YES1.30
JAR_INN/TRS/AProVE/improved_usable.trsMAYBE0.61YES0.91
JAR_INN/TRS/AProVE/rta1.trsMAYBE0.77YES0.94
JAR_INN/TRS/Cime/big.trsMAYBE6.90YES5.87
JAR_INN/TRS/Cime/list-sum-prod-assoc-append.trsMAYBE1.24YES1.26
JAR_INN/TRS/Cime/list-sum-prod-assoc.trsMAYBE0.98YES1.10
JAR_INN/TRS/Cime/list-sum-prod-bin-assoc-distr-app.trsMAYBE1.98YES2.15
JAR_INN/TRS/Cime/ternary-hard.trsMAYBE2.90YES2.90
JAR_INN/TRS/SK90/2.23.trsMAYBE0.79YES0.78
JAR_INN/TRS/SK90/2.34.trsMAYBE0.80YES0.72
JAR_INN/TRS/SK90/2.51.trsMAYBE0.79YES0.84
JAR_INN/TRS/SK90/2.52.trsMAYBE1.21YES1.30
JAR_INN/TRS/SK90/4.24.trsMAYBE0.95YES0.99
JAR_INN/TRS/SK90/4.42.trsMAYBE0.82YES0.90
JAR_INN/TRS/TRCSR/Ex4_7_37_Bor03_GM.trsMAYBE36.84KILLED60.00
JAR_INN/TRS/TRCSR/Ex4_Zan97_FR.trsMAYBE0.83YES1.04
JAR_INN/TRS/TRCSR/Ex4_Zan97_Z.trsMAYBE0.72YES1.47
JAR_INN/TRS/TRCSR/Ex5_7_Luc97_GM.trsMAYBE11.60KILLED60.00
JAR_INN/TRS/TRCSR/Ex7_BLR02_GM.trsMAYBE3.50KILLED60.00