Termination Competition 2018
: TRS Outermost Certified
30098
Job info CSV
benchmark
AProVE
certified
TRS_
Outermost/
Mixed_
outermost/
even.xml
5157769
NO
3.18/1.52
(CERTIFIED
0.0
)
TRS_
Outermost/
Mixed_
outermost/
ex3.xml
5157770
MAYBE
2.96/1.49
TRS_
Outermost/
Mixed_
outermost/
patterns1.xml
5157771
MAYBE
3.11/1.51
TRS_
Outermost/
Mixed_
outermost/
gfb.xml
5157772
MAYBE
2.99/1.50
TRS_
Outermost/
Mixed_
outermost/
ex5.xml
5157773
MAYBE
3.22/1.51
TRS_
Outermost/
Mixed_
outermost/
ex6.xml
5157774
MAYBE
356.45/291.47
TRS_
Outermost/
Mixed_
outermost/
ex1.xml
5157775
MAYBE
3.12/1.56
TRS_
Outermost/
Mixed_
outermost/
afbg.xml
5157776
MAYBE
3.21/1.49
TRS_
Outermost/
Mixed_
outermost/
non-lin1.xml
5157777
run script error
[out]
TRS_
Outermost/
Mixed_
outermost/
odd.xml
5157778
MAYBE
3.38/1.58
TRS_
Outermost/
Mixed_
outermost/
patterns2.xml
5157779
MAYBE
3.17/1.50
TRS_
Outermost/
Mixed_
outermost/
ex2.xml
5157780
MAYBE
3.20/1.58
TRS_
Outermost/
Mixed_
outermost/
ex4.xml
5157781
MAYBE
3.17/1.49
TRS_
Outermost/
Mixed_
outermost/
non-lin2.xml
5157782
MAYBE
4.80/2.10
TRS_
Outermost/
Mixed_
outermost/
non-lin3.xml
5157783
MAYBE
6.50/2.63
TRS_
Outermost/
Zantema_
08/
assoc_
f_
rhs.xml
5157998
MAYBE
344.52/292.39
TRS_
Outermost/
Zantema_
08/
g_
2_
f_
var.xml
5157999
run script error
[out]
TRS_
Outermost/
Zantema_
08/
ex7.xml
5158000
MAYBE
3.11/1.52
TRS_
Outermost/
Zantema_
08/
fg.xml
5158001
MAYBE
3.25/1.52
TRS_
Outermost/
Zantema_
08/
cariboo_
nl_
3.xml
5158002
MAYBE
3.36/1.58
TRS_
Outermost/
Zantema_
08/
ex8.xml
5158003
MAYBE
5.60/2.37
TRS_
Outermost/
Zantema_
08/
toyama_
out.xml
5158004
NO
3.12/1.52
(CERTIFIED
0.0
)
TRS_
Outermost/
Zantema_
08/
from_
one.xml
5158005
MAYBE
293.83/291.43
TRS_
Outermost/
Zantema_
08/
ex3.xml
5158006
MAYBE
26.09/16.64
TRS_
Outermost/
Zantema_
08/
cariboo_
len3.xml
5158007
MAYBE
3.11/1.51
TRS_
Outermost/
Zantema_
08/
f_
2_
1.xml
5158008
MAYBE
3.33/1.54
TRS_
Outermost/
Zantema_
08/
f_
5_
1.xml
5158009
run script error
[out]
TRS_
Outermost/
Zantema_
08/
yoyo_
3.xml
5158010
MAYBE
10.35/4.97
TRS_
Outermost/
Zantema_
08/
cariboo_
nl_
6.xml
5158011
run script error
[out]
TRS_
Outermost/
Zantema_
08/
cariboo_
add1.xml
5158012
MAYBE
3.20/1.53
TRS_
Outermost/
Zantema_
08/
f_
2_
2.xml
5158013
MAYBE
3.61/1.70
TRS_
Outermost/
Zantema_
08/
cariboo_
nl_
5.xml
5158014
MAYBE
3.07/1.49
TRS_
Outermost/
Zantema_
08/
from_
three.xml
5158015
MAYBE
294.35/291.89
TRS_
Outermost/
Zantema_
08/
countter.xml
5158016
MAYBE
7.07/3.02
TRS_
Outermost/
Zantema_
08/
morse.xml
5158017
MAYBE
345.09/293.53
TRS_
Outermost/
Zantema_
08/
ex5.xml
5158018
MAYBE
37.46/25.57
TRS_
Outermost/
Zantema_
08/
dupl_
rhs.xml
5158019
MAYBE
11.40/6.52
TRS_
Outermost/
Zantema_
08/
countbin.xml
5158020
MAYBE
4.59/2.01
TRS_
Outermost/
Zantema_
08/
ex0.xml
5158021
MAYBE
3.67/1.70
TRS_
Outermost/
Zantema_
08/
ex6.xml
5158022
MAYBE
3.21/1.51
TRS_
Outermost/
Zantema_
08/
ex1.xml
5158023
MAYBE
9.94/5.00
TRS_
Outermost/
Zantema_
08/
bintree.xml
5158024
MAYBE
3.16/1.50
TRS_
Outermost/
Zantema_
08/
cariboo_
nl_
4.xml
5158025
MAYBE
3.52/1.59
TRS_
Outermost/
Zantema_
08/
ffb_
SL.xml
5158026
MAYBE
3.18/1.51
TRS_
Outermost/
Zantema_
08/
assoc_
c_
rhs.xml
5158027
MAYBE
16.85/9.17
TRS_
Outermost/
Zantema_
08/
cariboo_
add3.xml
5158028
timeout (wallclock)
[out]
TRS_
Outermost/
Zantema_
08/
outermost_
gr.xml
5158029
NO
3.20/1.60
(CERTIFIED
0.0
)
TRS_
Outermost/
Zantema_
08/
ffg.xml
5158030
MAYBE
3.35/1.65
TRS_
Outermost/
Zantema_
08/
yoyo_
2.xml
5158031
MAYBE
10.56/4.22
TRS_
Outermost/
Zantema_
08/
cariboo_
add2a.xml
5158032
MAYBE
6.01/3.17
TRS_
Outermost/
Zantema_
08/
cariboo_
nl_
1.xml
5158033
MAYBE
3.21/1.54
TRS_
Outermost/
Zantema_
08/
f_
5.xml
5158034
MAYBE
3.19/1.56
TRS_
Outermost/
Zantema_
08/
toyama_
stop2.xml
5158035
MAYBE
334.28/292.35
TRS_
Outermost/
Zantema_
08/
toyama_
stop.xml
5158036
MAYBE
5.13/2.12
TRS_
Outermost/
Zantema_
08/
ex9.xml
5158037
MAYBE
3.55/1.63
TRS_
Outermost/
Zantema_
08/
yoyo_
3b.xml
5158038
MAYBE
365.63/291.97
TRS_
Outermost/
Zantema_
08/
inn_
out.xml
5158039
NO
3.13/1.50
(CERTIFIED
0.0
)
TRS_
Outermost/
Zantema_
08/
ex2.xml
5158040
MAYBE
3.17/1.50
TRS_
Outermost/
Zantema_
08/
from_
one_
a.xml
5158041
MAYBE
293.80/291.47
TRS_
Outermost/
Zantema_
08/
g_
2_
const.xml
5158042
MAYBE
3.16/1.52
TRS_
Outermost/
Zantema_
08/
yoyo_
3a.xml
5158043
MAYBE
9.06/4.03
TRS_
Outermost/
Zantema_
08/
f_
5_
2.xml
5158044
MAYBE
3.47/1.57
TRS_
Outermost/
Zantema_
08/
cariboo_
add2.xml
5158045
MAYBE
3.01/1.50
TRS_
Outermost/
Zantema_
08/
ex4.xml
5158046
MAYBE
3.53/1.63
TRS_
Outermost/
Zantema_
08/
cariboo_
nl_
2.xml
5158047
MAYBE
3.15/1.53
TRS_
Outermost/
Strategy_
outermost_
added_
08/
OvConsOS_
complete_
L.xml
5157784
NO
3.26/1.55
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
OvConsOS_
nosorts_
GM.xml
5157785
MAYBE
512.42/296.49
TRS_
Outermost/
Strategy_
outermost_
added_
08/
nonTermF.xml
5157786
NO
4.10/1.75
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex8_
BLR02.xml
5157787
NO
3.19/1.50
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex4_
4_
Luc96b.xml
5157788
NO
3.11/1.52
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
#4.4.xml
5157789
NO
3.07/1.58
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex4_
7_
77_
Bor03.xml
5157790
NO
3.07/1.49
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex24_
Luc06_
GM.xml
5157791
MAYBE
28.80/22.84
TRS_
Outermost/
Strategy_
outermost_
added_
08/
jwno4.xml
5157792
NO
3.13/1.54
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
#4.18.xml
5157793
NO
3.11/1.50
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
OvConsOS_
nokinds-noand_
Z.xml
5157794
timeout (wallclock)
[out]
TRS_
Outermost/
Strategy_
outermost_
added_
08/
#4.13.xml
5157795
run script error
[out]
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex24_
GM04_
GM.xml
5157796
timeout (wallclock)
[out]
TRS_
Outermost/
Strategy_
outermost_
added_
08/
nonterm.xml
5157797
MAYBE
4.53/1.91
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex1_
GM99_
iGM.xml
5157798
timeout (wallclock)
[out]
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex4_
7_
37_
Bor03_
L.xml
5157799
NO
3.01/1.51
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
LengthOfFiniteLists_
nosorts_
GM.xml
5157800
MAYBE
367.65/291.51
TRS_
Outermost/
Strategy_
outermost_
added_
08/
OvConsOS_
nosorts-noand_
L.xml
5157801
NO
3.13/1.52
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
PALINDROME_
complete-noand_
L.xml
5157802
NO
3.13/1.57
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex9_
Luc04_
L.xml
5157803
NO
3.20/1.49
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
LengthOfFiniteLists_
complete-noand_
L.xml
5157804
NO
3.29/1.63
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
PEANO_
complete_
L.xml
5157805
NO
3.20/1.55
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex3_
2_
Luc97_
L.xml
5157806
NO
3.15/1.51
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex4_
7_
77_
Bor03_
L.xml
5157807
NO
3.05/1.51
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
OvConsOS_
nosorts_
L.xml
5157808
NO
3.24/1.51
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex5_
7_
Luc97_
L.xml
5157809
NO
3.14/1.53
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
round_
nonterm.xml
5157810
NO
3.20/1.53
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
OvConsOS_
nokinds-noand_
FR.xml
5157811
timeout (wallclock)
[out]
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex6_
GM04.xml
5157812
MAYBE
3.13/1.51
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex6_
9_
Luc02c.xml
5157813
NO
3.06/1.49
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
ExIntrod_
GM01_
L.xml
5157814
NO
3.14/1.52
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
OvConsOS_
nosorts_
FR.xml
5157815
NO
3.21/1.54
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex1_
GM03_
Z.xml
5157816
NO
3.27/1.60
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
test9.xml
5157817
NO
3.22/1.53
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
ExConc_
Zan97_
Z.xml
5157818
NO
3.23/1.52
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex24_
Luc06_
iGM.xml
5157819
MAYBE
367.76/291.92
TRS_
Outermost/
Strategy_
outermost_
added_
08/
gkg.xml
5157820
NO
3.22/1.59
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex2_
8_
1ConstSubstFix.xml
5157821
NO
3.19/1.52
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex6_
15_
AEL02_
L.xml
5157822
NO
3.16/1.54
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
003.xml
5157823
NO
3.28/1.58
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex14_
Luc06_
L.xml
5157824
NO
3.23/1.59
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex1_
GL02a_
L.xml
5157825
NO
3.19/1.50
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
TypeEx5.xml
5157826
NO
2.98/1.50
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
ExIntrod_
Zan97_
L.xml
5157827
NO
3.24/1.58
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
OvConsOS_
nokinds_
L.xml
5157828
NO
3.29/1.60
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex1_
Zan97.xml
5157829
NO
3.20/1.58
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex4_
7_
56_
Bor03.xml
5157830
NO
3.36/1.50
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
ExIntrod_
GM99_
L.xml
5157831
NO
3.16/1.49
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex1_
GM03.xml
5157832
NO
3.16/1.52
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex15_
Luc06_
L.xml
5157833
NO
3.21/1.94
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
LengthOfFiniteLists_
nosorts_
L.xml
5157834
NO
3.14/1.52
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
test10.xml
5157835
NO
3.14/1.52
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
PEANO_
complete-noand_
L.xml
5157836
NO
3.30/1.63
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
ExIntrod_
GM04_
Z.xml
5157837
MAYBE
359.41/291.47
TRS_
Outermost/
Strategy_
outermost_
added_
08/
n006.xml
5157838
NO
3.03/1.50
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex5_
Zan97_
L.xml
5157839
NO
3.26/1.59
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
test77.xml
5157840
MAYBE
355.35/291.47
TRS_
Outermost/
Strategy_
outermost_
added_
08/
ExSec11_
1_
Luc02a.xml
5157841
NO
3.20/1.53
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex1_
Luc04b_
L.xml
5157842
NO
3.30/1.50
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
#4.17.xml
5157843
NO
3.28/1.59
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex14_
AEGL02_
L.xml
5157844
NO
3.28/1.61
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
ExIntrod_
GM01_
Z.xml
5157845
MAYBE
358.16/291.48
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex9_
Luc04_
Z.xml
5157846
NO
3.07/1.51
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex1_
GL02a_
Z.xml
5157847
MAYBE
364.22/291.50
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex7_
BLR02.xml
5157848
NO
2.87/1.49
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex6_
15_
AEL02_
Z.xml
5157849
NO
7.86/3.63
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex6_
9_
Luc02c_
L.xml
5157850
NO
3.19/1.59
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex1_
GM99_
GM.xml
5157851
MAYBE
336.72/291.46
TRS_
Outermost/
Strategy_
outermost_
added_
08/
PEANO_
nokinds-noand_
L.xml
5157852
run script error
[out]
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex6_
15_
AEL02.xml
5157853
NO
3.15/1.64
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex9_
Luc06_
Z.xml
5157854
NO
3.20/1.51
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
MYNAT_
nosorts-noand_
L.xml
5157855
NO
3.23/1.51
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
4.06.xml
5157856
NO
3.39/2.45
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
4.54.xml
5157857
NO
3.07/1.51
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
LengthOfFiniteLists_
nokinds_
Z.xml
5157858
timeout (wallclock)
[out]
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex1_
Luc02b_
L.xml
5157859
run script error
[out]
TRS_
Outermost/
Strategy_
outermost_
added_
08/
ExIntrod_
GM99.xml
5157860
NO
3.21/1.61
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
ExAppendixB_
AEL03.xml
5157861
NO
3.25/1.61
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex3_
2_
Luc97.xml
5157862
NO
3.07/1.50
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
4.34.xml
5157863
NO
3.03/1.48
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
MYNAT_
complete-noand_
L.xml
5157864
NO
3.17/1.55
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex1_
GM99.xml
5157865
NO
3.12/1.51
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex4_
4_
Luc96b_
Z.xml
5157866
MAYBE
295.73/291.47
TRS_
Outermost/
Strategy_
outermost_
added_
08/
n001.xml
5157867
NO
3.02/1.50
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
PEANO_
nosorts-noand_
L.xml
5157868
NO
3.25/1.52
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
n005.xml
5157869
NO
3.13/1.50
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
PEANO_
nosorts_
L.xml
5157870
NO
3.01/1.53
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
LengthOfFiniteLists_
nokinds_
L.xml
5157871
NO
3.05/1.49
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
001.xml
5157872
NO
3.20/1.52
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
test75.xml
5157873
NO
3.29/1.54
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
LISTUTILITIES_
nosorts-noand_
L.xml
5157874
NO
3.21/1.55
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
n007.xml
5157875
NO
3.19/1.56
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex1_
Luc04b_
Z.xml
5157876
NO
3.14/1.57
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
LengthOfFiniteLists_
nosorts_
Z.xml
5157877
NO
3.41/1.61
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
PALINDROME_
nosorts_
L.xml
5157878
NO
3.20/1.58
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
jwno6.xml
5157879
NO
3.24/1.53
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
LengthOfFiniteLists_
nosorts-noand_
Z.xml
5157880
NO
3.86/1.67
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
PEANO_
nokinds_
L.xml
5157881
NO
3.20/1.50
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex15_
Luc98.xml
5157882
NO
3.22/1.51
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
LengthOfFiniteLists_
complete-noand_
FR.xml
5157883
timeout (wallclock)
[out]
TRS_
Outermost/
Strategy_
outermost_
added_
08/
OvConsOS_
nosorts_
noand_
GM.xml
5157884
timeout (wallclock)
[out]
TRS_
Outermost/
Strategy_
outermost_
added_
08/
jwno9.xml
5157885
MAYBE
4.11/1.81
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex16_
Luc06_
L.xml
5157886
NO
2.95/1.48
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex3_
3_
25_
Bor03_
Z.xml
5157887
NO
3.06/1.54
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
ExAppendixB_
AEL03_
L.xml
5157888
NO
3.22/1.56
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
n002.xml
5157889
NO
2.97/1.50
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex8_
BLR02_
L.xml
5157890
NO
3.40/1.58
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
LengthOfFiniteLists_
nosorts_
iGM.xml
5157891
timeout (wallclock)
[out]
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex14_
Luc06_
Z.xml
5157892
NO
4.17/1.80
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex1_
GM99_
Z.xml
5157893
NO
3.43/1.56
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex4_
Zan97.xml
5157894
NO
3.06/1.50
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex3_
3_
25_
Bor03.xml
5157895
NO
3.17/1.61
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
#4.16.xml
5157896
NO
3.25/1.62
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
#4.15.xml
5157897
NO
3.36/1.52
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex5_
7_
Luc97.xml
5157898
NO
3.11/1.60
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex24_
GM04_
L.xml
5157899
NO
2.85/1.52
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
4.49.xml
5157900
NO
2.99/1.51
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex14_
AEGL02.xml
5157901
NO
3.14/1.49
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
TypeEx3.xml
5157902
MAYBE
67.42/54.93
TRS_
Outermost/
Strategy_
outermost_
added_
08/
OvConsOS_
nosorts-noand_
Z.xml
5157903
NO
8.26/3.88
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
ExIntrod_
GM01_
FR.xml
5157904
MAYBE
361.46/291.49
TRS_
Outermost/
Strategy_
outermost_
added_
08/
#4.14.xml
5157905
NO
3.24/1.51
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex15_
Luc98_
L.xml
5157906
NO
3.19/1.51
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex6_
Luc98.xml
5157907
NO
3.25/1.61
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
PALINDROME_
nokinds-noand_
L.xml
5157908
NO
3.34/1.54
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
PALINDROME_
complete_
L.xml
5157909
NO
3.15/1.61
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex4_
DLMMU04_
L.xml
5157910
NO
3.24/1.51
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
LengthOfFiniteLists_
complete-noand_
Z.xml
5157911
timeout (wallclock)
[out]
TRS_
Outermost/
Strategy_
outermost_
added_
08/
ExConc_
Zan97.xml
5157912
NO
3.08/1.48
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
ExIntrod_
GM01.xml
5157913
NO
3.28/1.49
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
ttt1.xml
5157914
NO
3.23/1.54
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
ExIntrod_
GM04.xml
5157915
NO
3.12/1.52
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
PALINDROME_
nokinds_
L.xml
5157916
NO
2.97/1.55
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex14_
AEGL02_
Z.xml
5157917
NO
3.97/1.76
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
OvConsOS_
complete-noand_
L.xml
5157918
NO
3.40/1.65
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex3_
12_
Luc96a.xml
5157919
NO
3.15/1.58
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex4_
Zan97_
L.xml
5157920
NO
3.28/1.62
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex7_
BLR02_
L.xml
5157921
NO
3.13/1.51
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex1_
GM99_
L.xml
5157922
NO
3.20/1.65
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
2.05.xml
5157923
NO
3.44/1.57
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex9_
Luc06_
L.xml
5157924
NO
3.12/1.49
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex1_
2_
Luc02c_
L.xml
5157925
NO
3.15/1.51
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex14_
Luc06_
GM.xml
5157926
timeout (wallclock)
[out]
TRS_
Outermost/
Strategy_
outermost_
added_
08/
muladd.xml
5157927
run script error
[out]
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex6_
GM04_
Z.xml
5157928
MAYBE
5.96/2.46
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex9_
Luc04_
GM.xml
5157929
MAYBE
341.43/291.49
TRS_
Outermost/
Strategy_
outermost_
added_
08/
LengthOfFiniteLists_
nokinds_
FR.xml
5157930
MAYBE
515.43/292.75
TRS_
Outermost/
Strategy_
outermost_
added_
08/
LISTUTILITIES_
nosorts_
L.xml
5157931
NO
3.28/1.55
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
LengthOfFiniteLists_
nosorts_
noand_
GM.xml
5157932
timeout (wallclock)
[out]
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Hamming.xml
5157933
MAYBE
813.87/295.61
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex1_
Zan97_
L.xml
5157934
NO
3.21/1.59
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex2_
Luc03b.xml
5157935
NO
3.17/1.58
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex1_
GL02a.xml
5157936
NO
3.07/1.56
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex26_
Luc03b.xml
5157937
NO
3.06/1.50
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex24_
Luc06_
Z.xml
5157938
NO
3.11/1.52
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
LengthOfFiniteLists_
nosorts-noand_
L.xml
5157939
NO
3.08/1.51
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
LengthOfFiniteLists_
nokinds-noand_
FR.xml
5157940
MAYBE
512.47/292.71
TRS_
Outermost/
Strategy_
outermost_
added_
08/
MYNAT_
complete_
L.xml
5157941
NO
3.22/1.61
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
OvConsOS_
nosorts_
Z.xml
5157942
NO
3.23/1.53
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
thiemann28.xml
5157943
MAYBE
363.96/291.50
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex9_
BLR02.xml
5157944
NO
3.23/1.53
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
n003.xml
5157945
NO
3.09/1.53
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
LISTUTILITIES_
complete_
L.xml
5157946
NO
3.58/1.70
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex1_
Zan97_
Z.xml
5157947
NO
3.37/1.54
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex24_
GM04.xml
5157948
MAYBE
3.46/1.65
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex3_
12_
Luc96a_
L.xml
5157949
NO
3.18/1.59
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex1_
Luc04b_
FR.xml
5157950
MAYBE
351.05/292.46
TRS_
Outermost/
Strategy_
outermost_
added_
08/
append-wrong.xml
5157951
MAYBE
359.09/291.55
TRS_
Outermost/
Strategy_
outermost_
added_
08/
#4.3.xml
5157952
NO
3.17/1.51
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
ttt2.xml
5157953
NO
3.21/1.59
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex1_
GM03_
L.xml
5157954
NO
3.16/1.54
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex5_
DLMMU04_
L.xml
5157955
NO
3.10/1.59
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex4_
DLMMU04_
Z.xml
5157956
NO
7.02/2.85
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex4_
7_
56_
Bor03_
L.xml
5157957
NO
3.12/1.51
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex5_
DLMMU04_
Z.xml
5157958
MAYBE
653.84/294.79
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex4_
4_
Luc96b_
FR.xml
5157959
MAYBE
360.36/291.47
TRS_
Outermost/
Strategy_
outermost_
added_
08/
LISTUTILITIES_
complete-noand_
L.xml
5157960
NO
3.61/1.75
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex5_
Zan97.xml
5157961
MAYBE
293.27/291.44
TRS_
Outermost/
Strategy_
outermost_
added_
08/
n004.xml
5157962
NO
3.22/1.60
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
ExIntrod_
GM99_
Z.xml
5157963
timeout (wallclock)
[out]
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex4_
7_
15_
Bor03.xml
5157964
NO
3.20/1.51
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
MYNAT_
nokinds-noand_
L.xml
5157965
NO
2.96/1.52
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
ExIntrod_
Zan97_
Z.xml
5157966
NO
3.21/1.61
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
4.40.xml
5157967
NO
5.42/2.21
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
test76.xml
5157968
NO
7.10/2.79
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
termMonTypes.xml
5157969
NO
3.13/1.52
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
LISTUTILITIES_
nokinds-noand_
L.xml
5157970
NO
3.31/1.59
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex14_
AEGL02_
FR.xml
5157971
MAYBE
358.16/291.48
TRS_
Outermost/
Strategy_
outermost_
added_
08/
n008.xml
5157972
NO
2.83/1.47
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
MYNAT_
nosorts_
L.xml
5157973
NO
2.85/1.49
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
ExSec4_
2_
DLMMU04_
L.xml
5157974
NO
3.05/1.54
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex49_
GM04_
L.xml
5157975
NO
2.85/1.58
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex4_
DLMMU04_
FR.xml
5157976
NO
7.28/2.81
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex1_
Luc02b.xml
5157977
NO
3.26/1.52
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
LengthOfFiniteLists_
complete_
L.xml
5157978
NO
3.09/1.52
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
LengthOfFiniteLists_
nokinds-noand_
L.xml
5157979
NO
3.21/1.61
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
LengthOfFiniteLists_
nokinds-noand_
Z.xml
5157980
MAYBE
510.43/293.67
TRS_
Outermost/
Strategy_
outermost_
added_
08/
LISTUTILITIES_
nokinds_
L.xml
5157981
NO
3.21/1.60
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
OvConsOS_
nosorts-noand_
FR.xml
5157982
NO
9.63/5.01
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
ExIntrod_
GM04_
L.xml
5157983
NO
3.18/1.50
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex5_
DLMMU04_
FR.xml
5157984
timeout (wallclock)
[out]
TRS_
Outermost/
Strategy_
outermost_
added_
08/
jwno1.xml
5157985
NO
3.20/1.52
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
OvConsOS_
nokinds-noand_
L.xml
5157986
NO
3.00/1.52
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
#4.2.xml
5157987
run script error
[out]
TRS_
Outermost/
Strategy_
outermost_
added_
08/
ExIntrod_
GM04_
FR.xml
5157988
MAYBE
358.14/291.49
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex1_
2_
Luc02c.xml
5157989
NO
3.05/1.50
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
#4.12a.xml
5157990
NO
3.21/1.55
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex4_
7_
37_
Bor03.xml
5157991
NO
3.29/1.61
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex1_
2_
AEL03_
L.xml
5157992
NO
3.12/1.55
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
ExIntrod_
Zan97.xml
5157993
NO
3.13/1.51
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
#4.7.xml
5157994
NO
3.17/1.52
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
MYNAT_
nokinds_
L.xml
5157995
NO
3.40/1.61
(CERTIFIED
0.0
)
TRS_
Outermost/
Strategy_
outermost_
added_
08/
Ex1_
2_
AEL03.xml
5157996
run script error
[out]
TRS_
Outermost/
Strategy_
outermost_
added_
08/
cime4.xml
5157997
NO
3.26/1.54
(CERTIFIED
0.0
)
169