Algorithm
Order
Tr.
Y
F
TO
Thm. 26
POLO-7.1+7.2
older
21 [1.0]
0
29
Thm. 26
POLO-7.1+7.2
no
0
50 [6.1]
0
Example
Thm. 26, POLO-7.1+7.2, older
Thm. 26, POLO-7.1+7.2, no
JAR_TERM/TRS/AG01/#3.21.trs
YES
0.88
MAYBE
0.72
JAR_TERM/TRS/AG01/#3.22.trs
YES
0.96
MAYBE
0.85
JAR_TERM/TRS/AG01/#3.39.trs
YES
1.01
MAYBE
0.85
JAR_TERM/TRS/AG01/#3.40.trs
YES
1.27
MAYBE
1.10
JAR_TERM/TRS/AG01/#3.41.trs
YES
0.91
MAYBE
0.91
JAR_TERM/TRS/AG01/#3.42.trs
YES
1.06
MAYBE
0.80
JAR_TERM/TRS/AProVE/Liveness_WRS.trs
YES
1.45
MAYBE
1.48
JAR_TERM/TRS/D33/21.trs
YES
0.91
MAYBE
0.80
JAR_TERM/TRS/HM/t008.trs
YES
0.88
MAYBE
0.91
JAR_TERM/TRS/HM/t009.trs
KILLED
60.00
MAYBE
55.11
JAR_TERM/TRS/SK90/4.13.trs
YES
0.85
MAYBE
0.91
JAR_TERM/TRS/SK90/4.51.trs
YES
0.80
MAYBE
0.91
JAR_TERM/TRS/SK90/4.55.trs
YES
0.80
MAYBE
0.61
JAR_TERM/TRS/SK90/4.61.trs
YES
1.19
MAYBE
0.88
JAR_TERM/TRS/TRCSR/Ex1_2_AEL03_C.trs
KILLED
60.00
MAYBE
6.42
JAR_TERM/TRS/TRCSR/Ex1_GL02a_C.trs
KILLED
60.00
MAYBE
2.28
JAR_TERM/TRS/TRCSR/Ex1_GM03_C.trs
KILLED
60.00
MAYBE
2.57
JAR_TERM/TRS/TRCSR/Ex1_GM03_GM.trs
KILLED
60.00
MAYBE
5.66
JAR_TERM/TRS/TRCSR/Ex1_Luc02b_C.trs
KILLED
60.00
MAYBE
2.44
JAR_TERM/TRS/TRCSR/Ex1_Zan97_C.trs
YES
1.29
MAYBE
0.93
JAR_TERM/TRS/TRCSR/Ex26_Luc03b_C.trs
KILLED
60.00
MAYBE
3.40
JAR_TERM/TRS/TRCSR/Ex2_Luc02a_C.trs
KILLED
60.00
MAYBE
3.43
JAR_TERM/TRS/TRCSR/Ex3_2_Luc97_C.trs
KILLED
60.00
MAYBE
2.78
JAR_TERM/TRS/TRCSR/Ex3_3_25_Bor03_C.trs
KILLED
60.00
MAYBE
2.72
JAR_TERM/TRS/TRCSR/Ex49_GM04_C.trs
KILLED
60.00
MAYBE
2.21
JAR_TERM/TRS/TRCSR/Ex4_7_37_Bor03_C.trs
KILLED
60.00
MAYBE
3.87
JAR_TERM/TRS/TRCSR/Ex5_7_Luc97_C.trs
KILLED
60.00
MAYBE
4.63
JAR_TERM/TRS/TRCSR/Ex5_7_Luc97_GM.trs
KILLED
60.00
MAYBE
11.88
JAR_TERM/TRS/TRCSR/Ex6_15_AEL02_C.trs
KILLED
60.00
MAYBE
7.64
JAR_TERM/TRS/TRCSR/Ex6_GM04_C.trs
YES
1.37
MAYBE
0.98
JAR_TERM/TRS/TRCSR/Ex7_BLR02_C.trs
KILLED
60.00
MAYBE
3.05
JAR_TERM/TRS/TRCSR/Ex7_BLR02_GM.trs
KILLED
60.00
MAYBE
11.96
JAR_TERM/TRS/TRCSR/Ex8_BLR02_C.trs
KILLED
60.00
MAYBE
2.99
JAR_TERM/TRS/TRCSR/Ex8_BLR02_GM.trs
KILLED
60.00
MAYBE
11.15
JAR_TERM/TRS/TRCSR/Ex9_BLR02_C.trs
KILLED
60.00
MAYBE
2.73
JAR_TERM/TRS/TRCSR/ExAppendixB_AEL03_C.trs
KILLED
60.00
MAYBE
7.25
JAR_TERM/TRS/TRCSR/ExIntrod_GM01_C.trs
KILLED
60.00
MAYBE
2.41
JAR_TERM/TRS/TRCSR/ExIntrod_GM99_C.trs
KILLED
60.00
MAYBE
4.36
JAR_TERM/TRS/TRCSR/ExIntrod_GM99_GM.trs
KILLED
60.00
MAYBE
40.58
JAR_TERM/TRS/TRCSR/ExIntrod_Zan97_C.trs
KILLED
60.00
MAYBE
3.26
JAR_TERM/TRS/TRCSR/ExIntrod_Zan97_GM.trs
KILLED
60.00
MAYBE
12.24
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_C.trs
KILLED
60.00
MAYBE
4.44
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_GM.trs
KILLED
60.00
MAYBE
49.09
JAR_TERM/TRS/Zantema/z11.trs
YES
1.16
MAYBE
0.88
JAR_TERM/TRS/nontermin/AG01/#4.27.trs
YES
0.96
MAYBE
0.72
JAR_TERM/TRS/nontermin/AG01/#4.28.trs
YES
0.83
MAYBE
0.75
JAR_TERM/TRS/nontermin/AG01/#4.29.trs
YES
1.27
MAYBE
0.93
JAR_TERM/TRS/nontermin/AG01/#4.31.trs
YES
0.96
MAYBE
0.77
JAR_TERM/TRS/secret2005/cime3.trs
KILLED
60.00
MAYBE
12.42
JAR_TERM/TRS/various/15.trs
YES
0.84
MAYBE
0.72