Algorithm
Order
Tr.
Y
F
TO
Thm. 12
EMB
no
0
151 [1.8]
0
Thm. 17
EMB
no
85 [0.7]
59 [1.4]
7
Thm. 26
EMB
no
144 [0.9]
0
7
Example
Thm. 12, EMB, no
Thm. 17, EMB, no
Thm. 26, EMB, no
JAR_TERM/TRS/AG01/#3.11.trs
MAYBE
1.28
MAYBE
1.35
YES
1.22
JAR_TERM/TRS/AG01/#3.16.trs
MAYBE
0.99
YES
0.57
YES
0.67
JAR_TERM/TRS/AG01/#3.18.trs
MAYBE
0.75
MAYBE
0.88
YES
0.80
JAR_TERM/TRS/AG01/#3.35.trs
MAYBE
0.56
YES
0.56
YES
0.57
JAR_TERM/TRS/AG01/#3.37.trs
MAYBE
0.96
YES
0.71
YES
0.62
JAR_TERM/TRS/AG01/#3.38.trs
MAYBE
0.67
MAYBE
0.67
YES
0.68
JAR_TERM/TRS/AG01/#3.4.trs
MAYBE
0.90
MAYBE
0.85
YES
0.96
JAR_TERM/TRS/AG01/#3.5.trs
MAYBE
0.72
MAYBE
0.83
YES
1.01
JAR_TERM/TRS/AG01/#3.51.trs
MAYBE
0.94
YES
0.85
YES
0.75
JAR_TERM/TRS/AG01/#3.55.trs
MAYBE
1.97
MAYBE
1.32
YES
1.19
JAR_TERM/TRS/AG01/#3.56.trs
MAYBE
0.98
YES
0.91
YES
0.85
JAR_TERM/TRS/AG01/#3.5a.trs
MAYBE
0.67
MAYBE
1.11
YES
0.72
JAR_TERM/TRS/AProVE/AAECC-ring.trs
MAYBE
8.53
KILLED
60.00
KILLED
60.00
JAR_TERM/TRS/AProVE/LPAR_intlist.trs
MAYBE
0.67
YES
0.85
YES
0.56
JAR_TERM/TRS/Cime/ack_prolog.trs
MAYBE
1.64
MAYBE
0.96
YES
0.62
JAR_TERM/TRS/Cime/append.trs
MAYBE
0.85
YES
0.62
YES
0.67
JAR_TERM/TRS/Cime/boolean_rings.trs
MAYBE
0.80
YES
0.61
YES
0.80
JAR_TERM/TRS/Cime/list-sum-prod-assoc-append.trs
MAYBE
1.03
MAYBE
1.03
YES
0.83
JAR_TERM/TRS/Cime/list-sum-prod-assoc.trs
MAYBE
0.77
MAYBE
0.83
YES
0.89
JAR_TERM/TRS/Cime/list-sum-prod.trs
MAYBE
0.67
YES
0.83
YES
0.88
JAR_TERM/TRS/Cime/mucrl1.trs
MAYBE
57.30
MAYBE
28.89
YES
23.48
JAR_TERM/TRS/D33/06.trs
MAYBE
0.53
YES
0.51
YES
0.51
JAR_TERM/TRS/D33/08.trs
MAYBE
1.00
YES
0.56
YES
0.56
JAR_TERM/TRS/D33/09.trs
MAYBE
0.71
MAYBE
0.57
YES
0.72
JAR_TERM/TRS/D33/11.trs
MAYBE
1.49
YES
0.67
YES
0.67
JAR_TERM/TRS/D33/17.trs
MAYBE
1.14
MAYBE
0.62
YES
0.67
JAR_TERM/TRS/D33/28.trs
MAYBE
0.64
MAYBE
0.61
YES
0.56
JAR_TERM/TRS/D33/31.trs
MAYBE
0.64
MAYBE
0.62
YES
0.61
JAR_TERM/TRS/D33/32.trs
MAYBE
0.83
YES
0.78
YES
0.78
JAR_TERM/TRS/HM/t003.trs
MAYBE
0.96
YES
1.06
YES
1.06
JAR_TERM/TRS/HM/t014.trs
MAYBE
1.80
YES
0.77
YES
0.61
JAR_TERM/TRS/LJB01/jones1.trs
MAYBE
0.58
YES
0.70
YES
0.56
JAR_TERM/TRS/LJB01/jones2.trs
MAYBE
0.67
YES
0.56
YES
0.75
JAR_TERM/TRS/LJB01/jones6.trs
MAYBE
0.67
YES
0.56
YES
0.75
JAR_TERM/TRS/Rubio/ackclaude.trs
MAYBE
0.63
MAYBE
0.80
YES
0.62
JAR_TERM/TRS/Rubio/aoto.trs
MAYBE
0.56
YES
0.51
YES
0.80
JAR_TERM/TRS/Rubio/elimdupl.trs
MAYBE
0.67
MAYBE
0.86
YES
1.01
JAR_TERM/TRS/Rubio/gmnp.trs
MAYBE
0.61
YES
0.56
YES
0.70
JAR_TERM/TRS/Rubio/koen.trs
MAYBE
1.19
YES
0.70
YES
0.56
JAR_TERM/TRS/Rubio/ma96.trs
MAYBE
1.19
MAYBE
1.57
YES
1.43
JAR_TERM/TRS/Rubio/polo2.trs
MAYBE
1.50
YES
0.85
YES
0.91
JAR_TERM/TRS/Rubio/quick.trs
MAYBE
1.22
MAYBE
1.11
YES
1.37
JAR_TERM/TRS/Rubio/quotminus.trs
MAYBE
0.71
MAYBE
0.80
YES
0.80
JAR_TERM/TRS/Rubio/revlist.trs
MAYBE
0.77
MAYBE
0.67
YES
0.67
JAR_TERM/TRS/Rubio/selsort.trs
MAYBE
2.17
MAYBE
1.48
YES
1.61
JAR_TERM/TRS/Rubio/test829.trs
MAYBE
0.62
YES
0.56
YES
0.85
JAR_TERM/TRS/SK90/2.01.trs
MAYBE
0.75
MAYBE
0.61
YES
0.56
JAR_TERM/TRS/SK90/2.03.trs
MAYBE
1.07
YES
0.56
YES
0.56
JAR_TERM/TRS/SK90/2.04.trs
MAYBE
0.58
MAYBE
0.70
YES
0.85
JAR_TERM/TRS/SK90/2.06.trs
MAYBE
0.63
MAYBE
0.62
YES
0.75
JAR_TERM/TRS/SK90/2.07.trs
MAYBE
1.02
MAYBE
0.75
YES
0.56
JAR_TERM/TRS/SK90/2.08.trs
MAYBE
0.80
MAYBE
0.80
YES
0.83
JAR_TERM/TRS/SK90/2.09.trs
MAYBE
0.76
YES
0.56
YES
0.56
JAR_TERM/TRS/SK90/2.10.trs
MAYBE
0.91
MAYBE
0.80
YES
0.91
JAR_TERM/TRS/SK90/2.11.trs
MAYBE
0.62
YES
0.86
YES
0.56
JAR_TERM/TRS/SK90/2.12.trs
MAYBE
0.96
YES
0.61
YES
0.70
JAR_TERM/TRS/SK90/2.13.trs
MAYBE
0.67
YES
0.75
YES
0.56
JAR_TERM/TRS/SK90/2.14.trs
MAYBE
0.67
YES
0.86
YES
0.78
JAR_TERM/TRS/SK90/2.15.trs
MAYBE
0.73
YES
0.51
YES
0.51
JAR_TERM/TRS/SK90/2.16.trs
MAYBE
0.67
MAYBE
0.80
YES
0.75
JAR_TERM/TRS/SK90/2.18.trs
MAYBE
0.56
YES
0.56
YES
0.62
JAR_TERM/TRS/SK90/2.19.trs
MAYBE
0.80
YES
0.75
YES
0.56
JAR_TERM/TRS/SK90/2.21.trs
MAYBE
0.58
YES
0.57
YES
0.56
JAR_TERM/TRS/SK90/2.22.trs
MAYBE
0.61
YES
0.75
YES
0.67
JAR_TERM/TRS/SK90/2.23.trs
MAYBE
0.82
MAYBE
0.96
YES
0.62
JAR_TERM/TRS/SK90/2.25.trs
MAYBE
0.65
YES
0.70
YES
0.57
JAR_TERM/TRS/SK90/2.26.trs
MAYBE
0.93
YES
0.68
YES
0.80
JAR_TERM/TRS/SK90/2.27.trs
MAYBE
0.67
YES
0.91
YES
0.61
JAR_TERM/TRS/SK90/2.29.trs
MAYBE
0.61
YES
0.56
YES
0.85
JAR_TERM/TRS/SK90/2.31.trs
MAYBE
0.85
YES
0.85
YES
0.75
JAR_TERM/TRS/SK90/2.33.trs
MAYBE
0.67
YES
0.86
YES
0.85
JAR_TERM/TRS/SK90/2.34.trs
MAYBE
0.75
MAYBE
0.91
YES
0.75
JAR_TERM/TRS/SK90/2.38.trs
MAYBE
0.81
MAYBE
0.62
YES
0.75
JAR_TERM/TRS/SK90/2.39.trs
MAYBE
1.48
YES
0.85
YES
0.75
JAR_TERM/TRS/SK90/2.40.trs
MAYBE
0.85
YES
0.85
YES
0.57
JAR_TERM/TRS/SK90/2.41.trs
MAYBE
0.58
YES
0.56
YES
0.91
JAR_TERM/TRS/SK90/2.42.trs
MAYBE
0.72
MAYBE
0.96
YES
0.67
JAR_TERM/TRS/SK90/2.43.trs
MAYBE
0.86
YES
0.91
YES
0.75
JAR_TERM/TRS/SK90/2.50.trs
MAYBE
0.61
YES
0.51
YES
0.51
JAR_TERM/TRS/SK90/2.51.trs
MAYBE
1.09
MAYBE
0.85
YES
0.75
JAR_TERM/TRS/SK90/2.52.trs
MAYBE
1.24
MAYBE
1.11
YES
0.96
JAR_TERM/TRS/SK90/2.54.trs
MAYBE
0.73
YES
0.71
YES
0.80
JAR_TERM/TRS/SK90/4.03.trs
MAYBE
0.71
YES
0.62
YES
0.62
JAR_TERM/TRS/SK90/4.04.trs
MAYBE
0.72
MAYBE
0.80
YES
0.70
JAR_TERM/TRS/SK90/4.05.trs
MAYBE
0.90
YES
0.56
YES
0.71
JAR_TERM/TRS/SK90/4.07.trs
MAYBE
0.61
MAYBE
0.85
YES
0.75
JAR_TERM/TRS/SK90/4.08.trs
MAYBE
0.62
MAYBE
0.56
YES
0.75
JAR_TERM/TRS/SK90/4.09.trs
MAYBE
0.86
MAYBE
0.75
YES
0.62
JAR_TERM/TRS/SK90/4.10.trs
MAYBE
0.94
YES
0.56
YES
0.90
JAR_TERM/TRS/SK90/4.11.trs
MAYBE
0.78
YES
0.85
YES
0.85
JAR_TERM/TRS/SK90/4.14.trs
MAYBE
0.94
YES
0.76
YES
0.62
JAR_TERM/TRS/SK90/4.16.trs
MAYBE
0.67
YES
0.56
YES
0.85
JAR_TERM/TRS/SK90/4.20.trs
MAYBE
0.68
YES
0.75
YES
0.85
JAR_TERM/TRS/SK90/4.21.trs
MAYBE
0.64
YES
0.91
YES
0.75
JAR_TERM/TRS/SK90/4.22.trs
MAYBE
0.63
YES
0.56
YES
0.56
JAR_TERM/TRS/SK90/4.23.trs
MAYBE
0.63
MAYBE
0.75
YES
0.85
JAR_TERM/TRS/SK90/4.24.trs
MAYBE
0.87
MAYBE
0.67
YES
0.91
JAR_TERM/TRS/SK90/4.25.trs
MAYBE
0.77
YES
0.80
YES
0.56
JAR_TERM/TRS/SK90/4.26.trs
MAYBE
0.67
MAYBE
0.91
YES
0.96
JAR_TERM/TRS/SK90/4.27.trs
MAYBE
0.75
YES
0.56
YES
0.56
JAR_TERM/TRS/SK90/4.28.trs
MAYBE
0.77
YES
0.96
YES
0.85
JAR_TERM/TRS/SK90/4.29.trs
MAYBE
0.62
YES
0.75
YES
0.75
JAR_TERM/TRS/SK90/4.42.trs
MAYBE
0.67
MAYBE
0.91
YES
0.70
JAR_TERM/TRS/SK90/4.43.trs
MAYBE
0.88
MAYBE
0.61
YES
0.67
JAR_TERM/TRS/SK90/4.45.trs
MAYBE
0.78
YES
0.51
YES
0.70
JAR_TERM/TRS/SK90/4.48.trs
MAYBE
0.64
MAYBE
0.62
YES
0.75
JAR_TERM/TRS/SK90/4.52.trs
MAYBE
0.72
YES
0.80
YES
0.80
JAR_TERM/TRS/SK90/4.53.trs
MAYBE
0.67
YES
0.70
YES
0.75
JAR_TERM/TRS/Ste92/perfect.trs
MAYBE
0.67
YES
0.91
YES
0.80
JAR_TERM/TRS/Ste92/perfect2.trs
MAYBE
1.30
YES
0.77
YES
0.78
JAR_TERM/TRS/TRCSR/Ex1_2_AEL03_C.trs
MAYBE
12.27
KILLED
60.00
KILLED
60.00
JAR_TERM/TRS/TRCSR/Ex1_2_AEL03_FR.trs
MAYBE
1.37
MAYBE
1.32
YES
1.43
JAR_TERM/TRS/TRCSR/Ex1_2_AEL03_Z.trs
MAYBE
1.14
YES
1.10
YES
0.99
JAR_TERM/TRS/TRCSR/Ex1_2_Luc02c_FR.trs
MAYBE
1.35
YES
0.67
YES
0.56
JAR_TERM/TRS/TRCSR/Ex1_GL02a_GM.trs
MAYBE
0.97
YES
0.73
YES
0.67
JAR_TERM/TRS/TRCSR/Ex1_Luc02b_Z.trs
MAYBE
0.72
MAYBE
0.83
YES
0.72
JAR_TERM/TRS/TRCSR/Ex2_Luc02a_L.trs
MAYBE
0.80
YES
0.77
YES
0.56
JAR_TERM/TRS/TRCSR/Ex2_Luc02a_Z.trs
MAYBE
1.17
YES
0.72
YES
0.67
JAR_TERM/TRS/TRCSR/Ex3_12_Luc96a_FR.trs
MAYBE
0.69
MAYBE
0.67
YES
0.83
JAR_TERM/TRS/TRCSR/Ex3_12_Luc96a_Z.trs
MAYBE
1.01
YES
0.62
YES
0.77
JAR_TERM/TRS/TRCSR/Ex4_4_Luc96b_C.trs
MAYBE
0.93
YES
0.82
YES
0.82
JAR_TERM/TRS/TRCSR/Ex4_4_Luc96b_GM.trs
MAYBE
0.72
YES
0.62
YES
0.62
JAR_TERM/TRS/TRCSR/Ex4_7_56_Bor03_FR.trs
MAYBE
0.61
MAYBE
0.72
YES
0.67
JAR_TERM/TRS/TRCSR/Ex4_7_56_Bor03_Z.trs
MAYBE
0.67
YES
0.67
YES
0.67
JAR_TERM/TRS/TRCSR/Ex4_Zan97_FR.trs
MAYBE
0.94
MAYBE
0.73
YES
0.67
JAR_TERM/TRS/TRCSR/Ex4_Zan97_Z.trs
MAYBE
0.78
MAYBE
0.81
YES
0.81
JAR_TERM/TRS/TRCSR/Ex5_7_Luc97_C.trs
MAYBE
8.58
KILLED
60.00
KILLED
60.00
JAR_TERM/TRS/TRCSR/Ex6_15_AEL02_C.trs
MAYBE
29.96
KILLED
60.00
KILLED
60.00
JAR_TERM/TRS/TRCSR/Ex6_9_Luc02c_FR.trs
MAYBE
0.69
YES
0.62
YES
0.56
JAR_TERM/TRS/TRCSR/Ex6_Luc98_Z.trs
MAYBE
0.74
YES
0.62
YES
0.61
JAR_TERM/TRS/TRCSR/Ex7_BLR02_Z.trs
MAYBE
0.78
MAYBE
0.77
YES
0.87
JAR_TERM/TRS/TRCSR/Ex8_BLR02_FR.trs
MAYBE
1.08
MAYBE
1.22
YES
0.93
JAR_TERM/TRS/TRCSR/Ex8_BLR02_Z.trs
MAYBE
2.06
MAYBE
1.11
YES
0.85
JAR_TERM/TRS/TRCSR/ExAppendixB_AEL03_C.trs
MAYBE
14.77
KILLED
60.00
KILLED
60.00
JAR_TERM/TRS/TRCSR/ExAppendixB_AEL03_FR.trs
MAYBE
1.08
MAYBE
1.40
YES
1.14
JAR_TERM/TRS/TRCSR/ExAppendixB_AEL03_Z.trs
MAYBE
1.25
YES
1.03
YES
0.93
JAR_TERM/TRS/TRCSR/ExConc_Zan97_C.trs
MAYBE
1.44
YES
0.88
YES
0.88
JAR_TERM/TRS/TRCSR/ExConc_Zan97_FR.trs
MAYBE
4.39
YES
0.78
YES
0.57
JAR_TERM/TRS/TRCSR/ExConc_Zan97_GM.trs
MAYBE
0.61
YES
0.70
YES
0.72
JAR_TERM/TRS/TRCSR/ExIntrod_GM99_C.trs
MAYBE
7.92
KILLED
60.00
KILLED
60.00
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_L.trs
MAYBE
1.18
YES
0.62
YES
0.61
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_Z.trs
MAYBE
0.98
YES
0.77
YES
0.77
JAR_TERM/TRS/currying/D33/06.trs
MAYBE
0.58
YES
0.80
YES
0.85
JAR_TERM/TRS/higher-order/Bird/Ex2_6_1Composition.trs
MAYBE
0.56
MAYBE
0.56
YES
0.85
JAR_TERM/TRS/nontermin/AG01/#4.22.trs
MAYBE
0.82
YES
0.70
YES
0.75
JAR_TERM/TRS/nontermin/AG01/#4.33.trs
MAYBE
0.82
YES
0.61
YES
0.61
JAR_TERM/TRS/nontermin/AG01/#4.35.trs
MAYBE
1.27
MAYBE
2.00
YES
1.95
JAR_TERM/TRS/nontermin/AG01/#4.36.trs
MAYBE
1.39
MAYBE
1.04
YES
1.04
JAR_TERM/TRS/nontermin/CSR/Ex49_GM04.trs
MAYBE
0.82
YES
0.80
YES
0.96
JAR_TERM/TRS/secret2005/cime5.trs
MAYBE
1.75
KILLED
60.00
KILLED
60.00
JAR_TERM/TRS/various/18.trs
MAYBE
0.63
MAYBE
0.67
YES
0.91