Termination Competition 2018
: TRS Standard Certified
30038
Job info CSV
benchmark
AProVE
certified
ttt2-1.17+nonreach
ttt2-1.17+nonreach-cert
TRS_
Standard/
AG01/
#3.49.xml
5160736
YES
3.94/1.76
(CERTIFIED
0.0
)
YES
2.88/1.00
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.19.xml
5160737
YES
4.65/2.01
(CERTIFIED
0.0
)
YES
5.28/1.79
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.56.xml
5160738
YES
4.04/1.74
(CERTIFIED
0.0
)
YES
4.53/1.42
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.18.xml
5160739
YES
4.33/1.94
(CERTIFIED
0.0
)
YES
4.05/1.37
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.6.xml
5160740
YES
4.76/2.04
(CERTIFIED
0.0
)
YES
4.48/1.50
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.35.xml
5160741
YES
7.16/2.57
(CERTIFIED
0.0
)
YES
0.56/0.39
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.53.xml
5160742
YES
4.26/1.92
(CERTIFIED
0.0
)
YES
12.02/3.67
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.55.xml
5160743
YES
5.28/2.10
(CERTIFIED
0.0
)
YES
10.92/3.18
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.52.xml
5160744
YES
3.78/1.75
(CERTIFIED
0.0
)
YES
1.51/0.65
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.47.xml
5160745
YES
3.44/1.63
(CERTIFIED
0.0
)
YES
1.20/0.56
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.10.xml
5160746
YES
6.40/2.41
(CERTIFIED
0.0
)
YES
15.60/4.49
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.4.xml
5160747
YES
4.18/1.80
(CERTIFIED
0.0
)
YES
4.12/1.38
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.6b.xml
5160748
YES
4.89/2.07
(CERTIFIED
0.0
)
YES
7.22/2.18
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.22.xml
5160749
YES
4.14/1.84
(CERTIFIED
0.0
)
YES
3.68/1.29
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.57.xml
5160750
run script error
[out]
YES
12.47/3.50
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.53b.xml
5160751
YES
3.63/1.74
(CERTIFIED
0.0
)
YES
1.54/0.67
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.53a.xml
5160752
YES
3.39/1.61
(CERTIFIED
0.0
)
YES
1.03/0.52
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.12.xml
5160753
YES
4.09/1.77
(CERTIFIED
0.0
)
YES
5.19/1.67
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.39.xml
5160754
YES
4.28/2.02
(CERTIFIED
0.0
)
YES
7.14/2.13
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.23.xml
5160755
YES
3.56/1.66
(CERTIFIED
0.0
)
YES
1.35/0.61
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.15.xml
5160756
YES
3.43/1.55
(CERTIFIED
0.0
)
YES
0.57/0.40
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.40.xml
5160757
YES
4.79/2.17
(CERTIFIED
0.0
)
MAYBE
132.27/42.35
TRS_
Standard/
AG01/
#3.5a.xml
5160758
YES
4.29/1.96
(CERTIFIED
0.0
)
run script error
[out]
TRS_
Standard/
AG01/
#3.13.xml
5160759
YES
5.64/2.31
(CERTIFIED
0.0
)
YES
12.79/3.61
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.17.xml
5160760
YES
4.90/2.00
(CERTIFIED
0.0
)
YES
6.81/1.99
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.29.xml
5160761
YES
3.40/1.66
(CERTIFIED
0.0
)
YES
0.61/0.41
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.41.xml
5160762
YES
3.60/2.05
(CERTIFIED
0.0
)
YES
1.67/0.69
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.8a.xml
5160763
YES
4.32/1.90
(CERTIFIED
0.0
)
YES
4.54/1.43
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.2.xml
5160764
YES
4.04/1.90
(CERTIFIED
0.0
)
YES
2.92/1.07
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.51.xml
5160765
YES
4.11/1.75
(CERTIFIED
0.0
)
YES
4.71/1.53
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.36.xml
5160766
YES
4.64/1.93
(CERTIFIED
0.0
)
YES
3.06/1.03
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.48.xml
5160767
YES
3.63/1.70
(CERTIFIED
0.0
)
YES
3.85/1.32
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.16.xml
5160768
YES
3.60/1.72
(CERTIFIED
0.0
)
YES
2.22/0.86
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.1.xml
5160769
YES
3.82/1.71
(CERTIFIED
0.0
)
YES
2.64/0.96
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.6a.xml
5160770
YES
4.85/2.04
(CERTIFIED
0.0
)
YES
4.88/1.58
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.26.xml
5160771
YES
8.54/3.02
(CERTIFIED
0.0
)
YES
1.53/0.64
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.7.xml
5160772
YES
4.95/2.10
(CERTIFIED
0.0
)
YES
0.60/0.42
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.5b.xml
5160773
YES
5.00/2.81
(CERTIFIED
0.0
)
YES
5.38/1.69
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.5.xml
5160774
YES
4.47/1.88
(CERTIFIED
0.0
)
YES
4.04/1.35
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.38.xml
5160775
YES
4.62/1.98
(CERTIFIED
0.0
)
YES
3.65/1.29
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.31.xml
5160776
YES
3.70/1.77
(CERTIFIED
0.0
)
YES
1.02/0.50
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.33.xml
5160777
YES
3.63/1.62
(CERTIFIED
0.0
)
YES
7.19/2.07
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.24.xml
5160778
YES
3.80/1.63
(CERTIFIED
0.0
)
YES
1.02/0.52
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.42.xml
5160779
YES
3.85/1.80
(CERTIFIED
0.0
)
YES
5.13/1.60
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.37.xml
5160780
YES
3.86/1.84
(CERTIFIED
0.0
)
YES
1.62/0.68
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#4.30c.xml
5160781
YES
10.25/4.80
(CERTIFIED
0.1
)
MAYBE
89.74/42.34
TRS_
Standard/
AG01/
#3.54.xml
5160782
YES
5.37/2.42
(CERTIFIED
0.0
)
YES
2.42/0.89
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.17a.xml
5160783
YES
4.86/2.08
(CERTIFIED
0.0
)
YES
10.31/2.87
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.8b.xml
5160784
YES
5.15/2.12
(CERTIFIED
0.0
)
YES
6.92/2.19
(CERTIFIED
0.0
)
TRS_
Standard/
AG01/
#3.21.xml
5160785
YES
3.85/1.82
(CERTIFIED
0.0
)
YES
1.79/0.73
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
05/
nonTermF.xml
5161122
timeout (wallclock)
[out]
NO
0.42/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
05/
TreeLevels.xml
5161123
YES
4.31/1.91
(CERTIFIED
0.0
)
YES
6.30/2.01
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
05/
Ex2_
6_
1Composition.xml
5161124
YES
3.72/1.71
(CERTIFIED
0.0
)
YES
0.50/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
05/
Ex7Sorting.xml
5161125
MAYBE
688.51/300.51
MAYBE
54.01/16.87
TRS_
Standard/
Applicative_
05/
Ex2_
8_
1ConstSubstFix.xml
5161126
NO
36.32/13.49
(CERTIFIED
0.1
)
NO
0.46/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
05/
Ex6Recursor.xml
5161127
YES
119.48/60.47
(CERTIFIED
0.1
)
MAYBE
19.04/7.34
TRS_
Standard/
Applicative_
05/
Ex7_
9.xml
5161128
YES
4.76/2.07
(CERTIFIED
0.0
)
MAYBE
16.63/7.36
TRS_
Standard/
Applicative_
05/
TypeEx5.xml
5161129
NO
4.48/2.07
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
05/
Ex8Polymorphic.xml
5161130
YES
3.98/1.80
(CERTIFIED
0.0
)
YES
2.98/1.07
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
05/
TreeFlatten.xml
5161131
YES
4.08/1.78
(CERTIFIED
0.0
)
YES
4.45/1.46
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
05/
Ex3Lists.xml
5161132
YES
3.94/1.74
(CERTIFIED
0.0
)
YES
4.96/1.64
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
05/
TypeEx1.xml
5161133
YES
4.50/1.90
(CERTIFIED
0.0
)
YES
3.29/1.12
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
05/
Ex10Functional.xml
5161134
timeout (wallclock)
[out]
MAYBE
41.97/13.39
TRS_
Standard/
Applicative_
05/
ReverseLastInit.xml
5161135
YES
3.79/1.76
(CERTIFIED
0.0
)
YES
1.79/0.72
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
05/
Ex9Maps.xml
5161136
YES
19.98/6.14
(CERTIFIED
0.1
)
MAYBE
62.41/20.92
TRS_
Standard/
Applicative_
05/
TakeDropWhile.xml
5161137
YES
3.92/1.76
(CERTIFIED
0.0
)
YES
4.03/1.40
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
05/
Ex2PrimRec.xml
5161138
timeout (wallclock)
[out]
MAYBE
31.77/11.19
TRS_
Standard/
Applicative_
05/
TypeEx3.xml
5161139
NO
8.51/2.97
(CERTIFIED
0.0
)
NO
0.32/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
05/
Ex4MapList.xml
5161140
YES
4.02/1.84
(CERTIFIED
0.0
)
YES
2.65/0.97
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
05/
Ex7OrdinalRec.xml
5161141
MAYBE
543.03/291.57
MAYBE
38.43/13.01
TRS_
Standard/
Applicative_
05/
Ex5Sorting.xml
5161142
timeout (wallclock)
[out]
MAYBE
54.22/16.76
TRS_
Standard/
Applicative_
05/
mapDivMinusHard.xml
5161143
YES
4.95/2.06
(CERTIFIED
0.0
)
MAYBE
120.54/42.36
TRS_
Standard/
Applicative_
05/
Hamming.xml
5161144
NO
6.44/2.48
(CERTIFIED
0.0
)
NO
0.51/0.43
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
05/
TreeMap.xml
5161145
YES
3.83/1.81
(CERTIFIED
0.0
)
YES
3.06/1.10
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
05/
BTreeMember.xml
5161146
YES
4.31/1.84
(CERTIFIED
0.0
)
YES
4.84/1.56
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
05/
Ex6Folding.xml
5161147
MAYBE
382.53/291.49
MAYBE
25.26/7.38
TRS_
Standard/
Applicative_
05/
Ex5Folding.xml
5161148
MAYBE
447.22/291.53
MAYBE
26.76/7.73
TRS_
Standard/
Applicative_
05/
termMonTypes.xml
5161149
NO
8.09/3.05
(CERTIFIED
0.0
)
NO
0.41/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
05/
TreeSize.xml
5161150
YES
4.01/1.79
(CERTIFIED
0.0
)
YES
4.26/1.42
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
05/
TreeHeight.xml
5161151
YES
4.27/1.84
(CERTIFIED
0.0
)
YES
4.79/1.64
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
05/
mapDivMinus.xml
5161152
YES
4.24/1.85
(CERTIFIED
0.0
)
MAYBE
16.84/7.35
TRS_
Standard/
Applicative_
05/
Ex6_
11.xml
5161153
YES
3.69/1.68
(CERTIFIED
0.0
)
YES
5.12/1.92
(CERTIFIED
0.0
)
TRS_
Standard/
AotoYamada_
05/
026.xml
5162172
YES
3.93/1.76
(CERTIFIED
0.0
)
YES
2.73/1.01
(CERTIFIED
0.0
)
TRS_
Standard/
AotoYamada_
05/
002.xml
5162173
YES
4.19/1.91
(CERTIFIED
0.0
)
YES
3.26/1.17
(CERTIFIED
0.0
)
TRS_
Standard/
AotoYamada_
05/
022.xml
5162174
YES
4.02/1.83
(CERTIFIED
0.0
)
YES
2.59/0.98
(CERTIFIED
0.0
)
TRS_
Standard/
AotoYamada_
05/
003.xml
5162175
NO
5.27/2.07
(CERTIFIED
0.0
)
NO
0.31/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
AotoYamada_
05/
Ex5TermProof.xml
5162176
YES
156.48/71.79
(CERTIFIED
0.2
)
MAYBE
26.24/7.49
TRS_
Standard/
AotoYamada_
05/
015.xml
5162177
YES
3.86/1.77
(CERTIFIED
0.0
)
YES
3.49/1.22
(CERTIFIED
0.0
)
TRS_
Standard/
AotoYamada_
05/
010.xml
5162178
YES
5.17/2.24
(CERTIFIED
0.0
)
MAYBE
31.73/9.90
TRS_
Standard/
AotoYamada_
05/
024.xml
5162179
YES
3.81/1.78
(CERTIFIED
0.0
)
YES
2.17/0.86
(CERTIFIED
0.0
)
TRS_
Standard/
AotoYamada_
05/
021.xml
5162180
YES
4.11/1.86
(CERTIFIED
0.0
)
YES
4.66/1.57
(CERTIFIED
0.0
)
TRS_
Standard/
AotoYamada_
05/
017.xml
5162181
YES
3.46/1.63
(CERTIFIED
0.0
)
YES
0.48/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
AotoYamada_
05/
012.xml
5162182
YES
4.20/1.78
(CERTIFIED
0.0
)
YES
3.53/1.21
(CERTIFIED
0.0
)
TRS_
Standard/
AotoYamada_
05/
005.xml
5162183
YES
3.62/1.64
(CERTIFIED
0.0
)
YES
0.49/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
AotoYamada_
05/
011.xml
5162184
YES
4.97/2.06
(CERTIFIED
0.0
)
MAYBE
34.03/11.65
TRS_
Standard/
AotoYamada_
05/
001.xml
5162185
NO
4.97/2.04
(CERTIFIED
0.0
)
NO
0.30/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
AotoYamada_
05/
027.xml
5162186
YES
3.81/1.76
(CERTIFIED
0.0
)
YES
3.40/1.17
(CERTIFIED
0.0
)
TRS_
Standard/
AotoYamada_
05/
Ex1SimplyTyped.xml
5162187
YES
3.93/1.77
(CERTIFIED
0.0
)
YES
3.10/1.11
(CERTIFIED
0.0
)
TRS_
Standard/
AotoYamada_
05/
006.xml
5162188
YES
3.90/1.79
(CERTIFIED
0.0
)
YES
3.14/1.14
(CERTIFIED
0.0
)
TRS_
Standard/
AotoYamada_
05/
025.xml
5162189
YES
3.65/1.70
(CERTIFIED
0.0
)
YES
0.52/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
AotoYamada_
05/
004.xml
5162190
YES
3.75/1.82
(CERTIFIED
0.0
)
YES
3.22/1.14
(CERTIFIED
0.0
)
TRS_
Standard/
AotoYamada_
05/
020.xml
5162191
YES
4.02/1.85
(CERTIFIED
0.0
)
YES
4.13/1.42
(CERTIFIED
0.0
)
TRS_
Standard/
AotoYamada_
05/
014.xml
5162192
YES
4.08/1.86
(CERTIFIED
0.0
)
YES
4.42/1.47
(CERTIFIED
0.0
)
TRS_
Standard/
AotoYamada_
05/
009.xml
5162193
YES
3.91/1.80
(CERTIFIED
0.0
)
YES
3.09/1.10
(CERTIFIED
0.0
)
TRS_
Standard/
AotoYamada_
05/
028.xml
5162194
YES
3.60/1.90
(CERTIFIED
0.0
)
YES
2.85/1.09
(CERTIFIED
0.0
)
TRS_
Standard/
AotoYamada_
05/
019.xml
5162195
YES
3.72/1.73
(CERTIFIED
0.0
)
YES
1.81/0.74
(CERTIFIED
0.0
)
TRS_
Standard/
AotoYamada_
05/
013.xml
5162196
YES
4.04/1.81
(CERTIFIED
0.0
)
YES
3.69/1.28
(CERTIFIED
0.0
)
TRS_
Standard/
AotoYamada_
05/
007.xml
5162197
YES
3.57/1.74
(CERTIFIED
0.0
)
YES
3.18/1.14
(CERTIFIED
0.0
)
TRS_
Standard/
AotoYamada_
05/
016.xml
5162198
YES
4.17/1.85
(CERTIFIED
0.0
)
run script error
[out]
TRS_
Standard/
AotoYamada_
05/
023.xml
5162199
YES
3.57/1.63
(CERTIFIED
0.0
)
YES
0.49/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
09_
Inductive/
zerolist.xml
5162200
MAYBE
382.53/291.49
MAYBE
14.03/7.33
TRS_
Standard/
AProVE_
09_
Inductive/
log.xml
5162201
MAYBE
641.41/291.75
MAYBE
107.12/42.33
TRS_
Standard/
AProVE_
09_
Inductive/
maxsort.xml
5162202
MAYBE
690.48/292.59
MAYBE
66.99/21.17
TRS_
Standard/
AProVE_
09_
Inductive/
qsortlast.xml
5162203
MAYBE
757.00/291.52
MAYBE
124.47/42.36
TRS_
Standard/
AProVE_
09_
Inductive/
qsort.xml
5162204
MAYBE
667.82/291.51
MAYBE
83.11/25.92
TRS_
Standard/
AProVE_
09_
Inductive/
qsortmiddle.xml
5162205
MAYBE
744.67/291.54
MAYBE
132.72/42.37
TRS_
Standard/
AProVE_
09_
Inductive/
minsort.xml
5162206
MAYBE
724.81/291.51
MAYBE
60.89/19.75
TRS_
Standard/
AProVE_
09_
Inductive/
gcd2.xml
5162207
MAYBE
666.10/291.51
MAYBE
49.01/17.88
TRS_
Standard/
AProVE_
09_
Inductive/
maxsortcondition.xml
5162208
MAYBE
704.48/291.52
MAYBE
47.42/16.69
TRS_
Standard/
AProVE_
09_
Inductive/
div.xml
5162209
MAYBE
658.77/291.50
MAYBE
28.96/9.18
TRS_
Standard/
AProVE_
09_
Inductive/
mod.xml
5162210
MAYBE
665.74/292.60
MAYBE
34.45/11.00
TRS_
Standard/
AProVE_
09_
Inductive/
divhard.xml
5162211
MAYBE
655.67/292.61
MAYBE
32.16/10.41
TRS_
Standard/
AProVE_
09_
Inductive/
gcd.xml
5162212
MAYBE
660.28/292.09
MAYBE
25.32/7.51
TRS_
Standard/
AProVE_
09_
Inductive/
gcdhard.xml
5162213
MAYBE
658.74/291.56
MAYBE
45.87/13.77
TRS_
Standard/
AProVE_
08/
log.xml
5161829
MAYBE
1084.33/293.16
MAYBE
124.59/42.34
TRS_
Standard/
AProVE_
08/
round_
nonterm.xml
5161830
NO
4.43/1.86
(CERTIFIED
0.0
)
NO
0.62/0.41
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
08/
parting05_
maxsort.xml
5161831
MAYBE
693.43/292.64
MAYBE
71.76/22.70
TRS_
Standard/
AProVE_
08/
parting03_
minsort.xml
5161832
MAYBE
680.87/291.50
MAYBE
57.94/17.37
TRS_
Standard/
AProVE_
08/
parting04_
maxsort_
h.xml
5161833
MAYBE
916.12/292.70
MAYBE
129.52/42.35
TRS_
Standard/
AProVE_
08/
thiemann40_
modified.xml
5161834
YES
27.77/13.52
(CERTIFIED
0.0
)
YES
4.75/1.62
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
08/
parting01_
reverse.xml
5161835
MAYBE
652.05/292.07
MAYBE
58.46/19.13
TRS_
Standard/
AProVE_
08/
round.xml
5161836
MAYBE
306.09/291.45
MAYBE
15.59/7.33
TRS_
Standard/
AProVE_
08/
id_
inc.xml
5161837
YES
5.50/2.14
(CERTIFIED
0.0
)
YES
24.64/6.47
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
08/
parting02_
doublelist.xml
5161838
MAYBE
649.80/292.83
MAYBE
57.91/18.09
TRS_
Standard/
Beerendonk_
07/
12.xml
5161982
YES
5.93/4.52
(CERTIFIED
0.0
)
MAYBE
21.23/7.34
TRS_
Standard/
Beerendonk_
07/
10.xml
5161983
YES
5.56/2.34
(CERTIFIED
0.0
)
YES
8.57/2.54
(CERTIFIED
0.0
)
TRS_
Standard/
Beerendonk_
07/
14.xml
5161984
YES
5.72/2.39
(CERTIFIED
0.0
)
MAYBE
14.47/7.33
TRS_
Standard/
Beerendonk_
07/
13.xml
5161985
YES
6.03/2.55
(CERTIFIED
0.0
)
MAYBE
26.08/7.33
TRS_
Standard/
Beerendonk_
07/
3.xml
5161986
YES
4.37/2.02
(CERTIFIED
0.0
)
MAYBE
15.31/7.35
TRS_
Standard/
Beerendonk_
07/
20.xml
5161987
YES
4.29/1.92
(CERTIFIED
0.0
)
MAYBE
43.46/12.83
TRS_
Standard/
Beerendonk_
07/
7.xml
5161988
YES
4.36/2.32
(CERTIFIED
0.0
)
YES
3.56/1.19
(CERTIFIED
0.0
)
TRS_
Standard/
Beerendonk_
07/
1.xml
5161989
YES
4.17/1.87
(CERTIFIED
0.0
)
YES
2.79/1.00
(CERTIFIED
0.0
)
TRS_
Standard/
Beerendonk_
07/
17.xml
5161990
YES
22.78/12.81
(CERTIFIED
0.1
)
MAYBE
105.59/42.35
TRS_
Standard/
Beerendonk_
07/
23.xml
5161991
YES
5.87/2.25
(CERTIFIED
0.0
)
YES
5.49/1.69
(CERTIFIED
0.0
)
TRS_
Standard/
Beerendonk_
07/
19.xml
5161992
YES
32.40/14.40
(CERTIFIED
0.1
)
MAYBE
120.50/42.35
TRS_
Standard/
Beerendonk_
07/
16.xml
5161993
YES
20.36/11.73
(CERTIFIED
0.0
)
MAYBE
61.28/18.62
TRS_
Standard/
Beerendonk_
07/
5.xml
5161994
YES
4.84/2.06
(CERTIFIED
0.0
)
YES
5.37/1.69
(CERTIFIED
0.0
)
TRS_
Standard/
Beerendonk_
07/
11.xml
5161995
YES
6.82/2.84
(CERTIFIED
0.0
)
MAYBE
22.27/7.34
TRS_
Standard/
Beerendonk_
07/
2.xml
5161996
YES
4.38/1.98
(CERTIFIED
0.0
)
YES
3.00/1.05
(CERTIFIED
0.0
)
TRS_
Standard/
Beerendonk_
07/
8.xml
5161997
YES
4.05/1.93
(CERTIFIED
0.0
)
YES
4.20/1.41
(CERTIFIED
0.0
)
TRS_
Standard/
Beerendonk_
07/
18.xml
5161998
YES
4.80/2.04
(CERTIFIED
0.1
)
MAYBE
115.97/42.34
TRS_
Standard/
Beerendonk_
07/
6.xml
5161999
YES
4.30/1.85
(CERTIFIED
0.0
)
YES
3.24/1.12
(CERTIFIED
0.0
)
TRS_
Standard/
Beerendonk_
07/
21.xml
5162000
MAYBE
621.28/291.56
MAYBE
51.73/15.51
TRS_
Standard/
Beerendonk_
07/
9.xml
5162001
YES
4.75/2.01
(CERTIFIED
0.0
)
YES
4.46/1.49
(CERTIFIED
0.0
)
TRS_
Standard/
Beerendonk_
07/
4.xml
5162002
YES
4.42/2.04
(CERTIFIED
0.0
)
MAYBE
10.90/7.34
TRS_
Standard/
Beerendonk_
07/
24.xml
5162003
YES
26.35/11.40
(CERTIFIED
1.0
)
MAYBE
125.29/42.35
TRS_
Standard/
Beerendonk_
07/
15.xml
5162004
YES
10.62/4.30
(CERTIFIED
0.0
)
MAYBE
60.45/20.69
TRS_
Standard/
Beerendonk_
07/
22.xml
5162005
YES
5.38/2.18
(CERTIFIED
0.0
)
YES
5.20/1.63
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
10/
isNat.xml
5162055
NO
21.67/12.67
(CERTIFIED
0.0
)
MAYBE
14.05/7.32
TRS_
Standard/
AProVE_
10/
ex3.xml
5162056
NO
35.10/11.94
(CERTIFIED
0.0
)
MAYBE
29.29/10.66
TRS_
Standard/
AProVE_
10/
halfdouble.xml
5162057
NO
25.76/13.04
(CERTIFIED
0.1
)
MAYBE
131.07/42.34
TRS_
Standard/
AProVE_
10/
isList.xml
5162058
NO
4.40/1.98
(CERTIFIED
0.0
)
NO
0.43/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
10/
scnp.xml
5162059
YES
3.38/1.63
(CERTIFIED
0.0
)
YES
0.73/0.44
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
10/
downfrom.xml
5162060
MAYBE
389.79/291.46
MAYBE
102.06/42.34
TRS_
Standard/
AProVE_
10/
ex5.xml
5162061
YES
3.22/1.51
(CERTIFIED
0.0
)
YES
0.47/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
10/
andIsNat.xml
5162062
NO
45.96/18.09
(CERTIFIED
0.1
)
MAYBE
95.32/42.33
TRS_
Standard/
AProVE_
10/
ex1.xml
5162063
NO
25.25/11.87
(CERTIFIED
0.0
)
MAYBE
24.82/8.53
TRS_
Standard/
AProVE_
10/
challenge_
fab.xml
5162064
MAYBE
628.57/291.48
MAYBE
131.01/42.33
TRS_
Standard/
AProVE_
10/
double.xml
5162065
NO
37.42/11.82
(CERTIFIED
0.0
)
MAYBE
15.76/7.32
TRS_
Standard/
AProVE_
10/
Zantema06-03-modified.xml
5162066
timeout (wallclock)
[out]
MAYBE
142.00/42.33
TRS_
Standard/
AProVE_
10/
ex2.xml
5162067
NO
38.27/12.33
(CERTIFIED
0.0
)
MAYBE
88.57/42.33
TRS_
Standard/
AProVE_
10/
ex4.xml
5162068
NO
40.22/14.34
(CERTIFIED
0.0
)
MAYBE
39.94/12.63
TRS_
Standard/
AProVE_
04/
Liveness_
WRS.xml
5161154
YES
7.22/2.62
(CERTIFIED
0.0
)
YES
7.31/2.14
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
04/
IJCAR_
1.xml
5161155
YES
4.12/1.83
(CERTIFIED
0.0
)
YES
2.44/0.90
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
04/
IJCAR_
18.xml
5161156
YES
5.25/2.13
(CERTIFIED
0.0
)
YES
9.37/2.83
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
04/
AAECC-ring.xml
5161157
timeout (wallclock)
[out]
MAYBE
143.01/42.40
TRS_
Standard/
AProVE_
04/
AAECC.xml
5161158
YES
55.74/19.93
(CERTIFIED
0.1
)
MAYBE
97.33/27.64
TRS_
Standard/
AProVE_
04/
forward_
instantiation2.xml
5161159
YES
3.91/1.88
(CERTIFIED
0.0
)
YES
0.98/0.52
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
04/
JFP_
Ex51.xml
5161160
YES
5.48/2.20
(CERTIFIED
0.0
)
YES
24.42/6.73
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
04/
IJCAR_
12.xml
5161161
YES
4.70/2.04
(CERTIFIED
0.0
)
YES
4.76/1.57
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
04/
rta1.xml
5161162
YES
4.14/1.90
(CERTIFIED
0.0
)
YES
5.07/1.66
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
04/
IJCAR_
26.xml
5161163
YES
5.64/2.26
(CERTIFIED
0.0
)
YES
11.57/3.40
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
04/
LPAR_
intlist.xml
5161164
YES
4.25/1.81
(CERTIFIED
0.0
)
YES
4.06/1.31
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
04/
IJCAR_
26a.xml
5161165
YES
5.42/2.12
(CERTIFIED
0.0
)
YES
11.85/3.47
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
04/
Liveness8.xml
5161166
YES
5.09/3.51
(CERTIFIED
0.0
)
YES
4.00/1.29
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
04/
Liveness6.3.xml
5161167
YES
10.50/3.87
(CERTIFIED
0.0
)
YES
9.81/2.77
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
04/
fac.xml
5161168
YES
5.41/2.29
(CERTIFIED
0.0
)
YES
4.63/1.55
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
04/
Liveness6.4.xml
5161169
YES
79.14/24.88
(CERTIFIED
0.1
)
MAYBE
144.65/42.34
TRS_
Standard/
AProVE_
04/
improved_
usable2.xml
5161170
YES
3.76/1.75
(CERTIFIED
0.0
)
YES
1.32/0.61
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
04/
Liveness6.1.xml
5161171
YES
12.61/5.21
(CERTIFIED
0.0
)
YES
2.03/0.79
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
04/
Liveness6.2.xml
5161172
YES
6.13/2.51
(CERTIFIED
0.0
)
YES
3.02/1.04
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
04/
rta2.xml
5161173
YES
3.18/1.52
(CERTIFIED
0.0
)
YES
0.65/0.41
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
04/
JFP_
Ex31.xml
5161174
YES
133.30/59.53
(CERTIFIED
0.1
)
MAYBE
144.68/42.34
TRS_
Standard/
AProVE_
04/
improved_
usable.xml
5161175
YES
3.89/1.69
(CERTIFIED
0.0
)
YES
1.47/0.66
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
04/
rta3.xml
5161176
YES
3.62/2.12
(CERTIFIED
0.0
)
YES
2.48/0.94
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
04/
forward_
instantiation.xml
5161177
YES
3.77/1.78
(CERTIFIED
0.0
)
YES
0.87/0.50
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
first_
order_
05/
01.xml
5161042
YES
4.47/1.89
(CERTIFIED
0.0
)
YES
5.13/1.74
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
first_
order_
05/
12.xml
5161043
YES
4.67/1.99
(CERTIFIED
0.0
)
YES
7.51/2.37
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
first_
order_
05/
06.xml
5161044
YES
4.55/1.95
(CERTIFIED
0.0
)
YES
4.65/1.53
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
first_
order_
05/
#3.18.xml
5161045
YES
5.24/2.14
(CERTIFIED
0.0
)
MAYBE
25.97/8.03
TRS_
Standard/
Applicative_
first_
order_
05/
#3.6.xml
5161046
YES
5.87/2.33
(CERTIFIED
0.0
)
MAYBE
24.53/7.37
TRS_
Standard/
Applicative_
first_
order_
05/
#3.55.xml
5161047
YES
6.59/2.65
(CERTIFIED
0.0
)
MAYBE
27.30/7.80
TRS_
Standard/
Applicative_
first_
order_
05/
motivation.xml
5161048
YES
4.69/2.03
(CERTIFIED
0.0
)
YES
5.25/1.71
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
first_
order_
05/
02.xml
5161049
YES
4.31/1.88
(CERTIFIED
0.0
)
YES
4.57/1.56
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
first_
order_
05/
#3.52.xml
5161050
YES
4.57/2.02
(CERTIFIED
0.0
)
YES
5.44/1.77
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
first_
order_
05/
#3.10.xml
5161051
YES
7.81/2.92
(CERTIFIED
0.0
)
MAYBE
65.26/20.67
TRS_
Standard/
Applicative_
first_
order_
05/
#3.22.xml
5161052
YES
4.65/1.99
(CERTIFIED
0.0
)
MAYBE
21.04/7.37
TRS_
Standard/
Applicative_
first_
order_
05/
#3.57.xml
5161053
YES
6.02/2.39
(CERTIFIED
0.0
)
MAYBE
31.29/8.85
TRS_
Standard/
Applicative_
first_
order_
05/
13.xml
5161054
YES
27.03/13.32
(CERTIFIED
0.0
)
MAYBE
24.81/7.36
TRS_
Standard/
Applicative_
first_
order_
05/
#3.8.xml
5161055
YES
5.24/2.76
(CERTIFIED
0.0
)
MAYBE
47.89/17.07
TRS_
Standard/
Applicative_
first_
order_
05/
hydra.xml
5161056
YES
4.63/1.93
(CERTIFIED
0.0
)
YES
6.91/2.17
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
first_
order_
05/
minsort.xml
5161057
MAYBE
680.41/291.74
run script error
[out]
TRS_
Standard/
Applicative_
first_
order_
05/
#3.45.xml
5161058
YES
4.63/2.21
(CERTIFIED
0.0
)
YES
6.74/2.08
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
first_
order_
05/
17.xml
5161059
YES
4.44/1.87
(CERTIFIED
0.0
)
YES
7.38/2.27
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
first_
order_
05/
08.xml
5161060
YES
4.39/1.93
(CERTIFIED
0.0
)
YES
6.09/1.96
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
first_
order_
05/
29.xml
5161061
YES
4.62/2.02
(CERTIFIED
0.0
)
YES
5.96/1.96
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
first_
order_
05/
#3.27.xml
5161062
YES
4.21/1.91
(CERTIFIED
0.0
)
YES
4.99/1.62
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
first_
order_
05/
#3.40.xml
5161063
YES
5.62/2.21
(CERTIFIED
0.0
)
MAYBE
131.73/42.38
TRS_
Standard/
Applicative_
first_
order_
05/
#3.13.xml
5161064
YES
6.83/2.72
(CERTIFIED
0.0
)
MAYBE
26.85/7.47
TRS_
Standard/
Applicative_
first_
order_
05/
33.xml
5161065
MAYBE
897.64/291.52
MAYBE
133.65/42.38
TRS_
Standard/
Applicative_
first_
order_
05/
11.xml
5161066
YES
5.30/2.14
(CERTIFIED
0.0
)
YES
11.75/3.86
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
first_
order_
05/
#3.2.xml
5161067
YES
4.82/2.94
(CERTIFIED
0.0
)
MAYBE
15.60/7.37
TRS_
Standard/
Applicative_
first_
order_
05/
#3.36.xml
5161068
run script error
[out]
MAYBE
18.55/7.36
TRS_
Standard/
Applicative_
first_
order_
05/
#3.32.xml
5161069
YES
4.48/1.97
(CERTIFIED
0.0
)
run script error
[out]
TRS_
Standard/
Applicative_
first_
order_
05/
#3.48.xml
5161070
YES
4.47/1.96
(CERTIFIED
0.0
)
YES
7.69/2.47
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
first_
order_
05/
#3.16.xml
5161071
YES
4.90/1.95
(CERTIFIED
0.0
)
YES
7.15/2.27
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
first_
order_
05/
18.xml
5161072
YES
4.32/1.94
(CERTIFIED
0.0
)
YES
4.97/1.60
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
first_
order_
05/
#3.38.xml
5161073
YES
5.48/4.89
(CERTIFIED
0.0
)
MAYBE
26.34/7.78
TRS_
Standard/
Applicative_
first_
order_
05/
21.xml
5161074
YES
4.92/2.04
(CERTIFIED
0.0
)
MAYBE
14.99/7.35
TRS_
Standard/
Applicative_
first_
order_
05/
#3.25.xml
5161075
YES
5.68/2.30
(CERTIFIED
0.0
)
MAYBE
15.81/7.35
TRS_
Standard/
Applicative_
first_
order_
05/
31.xml
5161076
YES
5.40/2.17
(CERTIFIED
0.0
)
MAYBE
31.78/10.02
TRS_
Standard/
Applicative_
first_
order_
05/
30.xml
5161077
YES
4.04/1.82
(CERTIFIED
0.0
)
YES
8.97/2.74
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
first_
order_
05/
perfect.xml
5161078
YES
5.15/2.13
(CERTIFIED
0.0
)
YES
15.35/4.62
(CERTIFIED
0.0
)
TRS_
Standard/
Applicative_
first_
order_
05/
perfect2.xml
5161079
YES
5.58/2.26
(CERTIFIED
0.0
)
MAYBE
135.27/42.39
TRS_
Standard/
AProVE_
07/
thiemann14.xml
5162085
YES
25.73/8.92
(CERTIFIED
0.0
)
YES
10.81/3.32
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
07/
otto06.xml
5162086
YES
8.47/3.21
(CERTIFIED
0.1
)
MAYBE
37.89/13.59
TRS_
Standard/
AProVE_
07/
kabasci06.xml
5162087
YES
4.79/2.07
(CERTIFIED
0.0
)
MAYBE
120.80/42.36
TRS_
Standard/
AProVE_
07/
thiemann01.xml
5162088
YES
6.14/2.64
(CERTIFIED
0.0
)
MAYBE
19.27/7.34
TRS_
Standard/
AProVE_
07/
thiemann31.xml
5162089
YES
8.40/3.20
(CERTIFIED
0.0
)
MAYBE
49.86/16.33
TRS_
Standard/
AProVE_
07/
thiemann21.xml
5162090
MAYBE
684.45/291.52
MAYBE
105.56/42.36
TRS_
Standard/
AProVE_
07/
thiemann25.xml
5162091
YES
5.67/2.34
(CERTIFIED
0.0
)
MAYBE
30.59/11.03
TRS_
Standard/
AProVE_
07/
thiemann05.xml
5162092
YES
6.71/2.54
(CERTIFIED
0.0
)
MAYBE
25.50/7.68
TRS_
Standard/
AProVE_
07/
thiemann03.xml
5162093
YES
7.70/2.80
(CERTIFIED
0.0
)
MAYBE
111.19/42.34
TRS_
Standard/
AProVE_
07/
thiemann39.xml
5162094
YES
5.53/2.17
(CERTIFIED
0.0
)
MAYBE
90.69/29.11
TRS_
Standard/
AProVE_
07/
thiemann34.xml
5162095
YES
8.33/3.12
(CERTIFIED
0.0
)
MAYBE
40.64/15.20
TRS_
Standard/
AProVE_
07/
thiemann26.xml
5162096
NO
135.61/57.45
(CERTIFIED
0.0
)
MAYBE
39.56/13.20
TRS_
Standard/
AProVE_
07/
wiehe03.xml
5162097
YES
7.85/2.86
(CERTIFIED
0.0
)
YES
26.36/7.38
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
07/
otto03.xml
5162098
YES
4.53/2.00
(CERTIFIED
0.0
)
MAYBE
24.29/8.28
TRS_
Standard/
AProVE_
07/
thiemann10.xml
5162099
YES
5.18/2.08
(CERTIFIED
0.0
)
YES
5.90/1.86
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
07/
thiemann30.xml
5162100
MAYBE
400.12/291.53
MAYBE
23.93/7.37
TRS_
Standard/
AProVE_
07/
otto04.xml
5162101
YES
6.60/2.61
(CERTIFIED
0.0
)
MAYBE
34.37/12.18
TRS_
Standard/
AProVE_
07/
otto05.xml
5162102
YES
5.11/2.07
(CERTIFIED
0.0
)
YES
5.20/1.67
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
07/
thiemann40.xml
5162103
YES
4.51/1.98
(CERTIFIED
0.0
)
YES
2.83/0.99
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
07/
thiemann17.xml
5162104
YES
6.26/2.36
(CERTIFIED
0.0
)
YES
9.08/2.66
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
07/
kabasci05.xml
5162105
YES
5.51/2.27
(CERTIFIED
0.0
)
YES
16.43/5.30
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
07/
otto08.xml
5162106
YES
7.60/3.24
(CERTIFIED
0.0
)
MAYBE
18.36/7.35
TRS_
Standard/
AProVE_
07/
thiemann18.xml
5162107
YES
7.32/2.65
(CERTIFIED
0.0
)
YES
13.15/3.73
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
07/
wiehe01.xml
5162108
run script error
[out]
YES
11.57/3.49
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
07/
wiehe11.xml
5162109
YES
7.43/2.71
(CERTIFIED
0.0
)
YES
28.57/8.78
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
07/
kabasci02.xml
5162110
YES
7.79/2.80
(CERTIFIED
0.0
)
YES
21.71/6.09
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
07/
thiemann36.xml
5162111
YES
10.07/4.38
(CERTIFIED
0.1
)
MAYBE
50.83/16.88
TRS_
Standard/
AProVE_
07/
thiemann29.xml
5162112
YES
40.61/19.19
(CERTIFIED
0.1
)
MAYBE
118.60/42.34
TRS_
Standard/
AProVE_
07/
thiemann37.xml
5162113
YES
15.02/5.27
(CERTIFIED
0.3
)
MAYBE
38.08/13.81
TRS_
Standard/
AProVE_
07/
wiehe08.xml
5162114
YES
6.65/2.48
(CERTIFIED
0.0
)
YES
18.70/6.53
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
07/
thiemann04.xml
5162115
YES
67.08/19.08
(CERTIFIED
0.2
)
MAYBE
69.82/25.27
TRS_
Standard/
AProVE_
07/
otto02.xml
5162116
YES
6.18/2.38
(CERTIFIED
0.0
)
MAYBE
29.46/10.46
TRS_
Standard/
AProVE_
07/
thiemann38.xml
5162117
YES
7.10/2.76
(CERTIFIED
0.0
)
MAYBE
40.64/15.10
TRS_
Standard/
AProVE_
07/
thiemann41.xml
5162118
YES
5.01/3.10
(CERTIFIED
0.0
)
MAYBE
27.67/9.72
TRS_
Standard/
AProVE_
07/
thiemann27.xml
5162119
YES
4.78/2.04
(CERTIFIED
0.0
)
MAYBE
23.90/8.09
TRS_
Standard/
AProVE_
07/
otto07.xml
5162120
YES
4.82/2.13
(CERTIFIED
0.0
)
MAYBE
24.60/8.50
TRS_
Standard/
AProVE_
07/
otto01.xml
5162121
YES
6.98/2.67
(CERTIFIED
0.1
)
MAYBE
53.88/18.53
TRS_
Standard/
AProVE_
07/
kabasci03.xml
5162122
run script error
[out]
YES
16.84/4.69
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
07/
thiemann23.xml
5162123
YES
6.73/2.69
(CERTIFIED
0.0
)
MAYBE
29.87/10.68
TRS_
Standard/
AProVE_
07/
thiemann07.xml
5162124
YES
25.71/9.02
(CERTIFIED
0.0
)
MAYBE
115.68/42.35
TRS_
Standard/
AProVE_
07/
thiemann32.xml
5162125
YES
14.84/6.94
(CERTIFIED
0.1
)
MAYBE
130.57/42.35
TRS_
Standard/
AProVE_
07/
thiemann19.xml
5162126
YES
8.44/3.29
(CERTIFIED
0.0
)
MAYBE
42.56/15.84
TRS_
Standard/
AProVE_
07/
otto12.xml
5162127
YES
7.94/3.01
(CERTIFIED
0.0
)
MAYBE
37.27/13.29
TRS_
Standard/
AProVE_
07/
thiemann09.xml
5162128
YES
5.06/2.16
(CERTIFIED
0.0
)
MAYBE
37.63/12.88
TRS_
Standard/
AProVE_
07/
wiehe06.xml
5162129
YES
6.61/2.48
(CERTIFIED
0.0
)
YES
13.85/3.99
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
07/
otto11.xml
5162130
YES
5.25/2.10
(CERTIFIED
0.0
)
MAYBE
26.12/8.99
TRS_
Standard/
AProVE_
07/
kabasci01.xml
5162131
YES
17.08/5.36
(CERTIFIED
0.1
)
YES
45.71/12.23
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
07/
thiemann16.xml
5162132
YES
6.25/2.46
(CERTIFIED
0.0
)
YES
14.71/4.27
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
07/
thiemann11.xml
5162133
YES
37.25/14.30
(CERTIFIED
0.0
)
MAYBE
131.77/42.34
TRS_
Standard/
AProVE_
07/
wiehe02.xml
5162134
YES
7.08/2.59
(CERTIFIED
0.0
)
YES
21.19/5.91
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
07/
thiemann22.xml
5162135
YES
7.72/3.61
(CERTIFIED
0.0
)
MAYBE
131.40/42.33
TRS_
Standard/
AProVE_
07/
thiemann35.xml
5162136
YES
6.26/2.44
(CERTIFIED
0.0
)
MAYBE
61.00/19.98
TRS_
Standard/
AProVE_
07/
thiemann20.xml
5162137
MAYBE
805.47/291.49
MAYBE
102.83/42.33
TRS_
Standard/
AProVE_
07/
thiemann15.xml
5162138
YES
5.09/2.03
(CERTIFIED
0.0
)
run script error
[out]
TRS_
Standard/
AProVE_
07/
wiehe09.xml
5162139
YES
6.73/2.52
(CERTIFIED
0.0
)
YES
13.60/3.95
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
07/
wiehe05.xml
5162140
run script error
[out]
YES
14.30/4.24
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
07/
wiehe12.xml
5162141
YES
7.94/2.84
(CERTIFIED
0.0
)
YES
27.86/7.62
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
07/
thiemann28.xml
5162142
NO
15.55/7.93
(CERTIFIED
0.0
)
MAYBE
33.97/10.90
TRS_
Standard/
AProVE_
07/
kabasci04.xml
5162143
YES
4.79/2.10
(CERTIFIED
0.0
)
YES
9.12/2.77
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
07/
thiemann13.xml
5162144
YES
20.61/7.64
(CERTIFIED
0.0
)
MAYBE
131.80/42.35
TRS_
Standard/
AProVE_
07/
thiemann06.xml
5162145
YES
20.68/6.44
(CERTIFIED
0.1
)
MAYBE
113.40/42.35
TRS_
Standard/
AProVE_
07/
otto10.xml
5162146
YES
6.38/2.45
(CERTIFIED
0.0
)
MAYBE
38.48/13.90
TRS_
Standard/
AProVE_
07/
thiemann12.xml
5162147
YES
5.21/2.10
(CERTIFIED
0.0
)
YES
6.48/2.01
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
07/
otto09.xml
5162148
YES
8.78/3.69
(CERTIFIED
0.0
)
MAYBE
17.97/7.34
TRS_
Standard/
AProVE_
07/
otto13.xml
5162149
YES
8.04/7.70
(CERTIFIED
0.2
)
MAYBE
43.77/16.36
TRS_
Standard/
AProVE_
07/
thiemann33.xml
5162150
YES
10.03/4.55
(CERTIFIED
0.1
)
MAYBE
32.67/11.51
TRS_
Standard/
AProVE_
07/
wiehe07.xml
5162151
MAYBE
882.26/296.55
MAYBE
29.89/8.49
TRS_
Standard/
AProVE_
07/
thiemann24.xml
5162152
YES
6.06/2.41
(CERTIFIED
0.0
)
MAYBE
34.32/12.24
TRS_
Standard/
AProVE_
07/
thiemann02.xml
5162153
YES
12.90/4.63
(CERTIFIED
0.1
)
MAYBE
89.57/29.98
TRS_
Standard/
AProVE_
07/
thiemann08.xml
5162154
YES
4.98/2.04
(CERTIFIED
0.0
)
YES
5.41/1.79
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
06/
nonterm.xml
5160976
NO
6.03/2.38
(CERTIFIED
0.0
)
NO
0.56/0.40
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
06/
modulo.xml
5160977
YES
14.39/10.33
(CERTIFIED
0.0
)
MAYBE
17.53/7.34
TRS_
Standard/
AProVE_
06/
div_
notTermin.xml
5160978
MAYBE
651.51/291.52
MAYBE
127.01/42.35
TRS_
Standard/
AProVE_
06/
tower.xml
5160979
YES
5.06/2.08
(CERTIFIED
0.0
)
YES
9.62/2.80
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
06/
mapHard.xml
5160980
YES
7.76/2.80
(CERTIFIED
0.0
)
MAYBE
131.72/42.36
TRS_
Standard/
AProVE_
06/
tower_
sizeChange.xml
5160981
YES
33.64/14.63
(CERTIFIED
0.0
)
MAYBE
53.82/21.90
TRS_
Standard/
AProVE_
06/
identity.xml
5160982
YES
5.81/2.49
(CERTIFIED
0.0
)
MAYBE
133.06/42.34
TRS_
Standard/
AProVE_
06/
logarithm.xml
5160983
YES
14.82/8.36
(CERTIFIED
0.0
)
MAYBE
127.94/42.35
TRS_
Standard/
AProVE_
06/
factorial1.xml
5160984
YES
5.14/2.03
(CERTIFIED
0.0
)
YES
9.10/2.70
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
06/
quot.xml
5160985
YES
9.38/8.81
(CERTIFIED
0.0
)
MAYBE
16.06/7.33
TRS_
Standard/
AProVE_
06/
factorial2.xml
5160986
YES
6.15/2.44
(CERTIFIED
0.0
)
MAYBE
27.57/8.68
TRS_
Standard/
AProVE_
06/
div_
notCeTermin.xml
5160987
YES
13.54/5.72
(CERTIFIED
0.0
)
MAYBE
126.62/42.35
TRS_
Standard/
AProVE_
06/
quicksort.xml
5160988
YES
7.06/2.63
(CERTIFIED
0.0
)
YES
22.43/6.08
(CERTIFIED
0.0
)
TRS_
Standard/
AProVE_
06/
sizeChange.xml
5160989
YES
3.90/1.83
(CERTIFIED
0.0
)
YES
2.83/1.04
(CERTIFIED
0.0
)
TRS_
Standard/
HirokawaMiddeldorp_
04/
t005.xml
5161749
YES
8.12/2.90
(CERTIFIED
0.1
)
YES
17.18/5.27
(CERTIFIED
0.1
)
TRS_
Standard/
HirokawaMiddeldorp_
04/
t003.xml
5161750
YES
4.35/1.91
(CERTIFIED
0.0
)
YES
5.86/1.94
(CERTIFIED
0.0
)
TRS_
Standard/
HirokawaMiddeldorp_
04/
t011.xml
5161751
YES
3.52/1.64
(CERTIFIED
0.0
)
YES
0.92/0.49
(CERTIFIED
0.0
)
TRS_
Standard/
HirokawaMiddeldorp_
04/
t008.xml
5161752
YES
7.83/2.72
(CERTIFIED
0.0
)
YES
3.53/1.16
(CERTIFIED
0.0
)
TRS_
Standard/
HirokawaMiddeldorp_
04/
n006.xml
5161753
NO
3.21/1.55
(CERTIFIED
0.0
)
NO
0.30/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
HirokawaMiddeldorp_
04/
n005.xml
5161754
NO
3.05/1.45
(CERTIFIED
0.0
)
NO
0.30/0.30
(CERTIFIED
0.0
)
TRS_
Standard/
HirokawaMiddeldorp_
04/
t004.xml
5161755
YES
7.48/2.60
(CERTIFIED
0.0
)
YES
4.97/1.51
(CERTIFIED
0.0
)
TRS_
Standard/
HirokawaMiddeldorp_
04/
n007.xml
5161756
NO
3.85/1.82
(CERTIFIED
0.0
)
NO
0.30/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
HirokawaMiddeldorp_
04/
t013.xml
5161757
YES
4.37/1.95
(CERTIFIED
0.0
)
YES
4.22/1.35
(CERTIFIED
0.0
)
TRS_
Standard/
HirokawaMiddeldorp_
04/
t002.xml
5161758
YES
4.47/1.92
(CERTIFIED
0.0
)
MAYBE
13.49/7.33
TRS_
Standard/
HirokawaMiddeldorp_
04/
n002.xml
5161759
NO
3.30/1.57
(CERTIFIED
0.0
)
NO
0.30/0.30
(CERTIFIED
0.0
)
TRS_
Standard/
HirokawaMiddeldorp_
04/
t006.xml
5161760
YES
3.28/1.51
(CERTIFIED
0.0
)
YES
0.51/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
HirokawaMiddeldorp_
04/
t001.xml
5161761
YES
4.64/2.10
(CERTIFIED
0.0
)
YES
8.61/2.62
(CERTIFIED
0.0
)
TRS_
Standard/
HirokawaMiddeldorp_
04/
t010.xml
5161762
YES
4.10/1.75
(CERTIFIED
0.0
)
YES
0.65/0.45
(CERTIFIED
0.0
)
TRS_
Standard/
HirokawaMiddeldorp_
04/
t007.xml
5161763
YES
4.00/1.76
(CERTIFIED
0.0
)
YES
0.62/0.43
(CERTIFIED
0.0
)
TRS_
Standard/
HirokawaMiddeldorp_
04/
t014.xml
5161764
YES
4.23/1.88
(CERTIFIED
0.0
)
YES
4.31/1.44
(CERTIFIED
0.0
)
TRS_
Standard/
HirokawaMiddeldorp_
04/
n003.xml
5161765
NO
5.89/2.30
(CERTIFIED
0.0
)
NO
0.30/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
HirokawaMiddeldorp_
04/
t012.xml
5161766
YES
4.16/1.87
(CERTIFIED
0.0
)
YES
2.86/0.99
(CERTIFIED
0.0
)
TRS_
Standard/
HirokawaMiddeldorp_
04/
n004.xml
5161767
NO
6.45/2.36
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
HirokawaMiddeldorp_
04/
t009.xml
5161768
YES
16.97/7.52
(CERTIFIED
0.1
)
MAYBE
144.14/42.43
TRS_
Standard/
HirokawaMiddeldorp_
04/
n008.xml
5161769
NO
5.50/2.28
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
HirokawaMiddeldorp_
04/
t000.xml
5161770
YES
4.23/1.79
(CERTIFIED
0.0
)
YES
1.40/0.66
(CERTIFIED
0.0
)
TRS_
Standard/
GTSSK07/
cade01.xml
5162069
YES
4.80/2.09
(CERTIFIED
0.0
)
MAYBE
25.24/8.85
TRS_
Standard/
GTSSK07/
cade11.xml
5162070
YES
4.53/2.09
(CERTIFIED
0.0
)
MAYBE
31.75/11.49
TRS_
Standard/
GTSSK07/
cade14.xml
5162071
YES
10.49/5.50
(CERTIFIED
0.2
)
MAYBE
35.75/13.11
TRS_
Standard/
GTSSK07/
cade16.xml
5162072
YES
4.99/2.26
(CERTIFIED
0.0
)
MAYBE
33.64/12.19
TRS_
Standard/
GTSSK07/
cade12t.xml
5162073
timeout (wallclock)
[out]
MAYBE
122.67/42.34
TRS_
Standard/
GTSSK07/
cade09.xml
5162074
YES
4.84/2.15
(CERTIFIED
0.0
)
MAYBE
130.88/42.34
TRS_
Standard/
GTSSK07/
cade10.xml
5162075
YES
5.02/2.14
(CERTIFIED
0.0
)
MAYBE
101.03/42.33
TRS_
Standard/
GTSSK07/
cade06.xml
5162076
MAYBE
655.58/291.51
MAYBE
31.74/11.30
TRS_
Standard/
GTSSK07/
cade03.xml
5162077
YES
4.96/2.20
(CERTIFIED
0.0
)
MAYBE
24.47/8.38
TRS_
Standard/
GTSSK07/
cade04t.xml
5162078
MAYBE
345.99/291.56
MAYBE
12.64/7.33
TRS_
Standard/
GTSSK07/
cade13t.xml
5162079
YES
5.33/2.24
(CERTIFIED
0.0
)
MAYBE
18.51/7.34
TRS_
Standard/
GTSSK07/
cade05t.xml
5162080
YES
5.76/2.47
(CERTIFIED
0.1
)
MAYBE
65.64/21.72
TRS_
Standard/
GTSSK07/
cade17.xml
5162081
timeout (wallclock)
[out]
MAYBE
132.63/42.34
TRS_
Standard/
GTSSK07/
cade08.xml
5162082
MAYBE
661.92/291.88
MAYBE
32.00/11.38
TRS_
Standard/
GTSSK07/
cade07.xml
5162083
MAYBE
334.53/242.30
MAYBE
31.98/11.10
TRS_
Standard/
GTSSK07/
cade15.xml
5162084
YES
13.63/5.70
(CERTIFIED
0.1
)
MAYBE
60.76/20.26
TRS_
Standard/
Mixed_
TRS/
while2.xml
5161013
timeout (wallclock)
[out]
MAYBE
122.24/42.33
TRS_
Standard/
Mixed_
TRS/
motivation.xml
5161014
YES
3.84/1.72
(CERTIFIED
0.0
)
YES
2.16/0.82
(CERTIFIED
0.0
)
TRS_
Standard/
Mixed_
TRS/
jones1.xml
5161015
YES
3.38/1.57
(CERTIFIED
0.0
)
YES
0.53/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
Mixed_
TRS/
jones5.xml
5161016
run script error
[out]
YES
0.71/0.43
(CERTIFIED
0.0
)
TRS_
Standard/
Mixed_
TRS/
beans.xml
5161017
YES
4.59/1.99
(CERTIFIED
0.0
)
MAYBE
144.50/42.34
TRS_
Standard/
Mixed_
TRS/
3.xml
5161018
YES
3.97/1.90
(CERTIFIED
0.0
)
YES
1.38/0.63
(CERTIFIED
0.0
)
TRS_
Standard/
Mixed_
TRS/
7.xml
5161019
YES
66.44/35.07
(CERTIFIED
0.1
)
MAYBE
43.32/16.13
TRS_
Standard/
Mixed_
TRS/
1.xml
5161020
YES
4.20/1.89
(CERTIFIED
0.0
)
YES
1.73/0.80
(CERTIFIED
0.0
)
TRS_
Standard/
Mixed_
TRS/
hydra.xml
5161021
YES
3.71/1.66
(CERTIFIED
0.0
)
YES
2.18/0.82
(CERTIFIED
0.0
)
TRS_
Standard/
Mixed_
TRS/
minsort.xml
5161022
MAYBE
657.95/291.52
MAYBE
46.74/15.62
TRS_
Standard/
Mixed_
TRS/
while.xml
5161023
YES
4.27/1.93
(CERTIFIED
0.0
)
MAYBE
17.48/7.33
TRS_
Standard/
Mixed_
TRS/
jones4.xml
5161024
YES
3.62/1.71
(CERTIFIED
0.0
)
YES
0.48/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Mixed_
TRS/
gcdMinMax.xml
5161025
YES
4.80/1.99
(CERTIFIED
0.0
)
MAYBE
70.46/23.03
TRS_
Standard/
Mixed_
TRS/
Ex1_
Luc04b_
GM.xml
5161026
YES
6.24/2.83
(CERTIFIED
0.0
)
YES
20.75/5.69
(CERTIFIED
0.1
)
TRS_
Standard/
Mixed_
TRS/
hydra-Zantema06.xml
5161027
MAYBE
666.11/291.50
MAYBE
128.86/42.34
TRS_
Standard/
Mixed_
TRS/
5.xml
5161028
YES
3.83/1.76
(CERTIFIED
0.0
)
YES
0.93/0.53
(CERTIFIED
0.0
)
TRS_
Standard/
Mixed_
TRS/
jones2.xml
5161029
YES
3.54/1.67
(CERTIFIED
0.0
)
YES
2.16/0.80
(CERTIFIED
0.0
)
TRS_
Standard/
Mixed_
TRS/
2.xml
5161030
YES
4.27/1.91
(CERTIFIED
0.0
)
YES
2.88/1.03
(CERTIFIED
0.0
)
TRS_
Standard/
Mixed_
TRS/
div_
hard.xml
5161031
MAYBE
547.55/291.50
MAYBE
20.49/7.34
TRS_
Standard/
Mixed_
TRS/
jones6.xml
5161032
YES
3.62/1.73
(CERTIFIED
0.0
)
YES
1.68/0.68
(CERTIFIED
0.0
)
TRS_
Standard/
Mixed_
TRS/
test1.xml
5161033
YES
3.80/1.84
(CERTIFIED
0.0
)
YES
1.24/0.58
(CERTIFIED
0.0
)
TRS_
Standard/
Mixed_
TRS/
6.xml
5161034
MAYBE
340.05/291.49
MAYBE
21.72/7.32
TRS_
Standard/
Mixed_
TRS/
fossacs.xml
5161035
MAYBE
669.85/291.48
run script error
[out]
TRS_
Standard/
Mixed_
TRS/
sigma.xml
5161036
timeout (wallclock)
[out]
MAYBE
31.58/10.09
TRS_
Standard/
Mixed_
TRS/
gcd.xml
5161037
YES
4.61/1.97
(CERTIFIED
0.0
)
YES
6.80/2.09
(CERTIFIED
0.0
)
TRS_
Standard/
Mixed_
TRS/
4.xml
5161038
YES
4.31/1.99
(CERTIFIED
0.0
)
YES
1.43/0.77
(CERTIFIED
0.0
)
TRS_
Standard/
Mixed_
TRS/
perfect.xml
5161039
YES
3.87/1.78
(CERTIFIED
0.0
)
YES
3.86/1.38
(CERTIFIED
0.0
)
TRS_
Standard/
Mixed_
TRS/
gcd_
triple.xml
5161040
YES
5.98/2.40
(CERTIFIED
0.0
)
YES
11.28/3.31
(CERTIFIED
0.0
)
TRS_
Standard/
Mixed_
TRS/
perfect2.xml
5161041
YES
4.62/1.95
(CERTIFIED
0.0
)
YES
6.21/1.97
(CERTIFIED
0.0
)
TRS_
Standard/
Hydras/
lepper_
8.xml
5162155
MAYBE
1065.33/297.60
MAYBE
148.60/43.20
TRS_
Standard/
Hydras/
worm_
wrong.xml
5162156
YES
55.04/20.12
(CERTIFIED
0.0
)
YES
25.05/8.15
(CERTIFIED
0.0
)
TRS_
Standard/
Hydras/
lepper_
4.xml
5162157
MAYBE
1019.03/300.09
MAYBE
137.59/42.52
TRS_
Standard/
Hydras/
lepper_
2.xml
5162158
NO
154.83/53.38
(CERTIFIED
0.0
)
MAYBE
120.43/42.40
TRS_
Standard/
Hydras/
worm_
fixed2.xml
5162159
timeout (wallclock)
[out]
MAYBE
131.12/42.34
TRS_
Standard/
Hydras/
hydra_
touzet.xml
5162160
MAYBE
646.17/292.25
MAYBE
82.05/27.16
TRS_
Standard/
Hydras/
hydra_
buchholz.xml
5162161
timeout (wallclock)
[out]
MAYBE
40.13/12.98
TRS_
Standard/
Hydras/
lepper_
0.xml
5162162
timeout (wallclock)
[out]
MAYBE
81.51/28.09
TRS_
Standard/
Hydras/
lepper_
5.xml
5162163
timeout (wallclock)
[out]
MAYBE
146.68/42.63
TRS_
Standard/
Hydras/
lepper_
9.xml
5162164
timeout (wallclock)
[out]
MAYBE
147.33/43.50
TRS_
Standard/
Hydras/
worm_
fixed.xml
5162165
MAYBE
886.86/291.55
MAYBE
55.44/17.58
TRS_
Standard/
Hydras/
worm_
fixed3.xml
5162166
timeout (wallclock)
[out]
MAYBE
131.81/42.35
TRS_
Standard/
Hydras/
lepper_
6.xml
5162167
timeout (wallclock)
[out]
MAYBE
147.44/42.76
TRS_
Standard/
Hydras/
lepper_
10.xml
5162168
timeout (wallclock)
[out]
MAYBE
144.94/43.87
TRS_
Standard/
Hydras/
goodstein.xml
5162169
timeout (wallclock)
[out]
MAYBE
90.21/28.60
TRS_
Standard/
Hydras/
lepper_
3.xml
5162170
NO
572.91/180.66
(CERTIFIED
0.1
)
MAYBE
130.63/42.46
TRS_
Standard/
Hydras/
lepper_
1.xml
5162171
timeout (wallclock)
[out]
MAYBE
92.95/29.90
TRS_
Standard/
Der95/
03.xml
5161190
YES
3.39/1.52
(CERTIFIED
0.0
)
YES
0.85/0.47
(CERTIFIED
0.0
)
TRS_
Standard/
Der95/
01.xml
5161191
YES
3.47/1.60
(CERTIFIED
0.0
)
YES
0.48/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
Der95/
12.xml
5161192
YES
3.75/1.70
(CERTIFIED
0.0
)
YES
3.42/1.21
(CERTIFIED
0.0
)
TRS_
Standard/
Der95/
27.xml
5161193
run script error
[out]
YES
0.57/0.40
(CERTIFIED
0.0
)
TRS_
Standard/
Der95/
06.xml
5161194
YES
6.28/2.42
(CERTIFIED
0.0
)
YES
1.35/0.59
(CERTIFIED
0.0
)
TRS_
Standard/
Der95/
02.xml
5161195
YES
3.52/1.59
(CERTIFIED
0.0
)
YES
0.46/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Der95/
13.xml
5161196
YES
27.65/13.15
(CERTIFIED
0.0
)
MAYBE
27.43/8.35
TRS_
Standard/
Der95/
20.xml
5161197
YES
3.59/1.65
(CERTIFIED
0.0
)
YES
0.55/0.40
(CERTIFIED
0.0
)
TRS_
Standard/
Der95/
04.xml
5161198
YES
4.40/1.83
(CERTIFIED
0.0
)
YES
0.85/0.48
(CERTIFIED
0.0
)
TRS_
Standard/
Der95/
17.xml
5161199
YES
3.35/1.54
(CERTIFIED
0.0
)
YES
0.50/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
Der95/
08.xml
5161200
YES
3.70/1.69
(CERTIFIED
0.0
)
YES
17.24/5.49
(CERTIFIED
0.0
)
TRS_
Standard/
Der95/
28.xml
5161201
YES
3.55/1.68
(CERTIFIED
0.0
)
YES
1.99/0.78
(CERTIFIED
0.0
)
TRS_
Standard/
Der95/
09.xml
5161202
YES
3.01/1.51
(CERTIFIED
0.0
)
YES
0.49/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Der95/
33.xml
5161203
MAYBE
911.02/292.43
MAYBE
133.06/42.33
TRS_
Standard/
Der95/
11.xml
5161204
YES
4.10/1.79
(CERTIFIED
0.0
)
YES
17.37/5.57
(CERTIFIED
0.0
)
TRS_
Standard/
Der95/
07.xml
5161205
YES
10.68/3.48
(CERTIFIED
0.0
)
YES
0.96/0.50
(CERTIFIED
0.0
)
TRS_
Standard/
Der95/
18.xml
5161206
YES
3.54/1.69
(CERTIFIED
0.0
)
YES
1.59/0.68
(CERTIFIED
0.0
)
TRS_
Standard/
Der95/
21.xml
5161207
YES
3.77/1.72
(CERTIFIED
0.0
)
YES
3.20/1.13
(CERTIFIED
0.0
)
TRS_
Standard/
Der95/
31.xml
5161208
YES
3.78/1.77
(CERTIFIED
0.0
)
YES
2.97/1.03
(CERTIFIED
0.0
)
TRS_
Standard/
Der95/
30.xml
5161209
timeout (wallclock)
[out]
YES
3.64/1.19
(CERTIFIED
0.0
)
TRS_
Standard/
Der95/
32.xml
5161210
YES
3.82/1.75
(CERTIFIED
0.0
)
YES
3.42/1.19
(CERTIFIED
0.0
)
TRS_
Standard/
CiME_
04/
filliatre2.xml
5161771
YES
4.18/1.79
(CERTIFIED
0.0
)
YES
7.71/2.24
(CERTIFIED
0.0
)
TRS_
Standard/
CiME_
04/
tree.xml
5161772
YES
5.33/2.14
(CERTIFIED
0.0
)
YES
31.00/8.28
(CERTIFIED
0.0
)
TRS_
Standard/
CiME_
04/
boolean_
rings.xml
5161773
YES
3.83/1.76
(CERTIFIED
0.0
)
YES
2.43/0.90
(CERTIFIED
0.0
)
TRS_
Standard/
CiME_
04/
intersect.xml
5161774
YES
4.48/2.15
(CERTIFIED
0.0
)
YES
7.63/2.32
(CERTIFIED
0.0
)
TRS_
Standard/
CiME_
04/
append-hard.xml
5161775
YES
4.40/1.96
(CERTIFIED
0.0
)
YES
2.75/0.96
(CERTIFIED
0.0
)
TRS_
Standard/
CiME_
04/
ack_
prolog.xml
5161776
YES
3.76/1.80
(CERTIFIED
0.0
)
YES
2.97/1.07
(CERTIFIED
0.0
)
TRS_
Standard/
CiME_
04/
ternary-hard.xml
5161777
YES
4.91/5.34
(CERTIFIED
0.0
)
YES
13.84/4.15
(CERTIFIED
0.0
)
TRS_
Standard/
CiME_
04/
filliatre.xml
5161778
YES
5.48/2.13
(CERTIFIED
0.0
)
YES
6.75/1.99
(CERTIFIED
0.0
)
TRS_
Standard/
CiME_
04/
append.xml
5161779
YES
3.67/1.71
(CERTIFIED
0.0
)
YES
2.30/0.88
(CERTIFIED
0.0
)
TRS_
Standard/
CiME_
04/
fact-hard.xml
5161780
YES
6.38/3.44
(CERTIFIED
0.0
)
MAYBE
93.21/42.34
TRS_
Standard/
CiME_
04/
list-sum-prod-bin-assoc.xml
5161781
YES
4.22/1.87
(CERTIFIED
0.0
)
YES
9.87/2.94
(CERTIFIED
0.0
)
TRS_
Standard/
CiME_
04/
list-sum-prod-assoc-append.xml
5161782
YES
3.70/1.75
(CERTIFIED
0.0
)
YES
8.71/2.80
(CERTIFIED
0.0
)
TRS_
Standard/
CiME_
04/
dpqs.xml
5161783
YES
4.40/1.81
(CERTIFIED
0.0
)
YES
1.23/0.57
(CERTIFIED
0.0
)
TRS_
Standard/
CiME_
04/
ternary.xml
5161784
YES
5.03/2.02
(CERTIFIED
0.0
)
YES
12.89/3.71
(CERTIFIED
0.0
)
TRS_
Standard/
CiME_
04/
filliatre3.xml
5161785
YES
4.46/2.00
(CERTIFIED
0.0
)
YES
14.27/3.97
(CERTIFIED
0.0
)
TRS_
Standard/
CiME_
04/
list-sum-prod.xml
5161786
YES
3.83/1.80
(CERTIFIED
0.0
)
YES
9.92/3.72
(CERTIFIED
0.0
)
TRS_
Standard/
CiME_
04/
lse.xml
5161787
YES
4.69/1.98
(CERTIFIED
0.0
)
YES
12.23/3.54
(CERTIFIED
0.0
)
TRS_
Standard/
CiME_
04/
mucrl1.xml
5161788
YES
7.61/3.31
(CERTIFIED
0.1
)
YES
29.12/8.34
(CERTIFIED
0.1
)
TRS_
Standard/
CiME_
04/
maude2.xml
5161789
timeout (wallclock)
[out]
MAYBE
51.68/18.53
TRS_
Standard/
CiME_
04/
log2.xml
5161790
YES
6.04/3.54
(CERTIFIED
0.0
)
YES
28.58/7.65
(CERTIFIED
0.1
)
TRS_
Standard/
CiME_
04/
append-wrong.xml
5161791
NO
5.50/2.21
(CERTIFIED
0.0
)
NO
0.60/0.48
(CERTIFIED
0.0
)
TRS_
Standard/
CiME_
04/
list-sum-prod-assoc.xml
5161792
YES
4.04/1.83
(CERTIFIED
0.0
)
YES
7.00/2.14
(CERTIFIED
0.0
)
TRS_
Standard/
CiME_
04/
list-sum-prod-bin.xml
5161793
YES
4.17/1.83
(CERTIFIED
0.0
)
YES
9.89/2.91
(CERTIFIED
0.0
)
TRS_
Standard/
CiME_
04/
big.xml
5161794
YES
6.24/2.45
(CERTIFIED
0.0
)
YES
29.72/8.71
(CERTIFIED
0.0
)
TRS_
Standard/
CiME_
04/
list-sum-prod-bin-assoc-distr-app.xml
5161795
YES
4.73/2.02
(CERTIFIED
0.0
)
YES
15.93/4.60
(CERTIFIED
0.0
)
TRS_
Standard/
Endrullis_
06/
linear1.xml
5161178
YES
4.56/2.10
(CERTIFIED
0.0
)
YES
2.68/0.94
(CERTIFIED
0.0
)
TRS_
Standard/
Endrullis_
06/
linear2.xml
5161179
YES
12.89/4.17
(CERTIFIED
0.0
)
YES
30.89/8.36
(CERTIFIED
0.0
)
TRS_
Standard/
Endrullis_
06/
pair3hard.xml
5161180
YES
9.47/3.47
(CERTIFIED
0.0
)
MAYBE
101.50/42.34
TRS_
Standard/
Endrullis_
06/
pair3rotate.xml
5161181
YES
4.90/2.08
(CERTIFIED
0.0
)
YES
24.55/6.44
(CERTIFIED
0.0
)
TRS_
Standard/
Endrullis_
06/
pair2simple2.xml
5161182
YES
4.49/1.97
(CERTIFIED
0.0
)
MAYBE
63.96/21.59
TRS_
Standard/
Endrullis_
06/
pair2hard.xml
5161183
YES
90.05/38.41
(CERTIFIED
0.0
)
YES
22.58/7.03
(CERTIFIED
0.0
)
TRS_
Standard/
Endrullis_
06/
direct.xml
5161184
YES
4.68/2.72
(CERTIFIED
0.0
)
YES
1.53/0.64
(CERTIFIED
0.0
)
TRS_
Standard/
Endrullis_
06/
pair2simple1.xml
5161185
YES
3.66/1.68
(CERTIFIED
0.0
)
YES
6.75/2.03
(CERTIFIED
0.0
)
TRS_
Standard/
Endrullis_
06/
labeling.xml
5161186
YES
15.81/5.28
(CERTIFIED
0.2
)
MAYBE
5.46/2.08
TRS_
Standard/
Endrullis_
06/
quadruple2.xml
5161187
YES
18.51/9.91
(CERTIFIED
0.1
)
YES
1.83/0.71
(CERTIFIED
0.0
)
TRS_
Standard/
Endrullis_
06/
pair3swap.xml
5161188
YES
5.39/2.11
(CERTIFIED
0.0
)
YES
22.95/6.74
(CERTIFIED
0.0
)
TRS_
Standard/
Endrullis_
06/
quadruple1.xml
5161189
YES
4.69/2.20
(CERTIFIED
0.0
)
YES
20.84/5.49
(CERTIFIED
0.0
)
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex7_
5.xml
5162006
MAYBE
651.79/291.50
MAYBE
132.12/42.34
TRS_
Standard/
EEG_
IJCAR_
12/
enger-nonloop-swap_
decr.xml
5162007
NO
32.57/12.07
(CERTIFIED
0.0
)
MAYBE
29.65/10.54
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex6_
1.xml
5162008
NO
31.88/11.90
(CERTIFIED
0.0
)
MAYBE
14.44/7.33
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex4_
1.xml
5162009
NO
23.37/12.23
(CERTIFIED
0.0
)
MAYBE
18.56/7.33
TRS_
Standard/
EEG_
IJCAR_
12/
enger-nonloop-isList-List.xml
5162010
MAYBE
669.73/291.46
MAYBE
15.80/7.33
TRS_
Standard/
EEG_
IJCAR_
12/
enger-nonloop-isDNat.xml
5162011
NO
36.59/11.79
(CERTIFIED
0.0
)
MAYBE
27.27/9.80
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex2_
4.xml
5162012
NO
67.29/22.92
(CERTIFIED
0.1
)
MAYBE
39.00/14.44
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex2_
5.xml
5162013
NO
70.09/24.14
(CERTIFIED
0.1
)
MAYBE
45.73/15.14
TRS_
Standard/
EEG_
IJCAR_
12/
enger-nonloop-add.xml
5162014
NO
29.07/12.85
(CERTIFIED
0.0
)
MAYBE
38.89/12.35
TRS_
Standard/
EEG_
IJCAR_
12/
rybalchenko-nonloop-popl08.xml
5162015
run script error
[out]
MAYBE
131.06/42.37
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex7_
2.xml
5162016
MAYBE
428.30/291.47
MAYBE
111.34/42.34
TRS_
Standard/
EEG_
IJCAR_
12/
enger-nonloop-toOne.xml
5162017
NO
37.10/12.48
(CERTIFIED
0.0
)
MAYBE
130.53/42.33
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex1_
2.xml
5162018
MAYBE
640.97/291.49
MAYBE
98.66/42.33
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex1_
1.xml
5162019
run script error
[out]
MAYBE
36.13/11.53
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex3_
4.xml
5162020
MAYBE
630.01/291.50
MAYBE
33.16/11.98
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex1_
5.xml
5162021
NO
39.84/12.52
(CERTIFIED
0.0
)
MAYBE
17.38/7.33
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex2_
1.xml
5162022
MAYBE
684.56/291.46
MAYBE
39.55/13.58
TRS_
Standard/
EEG_
IJCAR_
12/
enger-nonloop-isTrueList.xml
5162023
NO
29.64/11.70
(CERTIFIED
0.0
)
MAYBE
22.83/7.67
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex7_
1.xml
5162024
MAYBE
426.20/291.47
MAYBE
130.75/42.33
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex2_
2.xml
5162025
NO
36.61/12.94
(CERTIFIED
0.1
)
MAYBE
95.29/42.33
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex7_
4.xml
5162026
MAYBE
425.96/291.47
MAYBE
119.19/42.34
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex4_
4.xml
5162027
NO
22.87/12.43
(CERTIFIED
0.0
)
MAYBE
18.76/7.34
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex7_
6.xml
5162028
MAYBE
658.12/291.52
MAYBE
132.04/42.34
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex4_
2.xml
5162029
NO
30.40/13.33
(CERTIFIED
0.0
)
MAYBE
89.37/42.34
TRS_
Standard/
EEG_
IJCAR_
12/
enger-nonloop-isList.xml
5162030
NO
28.97/11.78
(CERTIFIED
0.0
)
MAYBE
18.79/7.34
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex7_
3.xml
5162031
MAYBE
647.29/292.07
MAYBE
131.58/42.34
TRS_
Standard/
EEG_
IJCAR_
12/
enger-nonloop-swapXY.xml
5162032
NO
38.39/12.18
(CERTIFIED
0.0
)
run script error
[out]
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex5_
1.xml
5162033
NO
35.59/15.65
(CERTIFIED
0.0
)
MAYBE
115.97/42.34
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex3_
1.xml
5162034
NO
36.71/12.39
(CERTIFIED
0.0
)
MAYBE
24.43/7.33
TRS_
Standard/
EEG_
IJCAR_
12/
enger-nonloop-addTrue.xml
5162035
NO
33.87/13.00
(CERTIFIED
0.0
)
MAYBE
40.79/12.51
TRS_
Standard/
EEG_
IJCAR_
12/
enger-nonloop-while-lt.xml
5162036
NO
37.03/11.76
(CERTIFIED
0.0
)
MAYBE
19.92/7.33
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex3_
2.xml
5162037
NO
32.67/12.57
(CERTIFIED
0.0
)
MAYBE
12.55/7.33
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex7_
9.xml
5162038
MAYBE
431.46/291.49
MAYBE
117.14/42.35
TRS_
Standard/
EEG_
IJCAR_
12/
velroyen-nonloop-ConvLower_
c.xml
5162039
NO
35.21/12.46
(CERTIFIED
0.0
)
MAYBE
128.28/42.35
TRS_
Standard/
EEG_
IJCAR_
12/
enger-nonloop-swapXY2.xml
5162040
NO
29.60/11.83
(CERTIFIED
0.0
)
MAYBE
17.12/7.34
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex7_
7.xml
5162041
MAYBE
429.93/291.48
MAYBE
119.20/42.33
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex1_
4.xml
5162042
NO
38.73/12.23
(CERTIFIED
0.0
)
MAYBE
16.26/7.33
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex5_
3.xml
5162043
NO
38.32/16.27
(CERTIFIED
0.0
)
MAYBE
27.13/7.50
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex6_
2.xml
5162044
NO
33.42/11.95
(CERTIFIED
0.0
)
MAYBE
22.40/7.34
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex5_
2.xml
5162045
NO
31.68/13.62
(CERTIFIED
0.0
)
MAYBE
131.18/42.34
TRS_
Standard/
EEG_
IJCAR_
12/
enger-nonloop-ex_
payet.xml
5162046
MAYBE
339.72/291.48
MAYBE
29.81/8.91
TRS_
Standard/
EEG_
IJCAR_
12/
velroyen-nonloop-AlternatingIncr_
c.xml
5162047
MAYBE
930.60/292.25
MAYBE
128.48/42.35
TRS_
Standard/
EEG_
IJCAR_
12/
enger-nonloop-swapX.xml
5162048
NO
37.64/12.30
(CERTIFIED
0.0
)
MAYBE
25.59/8.85
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex4_
3.xml
5162049
NO
36.32/15.44
(CERTIFIED
0.1
)
MAYBE
91.42/42.34
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex1_
3.xml
5162050
MAYBE
640.11/291.48
MAYBE
98.69/42.35
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex3_
3.xml
5162051
NO
33.62/12.41
(CERTIFIED
0.0
)
MAYBE
19.06/7.33
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex7_
8.xml
5162052
MAYBE
637.21/291.49
MAYBE
131.64/42.33
TRS_
Standard/
EEG_
IJCAR_
12/
emmes-nonloop-ex2_
3.xml
5162053
MAYBE
679.81/292.25
MAYBE
25.13/8.36
TRS_
Standard/
EEG_
IJCAR_
12/
enger-nonloop-unbounded.xml
5162054
NO
36.92/12.11
(CERTIFIED
0.0
)
MAYBE
30.47/11.09
TRS_
Standard/
SK90/
2.49.xml
5160855
YES
4.87/2.01
(CERTIFIED
0.0
)
YES
1.19/0.57
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.03.xml
5160856
YES
3.85/1.83
(CERTIFIED
0.0
)
YES
3.07/1.06
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.60.xml
5160857
YES
3.49/1.57
(CERTIFIED
0.0
)
YES
0.66/0.41
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.12.xml
5160858
YES
3.64/1.67
(CERTIFIED
0.0
)
YES
1.61/0.66
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.45.xml
5160859
YES
4.01/1.85
(CERTIFIED
0.0
)
YES
14.85/5.31
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.15.xml
5160860
YES
3.62/1.64
(CERTIFIED
0.0
)
YES
1.53/0.65
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.44.xml
5160861
YES
3.44/2.66
(CERTIFIED
0.0
)
YES
1.36/0.62
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.39.xml
5160862
YES
3.37/1.54
(CERTIFIED
0.0
)
YES
0.89/0.47
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.40.xml
5160863
YES
3.78/1.69
(CERTIFIED
0.0
)
YES
1.92/0.76
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.41.xml
5160864
YES
3.71/1.82
(CERTIFIED
0.0
)
YES
1.15/0.56
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.47.xml
5160865
YES
5.83/2.30
(CERTIFIED
0.0
)
YES
0.85/0.46
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.37.xml
5160866
YES
3.63/1.60
(CERTIFIED
0.0
)
YES
0.93/0.49
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.50.xml
5160867
YES
3.49/1.63
(CERTIFIED
0.0
)
YES
0.50/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.19.xml
5160868
run script error
[out]
YES
0.52/0.39
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.22.xml
5160869
YES
3.64/2.08
(CERTIFIED
0.0
)
YES
3.09/1.11
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.08.xml
5160870
YES
3.58/1.65
(CERTIFIED
0.0
)
YES
3.26/1.12
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.10.xml
5160871
YES
3.77/1.67
(CERTIFIED
0.0
)
YES
2.40/0.90
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.26.xml
5160872
YES
4.29/1.82
(CERTIFIED
0.0
)
YES
5.07/1.57
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.59.xml
5160873
YES
3.47/1.69
(CERTIFIED
0.0
)
YES
2.05/0.84
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.27.xml
5160874
YES
3.66/1.71
(CERTIFIED
0.0
)
YES
3.71/1.22
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.57.xml
5160875
YES
3.95/1.76
(CERTIFIED
0.0
)
YES
2.58/0.99
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.57.xml
5160876
YES
3.39/1.57
(CERTIFIED
0.0
)
YES
0.83/0.45
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.60.xml
5160877
YES
4.01/1.81
(CERTIFIED
0.0
)
YES
5.92/2.09
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.31.xml
5160878
YES
3.30/1.53
(CERTIFIED
0.0
)
YES
0.47/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.46.xml
5160879
YES
10.82/3.49
(CERTIFIED
0.0
)
YES
0.77/0.44
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.28.xml
5160880
YES
4.38/1.93
(CERTIFIED
0.0
)
YES
9.75/3.28
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.46.xml
5160881
YES
3.17/1.49
(CERTIFIED
0.0
)
run script error
[out]
TRS_
Standard/
SK90/
2.52.xml
5160882
YES
4.09/1.90
(CERTIFIED
0.0
)
YES
5.33/1.75
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.03.xml
5160883
YES
3.32/1.60
(CERTIFIED
0.0
)
YES
0.61/0.41
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.33.xml
5160884
run script error
[out]
YES
0.52/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.14.xml
5160885
YES
3.86/1.77
(CERTIFIED
0.0
)
YES
4.31/1.43
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.20.xml
5160886
YES
3.92/1.71
(CERTIFIED
0.0
)
YES
2.23/0.87
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.13.xml
5160887
YES
3.77/1.73
(CERTIFIED
0.0
)
YES
3.39/1.23
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.11.xml
5160888
YES
3.45/1.61
(CERTIFIED
0.0
)
YES
0.47/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.53.xml
5160889
YES
3.41/1.65
(CERTIFIED
0.0
)
YES
17.47/5.51
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.38.xml
5160890
YES
3.63/1.60
(CERTIFIED
0.0
)
YES
0.54/0.39
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.06.xml
5160891
NO
4.91/2.23
(CERTIFIED
0.0
)
NO
0.41/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.25.xml
5160892
YES
3.55/1.65
(CERTIFIED
0.0
)
YES
2.74/0.97
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.12.xml
5160893
YES
3.77/1.68
(CERTIFIED
0.0
)
YES
3.75/1.31
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.54.xml
5160894
NO
7.06/2.65
(CERTIFIED
0.0
)
NO
0.46/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.50.xml
5160895
YES
5.95/2.35
(CERTIFIED
0.0
)
YES
1.11/0.55
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.34.xml
5160896
NO
3.21/1.56
(CERTIFIED
0.0
)
NO
1.63/0.67
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.47.xml
5160897
YES
4.75/2.09
(CERTIFIED
0.0
)
YES
1.68/0.71
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.52.xml
5160898
YES
3.11/1.51
(CERTIFIED
0.0
)
YES
0.51/0.39
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.07.xml
5160899
YES
3.50/1.65
(CERTIFIED
0.0
)
YES
2.82/1.00
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.42.xml
5160900
YES
4.01/1.84
(CERTIFIED
0.0
)
YES
2.81/0.98
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.09.xml
5160901
YES
3.39/1.63
(CERTIFIED
0.0
)
YES
0.50/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.48.xml
5160902
YES
3.38/1.52
(CERTIFIED
0.0
)
YES
0.47/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.17.xml
5160903
YES
3.71/1.74
(CERTIFIED
0.0
)
YES
1.42/0.62
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.06.xml
5160904
run script error
[out]
YES
2.17/0.82
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.30.xml
5160905
YES
4.66/1.94
(CERTIFIED
0.0
)
YES
6.27/1.85
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.39.xml
5160906
YES
4.44/1.90
(CERTIFIED
0.0
)
YES
2.55/0.92
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.35.xml
5160907
YES
3.78/1.78
(CERTIFIED
0.0
)
YES
1.82/0.73
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.01.xml
5160908
YES
3.37/1.61
(CERTIFIED
0.0
)
YES
0.44/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.29.xml
5160909
YES
3.91/2.35
(CERTIFIED
0.0
)
YES
4.06/1.45
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.02.xml
5160910
YES
3.80/2.29
(CERTIFIED
0.0
)
MAYBE
67.16/26.34
TRS_
Standard/
SK90/
4.27.xml
5160911
YES
4.30/1.94
(CERTIFIED
0.0
)
YES
4.40/1.40
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.61.xml
5160912
run script error
[out]
YES
12.84/3.78
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.49.xml
5160913
NO
4.44/2.01
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.09.xml
5160914
YES
3.54/1.68
(CERTIFIED
0.0
)
YES
3.02/1.03
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.29.xml
5160915
YES
3.52/1.56
(CERTIFIED
0.0
)
YES
0.54/0.39
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.37.xml
5160916
YES
3.43/1.62
(CERTIFIED
0.0
)
YES
0.70/0.43
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.07.xml
5160917
YES
3.35/1.60
(CERTIFIED
0.0
)
YES
0.45/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.45.xml
5160918
YES
3.31/1.51
(CERTIFIED
0.0
)
YES
0.52/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.54.xml
5160919
YES
3.61/1.63
(CERTIFIED
0.0
)
YES
0.96/0.49
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.32.xml
5160920
YES
3.94/1.80
(CERTIFIED
0.0
)
YES
1.98/0.78
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.16.xml
5160921
YES
3.76/1.71
(CERTIFIED
0.0
)
YES
1.90/0.75
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.55.xml
5160922
run script error
[out]
YES
0.82/0.48
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.31.xml
5160923
YES
3.89/1.72
(CERTIFIED
0.0
)
YES
3.70/1.24
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.08.xml
5160924
YES
3.65/1.63
(CERTIFIED
0.0
)
YES
1.15/0.55
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.13.xml
5160925
YES
4.07/1.82
(CERTIFIED
0.0
)
YES
2.98/1.03
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.18.xml
5160926
YES
3.81/1.69
(CERTIFIED
0.0
)
YES
2.27/0.89
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.20.xml
5160927
YES
3.44/1.65
(CERTIFIED
0.0
)
YES
1.70/0.69
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.55.xml
5160928
YES
3.61/1.64
(CERTIFIED
0.0
)
YES
1.01/0.51
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.05.xml
5160929
YES
3.57/3.71
(CERTIFIED
0.0
)
YES
2.10/0.83
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.05.xml
5160930
NO
6.09/2.33
(CERTIFIED
0.0
)
NO
0.42/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.21.xml
5160931
YES
3.76/1.78
(CERTIFIED
0.0
)
YES
2.98/1.07
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.36.xml
5160932
YES
3.41/1.55
(CERTIFIED
0.0
)
YES
1.48/0.63
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.22.xml
5160933
YES
3.75/1.69
(CERTIFIED
0.0
)
YES
3.06/1.12
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.56.xml
5160934
YES
3.54/1.69
(CERTIFIED
0.0
)
YES
0.43/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.43.xml
5160935
YES
3.78/1.68
(CERTIFIED
0.0
)
YES
4.98/1.54
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.32.xml
5160936
YES
26.31/7.47
(CERTIFIED
0.0
)
YES
10.63/2.93
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.44.xml
5160937
YES
4.10/1.81
(CERTIFIED
0.0
)
YES
5.11/1.57
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.25.xml
5160938
YES
3.54/2.53
(CERTIFIED
0.0
)
YES
0.50/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.43.xml
5160939
YES
3.98/1.72
(CERTIFIED
0.0
)
YES
4.73/1.51
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.58.xml
5160940
YES
3.76/1.65
(CERTIFIED
0.0
)
YES
1.24/0.58
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.48.xml
5160941
YES
4.36/1.77
(CERTIFIED
0.0
)
YES
0.82/0.46
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.17.xml
5160942
YES
5.60/2.51
(CERTIFIED
0.0
)
YES
1.29/0.58
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.24.xml
5160943
YES
3.39/1.54
(CERTIFIED
0.0
)
YES
1.63/0.67
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.16.xml
5160944
YES
3.69/1.77
(CERTIFIED
0.0
)
YES
3.31/1.21
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.15.xml
5160945
YES
3.37/1.60
(CERTIFIED
0.0
)
YES
0.51/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.41.xml
5160946
YES
3.36/1.53
(CERTIFIED
0.0
)
YES
0.46/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.51.xml
5160947
YES
3.55/1.63
(CERTIFIED
0.0
)
YES
1.66/0.70
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.24.xml
5160948
YES
4.43/1.92
(CERTIFIED
0.0
)
YES
3.76/1.28
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.04.xml
5160949
YES
3.57/2.08
(CERTIFIED
0.0
)
YES
0.49/0.42
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.28.xml
5160950
YES
3.46/1.62
(CERTIFIED
0.0
)
YES
0.79/0.45
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.01.xml
5160951
YES
3.64/1.68
(CERTIFIED
0.0
)
YES
2.30/0.85
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.23.xml
5160952
YES
3.87/1.79
(CERTIFIED
0.0
)
YES
4.03/1.35
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.38.xml
5160953
YES
3.62/1.59
(CERTIFIED
0.0
)
YES
0.47/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.42.xml
5160954
YES
3.92/1.79
(CERTIFIED
0.0
)
YES
2.42/0.91
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.53.xml
5160955
YES
3.56/1.59
(CERTIFIED
0.0
)
YES
0.54/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.21.xml
5160956
YES
3.59/1.63
(CERTIFIED
0.0
)
YES
1.96/0.78
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.40.xml
5160957
NO
9.94/3.66
(CERTIFIED
0.0
)
NO
0.51/0.39
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.61.xml
5160958
YES
3.80/2.19
(CERTIFIED
0.0
)
YES
0.64/0.45
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.19.xml
5160959
YES
3.67/1.76
(CERTIFIED
0.0
)
YES
3.63/1.35
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.11.xml
5160960
YES
3.48/1.60
(CERTIFIED
0.0
)
YES
0.55/0.39
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.10.xml
5160961
YES
3.49/1.67
(CERTIFIED
0.0
)
YES
3.11/1.06
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.23.xml
5160962
YES
3.55/1.63
(CERTIFIED
0.0
)
YES
2.22/0.84
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.51.xml
5160963
YES
3.99/1.82
(CERTIFIED
0.0
)
YES
1.52/0.67
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.26.xml
5160964
YES
3.64/1.69
(CERTIFIED
0.0
)
YES
5.58/1.84
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.33.xml
5160965
YES
3.48/1.64
(CERTIFIED
0.0
)
YES
1.11/0.54
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.56.xml
5160966
YES
3.63/1.69
(CERTIFIED
0.0
)
YES
0.51/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.30.xml
5160967
YES
3.97/1.71
(CERTIFIED
0.0
)
YES
1.90/0.77
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.04.xml
5160968
YES
3.35/1.54
(CERTIFIED
0.0
)
YES
1.46/0.62
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.14.xml
5160969
YES
3.64/1.64
(CERTIFIED
0.0
)
YES
1.25/0.58
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.36.xml
5160970
YES
3.36/1.54
(CERTIFIED
0.0
)
YES
0.49/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.02.xml
5160971
YES
3.33/1.55
(CERTIFIED
0.0
)
YES
0.54/0.39
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.18.xml
5160972
YES
3.65/1.65
(CERTIFIED
0.0
)
YES
2.10/0.81
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.35.xml
5160973
YES
3.45/1.57
(CERTIFIED
0.0
)
YES
1.05/0.52
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
2.34.xml
5160974
YES
3.76/1.77
(CERTIFIED
0.0
)
YES
1.65/0.69
(CERTIFIED
0.0
)
TRS_
Standard/
SK90/
4.59.xml
5160975
YES
3.90/1.80
(CERTIFIED
0.0
)
YES
5.92/1.85
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
07_
TRS/
aprove07.xml
5161961
timeout (wallclock)
[out]
MAYBE
26.81/8.99
TRS_
Standard/
Secret_
07_
TRS/
secret3.xml
5161962
YES
3.96/1.83
(CERTIFIED
0.0
)
YES
5.40/1.74
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
07_
TRS/
aprove04.xml
5161963
timeout (wallclock)
[out]
MAYBE
55.85/18.87
TRS_
Standard/
Secret_
07_
TRS/
3.xml
5161964
YES
48.55/17.50
(CERTIFIED
0.0
)
MAYBE
133.15/42.35
TRS_
Standard/
Secret_
07_
TRS/
7.xml
5161965
NO
348.17/120.10
(CERTIFIED
0.0
)
MAYBE
113.96/42.33
TRS_
Standard/
Secret_
07_
TRS/
aprove02.xml
5161966
timeout (wallclock)
[out]
MAYBE
43.98/15.59
TRS_
Standard/
Secret_
07_
TRS/
1.xml
5161967
MAYBE
358.75/291.48
MAYBE
45.15/14.88
TRS_
Standard/
Secret_
07_
TRS/
aprove10.xml
5161968
MAYBE
691.97/292.58
MAYBE
101.11/27.95
TRS_
Standard/
Secret_
07_
TRS/
aprove08.xml
5161969
MAYBE
401.19/291.51
MAYBE
35.02/11.88
TRS_
Standard/
Secret_
07_
TRS/
secret2.xml
5161970
YES
3.91/1.84
(CERTIFIED
0.0
)
YES
6.34/2.04
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
07_
TRS/
aprove09.xml
5161971
MAYBE
1123.95/293.64
MAYBE
52.15/19.92
TRS_
Standard/
Secret_
07_
TRS/
aprove01.xml
5161972
MAYBE
1149.94/291.52
run script error
[out]
TRS_
Standard/
Secret_
07_
TRS/
5.xml
5161973
YES
48.71/17.86
(CERTIFIED
0.0
)
MAYBE
145.20/42.34
TRS_
Standard/
Secret_
07_
TRS/
aprove06.xml
5161974
MAYBE
995.84/292.86
MAYBE
133.85/42.37
TRS_
Standard/
Secret_
07_
TRS/
aprove03.xml
5161975
timeout (wallclock)
[out]
MAYBE
124.50/42.37
TRS_
Standard/
Secret_
07_
TRS/
2.xml
5161976
timeout (wallclock)
[out]
run script error
[out]
TRS_
Standard/
Secret_
07_
TRS/
secret5.xml
5161977
YES
4.99/2.12
(CERTIFIED
0.0
)
YES
22.52/7.39
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
07_
TRS/
secret4.xml
5161978
YES
4.27/1.81
(CERTIFIED
0.0
)
YES
7.75/2.43
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
07_
TRS/
4.xml
5161979
MAYBE
340.48/291.50
MAYBE
88.19/32.83
TRS_
Standard/
Secret_
07_
TRS/
aprove05.xml
5161980
timeout (wallclock)
[out]
MAYBE
33.19/11.80
TRS_
Standard/
Secret_
07_
TRS/
secret1.xml
5161981
YES
4.43/1.87
(CERTIFIED
0.0
)
YES
19.51/5.95
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex8_
BLR02.xml
5161080
NO
4.24/1.87
(CERTIFIED
0.0
)
NO
0.31/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex4_
4_
Luc96b.xml
5161081
NO
3.85/1.78
(CERTIFIED
0.0
)
NO
0.30/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex4_
7_
77_
Bor03.xml
5161082
NO
4.91/2.61
(CERTIFIED
0.0
)
NO
0.30/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex6_
GM04.xml
5161083
NO
5.54/2.24
(CERTIFIED
0.0
)
NO
0.30/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex6_
9_
Luc02c.xml
5161084
NO
6.20/2.45
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex1_
Zan97.xml
5161085
NO
11.27/3.62
(CERTIFIED
0.0
)
NO
0.48/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex4_
7_
56_
Bor03.xml
5161086
NO
6.56/2.58
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex1_
GM03.xml
5161087
NO
3.98/1.84
(CERTIFIED
0.0
)
NO
0.31/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex7_
BLR02.xml
5161088
NO
6.61/2.58
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex6_
15_
AEL02.xml
5161089
NO
6.93/2.73
(CERTIFIED
0.0
)
NO
0.33/0.33
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
ExIntrod_
GM99.xml
5161090
NO
7.31/2.72
(CERTIFIED
0.0
)
NO
0.32/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
ExAppendixB_
AEL03.xml
5161091
NO
6.77/2.70
(CERTIFIED
0.0
)
NO
0.32/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex3_
2_
Luc97.xml
5161092
NO
6.56/2.56
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex1_
GM99.xml
5161093
NO
3.89/1.80
(CERTIFIED
0.0
)
NO
0.45/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex15_
Luc98.xml
5161094
NO
6.84/3.33
(CERTIFIED
0.0
)
NO
0.31/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex4_
Zan97.xml
5161095
NO
5.15/2.19
(CERTIFIED
0.0
)
run script error
[out]
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex3_
3_
25_
Bor03.xml
5161096
NO
6.91/2.61
(CERTIFIED
0.0
)
NO
0.31/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex5_
7_
Luc97.xml
5161097
NO
6.24/2.59
(CERTIFIED
0.0
)
NO
0.32/0.33
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex14_
AEGL02.xml
5161098
NO
6.44/2.57
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex49_
GM04.xml
5161099
YES
3.83/1.76
(CERTIFIED
0.0
)
YES
3.71/1.32
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex6_
Luc98.xml
5161100
NO
6.69/2.62
(CERTIFIED
0.0
)
run script error
[out]
TRS_
Standard/
Strategy_
removed_
CSR_
05/
ExConc_
Zan97.xml
5161101
NO
3.13/1.46
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
ExIntrod_
GM01.xml
5161102
NO
5.80/2.34
(CERTIFIED
0.0
)
NO
0.31/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
ExIntrod_
GM04.xml
5161103
NO
5.42/2.25
(CERTIFIED
0.0
)
NO
0.31/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex3_
12_
Luc96a.xml
5161104
NO
6.50/2.56
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex2_
Luc03b.xml
5161105
NO
6.41/3.22
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex1_
GL02a.xml
5161106
NO
6.47/2.55
(CERTIFIED
0.0
)
NO
0.31/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex26_
Luc03b.xml
5161107
NO
6.70/2.64
(CERTIFIED
0.0
)
run script error
[out]
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex9_
BLR02.xml
5161108
NO
6.54/2.54
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex24_
GM04.xml
5161109
NO
3.81/1.85
(CERTIFIED
0.0
)
MAYBE
1.04/0.53
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex5_
Zan97.xml
5161110
NO
5.98/2.52
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex4_
7_
15_
Bor03.xml
5161111
NO
6.64/2.59
(CERTIFIED
0.0
)
NO
0.54/0.39
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex1_
Luc02b.xml
5161112
NO
6.46/2.55
(CERTIFIED
0.0
)
NO
0.31/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex1_
2_
Luc02c.xml
5161113
NO
6.03/2.38
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex4_
7_
37_
Bor03.xml
5161114
NO
6.46/2.60
(CERTIFIED
0.0
)
NO
0.33/0.33
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
ExIntrod_
Zan97.xml
5161115
NO
6.14/2.53
(CERTIFIED
0.0
)
NO
0.32/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
CSR_
05/
Ex1_
2_
AEL03.xml
5161116
NO
6.62/2.61
(CERTIFIED
0.0
)
NO
0.32/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.4.xml
5161796
NO
4.02/1.81
(CERTIFIED
0.0
)
NO
0.42/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.19.xml
5161797
MAYBE
827.30/299.30
MAYBE
20.78/7.33
TRS_
Standard/
Strategy_
removed_
AG01/
#4.18.xml
5161798
NO
3.05/1.49
(CERTIFIED
0.0
)
NO
1.81/0.71
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.13.xml
5161799
NO
5.58/2.38
(CERTIFIED
0.0
)
MAYBE
7.99/7.32
TRS_
Standard/
Strategy_
removed_
AG01/
#4.27.xml
5161800
YES
3.82/1.75
(CERTIFIED
0.0
)
YES
4.24/1.39
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.17.xml
5161801
NO
4.58/2.13
(CERTIFIED
0.0
)
NO
0.48/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.22.xml
5161802
YES
3.72/2.37
(CERTIFIED
0.0
)
YES
1.81/0.75
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.36.xml
5161803
YES
6.23/2.43
(CERTIFIED
0.0
)
YES
10.07/3.07
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.37.xml
5161804
YES
3.80/1.71
(CERTIFIED
0.0
)
YES
1.83/0.73
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.20a.xml
5161805
YES
4.32/1.78
(CERTIFIED
0.0
)
YES
0.94/0.51
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.30b.xml
5161806
YES
9.21/5.22
(CERTIFIED
0.0
)
MAYBE
31.57/8.80
TRS_
Standard/
Strategy_
removed_
AG01/
#4.33.xml
5161807
run script error
[out]
YES
5.13/1.58
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.26.xml
5161808
YES
4.37/1.94
(CERTIFIED
0.0
)
YES
3.44/1.17
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.35.xml
5161809
YES
5.43/2.12
(CERTIFIED
0.0
)
YES
13.47/4.04
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.16.xml
5161810
NO
4.09/1.98
(CERTIFIED
0.0
)
NO
0.55/0.40
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.15.xml
5161811
NO
4.46/1.91
(CERTIFIED
0.0
)
NO
0.57/0.41
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.14.xml
5161812
NO
3.98/1.83
(CERTIFIED
0.0
)
NO
0.40/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.23.xml
5161813
YES
4.27/1.89
(CERTIFIED
0.0
)
YES
3.32/1.13
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.32.xml
5161814
YES
3.67/1.69
(CERTIFIED
0.0
)
YES
1.91/0.75
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.28.xml
5161815
YES
6.53/2.46
(CERTIFIED
0.0
)
YES
3.22/1.08
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.25.xml
5161816
YES
3.73/1.65
(CERTIFIED
0.0
)
MAYBE
1.17/0.58
TRS_
Standard/
Strategy_
removed_
AG01/
#4.21.xml
5161817
YES
4.05/1.76
(CERTIFIED
0.0
)
YES
1.24/0.57
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.30a.xml
5161818
YES
4.24/1.89
(CERTIFIED
0.0
)
MAYBE
12.64/7.34
TRS_
Standard/
Strategy_
removed_
AG01/
#4.3.xml
5161819
NO
3.89/1.79
(CERTIFIED
0.0
)
MAYBE
8.10/7.33
TRS_
Standard/
Strategy_
removed_
AG01/
#4.20.xml
5161820
YES
4.46/1.91
(CERTIFIED
0.0
)
YES
0.62/0.42
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.30.xml
5161821
YES
6.66/3.03
(CERTIFIED
0.0
)
MAYBE
20.82/7.33
TRS_
Standard/
Strategy_
removed_
AG01/
#4.29.xml
5161822
YES
4.98/2.09
(CERTIFIED
0.0
)
YES
7.51/2.23
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.34.xml
5161823
YES
4.14/1.83
(CERTIFIED
0.0
)
YES
6.04/1.82
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.37a.xml
5161824
YES
3.93/1.75
(CERTIFIED
0.0
)
YES
2.06/0.86
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.30c.xml
5161825
YES
12.31/6.67
(CERTIFIED
0.1
)
MAYBE
61.73/22.10
TRS_
Standard/
Strategy_
removed_
AG01/
#4.2.xml
5161826
NO
4.54/2.12
(CERTIFIED
0.0
)
NO
0.45/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.12a.xml
5161827
NO
4.15/1.82
(CERTIFIED
0.0
)
NO
0.43/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
AG01/
#4.7.xml
5161828
NO
3.94/1.93
(CERTIFIED
0.0
)
NO
0.42/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
lindau.xml
5161839
YES
3.71/1.69
(CERTIFIED
0.0
)
YES
1.17/0.55
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
division.xml
5161840
YES
4.40/1.87
(CERTIFIED
0.0
)
YES
4.69/1.47
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
gmnp.xml
5161841
YES
3.61/1.62
(CERTIFIED
0.0
)
YES
1.88/0.76
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
gm.xml
5161842
YES
3.79/1.71
(CERTIFIED
0.0
)
YES
3.03/1.07
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
selsort.xml
5161843
YES
5.60/2.28
(CERTIFIED
0.0
)
YES
11.18/3.33
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
enno.xml
5161844
YES
4.98/2.13
(CERTIFIED
0.0
)
YES
6.48/2.02
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
bn129.xml
5161845
run script error
[out]
YES
0.52/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
quotminus.xml
5161846
YES
4.07/1.84
(CERTIFIED
0.0
)
YES
4.41/1.46
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
prov.xml
5161847
YES
3.54/1.69
(CERTIFIED
0.0
)
YES
1.45/0.69
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
p266.xml
5161848
YES
3.54/1.58
(CERTIFIED
0.0
)
YES
3.93/1.26
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
bintrees.xml
5161849
YES
3.83/1.74
(CERTIFIED
0.0
)
YES
0.49/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
nestrec.xml
5161850
YES
6.81/2.59
(CERTIFIED
0.0
)
YES
2.73/0.95
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
ma96.xml
5161851
YES
5.54/2.25
(CERTIFIED
0.0
)
YES
14.70/4.37
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
logarquot.xml
5161852
YES
3.94/1.80
(CERTIFIED
0.0
)
YES
4.97/1.66
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
test829.xml
5161853
YES
3.65/1.68
(CERTIFIED
0.0
)
YES
1.48/0.63
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
elimdupl.xml
5161854
YES
4.48/1.99
(CERTIFIED
0.0
)
YES
4.45/1.47
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
koen.xml
5161855
YES
3.18/1.53
(CERTIFIED
0.0
)
YES
0.44/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
mfp90b.xml
5161856
YES
3.28/1.58
(CERTIFIED
0.0
)
YES
0.43/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
polo2.xml
5161857
YES
4.01/1.78
(CERTIFIED
0.0
)
run script error
[out]
TRS_
Standard/
Rubio_
04/
mfp95.xml
5161858
YES
3.41/1.54
(CERTIFIED
0.0
)
YES
0.76/0.44
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
gcd.xml
5161859
YES
4.69/2.03
(CERTIFIED
0.0
)
YES
4.39/1.49
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
test4.xml
5161860
YES
4.15/1.90
(CERTIFIED
0.0
)
YES
0.99/0.52
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
lescanne.xml
5161861
YES
3.50/1.63
(CERTIFIED
0.0
)
YES
0.51/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
aoto.xml
5161862
YES
4.39/1.77
(CERTIFIED
0.0
)
YES
2.54/0.90
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
bn122.xml
5161863
YES
3.58/1.63
(CERTIFIED
0.0
)
YES
1.74/0.69
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
revlist.xml
5161864
YES
4.80/2.14
(CERTIFIED
0.0
)
YES
4.13/1.37
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
quick.xml
5161865
YES
5.39/2.21
(CERTIFIED
0.0
)
YES
9.95/2.95
(CERTIFIED
0.0
)
TRS_
Standard/
Rubio_
04/
wst99.xml
5161866
YES
8.38/3.01
(CERTIFIED
0.0
)
YES
20.24/5.73
(CERTIFIED
0.0
)
TRS_
Standard/
MNZ_
10/
0.xml
5160786
YES
91.02/27.28
(CERTIFIED
0.1
)
YES
90.37/23.17
(CERTIFIED
0.0
)
TRS_
Standard/
MNZ_
10/
3.xml
5160787
YES
71.95/20.27
(CERTIFIED
0.1
)
YES
35.54/9.42
(CERTIFIED
0.0
)
TRS_
Standard/
MNZ_
10/
7.xml
5160788
MAYBE
473.70/291.53
MAYBE
131.41/42.34
TRS_
Standard/
MNZ_
10/
1.xml
5160789
YES
47.31/17.02
(CERTIFIED
0.1
)
YES
23.18/6.28
(CERTIFIED
0.0
)
TRS_
Standard/
MNZ_
10/
5.xml
5160790
timeout (wallclock)
[out]
MAYBE
131.62/42.35
TRS_
Standard/
MNZ_
10/
nrvsq.xml
5160791
YES
91.60/31.23
(CERTIFIED
0.0
)
MAYBE
134.20/42.42
TRS_
Standard/
MNZ_
10/
2.xml
5160792
run script error
[out]
YES
26.03/6.96
(CERTIFIED
0.0
)
TRS_
Standard/
MNZ_
10/
8.xml
5160793
YES
92.55/29.48
(CERTIFIED
0.1
)
YES
31.75/8.46
(CERTIFIED
0.0
)
TRS_
Standard/
MNZ_
10/
nvsr.xml
5160794
YES
409.50/205.81
(CERTIFIED
0.1
)
MAYBE
131.87/42.34
TRS_
Standard/
MNZ_
10/
labelled.xml
5160795
YES
47.16/40.79
(CERTIFIED
4.1
)
MAYBE
125.98/47.00
TRS_
Standard/
MNZ_
10/
6.xml
5160796
timeout (wallclock)
[out]
MAYBE
131.54/42.35
TRS_
Standard/
MNZ_
10/
9.xml
5160797
YES
436.79/235.30
(CERTIFIED
0.2
)
MAYBE
131.45/42.35
TRS_
Standard/
MNZ_
10/
4.xml
5160798
MAYBE
589.51/292.52
MAYBE
131.64/42.35
TRS_
Standard/
Secret_
06_
TRS/
gen-25.xml
5160815
YES
38.56/16.35
(CERTIFIED
0.0
)
YES
17.39/4.78
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
06_
TRS/
10.xml
5160816
YES
11.41/3.98
(CERTIFIED
0.0
)
YES
6.86/3.06
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
06_
TRS/
division.xml
5160817
YES
8.21/3.39
(CERTIFIED
0.0
)
MAYBE
24.37/7.33
TRS_
Standard/
Secret_
06_
TRS/
gen-28.xml
5160818
YES
29.52/14.26
(CERTIFIED
0.0
)
YES
3.49/1.25
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
06_
TRS/
cime1.xml
5160819
MAYBE
799.56/294.36
MAYBE
46.41/16.84
TRS_
Standard/
Secret_
06_
TRS/
tpa10.xml
5160820
YES
5.12/2.20
(CERTIFIED
0.0
)
MAYBE
70.73/25.45
TRS_
Standard/
Secret_
06_
TRS/
3.xml
5160821
MAYBE
768.11/291.50
MAYBE
131.89/42.34
TRS_
Standard/
Secret_
06_
TRS/
7.xml
5160822
YES
6.64/2.59
(CERTIFIED
0.0
)
YES
2.53/0.90
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
06_
TRS/
tpa07.xml
5160823
MAYBE
440.69/291.51
MAYBE
50.55/18.04
TRS_
Standard/
Secret_
06_
TRS/
gen-9.xml
5160824
YES
5.05/2.15
(CERTIFIED
0.0
)
YES
6.37/1.95
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
06_
TRS/
tpa02.xml
5160825
MAYBE
15.51/5.69
MAYBE
12.16/7.32
TRS_
Standard/
Secret_
06_
TRS/
tpa04.xml
5160826
MAYBE
688.30/292.26
MAYBE
130.04/42.34
TRS_
Standard/
Secret_
06_
TRS/
tpa09.xml
5160827
MAYBE
536.35/291.58
MAYBE
48.07/15.89
TRS_
Standard/
Secret_
06_
TRS/
gen-17.xml
5160828
YES
3.92/1.74
(CERTIFIED
0.0
)
YES
21.24/5.60
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
06_
TRS/
toList.xml
5160829
YES
13.78/5.62
(CERTIFIED
0.1
)
MAYBE
105.05/42.35
TRS_
Standard/
Secret_
06_
TRS/
reverse.xml
5160830
YES
6.26/2.50
(CERTIFIED
0.0
)
YES
9.19/2.99
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
06_
TRS/
gen-18.xml
5160831
YES
26.98/13.11
(CERTIFIED
0.0
)
YES
14.31/5.28
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
06_
TRS/
5.xml
5160832
YES
4.52/1.99
(CERTIFIED
0.0
)
YES
24.64/7.12
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
06_
TRS/
tpa06.xml
5160833
MAYBE
904.08/291.55
MAYBE
135.54/42.35
TRS_
Standard/
Secret_
06_
TRS/
times.xml
5160834
timeout (wallclock)
[out]
MAYBE
35.57/11.77
TRS_
Standard/
Secret_
06_
TRS/
logarithm.xml
5160835
MAYBE
643.23/292.72
MAYBE
128.19/42.35
TRS_
Standard/
Secret_
06_
TRS/
tpa01.xml
5160836
MAYBE
6.08/2.53
MAYBE
6.09/2.29
TRS_
Standard/
Secret_
06_
TRS/
2.xml
5160837
YES
34.35/12.01
(CERTIFIED
0.0
)
YES
5.29/1.60
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
06_
TRS/
double.xml
5160838
YES
5.80/2.27
(CERTIFIED
0.0
)
MAYBE
27.96/8.42
TRS_
Standard/
Secret_
06_
TRS/
gen-22.xml
5160839
YES
5.90/2.39
(CERTIFIED
0.0
)
YES
12.52/3.55
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
06_
TRS/
nrOfNodes.xml
5160840
YES
8.93/4.26
(CERTIFIED
0.0
)
MAYBE
51.05/16.95
TRS_
Standard/
Secret_
06_
TRS/
8.xml
5160841
run script error
[out]
YES
2.32/0.86
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
06_
TRS/
divExp.xml
5160842
YES
4.40/2.00
(CERTIFIED
0.0
)
MAYBE
10.83/7.41
TRS_
Standard/
Secret_
06_
TRS/
gen-10.xml
5160843
YES
5.63/2.21
(CERTIFIED
0.0
)
YES
3.33/1.19
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
06_
TRS/
tpa03.xml
5160844
MAYBE
17.89/8.31
MAYBE
12.21/7.32
TRS_
Standard/
Secret_
06_
TRS/
tpa05.xml
5160845
run script error
[out]
MAYBE
62.61/23.58
TRS_
Standard/
Secret_
06_
TRS/
gen-15.xml
5160846
YES
4.95/2.02
(CERTIFIED
0.0
)
YES
8.63/2.58
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
06_
TRS/
6.xml
5160847
YES
7.09/2.82
(CERTIFIED
0.0
)
YES
1.73/0.70
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
06_
TRS/
9.xml
5160848
YES
5.49/2.71
(CERTIFIED
0.0
)
YES
2.70/0.95
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
06_
TRS/
4.xml
5160849
YES
5.34/2.23
(CERTIFIED
0.0
)
YES
2.19/0.82
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
06_
TRS/
sumList.xml
5160850
YES
7.97/3.59
(CERTIFIED
0.0
)
YES
23.81/6.45
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
06_
TRS/
tpa08.xml
5160851
run script error
[out]
MAYBE
55.85/19.42
TRS_
Standard/
Secret_
06_
TRS/
addList.xml
5160852
YES
10.07/4.86
(CERTIFIED
0.0
)
YES
35.51/9.56
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
06_
TRS/
gen-1.xml
5160853
YES
5.20/2.16
(CERTIFIED
0.0
)
YES
2.48/0.90
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
06_
TRS/
gen-14.xml
5160854
YES
4.96/2.06
(CERTIFIED
0.0
)
YES
8.71/2.66
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
05_
TRS/
teparla2.xml
5161727
YES
8.80/3.15
(CERTIFIED
0.0
)
MAYBE
58.52/18.08
TRS_
Standard/
Secret_
05_
TRS/
tpa4.xml
5161728
MAYBE
413.87/291.55
run script error
[out]
TRS_
Standard/
Secret_
05_
TRS/
tpa2.xml
5161729
YES
4.71/2.40
(CERTIFIED
0.0
)
YES
5.51/1.68
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
05_
TRS/
cime1.xml
5161730
timeout (wallclock)
[out]
run script error
[out]
TRS_
Standard/
Secret_
05_
TRS/
aprove2.xml
5161731
YES
7.98/3.19
(CERTIFIED
0.0
)
MAYBE
39.00/13.27
TRS_
Standard/
Secret_
05_
TRS/
cime2.xml
5161732
YES
30.97/13.86
(CERTIFIED
0.0
)
MAYBE
37.75/12.07
TRS_
Standard/
Secret_
05_
TRS/
matchbox1.xml
5161733
YES
4.70/2.08
(CERTIFIED
0.0
)
MAYBE
4.12/1.70
TRS_
Standard/
Secret_
05_
TRS/
aprove3.xml
5161734
YES
7.78/2.95
(CERTIFIED
0.0
)
MAYBE
28.32/9.51
TRS_
Standard/
Secret_
05_
TRS/
aprove1.xml
5161735
YES
6.18/2.40
(CERTIFIED
0.0
)
MAYBE
128.73/42.35
TRS_
Standard/
Secret_
05_
TRS/
teparla1.xml
5161736
YES
3.84/1.78
(CERTIFIED
0.0
)
MAYBE
118.38/42.33
TRS_
Standard/
Secret_
05_
TRS/
tpa5.xml
5161737
MAYBE
642.50/291.50
MAYBE
129.11/42.34
TRS_
Standard/
Secret_
05_
TRS/
tpa3.xml
5161738
MAYBE
386.86/292.49
MAYBE
43.92/16.11
TRS_
Standard/
Secret_
05_
TRS/
cime5.xml
5161739
YES
17.71/5.55
(CERTIFIED
0.0
)
YES
34.13/9.09
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
05_
TRS/
ttt1.xml
5161740
NO
4.67/1.93
(CERTIFIED
0.0
)
NO
1.12/0.54
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
05_
TRS/
teparla3.xml
5161741
MAYBE
303.50/291.46
MAYBE
42.65/16.00
TRS_
Standard/
Secret_
05_
TRS/
aprove4.xml
5161742
YES
5.41/2.34
(CERTIFIED
0.0
)
MAYBE
29.73/10.46
TRS_
Standard/
Secret_
05_
TRS/
tpa1.xml
5161743
YES
4.39/1.94
(CERTIFIED
0.0
)
MAYBE
70.21/23.14
TRS_
Standard/
Secret_
05_
TRS/
aprove5.xml
5161744
YES
5.21/2.13
(CERTIFIED
0.0
)
MAYBE
26.62/7.66
TRS_
Standard/
Secret_
05_
TRS/
ttt2.xml
5161745
NO
4.09/1.95
(CERTIFIED
0.0
)
NO
0.41/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
05_
TRS/
cime3.xml
5161746
MAYBE
932.41/294.72
MAYBE
80.68/28.87
TRS_
Standard/
Secret_
05_
TRS/
matchbox2.xml
5161747
YES
3.96/1.79
(CERTIFIED
0.0
)
YES
1.53/0.75
(CERTIFIED
0.0
)
TRS_
Standard/
Secret_
05_
TRS/
cime4.xml
5161748
NO
4.07/1.82
(CERTIFIED
0.0
)
MAYBE
2.00/0.87
TRS_
Standard/
Zantema_
05/
jw44.xml
5161867
YES
3.62/2.16
(CERTIFIED
0.0
)
YES
0.87/0.46
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw33.xml
5161868
YES
3.87/1.79
(CERTIFIED
0.0
)
YES
1.52/0.73
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw34.xml
5161869
YES
6.43/2.53
(CERTIFIED
0.0
)
YES
1.19/0.61
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
z22.xml
5161870
YES
35.98/15.71
(CERTIFIED
0.0
)
MAYBE
130.66/42.33
TRS_
Standard/
Zantema_
05/
z16.xml
5161871
MAYBE
864.94/292.55
MAYBE
103.04/42.33
TRS_
Standard/
Zantema_
05/
z30.xml
5161872
MAYBE
544.30/295.78
YES
10.54/4.10
(CERTIFIED
0.1
)
TRS_
Standard/
Zantema_
05/
jw27.xml
5161873
YES
5.53/2.46
(CERTIFIED
0.0
)
YES
1.83/0.92
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
z28.xml
5161874
YES
5.48/2.31
(CERTIFIED
0.0
)
MAYBE
45.90/13.36
TRS_
Standard/
Zantema_
05/
jw01.xml
5161875
YES
3.82/1.73
(CERTIFIED
0.0
)
YES
1.48/0.74
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw02.xml
5161876
YES
3.93/1.89
(CERTIFIED
0.0
)
YES
2.53/1.28
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw12.xml
5161877
YES
3.64/1.68
(CERTIFIED
0.0
)
YES
2.49/1.01
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw32.xml
5161878
YES
5.65/2.61
(CERTIFIED
0.0
)
YES
1.58/0.76
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw08.xml
5161879
YES
4.07/3.73
(CERTIFIED
0.0
)
YES
1.81/0.93
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
z19.xml
5161880
YES
36.14/17.80
(CERTIFIED
0.0
)
MAYBE
90.51/42.34
TRS_
Standard/
Zantema_
05/
z06.xml
5161881
YES
3.98/1.81
(CERTIFIED
0.0
)
YES
2.69/0.97
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw38.xml
5161882
YES
3.67/1.72
(CERTIFIED
0.0
)
YES
1.68/0.75
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
z11.xml
5161883
YES
4.44/1.99
(CERTIFIED
0.0
)
MAYBE
15.58/7.33
TRS_
Standard/
Zantema_
05/
jw39.xml
5161884
YES
4.12/1.86
(CERTIFIED
0.0
)
YES
1.81/0.79
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw05.xml
5161885
YES
5.41/2.35
(CERTIFIED
0.0
)
YES
2.08/0.98
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw06.xml
5161886
YES
3.92/1.84
(CERTIFIED
0.0
)
YES
1.30/0.71
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
z05.xml
5161887
YES
12.52/4.19
(CERTIFIED
0.0
)
MAYBE
36.05/10.21
TRS_
Standard/
Zantema_
05/
jw15.xml
5161888
YES
3.85/1.75
(CERTIFIED
0.0
)
YES
1.14/0.61
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw16.xml
5161889
YES
3.83/1.73
(CERTIFIED
0.0
)
YES
1.45/0.77
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw11.xml
5161890
YES
3.67/1.74
(CERTIFIED
0.0
)
run script error
[out]
TRS_
Standard/
Zantema_
05/
z29.xml
5161891
YES
4.20/1.88
(CERTIFIED
0.0
)
YES
5.68/1.72
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw26.xml
5161892
YES
4.00/1.86
(CERTIFIED
0.0
)
YES
1.12/0.59
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
z02.xml
5161893
run script error
[out]
YES
2.34/0.92
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
z09.xml
5161894
MAYBE
372.50/291.50
MAYBE
26.63/8.12
TRS_
Standard/
Zantema_
05/
jw47.xml
5161895
YES
3.47/1.60
(CERTIFIED
0.0
)
YES
0.56/0.39
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw31.xml
5161896
YES
3.95/2.60
(CERTIFIED
0.0
)
YES
1.43/0.69
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
z08.xml
5161897
YES
5.76/2.38
(CERTIFIED
0.0
)
YES
2.69/0.97
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw09.xml
5161898
YES
3.89/1.84
(CERTIFIED
0.0
)
YES
1.24/0.61
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw22.xml
5161899
YES
3.82/1.82
(CERTIFIED
0.0
)
YES
1.97/0.99
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
z21.xml
5161900
YES
39.59/16.63
(CERTIFIED
0.0
)
MAYBE
135.65/42.34
TRS_
Standard/
Zantema_
05/
jw50.xml
5161901
YES
3.70/1.70
(CERTIFIED
0.0
)
YES
0.56/0.40
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
z07.xml
5161902
YES
5.36/2.20
(CERTIFIED
0.0
)
MAYBE
11.27/7.33
TRS_
Standard/
Zantema_
05/
z03.xml
5161903
YES
7.39/2.77
(CERTIFIED
0.0
)
MAYBE
11.95/7.33
TRS_
Standard/
Zantema_
05/
jw25.xml
5161904
YES
4.11/1.87
(CERTIFIED
0.0
)
YES
1.13/0.60
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw20.xml
5161905
YES
3.80/1.71
(CERTIFIED
0.0
)
YES
1.11/0.61
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw13.xml
5161906
YES
3.94/1.78
(CERTIFIED
0.0
)
YES
1.56/0.67
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
z10.xml
5161907
timeout (wallclock)
[out]
MAYBE
39.55/13.83
TRS_
Standard/
Zantema_
05/
jw42.xml
5161908
YES
3.92/1.80
(CERTIFIED
0.0
)
YES
1.27/0.68
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw29.xml
5161909
YES
4.01/1.81
(CERTIFIED
0.0
)
YES
1.08/0.60
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw07.xml
5161910
YES
3.80/1.76
(CERTIFIED
0.0
)
YES
1.58/0.78
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw41.xml
5161911
YES
7.78/3.19
(CERTIFIED
0.0
)
YES
1.87/0.90
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw35.xml
5161912
YES
3.64/1.73
(CERTIFIED
0.0
)
YES
1.06/0.52
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
z13.xml
5161913
timeout (wallclock)
[out]
MAYBE
92.23/32.48
TRS_
Standard/
Zantema_
05/
z20.xml
5161914
MAYBE
636.42/291.95
MAYBE
73.66/22.80
TRS_
Standard/
Zantema_
05/
z17.xml
5161915
MAYBE
581.57/297.11
MAYBE
123.84/42.33
TRS_
Standard/
Zantema_
05/
jw43.xml
5161916
YES
3.73/1.74
(CERTIFIED
0.0
)
YES
0.59/0.40
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
z26.xml
5161917
YES
7.75/2.89
(CERTIFIED
0.0
)
YES
1.56/0.65
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
z01.xml
5161918
YES
194.62/63.93
(CERTIFIED
0.0
)
YES
5.73/2.04
(CERTIFIED
0.1
)
TRS_
Standard/
Zantema_
05/
jw24.xml
5161919
YES
3.90/1.76
(CERTIFIED
0.0
)
YES
1.27/0.65
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
z27.xml
5161920
YES
26.78/13.45
(CERTIFIED
0.0
)
MAYBE
9.40/7.33
TRS_
Standard/
Zantema_
05/
jw28.xml
5161921
YES
3.57/1.70
(CERTIFIED
0.0
)
YES
1.33/0.69
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw03.xml
5161922
YES
3.83/2.86
(CERTIFIED
0.0
)
YES
1.05/0.58
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw23.xml
5161923
YES
3.72/1.72
(CERTIFIED
0.0
)
YES
1.25/0.64
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw19.xml
5161924
YES
3.74/1.78
(CERTIFIED
0.0
)
YES
1.44/0.70
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw18.xml
5161925
YES
3.96/1.81
(CERTIFIED
0.0
)
YES
1.34/0.67
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw37.xml
5161926
YES
7.22/3.31
(CERTIFIED
0.0
)
YES
2.41/0.95
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw40.xml
5161927
YES
3.84/1.78
(CERTIFIED
0.0
)
YES
1.27/0.66
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
z04.xml
5161928
YES
3.56/1.65
(CERTIFIED
0.0
)
YES
1.41/0.63
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw30.xml
5161929
YES
7.01/5.08
(CERTIFIED
0.0
)
YES
1.39/0.69
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw14.xml
5161930
YES
3.56/1.66
(CERTIFIED
0.0
)
YES
0.95/0.49
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
z23.xml
5161931
MAYBE
626.86/299.93
MAYBE
144.48/42.34
TRS_
Standard/
Zantema_
05/
jw36.xml
5161932
YES
3.96/1.77
(CERTIFIED
0.0
)
YES
2.00/0.78
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw04.xml
5161933
YES
4.04/1.93
(CERTIFIED
0.0
)
YES
1.08/0.58
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
z12.xml
5161934
timeout (wallclock)
[out]
MAYBE
124.33/42.33
TRS_
Standard/
Zantema_
05/
z15.xml
5161935
MAYBE
725.97/295.47
MAYBE
99.69/42.34
TRS_
Standard/
Zantema_
05/
z14.xml
5161936
MAYBE
811.58/291.50
MAYBE
101.67/42.33
TRS_
Standard/
Zantema_
05/
z24.xml
5161937
MAYBE
726.96/294.96
MAYBE
126.49/42.35
TRS_
Standard/
Zantema_
05/
z25.xml
5161938
YES
3.80/1.68
(CERTIFIED
0.0
)
MAYBE
34.26/11.41
TRS_
Standard/
Zantema_
05/
jw21.xml
5161939
YES
3.96/1.82
(CERTIFIED
0.0
)
YES
1.48/0.79
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
jw17.xml
5161940
run script error
[out]
YES
2.04/0.95
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
05/
z18.xml
5161941
MAYBE
561.03/293.78
MAYBE
100.01/42.33
TRS_
Standard/
Waldmann_
06/
jwtpa2.xml
5162214
YES
5.67/2.18
(CERTIFIED
0.0
)
YES
6.34/1.94
(CERTIFIED
0.0
)
TRS_
Standard/
Waldmann_
06/
jwno4.xml
5162215
NO
5.49/2.61
(CERTIFIED
0.0
)
NO
0.43/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Waldmann_
06/
jwno2.xml
5162216
MAYBE
429.06/291.49
MAYBE
21.87/7.32
TRS_
Standard/
Waldmann_
06/
jwteparla2.xml
5162217
YES
9.49/3.91
(CERTIFIED
0.0
)
MAYBE
23.67/7.33
TRS_
Standard/
Waldmann_
06/
jwmatchb2.xml
5162218
YES
27.59/13.93
(CERTIFIED
0.0
)
YES
3.00/1.10
(CERTIFIED
0.0
)
TRS_
Standard/
Waldmann_
06/
jwaprove1.xml
5162219
YES
13.26/4.41
(CERTIFIED
0.0
)
MAYBE
124.37/42.34
TRS_
Standard/
Waldmann_
06/
jwtpa1.xml
5162220
YES
13.44/4.30
(CERTIFIED
0.0
)
YES
1.98/0.79
(CERTIFIED
0.0
)
TRS_
Standard/
Waldmann_
06/
jwno6.xml
5162221
NO
4.92/2.16
(CERTIFIED
0.0
)
NO
0.48/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
Waldmann_
06/
jwno9.xml
5162222
NO
6.17/2.50
(CERTIFIED
0.0
)
NO
0.52/0.40
(CERTIFIED
0.0
)
TRS_
Standard/
Waldmann_
06/
jwno7.xml
5162223
MAYBE
385.27/291.48
MAYBE
25.25/7.32
TRS_
Standard/
Waldmann_
06/
jwcime2.xml
5162224
YES
4.73/2.10
(CERTIFIED
0.0
)
YES
2.00/0.83
(CERTIFIED
0.0
)
TRS_
Standard/
Waldmann_
06/
jwno5.xml
5162225
MAYBE
385.61/291.48
MAYBE
20.66/7.33
TRS_
Standard/
Waldmann_
06/
jwno3.xml
5162226
MAYBE
379.98/291.48
MAYBE
27.50/7.91
TRS_
Standard/
Waldmann_
06/
jwaprove2.xml
5162227
YES
13.42/4.46
(CERTIFIED
0.0
)
MAYBE
126.67/42.33
TRS_
Standard/
Waldmann_
06/
jwmatchb1.xml
5162228
YES
33.98/18.13
(CERTIFIED
0.0
)
run script error
[out]
TRS_
Standard/
Waldmann_
06/
jwcime1.xml
5162229
YES
9.24/3.39
(CERTIFIED
0.0
)
MAYBE
38.55/11.33
TRS_
Standard/
Waldmann_
06/
jwttt.xml
5162230
YES
5.00/2.19
(CERTIFIED
0.0
)
YES
5.82/1.75
(CERTIFIED
0.0
)
TRS_
Standard/
Waldmann_
06/
jwno8.xml
5162231
MAYBE
606.58/291.49
MAYBE
24.43/7.37
TRS_
Standard/
Waldmann_
06/
jwteparla1.xml
5162232
YES
4.94/2.09
(CERTIFIED
0.0
)
MAYBE
18.49/7.32
TRS_
Standard/
Waldmann_
06/
jwno1.xml
5162233
NO
5.81/2.48
(CERTIFIED
0.0
)
NO
0.56/0.40
(CERTIFIED
0.0
)
TRS_
Standard/
Zantema_
15/
delta.xml
5160799
MAYBE
354.83/292.44
MAYBE
11.32/7.33
TRS_
Standard/
Zantema_
15/
ex08.xml
5160800
MAYBE
1158.84/291.48
MAYBE
144.63/42.33
TRS_
Standard/
Zantema_
15/
ex07.xml
5160801
MAYBE
607.23/291.45
MAYBE
144.41/42.33
TRS_
Standard/
Zantema_
15/
ex13.xml
5160802
MAYBE
320.45/291.86
MAYBE
23.35/7.58
TRS_
Standard/
Zantema_
15/
ex06.xml
5160803
timeout (wallclock)
[out]
MAYBE
234.06/67.38
TRS_
Standard/
Zantema_
15/
ex12.xml
5160804
MAYBE
613.63/291.45
MAYBE
19.55/7.32
TRS_
Standard/
Zantema_
15/
ex14.xml
5160805
MAYBE
619.38/291.46
MAYBE
8.59/7.32
TRS_
Standard/
Zantema_
15/
ex11.xml
5160806
MAYBE
337.70/291.79
MAYBE
17.13/7.33
TRS_
Standard/
Zantema_
15/
ex01.xml
5160807
NO
5.32/2.07
(CERTIFIED
0.0
)
MAYBE
233.14/67.35
TRS_
Standard/
Zantema_
15/
ex05.xml
5160808
timeout (wallclock)
[out]
MAYBE
130.48/42.33
TRS_
Standard/
Zantema_
15/
ex09.xml
5160809
MAYBE
611.36/291.81
MAYBE
144.63/42.33
TRS_
Standard/
Zantema_
15/
ex04.xml
5160810
NO
17.02/5.11
(CERTIFIED
0.0
)
MAYBE
232.44/67.34
TRS_
Standard/
Zantema_
15/
ex03.xml
5160811
timeout (cpu)
[out]
MAYBE
233.44/67.35
TRS_
Standard/
Zantema_
15/
ex02.xml
5160812
MAYBE
1162.91/291.83
MAYBE
233.22/67.35
TRS_
Standard/
Zantema_
15/
ex10.xml
5160813
MAYBE
599.34/291.44
run script error
[out]
TRS_
Standard/
Zantema_
15/
s.xml
5160814
MAYBE
387.81/291.49
MAYBE
14.95/7.33
TRS_
Standard/
TCT_
12/
recursion-10.xml
5161117
YES
4.41/1.84
(CERTIFIED
0.0
)
YES
10.88/3.33
(CERTIFIED
0.0
)
TRS_
Standard/
TCT_
12/
polycounter-10.xml
5161118
YES
5.14/2.46
(CERTIFIED
0.0
)
YES
2.46/1.07
(CERTIFIED
0.0
)
TRS_
Standard/
TCT_
12/
recursion-5.xml
5161119
YES
3.71/1.71
(CERTIFIED
0.0
)
YES
5.70/1.86
(CERTIFIED
0.0
)
TRS_
Standard/
TCT_
12/
polycounter-5.xml
5161120
YES
3.99/1.83
(CERTIFIED
0.0
)
YES
1.27/0.57
(CERTIFIED
0.0
)
TRS_
Standard/
TCT_
12/
sat.xml
5161121
YES
3.96/1.79
(CERTIFIED
0.0
)
YES
6.63/2.06
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
mixed_
05/
ex3.xml
5161942
NO
10.17/3.33
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
mixed_
05/
test9.xml
5161943
NO
4.25/1.89
(CERTIFIED
0.0
)
NO
0.52/0.39
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
mixed_
05/
gkg.xml
5161944
NO
3.98/1.86
(CERTIFIED
0.0
)
NO
0.41/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
mixed_
05/
toyama.xml
5161945
NO
3.83/1.72
(CERTIFIED
0.0
)
MAYBE
7.98/7.33
TRS_
Standard/
Strategy_
removed_
mixed_
05/
test10.xml
5161946
NO
13.00/8.49
(CERTIFIED
0.0
)
NO
0.43/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
mixed_
05/
test77.xml
5161947
NO
14.19/5.66
(CERTIFIED
0.0
)
MAYBE
11.38/7.33
TRS_
Standard/
Strategy_
removed_
mixed_
05/
ExSec11_
1_
Luc02a.xml
5161948
NO
6.63/2.69
(CERTIFIED
0.0
)
NO
0.33/0.33
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
mixed_
05/
n001.xml
5161949
NO
3.19/1.51
(CERTIFIED
0.0
)
NO
2.31/0.84
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
mixed_
05/
ex5.xml
5161950
NO
6.30/2.31
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
mixed_
05/
test75.xml
5161951
NO
4.14/1.91
(CERTIFIED
0.0
)
run script error
[out]
TRS_
Standard/
Strategy_
removed_
mixed_
05/
ex6.xml
5161952
NO
4.63/2.05
(CERTIFIED
0.0
)
NO
0.43/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
mixed_
05/
ex1.xml
5161953
NO
8.59/2.99
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
mixed_
05/
muladd.xml
5161954
NO
4.21/1.85
(CERTIFIED
0.0
)
NO
0.43/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
mixed_
05/
test830.xml
5161955
YES
3.84/1.84
(CERTIFIED
0.0
)
YES
1.85/0.74
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
mixed_
05/
bn111.xml
5161956
YES
27.50/13.63
(CERTIFIED
0.0
)
run script error
[out]
TRS_
Standard/
Strategy_
removed_
mixed_
05/
tricky1.xml
5161957
YES
3.68/1.85
(CERTIFIED
0.0
)
YES
2.20/0.88
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
mixed_
05/
ex2.xml
5161958
NO
6.15/2.45
(CERTIFIED
0.0
)
NO
0.31/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Strategy_
removed_
mixed_
05/
test76.xml
5161959
NO
6.49/2.55
(CERTIFIED
0.0
)
MAYBE
11.41/7.33
TRS_
Standard/
Strategy_
removed_
mixed_
05/
ex4.xml
5161960
NO
15.57/4.64
(CERTIFIED
0.0
)
NO
0.46/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
Various_
04/
05.xml
5160990
MAYBE
641.41/292.32
MAYBE
10.81/7.34
TRS_
Standard/
Various_
04/
03.xml
5160991
YES
3.47/4.54
(CERTIFIED
0.0
)
YES
0.83/0.49
(CERTIFIED
0.0
)
TRS_
Standard/
Various_
04/
12.xml
5160992
YES
3.94/1.79
(CERTIFIED
0.0
)
YES
8.71/2.59
(CERTIFIED
0.0
)
TRS_
Standard/
Various_
04/
10.xml
5160993
YES
5.12/2.16
(CERTIFIED
0.0
)
YES
14.41/4.14
(CERTIFIED
0.0
)
TRS_
Standard/
Various_
04/
27.xml
5160994
YES
3.31/1.53
(CERTIFIED
0.0
)
YES
0.48/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
Various_
04/
06.xml
5160995
YES
4.12/1.81
(CERTIFIED
0.0
)
run script error
[out]
TRS_
Standard/
Various_
04/
02.xml
5160996
YES
3.77/1.72
(CERTIFIED
0.0
)
YES
0.53/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
Various_
04/
14.xml
5160997
YES
9.07/3.58
(CERTIFIED
0.1
)
YES
30.37/8.16
(CERTIFIED
0.1
)
TRS_
Standard/
Various_
04/
13.xml
5160998
YES
4.01/1.85
(CERTIFIED
0.0
)
YES
11.90/3.43
(CERTIFIED
0.0
)
TRS_
Standard/
Various_
04/
25.xml
5160999
YES
3.52/1.66
(CERTIFIED
0.0
)
YES
0.60/0.42
(CERTIFIED
0.0
)
TRS_
Standard/
Various_
04/
04.xml
5161000
MAYBE
766.97/292.79
MAYBE
11.27/7.36
TRS_
Standard/
Various_
04/
08.xml
5161001
MAYBE
898.76/300.30
MAYBE
15.26/7.36
TRS_
Standard/
Various_
04/
23.xml
5161002
YES
3.77/1.74
(CERTIFIED
0.0
)
YES
2.87/1.00
(CERTIFIED
0.0
)
TRS_
Standard/
Various_
04/
19.xml
5161003
YES
3.71/1.72
(CERTIFIED
0.0
)
run script error
[out]
TRS_
Standard/
Various_
04/
09.xml
5161004
YES
4.19/1.82
(CERTIFIED
0.0
)
YES
0.98/0.50
(CERTIFIED
0.0
)
TRS_
Standard/
Various_
04/
11.xml
5161005
YES
3.98/1.87
(CERTIFIED
0.0
)
MAYBE
9.50/7.33
TRS_
Standard/
Various_
04/
07.xml
5161006
YES
3.90/1.73
(CERTIFIED
0.0
)
YES
0.40/0.35
(CERTIFIED
0.0
)
TRS_
Standard/
Various_
04/
18.xml
5161007
YES
3.57/1.65
(CERTIFIED
0.0
)
YES
0.55/0.41
(CERTIFIED
0.0
)
TRS_
Standard/
Various_
04/
21.xml
5161008
YES
3.81/1.69
(CERTIFIED
0.0
)
YES
0.63/0.44
(CERTIFIED
0.0
)
TRS_
Standard/
Various_
04/
24.xml
5161009
YES
4.23/1.80
(CERTIFIED
0.0
)
YES
5.29/1.59
(CERTIFIED
0.0
)
TRS_
Standard/
Various_
04/
26.xml
5161010
YES
3.85/1.73
(CERTIFIED
0.0
)
YES
1.88/0.76
(CERTIFIED
0.0
)
TRS_
Standard/
Various_
04/
15.xml
5161011
YES
6.40/2.44
(CERTIFIED
0.0
)
YES
14.28/5.52
(CERTIFIED
0.0
)
TRS_
Standard/
Various_
04/
22.xml
5161012
YES
3.52/1.64
(CERTIFIED
0.0
)
YES
1.65/0.70
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
complete_
L.xml
5161211
NO
3.17/1.47
(CERTIFIED
0.0
)
NO
0.33/0.33
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
GM.xml
5161212
NO
13.27/6.17
(CERTIFIED
0.0
)
NO
0.69/0.44
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
nosorts_
noand_
C.xml
5161213
YES
8.17/2.94
(CERTIFIED
0.0
)
MAYBE
145.39/42.39
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
complete-noand_
Z.xml
5161214
NO
883.20/240.28
(CERTIFIED
0.2
)
MAYBE
147.01/42.43
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
complete_
GM.xml
5161215
YES
6.45/2.62
(CERTIFIED
0.0
)
MAYBE
144.66/42.40
TRS_
Standard/
Transformed_
CSR_
04/
ExIntrod_
GM04_
GM.xml
5161216
YES
5.77/2.29
(CERTIFIED
0.0
)
YES
14.56/4.06
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex25_
Luc06_
Z.xml
5161217
YES
5.47/2.06
(CERTIFIED
0.0
)
YES
1.08/0.53
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
complete_
C.xml
5161218
YES
12.51/4.36
(CERTIFIED
0.1
)
YES
47.38/13.43
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
nosorts_
noand_
iGM.xml
5161219
YES
6.46/2.80
(CERTIFIED
0.0
)
YES
19.16/5.19
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
7_
15_
Bor03_
GM.xml
5161220
YES
4.58/1.95
(CERTIFIED
0.0
)
YES
4.11/1.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
Zan97_
FR.xml
5161221
NO
8.16/2.82
(CERTIFIED
0.0
)
NO
0.43/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
complete_
iGM.xml
5161222
YES
8.76/3.16
(CERTIFIED
0.0
)
MAYBE
147.68/42.46
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
nokinds_
FR.xml
5161223
YES
4.03/1.86
(CERTIFIED
0.0
)
YES
22.15/6.04
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExConc_
Zan97_
C.xml
5161224
YES
15.04/4.57
(CERTIFIED
0.0
)
YES
0.89/0.49
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex9_
Luc04_
iGM.xml
5161225
NO
271.43/106.67
(CERTIFIED
0.0
)
MAYBE
108.04/42.33
TRS_
Standard/
Transformed_
CSR_
04/
Ex24_
Luc06_
C.xml
5161226
YES
65.39/25.60
(CERTIFIED
0.1
)
YES
29.38/7.71
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex9_
Luc04_
FR.xml
5161227
NO
4.03/1.85
(CERTIFIED
0.0
)
NO
0.40/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex2_
Luc02a_
Z.xml
5161228
YES
3.73/1.71
(CERTIFIED
0.0
)
YES
6.48/2.04
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
2_
Luc02c_
iGM.xml
5161229
YES
10.51/3.54
(CERTIFIED
0.0
)
YES
10.42/2.94
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
7_
37_
Bor03_
C.xml
5161230
timeout (wallclock)
[out]
MAYBE
145.63/42.40
TRS_
Standard/
Transformed_
CSR_
04/
Ex24_
Luc06_
GM.xml
5161231
NO
4.43/1.90
(CERTIFIED
0.0
)
NO
0.46/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExProp7_
Luc06_
iGM.xml
5161232
YES
11.03/3.83
(CERTIFIED
0.0
)
YES
12.76/3.53
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
7_
15_
Bor03_
L.xml
5161233
run script error
[out]
YES
0.80/0.49
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex23_
Luc06_
FR.xml
5161234
YES
6.26/2.38
(CERTIFIED
0.0
)
YES
0.66/0.42
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
nokinds_
noand_
C.xml
5161235
timeout (wallclock)
[out]
MAYBE
147.57/42.44
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
nokinds_
noand_
GM.xml
5161236
YES
14.03/4.62
(CERTIFIED
0.0
)
MAYBE
138.58/42.38
TRS_
Standard/
Transformed_
CSR_
04/
Ex7_
BLR02_
FR.xml
5161237
run script error
[out]
YES
10.54/3.36
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
7_
77_
Bor03_
iGM.xml
5161238
YES
4.17/1.89
(CERTIFIED
0.0
)
YES
8.60/2.48
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExProp7_
Luc06_
GM.xml
5161239
YES
4.78/2.05
(CERTIFIED
0.0
)
YES
5.00/1.57
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex14_
Luc06_
FR.xml
5161240
NO
5.04/2.22
(CERTIFIED
0.0
)
NO
0.48/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex9_
Luc04_
C.xml
5161241
MAYBE
875.18/291.57
MAYBE
144.77/42.34
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
nokinds-noand_
Z.xml
5161242
timeout (wallclock)
[out]
run script error
[out]
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
noand_
iGM.xml
5161243
MAYBE
956.72/297.38
MAYBE
145.55/42.42
TRS_
Standard/
Transformed_
CSR_
04/
Ex23_
Luc06_
C.xml
5161244
YES
10.94/3.93
(CERTIFIED
0.0
)
YES
1.99/0.77
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex24_
GM04_
GM.xml
5161245
NO
35.39/23.00
(CERTIFIED
0.0
)
MAYBE
8.75/7.33
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
complete-noand_
Z.xml
5161246
YES
25.13/7.88
(CERTIFIED
0.0
)
YES
63.81/16.88
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
Luc02b_
GM.xml
5161247
timeout (wallclock)
[out]
MAYBE
133.86/42.34
TRS_
Standard/
Transformed_
CSR_
04/
ExAppendixB_
AEL03_
Z.xml
5161248
YES
4.39/1.95
(CERTIFIED
0.0
)
YES
14.62/5.84
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
C.xml
5161249
YES
8.23/2.80
(CERTIFIED
0.1
)
YES
28.56/7.92
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts_
iGM.xml
5161250
MAYBE
742.80/292.32
MAYBE
145.93/42.43
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
GM99_
iGM.xml
5161251
NO
11.82/5.29
(CERTIFIED
0.0
)
MAYBE
111.59/42.34
TRS_
Standard/
Transformed_
CSR_
04/
Ex3_
12_
Luc96a_
GM.xml
5161252
MAYBE
857.68/292.48
MAYBE
129.42/42.34
TRS_
Standard/
Transformed_
CSR_
04/
Ex3_
2_
Luc97_
Z.xml
5161253
MAYBE
562.31/291.92
MAYBE
125.46/42.36
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
nosorts-noand_
FR.xml
5161254
YES
3.32/1.54
(CERTIFIED
0.0
)
YES
0.67/0.42
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds_
noand_
iGM.xml
5161255
YES
70.04/20.37
(CERTIFIED
0.2
)
run script error
[out]
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
7_
37_
Bor03_
L.xml
5161256
NO
3.05/1.46
(CERTIFIED
0.0
)
NO
0.32/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex14_
AEGL02_
C.xml
5161257
YES
125.12/39.43
(CERTIFIED
0.0
)
YES
49.64/12.95
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
GM.xml
5161258
NO
5.54/2.33
(CERTIFIED
0.0
)
NO
0.50/0.39
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
nosorts-noand_
L.xml
5161259
NO
2.99/1.75
(CERTIFIED
0.0
)
NO
0.32/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
complete-noand_
FR.xml
5161260
NO
354.74/90.50
(CERTIFIED
0.2
)
MAYBE
148.62/42.44
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
complete-noand_
L.xml
5161261
NO
78.71/22.91
(CERTIFIED
0.0
)
NO
0.34/0.34
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex9_
Luc04_
L.xml
5161262
NO
3.86/1.76
(CERTIFIED
0.0
)
NO
0.42/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete_
noand_
iGM.xml
5161263
YES
426.27/168.94
(CERTIFIED
1.2
)
MAYBE
147.33/42.59
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete-noand_
L.xml
5161264
NO
3.09/1.46
(CERTIFIED
0.0
)
NO
0.33/0.34
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
complete_
L.xml
5161265
NO
3.04/1.49
(CERTIFIED
0.0
)
NO
0.31/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex15_
Luc06_
FR.xml
5161266
YES
11.78/3.92
(CERTIFIED
0.0
)
YES
1.27/0.59
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex3_
2_
Luc97_
L.xml
5161267
run script error
[out]
NO
0.32/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex6_
9_
Luc02c_
FR.xml
5161268
YES
3.85/2.05
(CERTIFIED
0.0
)
YES
4.52/1.63
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
nokinds_
C.xml
5161269
timeout (wallclock)
[out]
MAYBE
146.05/42.42
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
complete_
Z.xml
5161270
YES
5.23/2.25
(CERTIFIED
0.0
)
MAYBE
140.93/42.38
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts-noand_
FR.xml
5161271
YES
6.15/2.55
(CERTIFIED
0.0
)
YES
20.27/6.18
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
complete_
noand_
iGM.xml
5161272
YES
16.79/5.84
(CERTIFIED
0.1
)
MAYBE
146.11/42.67
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
7_
77_
Bor03_
L.xml
5161273
NO
3.05/1.46
(CERTIFIED
0.0
)
NO
0.30/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
nosorts-noand_
L.xml
5161274
YES
3.29/1.54
(CERTIFIED
0.0
)
YES
0.55/0.39
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds_
iGM.xml
5161275
MAYBE
709.15/292.93
MAYBE
147.24/42.52
TRS_
Standard/
Transformed_
CSR_
04/
Ex9_
BLR02_
GM.xml
5161276
YES
5.78/2.68
(CERTIFIED
0.0
)
YES
24.78/6.78
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
complete_
noand_
iGM.xml
5161277
timeout (wallclock)
[out]
MAYBE
90.74/43.42
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
noand_
C.xml
5161278
timeout (wallclock)
[out]
MAYBE
145.27/42.36
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
7_
15_
Bor03_
Z.xml
5161279
YES
4.00/1.82
(CERTIFIED
0.0
)
YES
1.24/0.62
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
nosorts_
FR.xml
5161280
YES
3.40/1.63
(CERTIFIED
0.0
)
YES
0.45/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
L.xml
5161281
NO
3.05/1.47
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex15_
Luc98_
Z.xml
5161282
YES
4.10/1.81
(CERTIFIED
0.0
)
YES
15.31/5.59
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
DLMMU04_
C.xml
5161283
timeout (wallclock)
[out]
MAYBE
146.49/42.41
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds-noand_
FR.xml
5161284
MAYBE
842.84/292.07
MAYBE
148.07/42.43
TRS_
Standard/
Transformed_
CSR_
04/
Ex5_
7_
Luc97_
L.xml
5161285
NO
3.24/1.48
(CERTIFIED
0.0
)
NO
0.32/0.33
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
nokinds-noand_
Z.xml
5161286
YES
7.26/2.80
(CERTIFIED
0.0
)
YES
12.96/3.69
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
nosorts_
noand_
C.xml
5161287
YES
6.64/2.44
(CERTIFIED
0.0
)
YES
26.28/7.11
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
ExSec4_
2_
DLMMU04_
FR.xml
5161288
YES
4.22/1.81
(CERTIFIED
0.0
)
YES
19.96/5.74
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
complete_
FR.xml
5161289
YES
5.30/2.20
(CERTIFIED
0.0
)
YES
96.20/25.32
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex15_
Luc98_
GM.xml
5161290
YES
4.45/1.84
(CERTIFIED
0.0
)
YES
6.04/1.80
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
nokinds-noand_
FR.xml
5161291
timeout (wallclock)
[out]
MAYBE
144.86/42.38
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
complete-noand_
Z.xml
5161292
YES
46.28/12.93
(CERTIFIED
0.1
)
MAYBE
145.75/42.40
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
nosorts_
FR.xml
5161293
YES
3.70/1.65
(CERTIFIED
0.0
)
YES
2.37/0.91
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex8_
BLR02_
GM.xml
5161294
MAYBE
1110.08/292.03
MAYBE
132.92/42.35
TRS_
Standard/
Transformed_
CSR_
04/
Ex23_
Luc06_
L.xml
5161295
YES
3.17/1.50
(CERTIFIED
0.0
)
YES
0.47/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex25_
Luc06_
iGM.xml
5161296
YES
38.30/10.56
(CERTIFIED
0.0
)
YES
16.99/4.56
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
2_
Luc02c_
Z.xml
5161297
YES
3.48/1.66
(CERTIFIED
0.0
)
YES
1.73/0.72
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex15_
Luc98_
iGM.xml
5161298
YES
11.99/4.01
(CERTIFIED
0.0
)
YES
24.70/6.74
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
ExIntrod_
GM01_
L.xml
5161299
NO
3.20/1.47
(CERTIFIED
0.0
)
NO
0.31/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex3_
12_
Luc96a_
iGM.xml
5161300
MAYBE
834.87/292.70
MAYBE
143.76/42.35
TRS_
Standard/
Transformed_
CSR_
04/
Ex7_
BLR02_
Z.xml
5161301
YES
3.97/1.82
(CERTIFIED
0.0
)
YES
17.42/5.71
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex26_
Luc03b_
FR.xml
5161302
YES
13.11/4.33
(CERTIFIED
0.0
)
MAYBE
141.88/42.36
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
FR.xml
5161303
NO
6.18/2.38
(CERTIFIED
0.0
)
NO
0.45/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExAppendixB_
AEL03_
GM.xml
5161304
YES
171.78/45.77
(CERTIFIED
0.2
)
MAYBE
139.25/42.37
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
7_
37_
Bor03_
GM.xml
5161305
timeout (wallclock)
[out]
MAYBE
136.37/42.36
TRS_
Standard/
Transformed_
CSR_
04/
Ex24_
Luc06_
L.xml
5161306
NO
6.02/2.23
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
GM03_
Z.xml
5161307
NO
4.48/2.00
(CERTIFIED
0.0
)
NO
0.31/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExConc_
Zan97_
Z.xml
5161308
NO
3.16/1.73
(CERTIFIED
0.0
)
NO
0.31/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex49_
GM04_
iGM.xml
5161309
YES
11.09/3.71
(CERTIFIED
0.0
)
YES
27.16/7.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
complete_
noand_
GM.xml
5161310
YES
37.31/11.92
(CERTIFIED
0.2
)
MAYBE
147.43/42.50
TRS_
Standard/
Transformed_
CSR_
04/
Ex24_
Luc06_
iGM.xml
5161311
NO
10.73/4.67
(CERTIFIED
0.0
)
MAYBE
144.90/42.34
TRS_
Standard/
Transformed_
CSR_
04/
Ex14_
Luc06_
iGM.xml
5161312
timeout (wallclock)
[out]
run script error
[out]
TRS_
Standard/
Transformed_
CSR_
04/
Ex6_
15_
AEL02_
L.xml
5161313
NO
3.07/1.46
(CERTIFIED
0.0
)
NO
0.32/0.33
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex6_
15_
AEL02_
FR.xml
5161314
timeout (wallclock)
[out]
MAYBE
116.22/42.36
TRS_
Standard/
Transformed_
CSR_
04/
Ex3_
3_
25_
Bor03_
L.xml
5161315
YES
3.76/1.69
(CERTIFIED
0.0
)
YES
0.43/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
Luc04b_
C.xml
5161316
YES
7.89/2.87
(CERTIFIED
0.0
)
YES
26.99/7.34
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex14_
Luc06_
L.xml
5161317
NO
9.15/3.04
(CERTIFIED
0.0
)
NO
0.45/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
GM03_
GM.xml
5161318
timeout (wallclock)
[out]
MAYBE
133.40/42.37
TRS_
Standard/
Transformed_
CSR_
04/
Ex7_
BLR02_
C.xml
5161319
timeout (wallclock)
[out]
MAYBE
145.53/42.38
TRS_
Standard/
Transformed_
CSR_
04/
Ex5_
7_
Luc97_
FR.xml
5161320
MAYBE
1161.83/292.39
MAYBE
126.04/42.37
TRS_
Standard/
Transformed_
CSR_
04/
ExIntrod_
GM99_
FR.xml
5161321
MAYBE
860.98/291.55
MAYBE
144.58/42.35
TRS_
Standard/
Transformed_
CSR_
04/
ExIntrod_
GM99_
C.xml
5161322
MAYBE
1006.39/297.68
MAYBE
145.75/42.41
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
GL02a_
L.xml
5161323
NO
4.63/2.02
(CERTIFIED
0.0
)
NO
0.31/0.35
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex5_
Zan97_
C.xml
5161324
YES
6.29/2.35
(CERTIFIED
0.0
)
YES
16.01/4.35
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex5_
Zan97_
FR.xml
5161325
YES
3.99/1.74
(CERTIFIED
0.0
)
YES
2.38/0.89
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
GM.xml
5161326
YES
3.85/1.73
(CERTIFIED
0.0
)
YES
1.38/0.62
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex24_
Luc06_
FR.xml
5161327
NO
4.08/1.84
(CERTIFIED
0.0
)
NO
0.41/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
complete_
iGM.xml
5161328
MAYBE
895.18/291.95
MAYBE
147.24/42.51
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete_
iGM.xml
5161329
MAYBE
823.05/293.67
MAYBE
148.03/42.47
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
nokinds_
noand_
iGM.xml
5161330
YES
185.33/58.59
(CERTIFIED
0.4
)
MAYBE
147.36/42.49
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
complete_
Z.xml
5161331
YES
5.96/2.34
(CERTIFIED
0.0
)
YES
50.67/13.55
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex14_
Luc06_
C.xml
5161332
timeout (wallclock)
[out]
MAYBE
144.87/42.35
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
GM99_
FR.xml
5161333
NO
4.00/1.86
(CERTIFIED
0.0
)
NO
0.56/0.40
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
GL02a_
iGM.xml
5161334
YES
11.11/3.79
(CERTIFIED
0.0
)
YES
24.56/6.61
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
ExIntrod_
Zan97_
L.xml
5161335
NO
3.14/1.51
(CERTIFIED
0.0
)
NO
0.32/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExIntrod_
Zan97_
iGM.xml
5161336
MAYBE
859.61/291.60
MAYBE
143.62/42.39
TRS_
Standard/
Transformed_
CSR_
04/
Ex6_
9_
Luc02c_
iGM.xml
5161337
YES
18.70/5.83
(CERTIFIED
0.0
)
run script error
[out]
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
nokinds_
L.xml
5161338
NO
3.05/1.48
(CERTIFIED
0.0
)
run script error
[out]
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
nokinds_
FR.xml
5161339
NO
351.33/89.29
(CERTIFIED
0.1
)
MAYBE
142.46/42.38
TRS_
Standard/
Transformed_
CSR_
04/
Ex6_
9_
Luc02c_
GM.xml
5161340
YES
8.61/3.15
(CERTIFIED
0.0
)
YES
16.82/4.86
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex3_
12_
Luc96a_
Z.xml
5161341
YES
3.81/1.78
(CERTIFIED
0.0
)
YES
15.57/5.50
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex49_
GM04_
Z.xml
5161342
YES
4.35/1.95
(CERTIFIED
0.0
)
YES
5.84/1.91
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds_
noand_
iGM.xml
5161343
MAYBE
708.77/292.33
MAYBE
146.13/42.73
TRS_
Standard/
Transformed_
CSR_
04/
ExIntrod_
GM99_
L.xml
5161344
NO
3.25/1.57
(CERTIFIED
0.0
)
NO
0.32/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex26_
Luc03b_
Z.xml
5161345
YES
19.00/8.74
(CERTIFIED
0.0
)
YES
31.37/9.30
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
nosorts_
C.xml
5161346
YES
5.99/5.55
(CERTIFIED
0.0
)
YES
23.99/6.45
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
ExProp7_
Luc06_
FR.xml
5161347
YES
4.56/1.89
(CERTIFIED
0.0
)
YES
2.35/0.87
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
complete_
noand_
GM.xml
5161348
YES
10.36/3.63
(CERTIFIED
0.1
)
YES
88.99/24.52
(CERTIFIED
0.2
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex15_
Luc06_
L.xml
5161349
NO
5.35/2.08
(CERTIFIED
0.0
)
NO
0.30/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
L.xml
5161350
NO
3.09/1.49
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
complete_
FR.xml
5161351
MAYBE
955.32/293.19
MAYBE
148.89/42.49
TRS_
Standard/
Transformed_
CSR_
04/
Ex2_
Luc02a_
L.xml
5161352
YES
3.65/1.67
(CERTIFIED
0.0
)
YES
4.04/1.35
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete_
Z.xml
5161353
MAYBE
1128.17/292.73
MAYBE
145.16/42.39
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
GM03_
FR.xml
5161354
MAYBE
681.13/291.51
run script error
[out]
TRS_
Standard/
Transformed_
CSR_
04/
Ex23_
Luc06_
Z.xml
5161355
YES
3.72/1.60
(CERTIFIED
0.0
)
YES
0.44/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
complete-noand_
Z.xml
5161356
YES
5.57/2.40
(CERTIFIED
0.0
)
YES
62.16/16.13
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
complete-noand_
L.xml
5161357
NO
3.07/1.49
(CERTIFIED
0.0
)
NO
0.32/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds_
C.xml
5161358
MAYBE
806.47/291.83
MAYBE
148.32/42.53
TRS_
Standard/
Transformed_
CSR_
04/
Ex5_
7_
Luc97_
GM.xml
5161359
MAYBE
1156.09/292.59
MAYBE
141.27/42.38
TRS_
Standard/
Transformed_
CSR_
04/
Ex5_
DLMMU04_
C.xml
5161360
YES
12.96/4.53
(CERTIFIED
0.1
)
MAYBE
145.34/42.40
TRS_
Standard/
Transformed_
CSR_
04/
ExIntrod_
GM04_
Z.xml
5161361
NO
22.30/9.37
(CERTIFIED
0.0
)
NO
3.33/1.11
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex24_
GM04_
Z.xml
5161362
NO
25.31/13.20
(CERTIFIED
0.0
)
NO
2.91/1.01
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
nosorts_
iGM.xml
5161363
YES
5.02/2.03
(CERTIFIED
0.0
)
YES
20.67/5.60
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
nokinds_
noand_
C.xml
5161364
MAYBE
1023.42/296.81
MAYBE
145.56/42.39
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
nokinds_
Z.xml
5161365
NO
366.92/93.89
(CERTIFIED
0.1
)
MAYBE
142.81/42.37
TRS_
Standard/
Transformed_
CSR_
04/
Ex5_
Zan97_
L.xml
5161366
NO
3.11/1.54
(CERTIFIED
0.0
)
NO
0.31/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex6_
Luc98_
L.xml
5161367
YES
3.41/1.54
(CERTIFIED
0.0
)
YES
0.43/0.35
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
nokinds_
GM.xml
5161368
MAYBE
834.13/292.53
MAYBE
145.30/42.37
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
Luc04b_
L.xml
5161369
NO
3.12/1.54
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
complete_
iGM.xml
5161370
MAYBE
667.27/292.42
MAYBE
146.03/42.78
TRS_
Standard/
Transformed_
CSR_
04/
Ex3_
12_
Luc96a_
FR.xml
5161371
YES
3.70/1.71
(CERTIFIED
0.0
)
YES
4.57/1.64
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds_
C.xml
5161372
timeout (wallclock)
[out]
MAYBE
145.18/42.39
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
complete-noand_
FR.xml
5161373
YES
5.76/2.44
(CERTIFIED
0.0
)
YES
79.21/20.43
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
GL02a_
GM.xml
5161374
YES
3.96/1.78
(CERTIFIED
0.0
)
YES
7.28/2.33
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
nosorts_
GM.xml
5161375
YES
3.51/1.64
(CERTIFIED
0.0
)
YES
0.61/0.42
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExIntrod_
Zan97_
FR.xml
5161376
timeout (wallclock)
[out]
MAYBE
131.55/42.35
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
nokinds-noand_
FR.xml
5161377
YES
9.13/3.05
(CERTIFIED
0.0
)
MAYBE
135.49/42.36
TRS_
Standard/
Transformed_
CSR_
04/
Ex14_
AEGL02_
L.xml
5161378
NO
8.31/2.83
(CERTIFIED
0.0
)
NO
0.44/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExIntrod_
GM01_
Z.xml
5161379
NO
16.99/10.82
(CERTIFIED
0.0
)
NO
0.76/0.45
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex2_
Luc02a_
C.xml
5161380
YES
10.39/3.91
(CERTIFIED
0.1
)
YES
29.26/7.85
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds_
noand_
C.xml
5161381
MAYBE
1029.51/292.91
MAYBE
146.61/42.42
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
7_
77_
Bor03_
C.xml
5161382
YES
5.27/2.11
(CERTIFIED
0.0
)
run script error
[out]
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
GL02a_
Z.xml
5161383
NO
52.36/18.96
(CERTIFIED
0.1
)
MAYBE
140.48/42.35
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
7_
56_
Bor03_
GM.xml
5161384
YES
15.69/4.83
(CERTIFIED
0.0
)
YES
10.79/3.22
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
7_
56_
Bor03_
iGM.xml
5161385
YES
14.29/4.63
(CERTIFIED
0.0
)
YES
30.99/8.49
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex6_
15_
AEL02_
Z.xml
5161386
NO
27.21/9.68
(CERTIFIED
0.0
)
MAYBE
106.40/42.38
TRS_
Standard/
Transformed_
CSR_
04/
Ex2_
Luc02a_
GM.xml
5161387
YES
8.07/2.90
(CERTIFIED
0.0
)
MAYBE
136.48/42.36
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
4_
Luc96b_
L.xml
5161388
YES
3.18/1.57
(CERTIFIED
0.0
)
YES
0.74/0.43
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex6_
9_
Luc02c_
L.xml
5161389
NO
3.05/1.55
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex5_
DLMMU04_
iGM.xml
5161390
YES
18.72/5.97
(CERTIFIED
0.1
)
YES
105.71/28.02
(CERTIFIED
0.2
)
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts-noand_
Z.xml
5161391
YES
6.02/2.41
(CERTIFIED
0.0
)
YES
18.97/5.69
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
complete-noand_
FR.xml
5161392
YES
15.88/4.95
(CERTIFIED
0.1
)
YES
66.88/17.90
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
7_
77_
Bor03_
FR.xml
5161393
YES
3.42/1.60
(CERTIFIED
0.0
)
YES
0.42/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
nokinds_
GM.xml
5161394
YES
4.99/2.01
(CERTIFIED
0.0
)
MAYBE
136.52/42.37
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete_
FR.xml
5161395
MAYBE
1132.87/294.64
MAYBE
144.92/42.39
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
GM99_
GM.xml
5161396
NO
5.78/2.28
(CERTIFIED
0.0
)
MAYBE
25.41/7.75
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
nokinds-noand_
L.xml
5161397
NO
2.94/1.49
(CERTIFIED
0.0
)
NO
0.32/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
nosorts-noand_
L.xml
5161398
NO
3.18/1.49
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
nosorts_
noand_
GM.xml
5161399
YES
4.65/1.96
(CERTIFIED
0.0
)
MAYBE
133.21/42.35
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
2_
AEL03_
iGM.xml
5161400
YES
82.46/22.60
(CERTIFIED
0.1
)
YES
134.48/37.74
(CERTIFIED
0.2
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex2_
Luc03b_
C.xml
5161401
YES
8.86/3.08
(CERTIFIED
0.1
)
YES
28.02/7.81
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
GL02a_
C.xml
5161402
YES
13.21/4.59
(CERTIFIED
0.1
)
YES
55.96/14.68
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds_
noand_
GM.xml
5161403
MAYBE
617.82/291.81
MAYBE
148.23/42.50
TRS_
Standard/
Transformed_
CSR_
04/
ExSec11_
1_
Luc02a_
GM.xml
5161404
YES
7.72/2.82
(CERTIFIED
0.0
)
MAYBE
139.90/42.35
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds_
Z.xml
5161405
NO
71.52/21.58
(CERTIFIED
0.1
)
MAYBE
144.89/42.36
TRS_
Standard/
Transformed_
CSR_
04/
Ex2_
Luc02a_
iGM.xml
5161406
YES
16.43/5.13
(CERTIFIED
0.1
)
YES
28.49/8.03
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
Luc02b_
L.xml
5161407
NO
3.17/1.49
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExSec4_
2_
DLMMU04_
GM.xml
5161408
MAYBE
1066.35/291.81
MAYBE
142.21/42.37
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
7_
15_
Bor03_
FR.xml
5161409
YES
4.42/1.91
(CERTIFIED
0.0
)
YES
4.44/1.44
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
nokinds_
FR.xml
5161410
YES
4.53/1.91
(CERTIFIED
0.0
)
MAYBE
134.12/42.36
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
Luc04b_
GM.xml
5161411
YES
6.32/2.35
(CERTIFIED
0.0
)
YES
12.94/3.62
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
4_
Luc96b_
C.xml
5161412
YES
4.12/1.77
(CERTIFIED
0.0
)
YES
10.07/2.84
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
complete-noand_
L.xml
5161413
NO
3.19/1.52
(CERTIFIED
0.0
)
NO
0.34/0.34
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex3_
2_
Luc97_
GM.xml
5161414
MAYBE
1002.15/292.95
MAYBE
140.20/42.34
TRS_
Standard/
Transformed_
CSR_
04/
Ex25_
Luc06_
L.xml
5161415
YES
3.23/1.51
(CERTIFIED
0.0
)
YES
0.41/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex16_
Luc06_
FR.xml
5161416
YES
3.63/1.67
(CERTIFIED
0.0
)
YES
0.67/0.44
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
GM03_
iGM.xml
5161417
MAYBE
806.98/291.76
MAYBE
142.56/42.38
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
4_
Luc96b_
GM.xml
5161418
YES
4.38/1.87
(CERTIFIED
0.0
)
YES
13.55/5.53
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
4_
Luc96b_
Z.xml
5161419
NO
4.72/1.99
(CERTIFIED
0.0
)
NO
0.41/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex6_
Luc98_
iGM.xml
5161420
YES
6.50/2.55
(CERTIFIED
0.0
)
YES
19.66/5.30
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex23_
Luc06_
iGM.xml
5161421
YES
12.52/3.96
(CERTIFIED
0.0
)
YES
6.21/1.88
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
complete_
noand_
C.xml
5161422
run script error
[out]
MAYBE
98.27/43.31
TRS_
Standard/
Transformed_
CSR_
04/
Ex24_
GM04_
C.xml
5161423
timeout (wallclock)
[out]
MAYBE
144.93/42.34
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
nosorts-noand_
L.xml
5161424
NO
3.05/1.52
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
nosorts_
L.xml
5161425
NO
3.09/1.48
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex2_
Luc03b_
GM.xml
5161426
YES
8.25/3.07
(CERTIFIED
0.0
)
YES
13.06/3.79
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
2_
AEL03_
FR.xml
5161427
YES
4.33/1.89
(CERTIFIED
0.0
)
YES
7.98/2.48
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
FR.xml
5161428
NO
4.75/2.20
(CERTIFIED
0.0
)
NO
0.59/0.41
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex9_
BLR02_
C.xml
5161429
YES
8.58/3.08
(CERTIFIED
0.1
)
YES
28.68/8.01
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds_
L.xml
5161430
NO
3.05/1.48
(CERTIFIED
0.0
)
NO
0.32/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
GM03_
C.xml
5161431
MAYBE
960.42/291.58
MAYBE
145.24/42.38
TRS_
Standard/
Transformed_
CSR_
04/
Ex9_
Luc06_
GM.xml
5161432
YES
3.76/1.70
(CERTIFIED
0.0
)
YES
1.17/0.55
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
nosorts_
C.xml
5161433
YES
5.56/2.19
(CERTIFIED
0.0
)
YES
26.11/6.95
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts-noand_
L.xml
5161434
NO
2.98/1.47
(CERTIFIED
0.0
)
NO
0.33/0.33
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExAppendixB_
AEL03_
FR.xml
5161435
YES
4.07/1.84
(CERTIFIED
0.0
)
YES
8.36/2.50
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExSec11_
1_
Luc02a_
L.xml
5161436
YES
3.84/1.70
(CERTIFIED
0.0
)
YES
5.67/1.81
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
complete_
iGM.xml
5161437
YES
7.06/2.60
(CERTIFIED
0.0
)
MAYBE
145.18/42.41
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
Luc04b_
Z.xml
5161438
NO
5.93/2.33
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex16_
Luc06_
GM.xml
5161439
YES
4.07/1.79
(CERTIFIED
0.0
)
YES
2.27/0.85
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts_
noand_
C.xml
5161440
timeout (wallclock)
[out]
run script error
[out]
TRS_
Standard/
Transformed_
CSR_
04/
Ex3_
12_
Luc96a_
C.xml
5161441
timeout (wallclock)
[out]
MAYBE
145.07/42.36
TRS_
Standard/
Transformed_
CSR_
04/
Ex9_
BLR02_
L.xml
5161442
YES
3.10/1.52
(CERTIFIED
0.0
)
YES
0.43/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
nosorts_
L.xml
5161443
NO
2.96/1.49
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
2_
Luc02c_
FR.xml
5161444
YES
3.74/1.69
(CERTIFIED
0.0
)
YES
5.04/1.74
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
complete_
C.xml
5161445
MAYBE
791.81/292.19
MAYBE
147.61/42.77
TRS_
Standard/
Transformed_
CSR_
04/
Ex15_
Luc06_
GM.xml
5161446
YES
6.62/2.43
(CERTIFIED
0.0
)
YES
1.29/0.59
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
Luc02b_
C.xml
5161447
MAYBE
967.81/293.24
MAYBE
145.30/42.37
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
nokinds_
L.xml
5161448
NO
3.20/1.56
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex15_
Luc06_
Z.xml
5161449
YES
5.00/2.05
(CERTIFIED
0.0
)
YES
0.93/0.50
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds_
noand_
C.xml
5161450
MAYBE
809.55/294.19
MAYBE
148.56/42.71
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
7_
37_
Bor03_
Z.xml
5161451
YES
4.08/1.82
(CERTIFIED
0.0
)
YES
13.92/5.82
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete-noand_
FR.xml
5161452
NO
923.18/292.84
(CERTIFIED
0.1
)
MAYBE
145.84/42.40
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
noand_
C.xml
5161453
MAYBE
1027.04/296.38
MAYBE
145.76/42.41
TRS_
Standard/
Transformed_
CSR_
04/
Ex9_
BLR02_
Z.xml
5161454
YES
5.14/2.39
(CERTIFIED
0.0
)
YES
18.67/5.96
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExIntrod_
GM04_
iGM.xml
5161455
YES
10.92/3.82
(CERTIFIED
0.1
)
YES
26.89/7.24
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
complete_
noand_
GM.xml
5161456
YES
15.65/7.24
(CERTIFIED
0.1
)
MAYBE
147.14/42.47
TRS_
Standard/
Transformed_
CSR_
04/
Ex3_
2_
Luc97_
C.xml
5161457
MAYBE
980.31/293.56
MAYBE
145.13/42.37
TRS_
Standard/
Transformed_
CSR_
04/
Ex14_
AEGL02_
GM.xml
5161458
YES
4.74/2.02
(CERTIFIED
0.0
)
YES
6.04/1.97
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex6_
GM04_
C.xml
5161459
YES
10.28/3.51
(CERTIFIED
0.0
)
YES
4.48/1.41
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex49_
GM04_
FR.xml
5161460
YES
11.18/4.33
(CERTIFIED
0.0
)
YES
38.79/11.01
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
nokinds_
Z.xml
5161461
YES
3.92/1.86
(CERTIFIED
0.0
)
YES
24.78/6.82
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
noand_
GM.xml
5161462
NO
42.27/14.23
(CERTIFIED
0.1
)
MAYBE
142.87/42.37
TRS_
Standard/
Transformed_
CSR_
04/
ExIntrod_
GM04_
C.xml
5161463
YES
7.14/2.76
(CERTIFIED
0.1
)
YES
27.19/7.43
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
nokinds_
noand_
iGM.xml
5161464
YES
23.68/7.33
(CERTIFIED
0.1
)
YES
109.58/29.04
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
2_
AEL03_
C.xml
5161465
MAYBE
1031.70/291.73
MAYBE
146.29/42.43
TRS_
Standard/
Transformed_
CSR_
04/
Ex6_
9_
Luc02c_
Z.xml
5161466
YES
3.63/1.69
(CERTIFIED
0.0
)
YES
5.13/1.57
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex16_
Luc06_
L.xml
5161467
NO
7.50/2.61
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
nosorts-noand_
FR.xml
5161468
YES
4.04/1.76
(CERTIFIED
0.0
)
YES
4.30/1.41
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex3_
3_
25_
Bor03_
Z.xml
5161469
NO
5.40/2.31
(CERTIFIED
0.0
)
NO
0.32/0.33
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex18_
Luc06_
L.xml
5161470
YES
2.94/1.55
(CERTIFIED
0.0
)
YES
0.44/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
Luc02b_
Z.xml
5161471
YES
3.82/1.74
(CERTIFIED
0.0
)
YES
17.27/5.70
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExProp7_
Luc06_
Z.xml
5161472
YES
4.04/1.81
(CERTIFIED
0.0
)
YES
1.32/0.63
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
complete_
C.xml
5161473
timeout (wallclock)
[out]
MAYBE
149.21/42.51
TRS_
Standard/
Transformed_
CSR_
04/
ExAppendixB_
AEL03_
L.xml
5161474
NO
2.88/1.48
(CERTIFIED
0.0
)
NO
0.32/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex8_
BLR02_
L.xml
5161475
NO
3.13/1.49
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
nokinds_
noand_
iGM.xml
5161476
YES
74.01/20.82
(CERTIFIED
0.2
)
MAYBE
146.55/42.44
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
iGM.xml
5161477
NO
22.24/8.93
(CERTIFIED
0.0
)
MAYBE
144.32/42.36
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
complete_
FR.xml
5161478
MAYBE
1160.02/293.25
MAYBE
147.59/42.41
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
nosorts_
noand_
C.xml
5161479
YES
6.50/2.41
(CERTIFIED
0.0
)
YES
27.39/7.46
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
Zan97_
GM.xml
5161480
YES
4.43/1.81
(CERTIFIED
0.0
)
YES
0.46/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex5_
DLMMU04_
GM.xml
5161481
YES
8.64/3.03
(CERTIFIED
0.1
)
YES
46.52/12.27
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex6_
GM04_
iGM.xml
5161482
YES
6.07/2.30
(CERTIFIED
0.0
)
YES
2.47/0.89
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex9_
Luc06_
iGM.xml
5161483
YES
5.20/2.31
(CERTIFIED
0.0
)
YES
4.63/1.45
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
C.xml
5161484
timeout (wallclock)
[out]
MAYBE
145.23/42.38
TRS_
Standard/
Transformed_
CSR_
04/
Ex24_
GM04_
L.xml
5161485
NO
10.31/3.33
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
nokinds-noand_
Z.xml
5161486
YES
10.29/3.41
(CERTIFIED
0.0
)
MAYBE
135.41/42.37
TRS_
Standard/
Transformed_
CSR_
04/
Ex25_
Luc06_
FR.xml
5161487
YES
9.90/3.42
(CERTIFIED
0.0
)
YES
5.98/1.76
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
complete_
noand_
iGM.xml
5161488
MAYBE
753.37/292.13
MAYBE
145.52/42.77
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
nokinds_
iGM.xml
5161489
YES
5.29/2.14
(CERTIFIED
0.0
)
YES
67.64/18.20
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
nosorts-noand_
FR.xml
5161490
YES
3.25/1.59
(CERTIFIED
0.0
)
YES
0.59/0.40
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
GL02a_
FR.xml
5161491
NO
327.09/107.60
(CERTIFIED
0.1
)
MAYBE
134.22/42.36
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
complete-noand_
Z.xml
5161492
timeout (wallclock)
[out]
MAYBE
147.75/42.57
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
nosorts-noand_
Z.xml
5161493
NO
12.37/4.38
(CERTIFIED
0.0
)
MAYBE
63.53/20.98
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds-noand_
Z.xml
5161494
MAYBE
835.50/291.85
MAYBE
147.84/42.43
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
FR.xml
5161495
YES
4.11/1.81
(CERTIFIED
0.0
)
YES
1.63/0.69
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExIntrod_
GM01_
FR.xml
5161496
NO
23.66/8.96
(CERTIFIED
0.0
)
NO
2.30/0.84
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExConc_
Zan97_
L.xml
5161497
YES
3.15/1.49
(CERTIFIED
0.0
)
YES
0.41/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
nokinds_
iGM.xml
5161498
YES
7.30/2.65
(CERTIFIED
0.0
)
MAYBE
144.95/42.40
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
complete-noand_
FR.xml
5161499
YES
50.89/14.84
(CERTIFIED
0.1
)
MAYBE
146.02/42.40
TRS_
Standard/
Transformed_
CSR_
04/
ExIntrod_
GM99_
iGM.xml
5161500
MAYBE
804.37/291.75
MAYBE
144.65/42.39
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
nosorts_
GM.xml
5161501
YES
3.55/1.64
(CERTIFIED
0.0
)
YES
0.60/0.40
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex15_
Luc98_
FR.xml
5161502
YES
10.09/3.46
(CERTIFIED
0.0
)
YES
25.33/8.01
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex6_
Luc98_
C.xml
5161503
YES
7.66/2.94
(CERTIFIED
0.0
)
YES
24.24/6.51
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex9_
Luc06_
C.xml
5161504
YES
44.53/18.48
(CERTIFIED
0.0
)
YES
5.16/1.60
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex15_
Luc98_
L.xml
5161505
NO
2.99/1.46
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
2_
AEL03_
Z.xml
5161506
YES
4.16/1.79
(CERTIFIED
0.0
)
YES
6.71/2.13
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts_
Z.xml
5161507
YES
4.09/2.11
(CERTIFIED
0.0
)
YES
13.32/4.76
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
complete_
noand_
C.xml
5161508
MAYBE
769.49/292.05
MAYBE
147.75/42.73
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts-noand_
FR.xml
5161509
NO
6.08/2.51
(CERTIFIED
0.0
)
NO
0.59/0.41
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
nosorts_
GM.xml
5161510
YES
4.12/1.78
(CERTIFIED
0.0
)
MAYBE
131.56/42.34
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
nokinds-noand_
L.xml
5161511
NO
201.29/60.93
(CERTIFIED
0.0
)
NO
0.32/0.33
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExAppendixB_
AEL03_
iGM.xml
5161512
YES
146.05/43.86
(CERTIFIED
0.2
)
MAYBE
145.35/42.42
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
complete_
L.xml
5161513
NO
2.99/1.50
(CERTIFIED
0.0
)
NO
0.33/0.33
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExIntrod_
GM01_
GM.xml
5161514
run script error
[out]
YES
23.10/6.21
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds_
iGM.xml
5161515
YES
171.53/63.56
(CERTIFIED
0.2
)
MAYBE
145.19/42.39
TRS_
Standard/
Transformed_
CSR_
04/
Ex18_
Luc06_
iGM.xml
5161516
YES
10.95/3.58
(CERTIFIED
0.0
)
YES
1.68/0.67
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts_
noand_
GM.xml
5161517
MAYBE
682.94/291.81
MAYBE
147.45/42.43
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
Luc02b_
FR.xml
5161518
YES
4.59/1.91
(CERTIFIED
0.0
)
YES
16.99/6.45
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
4_
Luc96b_
iGM.xml
5161519
YES
4.45/1.93
(CERTIFIED
0.0
)
YES
5.08/1.57
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
DLMMU04_
L.xml
5161520
NO
3.21/1.48
(CERTIFIED
0.0
)
NO
0.32/0.33
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete-noand_
Z.xml
5161521
NO
933.43/293.65
(CERTIFIED
0.1
)
MAYBE
145.75/42.40
TRS_
Standard/
Transformed_
CSR_
04/
Ex16_
Luc06_
iGM.xml
5161522
YES
6.92/2.82
(CERTIFIED
0.0
)
MAYBE
32.66/10.07
TRS_
Standard/
Transformed_
CSR_
04/
Ex2_
Luc02a_
FR.xml
5161523
YES
4.74/2.09
(CERTIFIED
0.0
)
YES
13.35/4.03
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete_
noand_
C.xml
5161524
timeout (wallclock)
[out]
MAYBE
148.89/42.58
TRS_
Standard/
Transformed_
CSR_
04/
Ex3_
3_
25_
Bor03_
C.xml
5161525
YES
9.00/3.07
(CERTIFIED
0.1
)
YES
29.07/8.20
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExConc_
Zan97_
GM.xml
5161526
YES
9.24/3.03
(CERTIFIED
0.0
)
YES
5.30/1.60
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex2_
Luc03b_
iGM.xml
5161527
YES
7.92/2.88
(CERTIFIED
0.0
)
YES
24.33/6.65
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
complete_
noand_
C.xml
5161528
timeout (wallclock)
[out]
MAYBE
148.37/42.49
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
nokinds_
C.xml
5161529
YES
5.80/2.25
(CERTIFIED
0.0
)
MAYBE
145.16/42.38
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
nosorts_
noand_
GM.xml
5161530
YES
3.57/1.64
(CERTIFIED
0.0
)
YES
0.66/0.43
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExSec11_
1_
Luc02a_
C.xml
5161531
YES
11.27/3.91
(CERTIFIED
0.1
)
YES
30.22/8.16
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete_
C.xml
5161532
timeout (wallclock)
[out]
MAYBE
148.64/42.46
TRS_
Standard/
Transformed_
CSR_
04/
ExIntrod_
Zan97_
GM.xml
5161533
MAYBE
791.53/291.58
run script error
[out]
TRS_
Standard/
Transformed_
CSR_
04/
Ex8_
BLR02_
FR.xml
5161534
run script error
[out]
YES
9.14/3.39
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex23_
Luc06_
GM.xml
5161535
YES
7.26/2.57
(CERTIFIED
0.0
)
YES
2.42/0.90
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
complete_
noand_
C.xml
5161536
MAYBE
758.88/291.86
MAYBE
147.97/42.61
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
complete_
GM.xml
5161537
MAYBE
972.20/292.95
MAYBE
147.48/42.42
TRS_
Standard/
Transformed_
CSR_
04/
Ex3_
3_
25_
Bor03_
GM.xml
5161538
YES
5.77/2.30
(CERTIFIED
0.0
)
YES
29.84/8.18
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex49_
GM04_
C.xml
5161539
YES
9.20/3.19
(CERTIFIED
0.0
)
YES
28.06/7.59
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
complete-noand_
FR.xml
5161540
timeout (wallclock)
[out]
MAYBE
148.47/42.57
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
complete_
noand_
GM.xml
5161541
timeout (wallclock)
[out]
MAYBE
135.15/42.77
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
L.xml
5161542
NO
3.14/1.47
(CERTIFIED
0.0
)
NO
0.32/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex14_
AEGL02_
Z.xml
5161543
NO
7.74/3.02
(CERTIFIED
0.0
)
NO
1.78/0.71
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
complete-noand_
L.xml
5161544
NO
3.14/1.55
(CERTIFIED
0.0
)
NO
0.36/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
GM99_
C.xml
5161545
YES
104.50/36.03
(CERTIFIED
0.1
)
MAYBE
144.83/42.35
TRS_
Standard/
Transformed_
CSR_
04/
ExIntrod_
GM99_
GM.xml
5161546
YES
86.18/22.60
(CERTIFIED
0.1
)
YES
45.48/12.32
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
complete_
noand_
C.xml
5161547
YES
25.67/8.71
(CERTIFIED
0.3
)
YES
71.69/21.28
(CERTIFIED
0.3
)
TRS_
Standard/
Transformed_
CSR_
04/
ExConc_
Zan97_
iGM.xml
5161548
YES
23.12/6.66
(CERTIFIED
0.0
)
YES
13.90/3.76
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
nokinds_
GM.xml
5161549
YES
4.37/1.89
(CERTIFIED
0.0
)
YES
28.30/7.76
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
Zan97_
L.xml
5161550
NO
3.15/1.56
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex7_
BLR02_
L.xml
5161551
NO
3.13/1.49
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex5_
7_
Luc97_
Z.xml
5161552
MAYBE
1160.91/293.11
MAYBE
118.27/42.37
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
GM99_
L.xml
5161553
NO
7.08/3.16
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
Zan97_
FR.xml
5161554
YES
3.73/1.68
(CERTIFIED
0.0
)
YES
5.55/1.88
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex9_
Luc06_
FR.xml
5161555
NO
4.08/1.85
(CERTIFIED
0.0
)
NO
0.46/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
nokinds_
noand_
GM.xml
5161556
YES
13.78/4.57
(CERTIFIED
0.1
)
YES
99.03/26.18
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
7_
37_
Bor03_
FR.xml
5161557
YES
4.82/2.08
(CERTIFIED
0.0
)
YES
11.31/3.69
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
Z.xml
5161558
YES
4.07/1.74
(CERTIFIED
0.0
)
YES
1.42/0.63
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex3_
2_
Luc97_
FR.xml
5161559
MAYBE
473.83/291.61
MAYBE
128.38/42.35
TRS_
Standard/
Transformed_
CSR_
04/
ExSec11_
1_
Luc02a_
FR.xml
5161560
YES
4.65/2.01
(CERTIFIED
0.0
)
YES
15.65/4.43
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex6_
GM04_
GM.xml
5161561
YES
4.26/1.77
(CERTIFIED
0.0
)
YES
0.54/0.39
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex16_
Luc06_
C.xml
5161562
YES
80.43/27.15
(CERTIFIED
0.1
)
MAYBE
144.83/42.34
TRS_
Standard/
Transformed_
CSR_
04/
Ex6_
Luc98_
GM.xml
5161563
YES
5.21/2.22
(CERTIFIED
0.0
)
YES
9.34/2.84
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
noand_
iGM.xml
5161564
YES
15.97/4.99
(CERTIFIED
0.1
)
YES
46.76/17.94
(CERTIFIED
0.2
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex15_
Luc06_
C.xml
5161565
YES
10.21/3.52
(CERTIFIED
0.0
)
YES
1.83/0.73
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
7_
15_
Bor03_
iGM.xml
5161566
YES
6.98/2.67
(CERTIFIED
0.0
)
YES
22.00/5.97
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
ExSec4_
2_
DLMMU04_
iGM.xml
5161567
MAYBE
831.06/292.89
MAYBE
145.51/42.41
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
2_
Luc02c_
L.xml
5161568
NO
3.04/1.53
(CERTIFIED
0.0
)
NO
0.30/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex14_
Luc06_
GM.xml
5161569
timeout (wallclock)
[out]
MAYBE
12.54/7.33
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
complete_
GM.xml
5161570
MAYBE
599.93/292.36
MAYBE
148.43/42.54
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
2_
Luc02c_
GM.xml
5161571
YES
8.29/3.03
(CERTIFIED
0.0
)
YES
7.76/2.41
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExProp7_
Luc06_
C.xml
5161572
YES
146.88/42.07
(CERTIFIED
0.0
)
YES
24.74/6.69
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
Zan97_
C.xml
5161573
timeout (wallclock)
[out]
MAYBE
145.00/42.36
TRS_
Standard/
Transformed_
CSR_
04/
Ex26_
Luc03b_
GM.xml
5161574
YES
6.39/4.74
(CERTIFIED
0.0
)
YES
31.58/9.87
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex6_
Luc98_
Z.xml
5161575
YES
3.82/1.77
(CERTIFIED
0.0
)
YES
3.74/1.21
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex3_
2_
Luc97_
iGM.xml
5161576
MAYBE
709.80/292.75
MAYBE
144.63/42.38
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
Zan97_
C.xml
5161577
YES
18.54/5.49
(CERTIFIED
0.0
)
YES
1.59/0.67
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExIntrod_
GM01_
iGM.xml
5161578
YES
11.12/3.94
(CERTIFIED
0.1
)
YES
27.06/7.34
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
nosorts_
noand_
GM.xml
5161579
YES
3.39/1.64
(CERTIFIED
0.0
)
YES
0.70/0.44
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
7_
15_
Bor03_
C.xml
5161580
YES
68.67/19.51
(CERTIFIED
0.0
)
YES
19.83/5.32
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
nokinds-noand_
Z.xml
5161581
YES
4.29/1.81
(CERTIFIED
0.0
)
YES
2.62/0.94
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex2_
Luc03b_
FR.xml
5161582
YES
6.58/2.54
(CERTIFIED
0.0
)
YES
20.86/6.02
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex9_
Luc04_
GM.xml
5161583
NO
6.80/2.60
(CERTIFIED
0.0
)
MAYBE
37.92/11.48
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds_
FR.xml
5161584
NO
74.36/21.57
(CERTIFIED
0.1
)
MAYBE
144.82/42.36
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts_
L.xml
5161585
NO
3.09/1.57
(CERTIFIED
0.0
)
NO
0.32/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
Zan97_
iGM.xml
5161586
YES
7.03/2.51
(CERTIFIED
0.0
)
YES
3.60/1.20
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
nokinds_
noand_
GM.xml
5161587
YES
7.07/2.64
(CERTIFIED
0.0
)
YES
48.47/14.52
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
DLMMU04_
iGM.xml
5161588
YES
86.06/23.74
(CERTIFIED
0.1
)
MAYBE
145.66/42.41
TRS_
Standard/
Transformed_
CSR_
04/
ExIntrod_
GM01_
C.xml
5161589
YES
8.16/2.94
(CERTIFIED
0.1
)
YES
28.10/7.73
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
noand_
GM.xml
5161590
NO
9.44/3.43
(CERTIFIED
0.0
)
NO
6.57/2.05
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts_
GM.xml
5161591
MAYBE
843.55/292.90
MAYBE
142.26/42.37
TRS_
Standard/
Transformed_
CSR_
04/
ExProp7_
Luc06_
L.xml
5161592
YES
3.53/1.57
(CERTIFIED
0.0
)
YES
1.04/0.56
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex26_
Luc03b_
C.xml
5161593
YES
9.85/3.46
(CERTIFIED
0.1
)
YES
30.38/9.16
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
Luc04b_
iGM.xml
5161594
YES
9.53/3.31
(CERTIFIED
0.0
)
YES
26.53/7.16
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
complete_
GM.xml
5161595
YES
8.08/2.90
(CERTIFIED
0.0
)
YES
97.71/27.76
(CERTIFIED
0.2
)
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
complete_
Z.xml
5161596
MAYBE
938.28/291.92
MAYBE
148.14/42.48
TRS_
Standard/
Transformed_
CSR_
04/
Ex18_
Luc06_
FR.xml
5161597
YES
7.45/2.61
(CERTIFIED
0.0
)
YES
0.54/0.39
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
noand_
C.xml
5161598
YES
12.55/4.11
(CERTIFIED
0.1
)
YES
57.53/30.30
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
ExSec4_
2_
DLMMU04_
Z.xml
5161599
YES
4.11/1.79
(CERTIFIED
0.0
)
YES
17.57/5.56
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
complete_
noand_
iGM.xml
5161600
YES
186.82/63.04
(CERTIFIED
0.5
)
MAYBE
147.13/42.48
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
2_
AEL03_
GM.xml
5161601
YES
164.41/44.25
(CERTIFIED
0.2
)
MAYBE
137.70/42.38
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
Zan97_
L.xml
5161602
NO
5.96/2.22
(CERTIFIED
0.0
)
NO
0.42/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
complete_
GM.xml
5161603
YES
5.16/2.08
(CERTIFIED
0.0
)
YES
50.74/14.38
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
ExSec11_
1_
Luc02a_
iGM.xml
5161604
YES
12.23/4.13
(CERTIFIED
0.0
)
YES
29.47/8.61
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
Zan97_
iGM.xml
5161605
MAYBE
725.87/291.66
MAYBE
144.57/42.36
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
nosorts_
C.xml
5161606
YES
5.48/2.19
(CERTIFIED
0.0
)
YES
23.85/6.44
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
complete_
Z.xml
5161607
timeout (wallclock)
[out]
run script error
[out]
TRS_
Standard/
Transformed_
CSR_
04/
Ex24_
GM04_
FR.xml
5161608
MAYBE
175.58/136.35
MAYBE
10.91/7.33
TRS_
Standard/
Transformed_
CSR_
04/
Ex5_
Zan97_
iGM.xml
5161609
YES
5.78/2.26
(CERTIFIED
0.0
)
YES
15.84/4.35
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex5_
Zan97_
Z.xml
5161610
YES
3.35/1.61
(CERTIFIED
0.0
)
YES
0.43/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
7_
56_
Bor03_
C.xml
5161611
MAYBE
880.92/292.77
MAYBE
144.75/42.35
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds_
noand_
GM.xml
5161612
YES
9.07/3.09
(CERTIFIED
0.1
)
YES
34.30/9.13
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts-noand_
L.xml
5161613
NO
2.96/1.48
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts_
noand_
iGM.xml
5161614
MAYBE
653.51/291.84
MAYBE
147.07/42.56
TRS_
Standard/
Transformed_
CSR_
04/
Ex5_
7_
Luc97_
iGM.xml
5161615
MAYBE
746.17/291.72
MAYBE
145.04/42.41
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds-noand_
FR.xml
5161616
NO
119.85/31.75
(CERTIFIED
0.1
)
MAYBE
143.47/42.36
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
complete_
L.xml
5161617
NO
3.12/1.57
(CERTIFIED
0.0
)
NO
0.32/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
Z.xml
5161618
NO
5.95/2.31
(CERTIFIED
0.0
)
NO
0.45/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex6_
GM04_
FR.xml
5161619
NO
7.25/2.68
(CERTIFIED
0.0
)
NO
0.53/0.40
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex18_
Luc06_
GM.xml
5161620
YES
7.15/2.56
(CERTIFIED
0.0
)
YES
1.56/0.66
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
complete_
L.xml
5161621
NO
3.21/1.54
(CERTIFIED
0.0
)
NO
0.37/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
Zan97_
Z.xml
5161622
YES
3.63/1.67
(CERTIFIED
0.0
)
YES
16.64/5.58
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex49_
GM04_
GM.xml
5161623
YES
6.24/2.49
(CERTIFIED
0.0
)
YES
29.49/8.65
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex3_
12_
Luc96a_
L.xml
5161624
NO
3.01/1.61
(CERTIFIED
0.0
)
NO
0.31/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex25_
Luc06_
C.xml
5161625
YES
21.62/7.12
(CERTIFIED
0.0
)
YES
1.19/0.57
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
Luc04b_
FR.xml
5161626
NO
10.66/3.56
(CERTIFIED
0.0
)
NO
0.64/0.42
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex8_
BLR02_
iGM.xml
5161627
MAYBE
787.66/291.69
MAYBE
144.74/42.37
TRS_
Standard/
Transformed_
CSR_
04/
Ex8_
BLR02_
Z.xml
5161628
YES
3.70/1.71
(CERTIFIED
0.0
)
YES
8.02/2.77
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
complete_
Z.xml
5161629
YES
4.54/1.90
(CERTIFIED
0.0
)
YES
49.04/13.87
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
7_
77_
Bor03_
GM.xml
5161630
YES
3.48/1.85
(CERTIFIED
0.0
)
YES
0.53/0.39
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
2_
Luc02c_
C.xml
5161631
YES
5.39/2.17
(CERTIFIED
0.0
)
YES
6.05/1.81
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex14_
AEGL02_
iGM.xml
5161632
YES
9.39/3.24
(CERTIFIED
0.0
)
YES
21.91/5.92
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
7_
37_
Bor03_
iGM.xml
5161633
MAYBE
746.23/292.82
MAYBE
144.47/42.39
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
nosorts_
noand_
iGM.xml
5161634
YES
5.08/2.13
(CERTIFIED
0.0
)
YES
15.69/4.28
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
C.xml
5161635
timeout (wallclock)
[out]
MAYBE
144.83/42.35
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
GM03_
L.xml
5161636
NO
3.18/1.48
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex18_
Luc06_
C.xml
5161637
YES
15.11/4.57
(CERTIFIED
0.0
)
YES
2.43/0.89
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExSec11_
1_
Luc02a_
Z.xml
5161638
YES
3.96/1.79
(CERTIFIED
0.0
)
YES
7.35/2.21
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex5_
DLMMU04_
L.xml
5161639
NO
3.01/1.83
(CERTIFIED
0.0
)
NO
0.31/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
DLMMU04_
Z.xml
5161640
NO
49.73/13.50
(CERTIFIED
0.1
)
NO
4.91/1.52
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete_
noand_
GM.xml
5161641
YES
20.77/6.51
(CERTIFIED
0.1
)
MAYBE
147.77/42.45
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
7_
56_
Bor03_
L.xml
5161642
NO
3.14/1.54
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex5_
DLMMU04_
Z.xml
5161643
NO
8.00/2.90
(CERTIFIED
0.0
)
NO
0.43/0.38
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
nosorts_
FR.xml
5161644
YES
3.47/1.61
(CERTIFIED
0.0
)
YES
0.47/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
noand_
iGM.xml
5161645
MAYBE
812.52/291.64
MAYBE
145.01/42.36
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
4_
Luc96b_
FR.xml
5161646
NO
7.80/2.86
(CERTIFIED
0.0
)
NO
0.60/0.41
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex5_
Zan97_
GM.xml
5161647
YES
4.52/1.94
(CERTIFIED
0.0
)
YES
3.28/1.11
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex6_
GM04_
L.xml
5161648
YES
3.22/1.56
(CERTIFIED
0.0
)
YES
0.41/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
complete-noand_
L.xml
5161649
NO
3.18/1.53
(CERTIFIED
0.0
)
NO
0.40/0.40
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExIntrod_
GM99_
Z.xml
5161650
NO
15.01/5.67
(CERTIFIED
0.0
)
NO
0.62/0.42
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex7_
BLR02_
iGM.xml
5161651
MAYBE
686.39/292.52
MAYBE
144.56/42.37
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
nokinds-noand_
L.xml
5161652
NO
2.97/1.47
(CERTIFIED
0.0
)
NO
0.31/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex25_
Luc06_
GM.xml
5161653
YES
12.50/4.00
(CERTIFIED
0.0
)
YES
9.50/2.66
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete_
GM.xml
5161654
YES
20.67/6.28
(CERTIFIED
0.1
)
MAYBE
145.62/42.40
TRS_
Standard/
Transformed_
CSR_
04/
Ex3_
3_
25_
Bor03_
iGM.xml
5161655
YES
10.02/3.50
(CERTIFIED
0.0
)
YES
25.86/7.05
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExIntrod_
Zan97_
Z.xml
5161656
NO
6.48/2.58
(CERTIFIED
0.0
)
NO
0.32/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
nosorts_
iGM.xml
5161657
YES
5.26/2.22
(CERTIFIED
0.0
)
YES
12.54/3.47
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
nokinds_
Z.xml
5161658
YES
4.32/1.91
(CERTIFIED
0.0
)
MAYBE
133.37/42.35
TRS_
Standard/
Transformed_
CSR_
04/
Ex15_
Luc98_
C.xml
5161659
YES
9.05/3.42
(CERTIFIED
0.1
)
YES
27.28/7.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex8_
BLR02_
C.xml
5161660
timeout (wallclock)
[out]
MAYBE
145.33/42.39
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
complete_
noand_
iGM.xml
5161661
YES
770.58/278.07
(CERTIFIED
1.3
)
MAYBE
147.60/42.64
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
nokinds-noand_
FR.xml
5161662
YES
5.25/2.10
(CERTIFIED
0.0
)
YES
2.59/0.94
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds-noand_
L.xml
5161663
NO
3.41/1.59
(CERTIFIED
0.0
)
NO
0.36/0.36
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
nosorts_
iGM.xml
5161664
YES
5.17/2.08
(CERTIFIED
0.0
)
YES
17.96/6.11
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex6_
15_
AEL02_
C.xml
5161665
MAYBE
1025.33/293.55
MAYBE
147.81/42.44
TRS_
Standard/
Transformed_
CSR_
04/
Ex14_
AEGL02_
FR.xml
5161666
NO
22.90/9.33
(CERTIFIED
0.0
)
MAYBE
52.37/16.63
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
nokinds_
C.xml
5161667
YES
6.84/2.65
(CERTIFIED
0.0
)
MAYBE
146.11/42.40
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
noand_
GM.xml
5161668
YES
7.46/2.66
(CERTIFIED
0.0
)
YES
5.37/1.65
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
nokinds_
noand_
C.xml
5161669
timeout (wallclock)
[out]
MAYBE
148.49/42.47
TRS_
Standard/
Transformed_
CSR_
04/
ExIntrod_
Zan97_
C.xml
5161670
MAYBE
961.94/292.97
MAYBE
145.37/42.38
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
nosorts_
L.xml
5161671
NO
3.07/1.45
(CERTIFIED
0.0
)
NO
0.31/0.31
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExSec4_
2_
DLMMU04_
L.xml
5161672
NO
2.87/1.46
(CERTIFIED
0.0
)
NO
0.31/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex49_
GM04_
L.xml
5161673
NO
3.22/1.55
(CERTIFIED
0.0
)
NO
0.31/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex7_
BLR02_
GM.xml
5161674
MAYBE
764.81/291.59
MAYBE
134.43/42.36
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds_
GM.xml
5161675
MAYBE
816.28/292.03
MAYBE
148.43/42.44
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts_
FR.xml
5161676
YES
4.76/1.99
(CERTIFIED
0.0
)
YES
12.74/4.14
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex2_
Luc03b_
L.xml
5161677
YES
3.39/1.53
(CERTIFIED
0.0
)
YES
0.49/0.43
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
DLMMU04_
FR.xml
5161678
NO
48.57/13.46
(CERTIFIED
0.1
)
NO
4.09/1.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex2_
Luc03b_
Z.xml
5161679
YES
4.63/1.96
(CERTIFIED
0.0
)
YES
4.18/1.33
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex6_
Luc98_
FR.xml
5161680
YES
5.17/2.09
(CERTIFIED
0.0
)
YES
11.25/3.47
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
nokinds_
iGM.xml
5161681
MAYBE
949.06/298.00
MAYBE
145.21/42.41
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
iGM.xml
5161682
YES
6.78/2.46
(CERTIFIED
0.0
)
YES
26.90/7.33
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex9_
BLR02_
FR.xml
5161683
YES
12.54/4.58
(CERTIFIED
0.0
)
YES
20.71/7.21
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
complete_
noand_
GM.xml
5161684
YES
35.19/11.68
(CERTIFIED
0.1
)
MAYBE
147.58/42.46
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete_
L.xml
5161685
NO
3.06/1.49
(CERTIFIED
0.0
)
NO
0.33/0.33
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds-noand_
L.xml
5161686
NO
2.82/2.51
(CERTIFIED
0.0
)
NO
0.32/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds_
FR.xml
5161687
MAYBE
1132.26/293.59
MAYBE
147.56/42.41
TRS_
Standard/
Transformed_
CSR_
04/
ExAppendixB_
AEL03_
C.xml
5161688
MAYBE
1033.28/293.37
MAYBE
147.40/42.43
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds-noand_
Z.xml
5161689
NO
58.39/16.35
(CERTIFIED
0.1
)
MAYBE
141.22/42.36
TRS_
Standard/
Transformed_
CSR_
04/
PALINDROME_
complete_
iGM.xml
5161690
YES
10.66/3.55
(CERTIFIED
0.1
)
YES
101.16/27.57
(CERTIFIED
0.4
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
7_
56_
Bor03_
FR.xml
5161691
YES
3.60/1.66
(CERTIFIED
0.0
)
YES
4.24/1.55
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex6_
9_
Luc02c_
C.xml
5161692
YES
4.62/2.20
(CERTIFIED
0.0
)
YES
18.45/4.97
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
complete_
C.xml
5161693
YES
8.44/3.11
(CERTIFIED
0.1
)
MAYBE
146.40/42.41
TRS_
Standard/
Transformed_
CSR_
04/
Ex6_
15_
AEL02_
GM.xml
5161694
timeout (wallclock)
[out]
MAYBE
142.97/42.39
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds_
L.xml
5161695
NO
3.12/1.50
(CERTIFIED
0.0
)
NO
0.33/0.33
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
nosorts-noand_
FR.xml
5161696
NO
13.20/4.97
(CERTIFIED
0.0
)
MAYBE
66.99/20.52
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts_
C.xml
5161697
timeout (wallclock)
[out]
MAYBE
147.56/42.44
TRS_
Standard/
Transformed_
CSR_
04/
ExConc_
Zan97_
FR.xml
5161698
YES
9.11/3.03
(CERTIFIED
0.0
)
YES
3.34/1.11
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExIntrod_
GM04_
L.xml
5161699
NO
3.02/1.47
(CERTIFIED
0.0
)
NO
0.31/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex9_
BLR02_
iGM.xml
5161700
YES
10.97/3.69
(CERTIFIED
0.0
)
YES
30.40/8.25
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
DLMMU04_
GM.xml
5161701
YES
44.00/12.11
(CERTIFIED
0.1
)
YES
110.81/28.59
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
complete_
FR.xml
5161702
YES
4.77/2.02
(CERTIFIED
0.0
)
YES
63.99/17.73
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex5_
DLMMU04_
FR.xml
5161703
NO
25.34/10.46
(CERTIFIED
0.0
)
MAYBE
139.56/42.35
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
7_
56_
Bor03_
Z.xml
5161704
YES
3.37/1.67
(CERTIFIED
0.0
)
run script error
[out]
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
nokinds-noand_
L.xml
5161705
NO
3.16/1.55
(CERTIFIED
0.0
)
NO
0.33/0.34
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex18_
Luc06_
Z.xml
5161706
YES
3.37/2.23
(CERTIFIED
0.0
)
YES
0.43/0.37
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExIntrod_
GM04_
FR.xml
5161707
NO
25.76/10.25
(CERTIFIED
0.0
)
MAYBE
144.16/42.34
TRS_
Standard/
Transformed_
CSR_
04/
Ex4_
Zan97_
GM.xml
5161708
MAYBE
915.40/293.77
MAYBE
132.65/42.34
TRS_
Standard/
Transformed_
CSR_
04/
Ex24_
GM04_
iGM.xml
5161709
MAYBE
878.52/292.51
MAYBE
37.55/12.49
TRS_
Standard/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds_
GM.xml
5161710
YES
6.29/2.36
(CERTIFIED
0.0
)
YES
19.08/5.20
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex5_
7_
Luc97_
C.xml
5161711
timeout (wallclock)
[out]
MAYBE
145.94/42.41
TRS_
Standard/
Transformed_
CSR_
04/
Ex3_
3_
25_
Bor03_
FR.xml
5161712
NO
61.97/21.04
(CERTIFIED
0.1
)
MAYBE
137.90/42.35
TRS_
Standard/
Transformed_
CSR_
04/
Ex26_
Luc03b_
L.xml
5161713
YES
3.30/1.53
(CERTIFIED
0.0
)
YES
0.59/0.41
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
Luc02b_
iGM.xml
5161714
MAYBE
667.44/291.57
MAYBE
144.87/42.38
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
complete_
C.xml
5161715
YES
13.43/4.74
(CERTIFIED
0.1
)
MAYBE
149.08/42.49
TRS_
Standard/
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds_
Z.xml
5161716
MAYBE
1138.14/292.97
MAYBE
146.51/42.41
TRS_
Standard/
Transformed_
CSR_
04/
PEANO_
nokinds-noand_
FR.xml
5161717
YES
7.24/2.67
(CERTIFIED
0.0
)
YES
31.74/8.67
(CERTIFIED
0.1
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex15_
Luc06_
iGM.xml
5161718
YES
7.13/3.23
(CERTIFIED
0.0
)
YES
3.03/1.05
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
Ex1_
2_
AEL03_
L.xml
5161719
NO
3.13/1.55
(CERTIFIED
0.0
)
NO
0.31/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
ExSec4_
2_
DLMMU04_
C.xml
5161720
timeout (wallclock)
[out]
MAYBE
147.03/42.43
TRS_
Standard/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
iGM.xml
5161721
NO
63.82/18.82
(CERTIFIED
0.1
)
MAYBE
145.09/42.37
TRS_
Standard/
Transformed_
CSR_
04/
Ex6_
15_
AEL02_
iGM.xml
5161722
timeout (wallclock)
[out]
MAYBE
145.54/42.43
TRS_
Standard/
Transformed_
CSR_
04/
Ex26_
Luc03b_
iGM.xml
5161723
YES
14.05/4.63
(CERTIFIED
0.0
)
YES
27.82/7.75
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
nosorts_
noand_
iGM.xml
5161724
YES
8.18/3.06
(CERTIFIED
0.0
)
MAYBE
143.77/42.40
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
nokinds_
L.xml
5161725
NO
3.14/1.48
(CERTIFIED
0.0
)
NO
0.31/0.32
(CERTIFIED
0.0
)
TRS_
Standard/
Transformed_
CSR_
04/
MYNAT_
complete_
FR.xml
5161726
YES
5.41/2.17
(CERTIFIED
0.0
)
MAYBE
142.28/42.38
1200
925