TermComp 2020
: Derivational_Complexity: TRS Certified
41527
Job info CSV
Showing
all
interesting
conflicting
unsolved
solo
results.
tct-trs_v3.2.0_2020-06-28
benchmark
UP
LOW
TIME
Gebhardt_
06/
01.xml
11765308
u
∞
+0
1
+0
982.82/296.24
Gebhardt_
06/
02.xml
11765312
u
∞
+0
1
+0
947.22/296.33
Gebhardt_
06/
03.xml
11765315
u
∞
+0
1
+0
1021.69/296.24
Gebhardt_
06/
04.xml
11765316
u
∞
+0
1
+0
946.09/296.53
Gebhardt_
06/
05.xml
11765311
u
∞
+0
1
+0
1027.57/296.21
Gebhardt_
06/
06.xml
11765309
u
∞
+0
1
+0
1017.76/296.31
Gebhardt_
06/
07.xml
11765304
u
∞
+0
1
+0
1032.36/296.52
Gebhardt_
06/
08.xml
11765310
u
∞
+0
1
+0
1054.54/296.28
Gebhardt_
06/
09.xml
11765303
u
∞
+0
1
+0
1001.40/296.35
Gebhardt_
06/
10.xml
11765307
u
∞
+0
1
+0
1031.02/296.35
Gebhardt_
06/
11.xml
11765300
u
∞
+0
1
+0
1032.36/296.27
Gebhardt_
06/
12.xml
11765318
u
∞
+0
1
+0
1032.11/296.27
Gebhardt_
06/
13.xml
11765313
u
∞
+0
1
+0
1046.35/296.34
Gebhardt_
06/
14.xml
11765314
u
∞
+0
1
+0
263.45/73.23
Gebhardt_
06/
15.xml
11765317
u
∞
+0
1
+0
1045.26/296.23
Gebhardt_
06/
16.xml
11765301
u
∞
+0
1
+0
1004.21/296.31
Gebhardt_
06/
17.xml
11765306
u
∞
+0
1
+0
1016.52/296.33
Gebhardt_
06/
18.xml
11765302
u
∞
+0
1
+0
1016.43/296.20
Gebhardt_
06/
19.xml
11765305
u
∞
+0
1
+0
1015.57/296.32
Gebhardt_
06/
20.xml
11765319
u
∞
+0
1
+0
1025.28/296.28
Secret_
06_
SRS/
1-matchbox.xml
11765349
u
∞
+0
1
+0
500.13/296.17
Secret_
06_
SRS/
1.xml
11765343
u
∞
+0
1
+0
1027.36/296.21
Secret_
06_
SRS/
10.xml
11765338
u
∞
+0
1
+0
1109.04/296.16
Secret_
06_
SRS/
2-matchbox.xml
11765346
u
∞
+0
1
+0
1002.42/296.19
Secret_
06_
SRS/
2.xml
11765336
u
∞
+0
1
+0
1024.46/296.26
Secret_
06_
SRS/
3-matchbox.xml
11765347
u
∞
+0
1
+0
1185.56/296.69
Secret_
06_
SRS/
3.xml
11765323
u
∞
+0
1
+0
603.28/296.27
Secret_
06_
SRS/
5-matchbox.xml
11765356
u
∞
+0
1
+0
1153.23/296.29
Secret_
06_
SRS/
5.xml
11765337
u
∞
+0
1
+0
843.63/296.26
Secret_
06_
SRS/
6.xml
11765341
u
∞
+0
1
+0
1160.34/296.36
Secret_
06_
SRS/
7.xml
11765350
u
∞
+0
1
+0
1099.25/296.18
Secret_
06_
SRS/
8.xml
11765340
u
∞
+0
1
+0
1060.19/296.24
Secret_
06_
SRS/
9.xml
11765353
u
∞
+0
1
+0
959.57/296.14
Secret_
06_
SRS/
aprove00.xml
11765329
u
∞
+0
1
+0
1191.05/296.20
Secret_
06_
SRS/
aprove01.xml
11765321
u
timeout (wallclock)
Secret_
06_
SRS/
aprove02.xml
11765358
u
timeout (cpu)
Secret_
06_
SRS/
aprove03.xml
11765344
u
timeout (cpu)
Secret_
06_
SRS/
aprove04.xml
11765345
u
timeout (cpu)
Secret_
06_
SRS/
aprove05.xml
11765357
u
timeout (cpu)
Secret_
06_
SRS/
aprove06.xml
11765322
u
timeout (cpu)
Secret_
06_
SRS/
aprove07.xml
11765328
u
timeout (cpu)
Secret_
06_
SRS/
aprove08.xml
11765320
u
timeout (cpu)
Secret_
06_
SRS/
aprove09.xml
11765331
u
∞
+0
1
+0
1186.64/296.25
Secret_
06_
SRS/
multum1.xml
11765354
u
∞
+0
1
+0
1010.06/296.33
Secret_
06_
SRS/
multum2.xml
11765324
u
∞
+0
1
+0
878.31/296.13
Secret_
06_
SRS/
multum3.xml
11765334
u
∞
+0
1
+0
958.85/296.20
Secret_
06_
SRS/
multum4.xml
11765332
u
timeout (cpu)
Secret_
06_
SRS/
multum5.xml
11765326
u
∞
+0
1
+0
868.68/296.42
Secret_
06_
SRS/
multum6.xml
11765351
u
∞
+0
1
+0
1185.36/296.71
Secret_
06_
SRS/
secr1.xml
11765352
u
∞
+0
1
+0
438.36/296.14
Secret_
06_
SRS/
secr10.xml
11765330
u
∞
+0
1
+0
1032.26/296.27
Secret_
06_
SRS/
secr2.xml
11765327
u
∞
+0
1
+0
456.21/296.05
Secret_
06_
SRS/
secr3.xml
11765333
u
∞
+0
1
+0
1038.44/296.27
Secret_
06_
SRS/
secr4.xml
11765335
u
∞
+0
1
+0
789.55/296.13
Secret_
06_
SRS/
secr5.xml
11765325
u
∞
+0
1
+0
725.53/296.29
Secret_
06_
SRS/
secr6.xml
11765355
u
∞
+0
1
+0
1130.36/297.93
Secret_
06_
SRS/
secr7.xml
11765339
u
∞
+0
1
+0
468.82/296.12
Secret_
06_
SRS/
secr8.xml
11765348
u
∞
+0
1
+0
876.01/296.18
Secret_
06_
SRS/
secr9.xml
11765342
u
∞
+0
1
+0
603.39/296.23
Strategy_
removed_
AG01/
#4.17.xml
11765238
u
∞
+0
1
+0
1182.82/296.37
Strategy_
removed_
AG01/
#4.18.xml
11765237
u
∞
+0
1
+0
1071.34/296.18
Strategy_
removed_
AG01/
#4.20.xml
11765235
s
n
1
+1
1
+0
0.58/0.21
Strategy_
removed_
AG01/
#4.20a.xml
11765236
s
n
2
+1
1
+0
3.26/0.84
Strategy_
removed_
AG01/
#4.21.xml
11765233
s
n
1
+1
1
+0
3.71/0.95
Strategy_
removed_
AG01/
#4.25.xml
11765239
u
∞
+0
1
+0
5.27/2.35
Strategy_
removed_
AG01/
#4.28.xml
11765234
u
∞
+0
1
+0
1079.78/296.15
Strategy_
removed_
AG01/
#4.37.xml
11765231
s
n
1
+1
1
+0
0.09/0.05
Strategy_
removed_
AG01/
#4.37a.xml
11765232
s
n
1
+1
1
+0
0.28/0.09
SK90/
2.01.xml
11765283
s
n
2
+1
1
+0
3.83/1.03
SK90/
2.02.xml
11765258
u
∞
+0
1
+0
356.07/169.20
SK90/
2.03.xml
11765240
s
n
2
+1
1
+0
2.76/0.73
SK90/
2.04.xml
11765241
s
n
2
+1
1
+0
1.92/0.51
SK90/
2.06.xml
11765284
s
n
2
+1
1
+0
2.37/0.62
SK90/
2.09.xml
11765295
s
n
2
+1
1
+0
1.74/0.46
SK90/
2.10.xml
11765271
u
∞
+0
1
+0
490.90/296.25
SK90/
2.11.xml
11765293
s
n
2
+1
1
+0
2.85/0.74
SK90/
2.14.xml
11765263
u
∞
+0
1
+0
510.03/296.35
SK90/
2.31.xml
11765242
s
n
2
+1
1
+0
4.92/1.65
SK90/
2.33.xml
11765279
s
n
2
+1
1
+0
2.63/0.75
SK90/
2.34.xml
11765282
u
∞
+0
1
+0
25.35/16.92
SK90/
2.36.xml
11765243
s
n
2
+1
1
+0
2.02/0.53
SK90/
2.38.xml
11765244
s
n
2
+1
1
+0
3.55/0.94
SK90/
2.39.xml
11765254
u
∞
+0
1
+0
580.47/296.16
SK90/
2.41.xml
11765277
s
n
2
+1
1
+0
6.39/1.63
SK90/
2.42.xml
11765253
u
∞
+0
1
+0
409.28/235.67
SK90/
2.46.xml
11765276
s
n
2
+1
1
+0
1.89/0.50
SK90/
2.47.xml
11765299
s
n
2
+1
1
+0
1.12/0.30
SK90/
2.48.xml
11765280
s
n
1
+1
1
+0
0.23/0.09
SK90/
2.49.xml
11765297
s
n
1
+1
1
+0
0.85/0.24
SK90/
2.50.xml
11765273
u
∞
+0
1
+0
1094.48/296.14
SK90/
2.53.xml
11765268
s
n
2
+1
1
+0
2.18/0.57
SK90/
2.54.xml
11765267
s
n
2
+1
1
+0
1.01/0.28
SK90/
2.55.xml
11765247
s
n
2
+1
1
+0
0.80/0.23
SK90/
2.56.xml
11765287
s
n
1
+1
1
+0
0.12/0.05
SK90/
2.60.xml
11765251
s
n
1
+1
1
+0
0.21/0.07
SK90/
2.61.xml
11765261
s
n
1
+1
1
+0
5.39/1.48
SK90/
4.01.xml
11765294
s
n
1
+1
1
+0
0.59/0.17
SK90/
4.04.xml
11765262
s
n
2
+1
1
+0
1.88/0.52
SK90/
4.07.xml
11765270
s
n
2
+1
1
+0
1.24/0.34
SK90/
4.08.xml
11765292
s
n
2
+1
1
+0
0.92/0.26
SK90/
4.11.xml
11765285
s
n
2
+1
1
+0
1.72/0.45
SK90/
4.12.xml
11765260
s
n
2
+1
1
+0
1.86/0.67
SK90/
4.15.xml
11765259
s
n
2
+1
1
+0
0.85/0.44
SK90/
4.16.xml
11765286
s
n
1
+1
1
+0
0.43/0.13
SK90/
4.19.xml
11765296
s
n
1
+1
1
+0
0.30/0.14
SK90/
4.25.xml
11765298
s
n
2
+1
1
+0
2.02/0.56
SK90/
4.26.xml
11765245
u
∞
+0
1
+0
528.67/296.28
SK90/
4.27.xml
11765252
u
∞
+0
1
+0
1182.29/296.17
SK90/
4.29.xml
11765257
s
n
2
+1
1
+0
11.51/3.99
SK90/
4.30.xml
11765248
s
n
3
+1
1
+0
19.67/4.96
SK90/
4.32.xml
11765275
u
∞
+0
1
+0
749.93/296.12
SK90/
4.33.xml
11765288
s
n
1
+1
1
+0
0.03/0.03
SK90/
4.34.xml
11765290
u
∞
+0
1
+0
780.42/296.13
SK90/
4.35.xml
11765274
s
n
1
+1
1
+0
0.10/0.04
SK90/
4.36.xml
11765269
s
n
1
+1
1
+0
0.18/0.07
SK90/
4.37.xml
11765246
s
n
1
+1
1
+0
0.12/0.05
SK90/
4.38.xml
11765265
s
n
2
+1
1
+0
6.69/1.70
SK90/
4.39.xml
11765250
s
n
2
+1
1
+0
1.18/0.32
SK90/
4.43.xml
11765266
u
∞
+0
1
+0
271.03/160.78
SK90/
4.44.xml
11765264
s
n
1
+1
1
+0
0.06/0.08
SK90/
4.45.xml
11765249
s
n
1
+1
1
+0
0.24/0.08
SK90/
4.46.xml
11765291
s
n
1
+1
1
+0
0.01/0.02
SK90/
4.47.xml
11765272
s
n
1
+1
1
+0
2.70/1.26
SK90/
4.48.xml
11765289
s
n
1
+1
1
+0
0.61/0.18
SK90/
4.51.xml
11765281
s
n
1
+1
1
+0
3.46/1.32
SK90/
4.52.xml
11765255
s
n
2
+1
1
+0
5.00/1.30
SK90/
4.55.xml
11765256
u
∞
+0
1
+0
4.00/1.77
SK90/
4.56.xml
11765278
s
n
1
+1
1
+0
0.22/0.11
Der95/
01.xml
11765220
s
n
1
+1
1
+0
0.65/0.21
Der95/
02.xml
11765218
s
n
1
+1
1
+0
0.30/0.10
Der95/
03.xml
11765217
s
n
1
+1
1
+0
0.13/0.06
Der95/
04.xml
11765216
s
n
1
+1
1
+0
0.67/0.21
Der95/
06.xml
11765219
u
∞
+0
1
+0
926.51/296.12
Der95/
07.xml
11765223
s
n
2
+1
1
+0
1.86/0.49
Der95/
09.xml
11765222
s
n
2
+1
1
+0
1.20/0.32
Der95/
17.xml
11765221
u
∞
+0
1
+0
23.10/10.74
Der95/
20.xml
11765214
u
∞
+0
1
+0
400.69/296.19
Der95/
27.xml
11765215
s
n
2
+1
1
+0
2.79/0.76
AProVE_
04/
Liveness6.1.xml
11765229
u
∞
+0
1
+0
1161.43/296.29
AProVE_
04/
Liveness6.2.xml
11765224
u
∞
+0
1
+0
1183.10/296.23
AProVE_
04/
Liveness6.3.xml
11765227
u
∞
+0
1
+0
1183.82/296.30
AProVE_
04/
Liveness6.4.xml
11765226
u
∞
+0
1
+0
1183.60/296.19
AProVE_
04/
Liveness8.xml
11765228
u
∞
+0
1
+0
1184.43/296.41
AProVE_
04/
Liveness_
WRS.xml
11765225
s
n
3
+1
1
+0
487.41/134.86
AProVE_
04/
LPAR_
intlist.xml
11765230
u
∞
+0
1
+0
799.18/296.16
Zantema_
06/
01.xml
11763936
u
∞
+0
1
+0
812.83/296.22
Zantema_
06/
02.xml
11763945
u
∞
+0
1
+0
1122.26/296.31
Zantema_
06/
03.xml
11763948
u
∞
+0
1
+0
1043.75/296.15
Zantema_
06/
04.xml
11763949
u
∞
+0
1
+0
1143.81/296.23
Zantema_
06/
05.xml
11763944
u
∞
+0
1
+0
989.06/296.14
Zantema_
06/
06.xml
11763937
u
∞
+0
1
+0
1043.38/296.27
Zantema_
06/
07.xml
11763924
u
∞
+0
1
+0
639.29/296.24
Zantema_
06/
08.xml
11763935
u
∞
+0
1
+0
625.12/296.19
Zantema_
06/
09.xml
11763927
u
∞
+0
1
+0
1183.61/296.43
Zantema_
06/
10.xml
11763939
u
∞
+0
1
+0
507.30/296.28
Zantema_
06/
11.xml
11763932
u
∞
+0
1
+0
1106.35/296.30
Zantema_
06/
12.xml
11763947
u
∞
+0
1
+0
1152.01/296.29
Zantema_
06/
13.xml
11763940
u
∞
+0
1
+0
870.75/296.23
Zantema_
06/
14.xml
11763941
u
∞
+0
1
+0
962.65/296.12
Zantema_
06/
15.xml
11763946
u
∞
+0
1
+0
1035.66/296.09
Zantema_
06/
16.xml
11763933
s
n
1
+1
1
+0
25.15/6.36
Zantema_
06/
17.xml
11763938
s
n
2
+1
1
+0
56.96/14.35
Zantema_
06/
18.xml
11763931
u
∞
+0
1
+0
1183.90/296.24
Zantema_
06/
abc.xml
11763930
u
∞
+0
1
+0
450.35/296.14
Zantema_
06/
beans1.xml
11763925
u
∞
+0
1
+0
1184.01/296.34
Zantema_
06/
beans2.xml
11763952
u
∞
+0
1
+0
1183.37/296.31
Zantema_
06/
beans3.xml
11763942
u
∞
+0
1
+0
1182.86/296.22
Zantema_
06/
beans4.xml
11763943
u
∞
+0
1
+0
1182.96/296.17
Zantema_
06/
beans5.xml
11763950
u
∞
+0
1
+0
1050.87/296.39
Zantema_
06/
beans6.xml
11763926
u
∞
+0
1
+0
1053.35/296.38
Zantema_
06/
beans7.xml
11763934
u
∞
+0
1
+0
1022.48/296.61
Zantema_
06/
loop1.xml
11763953
u
∞
+0
1
+0
595.77/296.26
Zantema_
06/
loop2.xml
11763929
u
∞
+0
1
+0
971.73/296.26
Zantema_
06/
while1.xml
11763951
u
∞
+0
1
+0
1183.87/296.22
Zantema_
06/
while2.xml
11763928
s
n
3
+1
1
+0
16.01/4.08
Waldmann_
06/
jwaprove1.xml
11763957
u
∞
+0
1
+0
1108.11/296.39
Waldmann_
06/
jwaprove2.xml
11763971
u
∞
+0
1
+0
1133.84/296.18
Waldmann_
06/
jwcime1.xml
11763965
u
∞
+0
1
+0
544.56/296.16
Waldmann_
06/
jwcime2.xml
11763960
s
n
1
+1
1
+0
0.06/0.04
Waldmann_
06/
jwmatchb1.xml
11763954
u
∞
+0
1
+0
706.99/296.19
Waldmann_
06/
jwmatchb2.xml
11763968
u
∞
+0
1
+0
717.73/296.10
Waldmann_
06/
jwno1.xml
11763964
u
∞
+0
1
+0
627.70/296.15
Waldmann_
06/
jwno2.xml
11763959
u
∞
+0
1
+0
845.23/296.20
Waldmann_
06/
jwno3.xml
11763955
u
∞
+0
1
+0
827.46/296.24
Waldmann_
06/
jwno4.xml
11763956
u
∞
+0
1
+0
630.97/296.16
Waldmann_
06/
jwno5.xml
11763958
u
∞
+0
1
+0
844.32/296.17
Waldmann_
06/
jwno6.xml
11763966
u
∞
+0
1
+0
611.95/296.19
Waldmann_
06/
jwno7.xml
11763970
u
∞
+0
1
+0
809.63/296.18
Waldmann_
06/
jwno8.xml
11763967
u
∞
+0
1
+0
822.53/296.19
Waldmann_
06/
jwno9.xml
11763969
u
∞
+0
1
+0
833.41/296.19
Waldmann_
06/
jwtpa1.xml
11763961
s
n
1
+1
1
+0
0.19/0.07
Waldmann_
06/
jwtpa2.xml
11763963
u
∞
+0
1
+0
835.23/296.24
Waldmann_
06/
jwttt.xml
11763962
u
∞
+0
1
+0
819.49/296.31
Waldmann_
07_
size12/
size-12-alpha-2-num-1.xml
11763897
u
∞
+0
1
+0
476.97/296.14
Waldmann_
07_
size12/
size-12-alpha-2-num-10.xml
11763757
u
∞
+0
1
+0
851.81/296.17
Waldmann_
07_
size12/
size-12-alpha-2-num-11.xml
11763857
u
∞
+0
1
+0
746.03/296.17
Waldmann_
07_
size12/
size-12-alpha-2-num-12.xml
11763642
u
∞
+0
1
+0
1066.30/296.19
Waldmann_
07_
size12/
size-12-alpha-2-num-13.xml
11763719
u
∞
+0
1
+0
513.08/296.22
Waldmann_
07_
size12/
size-12-alpha-2-num-14.xml
11763711
u
∞
+0
1
+0
510.14/296.16
Waldmann_
07_
size12/
size-12-alpha-2-num-15.xml
11763646
u
∞
+0
1
+0
474.33/296.24
Waldmann_
07_
size12/
size-12-alpha-2-num-16.xml
11763851
u
∞
+0
1
+0
504.12/296.24
Waldmann_
07_
size12/
size-12-alpha-2-num-17.xml
11763762
u
∞
+0
1
+0
487.32/296.16
Waldmann_
07_
size12/
size-12-alpha-2-num-18.xml
11763867
u
∞
+0
1
+0
476.87/296.14
Waldmann_
07_
size12/
size-12-alpha-2-num-19.xml
11763743
u
∞
+0
1
+0
493.57/296.19
Waldmann_
07_
size12/
size-12-alpha-2-num-2.xml
11763603
u
∞
+0
1
+0
489.26/296.09
Waldmann_
07_
size12/
size-12-alpha-2-num-20.xml
11763628
u
∞
+0
1
+0
493.36/296.15
Waldmann_
07_
size12/
size-12-alpha-2-num-21.xml
11763727
u
∞
+0
1
+0
499.16/296.27
Waldmann_
07_
size12/
size-12-alpha-2-num-22.xml
11763769
u
∞
+0
1
+0
480.67/296.30
Waldmann_
07_
size12/
size-12-alpha-2-num-3.xml
11763675
u
∞
+0
1
+0
515.53/296.19
Waldmann_
07_
size12/
size-12-alpha-2-num-4.xml
11763677
u
∞
+0
1
+0
645.07/296.15
Waldmann_
07_
size12/
size-12-alpha-2-num-5.xml
11763590
u
∞
+0
1
+0
862.28/296.09
Waldmann_
07_
size12/
size-12-alpha-2-num-6.xml
11763902
u
∞
+0
1
+0
631.67/296.10
Waldmann_
07_
size12/
size-12-alpha-2-num-7.xml
11763803
u
∞
+0
1
+0
928.32/296.19
Waldmann_
07_
size12/
size-12-alpha-2-num-8.xml
11763908
u
∞
+0
1
+0
621.65/296.23
Waldmann_
07_
size12/
size-12-alpha-3-num-1.xml
11763910
u
∞
+0
1
+0
498.65/296.10
Waldmann_
07_
size12/
size-12-alpha-3-num-10.xml
11763707
u
∞
+0
1
+0
492.76/296.21
Waldmann_
07_
size12/
size-12-alpha-3-num-100.xml
11763752
u
∞
+0
1
+0
449.62/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-101.xml
11763864
u
∞
+0
1
+0
457.41/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-104.xml
11763705
u
∞
+0
1
+0
593.37/296.15
Waldmann_
07_
size12/
size-12-alpha-3-num-105.xml
11763652
u
∞
+0
1
+0
452.83/296.08
Waldmann_
07_
size12/
size-12-alpha-3-num-106.xml
11763868
u
∞
+0
1
+0
480.23/296.08
Waldmann_
07_
size12/
size-12-alpha-3-num-107.xml
11763742
u
∞
+0
1
+0
434.82/296.10
Waldmann_
07_
size12/
size-12-alpha-3-num-108.xml
11763850
u
∞
+0
1
+0
467.46/296.19
Waldmann_
07_
size12/
size-12-alpha-3-num-109.xml
11763763
u
∞
+0
1
+0
536.78/296.18
Waldmann_
07_
size12/
size-12-alpha-3-num-11.xml
11763653
u
∞
+0
1
+0
407.68/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-110.xml
11763880
u
∞
+0
1
+0
672.41/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-111.xml
11763825
u
∞
+0
1
+0
392.65/296.07
Waldmann_
07_
size12/
size-12-alpha-3-num-112.xml
11763699
u
∞
+0
1
+0
459.22/296.11
Waldmann_
07_
size12/
size-12-alpha-3-num-113.xml
11763575
u
∞
+0
1
+0
483.52/296.20
Waldmann_
07_
size12/
size-12-alpha-3-num-114.xml
11763577
u
∞
+0
1
+0
484.95/296.30
Waldmann_
07_
size12/
size-12-alpha-3-num-120.xml
11763665
u
∞
+0
1
+0
492.00/296.22
Waldmann_
07_
size12/
size-12-alpha-3-num-121.xml
11763606
u
∞
+0
1
+0
507.77/296.22
Waldmann_
07_
size12/
size-12-alpha-3-num-122.xml
11763914
u
∞
+0
1
+0
468.70/296.20
Waldmann_
07_
size12/
size-12-alpha-3-num-123.xml
11763794
u
∞
+0
1
+0
518.37/296.10
Waldmann_
07_
size12/
size-12-alpha-3-num-124.xml
11763801
u
∞
+0
1
+0
479.50/296.20
Waldmann_
07_
size12/
size-12-alpha-3-num-125.xml
11763911
u
∞
+0
1
+0
561.05/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-126.xml
11763614
u
∞
+0
1
+0
743.27/296.21
Waldmann_
07_
size12/
size-12-alpha-3-num-127.xml
11763662
u
∞
+0
1
+0
422.64/296.15
Waldmann_
07_
size12/
size-12-alpha-3-num-128.xml
11763595
u
∞
+0
1
+0
528.12/296.27
Waldmann_
07_
size12/
size-12-alpha-3-num-129.xml
11763681
u
∞
+0
1
+0
434.70/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-13.xml
11763748
u
∞
+0
1
+0
420.73/296.16
Waldmann_
07_
size12/
size-12-alpha-3-num-131.xml
11763734
u
∞
+0
1
+0
356.22/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-132.xml
11763789
u
∞
+0
1
+0
531.03/296.18
Waldmann_
07_
size12/
size-12-alpha-3-num-133.xml
11763832
u
∞
+0
1
+0
521.15/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-134.xml
11763839
u
∞
+0
1
+0
451.50/296.19
Waldmann_
07_
size12/
size-12-alpha-3-num-135.xml
11763786
u
∞
+0
1
+0
440.63/296.09
Waldmann_
07_
size12/
size-12-alpha-3-num-14.xml
11763750
u
∞
+0
1
+0
493.05/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-140.xml
11763774
u
∞
+0
1
+0
387.76/296.19
Waldmann_
07_
size12/
size-12-alpha-3-num-146.xml
11763840
u
∞
+0
1
+0
388.19/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-149.xml
11763783
u
∞
+0
1
+0
410.01/296.11
Waldmann_
07_
size12/
size-12-alpha-3-num-15.xml
11763862
u
∞
+0
1
+0
501.97/296.19
Waldmann_
07_
size12/
size-12-alpha-3-num-152.xml
11763674
u
∞
+0
1
+0
475.42/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-158.xml
11763799
u
∞
+0
1
+0
423.50/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-159.xml
11763909
u
∞
+0
1
+0
423.44/296.18
Waldmann_
07_
size12/
size-12-alpha-3-num-16.xml
11763656
u
∞
+0
1
+0
445.74/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-160.xml
11763686
u
∞
+0
1
+0
389.51/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-163.xml
11763819
u
∞
+0
1
+0
451.47/296.18
Waldmann_
07_
size12/
size-12-alpha-3-num-164.xml
11763817
u
∞
+0
1
+0
431.50/296.18
Waldmann_
07_
size12/
size-12-alpha-3-num-165.xml
11763890
u
∞
+0
1
+0
492.25/296.15
Waldmann_
07_
size12/
size-12-alpha-3-num-168.xml
11763581
u
∞
+0
1
+0
434.99/296.20
Waldmann_
07_
size12/
size-12-alpha-3-num-17.xml
11763700
u
∞
+0
1
+0
401.43/296.15
Waldmann_
07_
size12/
size-12-alpha-3-num-170.xml
11763638
u
∞
+0
1
+0
422.93/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-174.xml
11763855
u
∞
+0
1
+0
430.62/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-176.xml
11763713
u
∞
+0
1
+0
394.82/296.15
Waldmann_
07_
size12/
size-12-alpha-3-num-177.xml
11763648
u
∞
+0
1
+0
387.97/296.10
Waldmann_
07_
size12/
size-12-alpha-3-num-178.xml
11763708
u
∞
+0
1
+0
385.99/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-179.xml
11763654
u
∞
+0
1
+0
400.17/296.03
Waldmann_
07_
size12/
size-12-alpha-3-num-180.xml
11763813
u
∞
+0
1
+0
418.20/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-181.xml
11763898
u
∞
+0
1
+0
415.94/296.15
Waldmann_
07_
size12/
size-12-alpha-3-num-186.xml
11763903
u
∞
+0
1
+0
378.14/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-19.xml
11763715
u
∞
+0
1
+0
499.24/296.27
Waldmann_
07_
size12/
size-12-alpha-3-num-190.xml
11763847
u
∞
+0
1
+0
480.37/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-191.xml
11763771
u
∞
+0
1
+0
484.30/296.23
Waldmann_
07_
size12/
size-12-alpha-3-num-194.xml
11763631
u
∞
+0
1
+0
424.32/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-195.xml
11763721
u
∞
+0
1
+0
393.91/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-198.xml
11763781
u
∞
+0
1
+0
391.12/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-199.xml
11763836
u
∞
+0
1
+0
465.57/296.21
Waldmann_
07_
size12/
size-12-alpha-3-num-20.xml
11763837
u
∞
+0
1
+0
457.26/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-200.xml
11763874
u
∞
+0
1
+0
490.36/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-201.xml
11763827
u
∞
+0
1
+0
451.89/296.11
Waldmann_
07_
size12/
size-12-alpha-3-num-202.xml
11763695
u
∞
+0
1
+0
434.49/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-203.xml
11763576
u
∞
+0
1
+0
429.78/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-204.xml
11763574
u
∞
+0
1
+0
421.95/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-206.xml
11763824
u
∞
+0
1
+0
398.28/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-207.xml
11763879
u
∞
+0
1
+0
394.66/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-209.xml
11763885
u
∞
+0
1
+0
409.66/296.19
Waldmann_
07_
size12/
size-12-alpha-3-num-21.xml
11763782
u
∞
+0
1
+0
435.57/296.10
Waldmann_
07_
size12/
size-12-alpha-3-num-210.xml
11763745
u
∞
+0
1
+0
394.97/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-211.xml
11763869
u
∞
+0
1
+0
451.26/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-213.xml
11763706
u
∞
+0
1
+0
424.23/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-215.xml
11763658
u
∞
+0
1
+0
415.12/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-217.xml
11763754
u
∞
+0
1
+0
419.53/296.18
Waldmann_
07_
size12/
size-12-alpha-3-num-219.xml
11763759
u
∞
+0
1
+0
428.64/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-22.xml
11763739
u
∞
+0
1
+0
545.97/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-220.xml
11763620
u
∞
+0
1
+0
410.08/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-221.xml
11763741
u
∞
+0
1
+0
388.61/296.18
Waldmann_
07_
size12/
size-12-alpha-3-num-222.xml
11763785
u
∞
+0
1
+0
464.73/296.19
Waldmann_
07_
size12/
size-12-alpha-3-num-223.xml
11763838
u
∞
+0
1
+0
404.20/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-224.xml
11763830
u
∞
+0
1
+0
389.83/296.05
Waldmann_
07_
size12/
size-12-alpha-3-num-225.xml
11763787
u
∞
+0
1
+0
389.94/296.15
Waldmann_
07_
size12/
size-12-alpha-3-num-226.xml
11763732
u
∞
+0
1
+0
415.50/296.18
Waldmann_
07_
size12/
size-12-alpha-3-num-227.xml
11763623
u
∞
+0
1
+0
411.27/296.04
Waldmann_
07_
size12/
size-12-alpha-3-num-23.xml
11763617
u
∞
+0
1
+0
464.84/296.11
Waldmann_
07_
size12/
size-12-alpha-3-num-231.xml
11763616
u
∞
+0
1
+0
555.88/296.23
Waldmann_
07_
size12/
size-12-alpha-3-num-232.xml
11763912
u
∞
+0
1
+0
477.31/296.09
Waldmann_
07_
size12/
size-12-alpha-3-num-233.xml
11763802
u
∞
+0
1
+0
496.28/296.18
Waldmann_
07_
size12/
size-12-alpha-3-num-236.xml
11763609
u
∞
+0
1
+0
446.36/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-237.xml
11763669
u
∞
+0
1
+0
509.97/296.27
Waldmann_
07_
size12/
size-12-alpha-3-num-238.xml
11763602
u
∞
+0
1
+0
489.38/296.10
Waldmann_
07_
size12/
size-12-alpha-3-num-239.xml
11763673
u
∞
+0
1
+0
427.58/296.08
Waldmann_
07_
size12/
size-12-alpha-3-num-241.xml
11763804
u
∞
+0
1
+0
420.93/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-243.xml
11763593
u
∞
+0
1
+0
418.02/296.18
Waldmann_
07_
size12/
size-12-alpha-3-num-247.xml
11763899
u
∞
+0
1
+0
408.63/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-248.xml
11763796
u
∞
+0
1
+0
465.77/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-249.xml
11763917
u
∞
+0
1
+0
448.08/296.06
Waldmann_
07_
size12/
size-12-alpha-3-num-255.xml
11763629
u
∞
+0
1
+0
442.37/296.22
Waldmann_
07_
size12/
size-12-alpha-3-num-257.xml
11763772
u
∞
+0
1
+0
398.44/296.11
Waldmann_
07_
size12/
size-12-alpha-3-num-260.xml
11763649
u
∞
+0
1
+0
470.26/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-263.xml
11763856
u
∞
+0
1
+0
531.08/296.22
Waldmann_
07_
size12/
size-12-alpha-3-num-265.xml
11763756
u
∞
+0
1
+0
470.88/296.18
Waldmann_
07_
size12/
size-12-alpha-3-num-267.xml
11763639
u
∞
+0
1
+0
394.43/296.18
Waldmann_
07_
size12/
size-12-alpha-3-num-270.xml
11763693
u
∞
+0
1
+0
415.71/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-271.xml
11763585
u
∞
+0
1
+0
427.66/296.10
Waldmann_
07_
size12/
size-12-alpha-3-num-272.xml
11763889
u
∞
+0
1
+0
441.36/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-273.xml
11763816
u
∞
+0
1
+0
435.60/296.05
Waldmann_
07_
size12/
size-12-alpha-3-num-274.xml
11763818
u
∞
+0
1
+0
459.00/296.15
Waldmann_
07_
size12/
size-12-alpha-3-num-275.xml
11763881
u
∞
+0
1
+0
615.19/296.20
Waldmann_
07_
size12/
size-12-alpha-3-num-279.xml
11763698
u
∞
+0
1
+0
729.87/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-281.xml
11763777
u
∞
+0
1
+0
511.53/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-282.xml
11763722
u
∞
+0
1
+0
446.01/296.18
Waldmann_
07_
size12/
size-12-alpha-3-num-283.xml
11763632
u
∞
+0
1
+0
410.89/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-284.xml
11763630
u
∞
+0
1
+0
382.83/296.09
Waldmann_
07_
size12/
size-12-alpha-3-num-285.xml
11763730
u
∞
+0
1
+0
381.66/296.15
Waldmann_
07_
size12/
size-12-alpha-3-num-286.xml
11763773
u
∞
+0
1
+0
443.28/296.16
Waldmann_
07_
size12/
size-12-alpha-3-num-287.xml
11763848
u
∞
+0
1
+0
402.54/296.10
Waldmann_
07_
size12/
size-12-alpha-3-num-288.xml
11763790
u
∞
+0
1
+0
386.50/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-289.xml
11763833
u
∞
+0
1
+0
407.74/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-291.xml
11763901
u
∞
+0
1
+0
572.79/296.24
Waldmann_
07_
size12/
size-12-alpha-3-num-292.xml
11763592
u
∞
+0
1
+0
563.97/296.24
Waldmann_
07_
size12/
size-12-alpha-3-num-293.xml
11763678
u
∞
+0
1
+0
463.96/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-294.xml
11763676
u
∞
+0
1
+0
420.19/296.07
Waldmann_
07_
size12/
size-12-alpha-3-num-296.xml
11763896
u
∞
+0
1
+0
468.46/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-297.xml
11763812
u
∞
+0
1
+0
469.53/296.11
Waldmann_
07_
size12/
size-12-alpha-3-num-298.xml
11763916
u
∞
+0
1
+0
461.21/296.20
Waldmann_
07_
size12/
size-12-alpha-3-num-299.xml
11763795
u
∞
+0
1
+0
468.88/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-3.xml
11763661
u
∞
+0
1
+0
460.87/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-30.xml
11763798
u
∞
+0
1
+0
438.28/296.15
Waldmann_
07_
size12/
size-12-alpha-3-num-300.xml
11763835
u
∞
+0
1
+0
467.18/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-301.xml
11763792
u
∞
+0
1
+0
481.76/296.19
Waldmann_
07_
size12/
size-12-alpha-3-num-303.xml
11763627
u
∞
+0
1
+0
483.06/296.16
Waldmann_
07_
size12/
size-12-alpha-3-num-304.xml
11763619
u
∞
+0
1
+0
465.91/296.09
Waldmann_
07_
size12/
size-12-alpha-3-num-309.xml
11763841
u
∞
+0
1
+0
605.33/296.28
Waldmann_
07_
size12/
size-12-alpha-3-num-31.xml
11763907
u
∞
+0
1
+0
431.96/296.15
Waldmann_
07_
size12/
size-12-alpha-3-num-32.xml
11763612
u
∞
+0
1
+0
487.33/296.30
Waldmann_
07_
size12/
size-12-alpha-3-num-327.xml
11763580
u
∞
+0
1
+0
494.05/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-328.xml
11763692
u
∞
+0
1
+0
834.91/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-330.xml
11763701
u
∞
+0
1
+0
652.92/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-335.xml
11763870
u
∞
+0
1
+0
625.47/296.16
Waldmann_
07_
size12/
size-12-alpha-3-num-337.xml
11763709
u
∞
+0
1
+0
484.90/296.21
Waldmann_
07_
size12/
size-12-alpha-3-num-338.xml
11763650
u
∞
+0
1
+0
1039.95/296.26
Waldmann_
07_
size12/
size-12-alpha-3-num-339.xml
11763714
u
∞
+0
1
+0
1070.89/296.21
Waldmann_
07_
size12/
size-12-alpha-3-num-340.xml
11763859
u
∞
+0
1
+0
871.81/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-341.xml
11763760
u
∞
+0
1
+0
591.13/296.20
Waldmann_
07_
size12/
size-12-alpha-3-num-343.xml
11763643
u
∞
+0
1
+0
434.72/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-345.xml
11763712
u
∞
+0
1
+0
595.31/296.19
Waldmann_
07_
size12/
size-12-alpha-3-num-346.xml
11763766
u
∞
+0
1
+0
587.73/296.18
Waldmann_
07_
size12/
size-12-alpha-3-num-347.xml
11763852
u
∞
+0
1
+0
600.82/296.16
Waldmann_
07_
size12/
size-12-alpha-3-num-348.xml
11763746
u
∞
+0
1
+0
564.02/296.25
Waldmann_
07_
size12/
size-12-alpha-3-num-35.xml
11763611
u
∞
+0
1
+0
434.33/296.05
Waldmann_
07_
size12/
size-12-alpha-3-num-350.xml
11763821
u
∞
+0
1
+0
540.96/296.15
Waldmann_
07_
size12/
size-12-alpha-3-num-351.xml
11763884
u
∞
+0
1
+0
494.45/296.19
Waldmann_
07_
size12/
size-12-alpha-3-num-352.xml
11763589
u
∞
+0
1
+0
503.46/296.06
Waldmann_
07_
size12/
size-12-alpha-3-num-353.xml
11763688
u
∞
+0
1
+0
458.16/296.10
Waldmann_
07_
size12/
size-12-alpha-3-num-354.xml
11763691
u
∞
+0
1
+0
834.51/296.18
Waldmann_
07_
size12/
size-12-alpha-3-num-355.xml
11763583
u
∞
+0
1
+0
1000.76/296.22
Waldmann_
07_
size12/
size-12-alpha-3-num-356.xml
11763887
u
∞
+0
1
+0
856.58/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-359.xml
11763826
u
∞
+0
1
+0
621.63/296.26
Waldmann_
07_
size12/
size-12-alpha-3-num-360.xml
11763599
u
∞
+0
1
+0
741.42/296.21
Waldmann_
07_
size12/
size-12-alpha-3-num-361.xml
11763671
u
∞
+0
1
+0
1023.49/296.16
Waldmann_
07_
size12/
size-12-alpha-3-num-362.xml
11763806
u
∞
+0
1
+0
1124.69/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-363.xml
11763891
u
∞
+0
1
+0
867.58/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-366.xml
11763679
u
∞
+0
1
+0
670.55/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-367.xml
11763594
u
∞
+0
1
+0
646.12/296.18
Waldmann_
07_
size12/
size-12-alpha-3-num-368.xml
11763660
u
∞
+0
1
+0
1133.44/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-369.xml
11763613
u
∞
+0
1
+0
942.94/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-373.xml
11763770
u
∞
+0
1
+0
504.87/296.18
Waldmann_
07_
size12/
size-12-alpha-3-num-374.xml
11763780
u
∞
+0
1
+0
1041.04/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-375.xml
11763845
u
∞
+0
1
+0
360.38/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-376.xml
11763636
u
∞
+0
1
+0
456.43/296.10
Waldmann_
07_
size12/
size-12-alpha-3-num-377.xml
11763725
u
∞
+0
1
+0
618.45/296.11
Waldmann_
07_
size12/
size-12-alpha-3-num-378.xml
11763622
u
∞
+0
1
+0
477.48/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-382.xml
11763687
u
∞
+0
1
+0
1029.37/296.18
Waldmann_
07_
size12/
size-12-alpha-3-num-383.xml
11763588
u
∞
+0
1
+0
870.14/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-384.xml
11763582
u
∞
+0
1
+0
1031.92/296.31
Waldmann_
07_
size12/
size-12-alpha-3-num-385.xml
11763690
u
∞
+0
1
+0
1069.59/296.16
Waldmann_
07_
size12/
size-12-alpha-3-num-386.xml
11763814
u
∞
+0
1
+0
940.16/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-389.xml
11763873
u
∞
+0
1
+0
544.44/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-391.xml
11763860
u
∞
+0
1
+0
717.65/296.23
Waldmann_
07_
size12/
size-12-alpha-3-num-392.xml
11763644
u
∞
+0
1
+0
491.84/296.24
Waldmann_
07_
size12/
size-12-alpha-3-num-395.xml
11763647
u
∞
+0
1
+0
645.36/296.09
Waldmann_
07_
size12/
size-12-alpha-3-num-396.xml
11763854
u
∞
+0
1
+0
548.99/296.18
Waldmann_
07_
size12/
size-12-alpha-3-num-399.xml
11763747
u
∞
+0
1
+0
831.57/296.22
Waldmann_
07_
size12/
size-12-alpha-3-num-4.xml
11763664
u
∞
+0
1
+0
501.19/296.19
Waldmann_
07_
size12/
size-12-alpha-3-num-40.xml
11763597
u
∞
+0
1
+0
578.47/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-400.xml
11763635
u
∞
+0
1
+0
1111.00/296.19
Waldmann_
07_
size12/
size-12-alpha-3-num-401.xml
11763724
u
∞
+0
1
+0
1136.95/296.18
Waldmann_
07_
size12/
size-12-alpha-3-num-402.xml
11763779
u
∞
+0
1
+0
1094.14/296.21
Waldmann_
07_
size12/
size-12-alpha-3-num-403.xml
11763844
u
∞
+0
1
+0
850.85/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-406.xml
11763729
u
∞
+0
1
+0
1054.35/296.19
Waldmann_
07_
size12/
size-12-alpha-3-num-408.xml
11763737
u
∞
+0
1
+0
1042.04/296.22
Waldmann_
07_
size12/
size-12-alpha-3-num-409.xml
11763625
u
∞
+0
1
+0
970.62/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-41.xml
11763682
u
∞
+0
1
+0
452.03/296.08
Waldmann_
07_
size12/
size-12-alpha-3-num-410.xml
11763680
u
∞
+0
1
+0
1002.13/296.15
Waldmann_
07_
size12/
size-12-alpha-3-num-412.xml
11763904
u
∞
+0
1
+0
592.61/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-413.xml
11763805
u
∞
+0
1
+0
533.03/296.19
Waldmann_
07_
size12/
size-12-alpha-3-num-414.xml
11763807
u
∞
+0
1
+0
541.29/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-415.xml
11763892
u
∞
+0
1
+0
600.92/296.20
Waldmann_
07_
size12/
size-12-alpha-3-num-416.xml
11763600
u
∞
+0
1
+0
542.69/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-417.xml
11763672
u
∞
+0
1
+0
562.54/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-418.xml
11763605
u
∞
+0
1
+0
511.46/296.11
Waldmann_
07_
size12/
size-12-alpha-3-num-427.xml
11763883
u
∞
+0
1
+0
727.26/296.10
Waldmann_
07_
size12/
size-12-alpha-3-num-429.xml
11763878
u
∞
+0
1
+0
430.79/296.15
Waldmann_
07_
size12/
size-12-alpha-3-num-430.xml
11763767
u
∞
+0
1
+0
464.07/296.19
Waldmann_
07_
size12/
size-12-alpha-3-num-431.xml
11763853
u
∞
+0
1
+0
394.93/296.08
Waldmann_
07_
size12/
size-12-alpha-3-num-434.xml
11763720
u
∞
+0
1
+0
495.45/296.33
Waldmann_
07_
size12/
size-12-alpha-3-num-435.xml
11763645
u
∞
+0
1
+0
405.35/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-436.xml
11763861
u
∞
+0
1
+0
526.45/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-437.xml
11763761
u
∞
+0
1
+0
546.69/296.25
Waldmann_
07_
size12/
size-12-alpha-3-num-438.xml
11763866
u
∞
+0
1
+0
436.02/296.18
Waldmann_
07_
size12/
size-12-alpha-3-num-439.xml
11763755
u
∞
+0
1
+0
564.08/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-44.xml
11763893
u
∞
+0
1
+0
483.72/296.09
Waldmann_
07_
size12/
size-12-alpha-3-num-441.xml
11763710
u
∞
+0
1
+0
504.89/296.19
Waldmann_
07_
size12/
size-12-alpha-3-num-443.xml
11763872
u
∞
+0
1
+0
1029.95/296.21
Waldmann_
07_
size12/
size-12-alpha-3-num-446.xml
11763703
u
∞
+0
1
+0
516.90/296.16
Waldmann_
07_
size12/
size-12-alpha-3-num-448.xml
11763717
u
∞
+0
1
+0
505.63/296.39
Waldmann_
07_
size12/
size-12-alpha-3-num-45.xml
11763809
u
∞
+0
1
+0
501.96/296.24
Waldmann_
07_
size12/
size-12-alpha-3-num-450.xml
11763696
u
∞
+0
1
+0
523.48/296.15
Waldmann_
07_
size12/
size-12-alpha-3-num-451.xml
11763578
u
∞
+0
1
+0
537.94/296.06
Waldmann_
07_
size12/
size-12-alpha-3-num-452.xml
11763875
u
∞
+0
1
+0
469.79/296.11
Waldmann_
07_
size12/
size-12-alpha-3-num-453.xml
11763828
u
∞
+0
1
+0
820.05/296.27
Waldmann_
07_
size12/
size-12-alpha-3-num-454.xml
11763822
u
∞
+0
1
+0
497.37/296.15
Waldmann_
07_
size12/
size-12-alpha-3-num-455.xml
11763876
u
∞
+0
1
+0
784.50/296.20
Waldmann_
07_
size12/
size-12-alpha-3-num-456.xml
11763572
u
∞
+0
1
+0
589.25/296.18
Waldmann_
07_
size12/
size-12-alpha-3-num-460.xml
11763906
u
∞
+0
1
+0
574.86/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-461.xml
11763797
u
∞
+0
1
+0
630.02/296.15
Waldmann_
07_
size12/
size-12-alpha-3-num-462.xml
11763659
u
∞
+0
1
+0
627.05/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-465.xml
11763670
u
∞
+0
1
+0
456.76/296.04
Waldmann_
07_
size12/
size-12-alpha-3-num-467.xml
11763915
u
∞
+0
1
+0
608.92/296.23
Waldmann_
07_
size12/
size-12-alpha-3-num-468.xml
11763811
u
∞
+0
1
+0
506.36/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-469.xml
11763895
u
∞
+0
1
+0
384.18/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-47.xml
11763601
u
∞
+0
1
+0
542.50/296.19
Waldmann_
07_
size12/
size-12-alpha-3-num-470.xml
11763784
u
∞
+0
1
+0
734.74/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-472.xml
11763618
u
∞
+0
1
+0
763.82/296.16
Waldmann_
07_
size12/
size-12-alpha-3-num-473.xml
11763740
u
∞
+0
1
+0
1065.00/296.23
Waldmann_
07_
size12/
size-12-alpha-3-num-474.xml
11763738
u
∞
+0
1
+0
1118.35/296.19
Waldmann_
07_
size12/
size-12-alpha-3-num-475.xml
11763626
u
∞
+0
1
+0
1113.14/296.10
Waldmann_
07_
size12/
size-12-alpha-3-num-476.xml
11763834
u
∞
+0
1
+0
439.63/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-477.xml
11763791
u
∞
+0
1
+0
418.03/296.06
Waldmann_
07_
size12/
size-12-alpha-3-num-478.xml
11763849
u
∞
+0
1
+0
434.88/296.05
Waldmann_
07_
size12/
size-12-alpha-3-num-479.xml
11763775
u
∞
+0
1
+0
455.33/296.19
Waldmann_
07_
size12/
size-12-alpha-3-num-48.xml
11763667
u
∞
+0
1
+0
524.27/296.25
Waldmann_
07_
size12/
size-12-alpha-3-num-480.xml
11763579
u
∞
+0
1
+0
487.25/296.20
Waldmann_
07_
size12/
size-12-alpha-3-num-482.xml
11763829
u
∞
+0
1
+0
437.19/296.04
Waldmann_
07_
size12/
size-12-alpha-3-num-484.xml
11763877
u
∞
+0
1
+0
455.91/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-485.xml
11763823
u
∞
+0
1
+0
448.94/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-487.xml
11763573
u
∞
+0
1
+0
992.08/296.16
Waldmann_
07_
size12/
size-12-alpha-3-num-488.xml
11763685
u
∞
+0
1
+0
1026.74/296.15
Waldmann_
07_
size12/
size-12-alpha-3-num-489.xml
11763587
u
∞
+0
1
+0
827.30/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-49.xml
11763607
u
∞
+0
1
+0
507.92/296.20
Waldmann_
07_
size12/
size-12-alpha-3-num-491.xml
11763655
u
∞
+0
1
+0
1014.12/296.15
Waldmann_
07_
size12/
size-12-alpha-3-num-492.xml
11763871
u
∞
+0
1
+0
842.86/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-493.xml
11763749
u
∞
+0
1
+0
870.12/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-494.xml
11763751
u
∞
+0
1
+0
580.31/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-495.xml
11763863
u
∞
+0
1
+0
689.48/296.25
Waldmann_
07_
size12/
size-12-alpha-3-num-497.xml
11763702
u
∞
+0
1
+0
583.18/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-498.xml
11763640
u
∞
+0
1
+0
1043.35/296.21
Waldmann_
07_
size12/
size-12-alpha-3-num-499.xml
11763716
u
∞
+0
1
+0
511.14/296.26
Waldmann_
07_
size12/
size-12-alpha-3-num-502.xml
11763820
u
∞
+0
1
+0
1159.39/296.11
Waldmann_
07_
size12/
size-12-alpha-3-num-503.xml
11763882
u
∞
+0
1
+0
1126.70/296.20
Waldmann_
07_
size12/
size-12-alpha-3-num-506.xml
11763694
u
∞
+0
1
+0
477.91/296.16
Waldmann_
07_
size12/
size-12-alpha-3-num-507.xml
11763586
u
∞
+0
1
+0
859.88/296.09
Waldmann_
07_
size12/
size-12-alpha-3-num-508.xml
11763697
u
∞
+0
1
+0
1129.92/296.22
Waldmann_
07_
size12/
size-12-alpha-3-num-51.xml
11763633
u
∞
+0
1
+0
432.05/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-511.xml
11763637
u
∞
+0
1
+0
1105.68/296.22
Waldmann_
07_
size12/
size-12-alpha-3-num-52.xml
11763843
u
∞
+0
1
+0
419.26/296.05
Waldmann_
07_
size12/
size-12-alpha-3-num-522.xml
11763731
u
∞
+0
1
+0
892.71/296.27
Waldmann_
07_
size12/
size-12-alpha-3-num-526.xml
11763776
u
∞
+0
1
+0
451.82/296.15
Waldmann_
07_
size12/
size-12-alpha-3-num-532.xml
11763604
u
∞
+0
1
+0
510.26/296.20
Waldmann_
07_
size12/
size-12-alpha-3-num-535.xml
11763591
u
∞
+0
1
+0
1068.16/296.04
Waldmann_
07_
size12/
size-12-alpha-3-num-536.xml
11763900
u
∞
+0
1
+0
1002.06/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-540.xml
11763608
u
∞
+0
1
+0
483.77/296.07
Waldmann_
07_
size12/
size-12-alpha-3-num-541.xml
11763666
u
∞
+0
1
+0
475.13/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-543.xml
11763913
u
∞
+0
1
+0
508.27/296.19
Waldmann_
07_
size12/
size-12-alpha-3-num-545.xml
11763800
u
∞
+0
1
+0
404.94/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-546.xml
11763663
u
∞
+0
1
+0
472.89/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-547.xml
11763615
u
∞
+0
1
+0
455.77/296.04
Waldmann_
07_
size12/
size-12-alpha-3-num-548.xml
11763683
u
∞
+0
1
+0
424.71/296.07
Waldmann_
07_
size12/
size-12-alpha-3-num-549.xml
11763596
u
∞
+0
1
+0
425.76/296.10
Waldmann_
07_
size12/
size-12-alpha-3-num-550.xml
11763736
u
∞
+0
1
+0
439.04/296.18
Waldmann_
07_
size12/
size-12-alpha-3-num-551.xml
11763624
u
∞
+0
1
+0
462.86/296.07
Waldmann_
07_
size12/
size-12-alpha-3-num-552.xml
11763831
u
∞
+0
1
+0
416.72/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-553.xml
11763788
u
∞
+0
1
+0
426.94/296.16
Waldmann_
07_
size12/
size-12-alpha-3-num-556.xml
11763621
u
∞
+0
1
+0
439.03/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-558.xml
11763634
u
∞
+0
1
+0
460.29/296.19
Waldmann_
07_
size12/
size-12-alpha-3-num-559.xml
11763723
u
∞
+0
1
+0
471.61/296.18
Waldmann_
07_
size12/
size-12-alpha-3-num-560.xml
11763865
u
∞
+0
1
+0
462.03/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-561.xml
11763753
u
∞
+0
1
+0
448.18/296.10
Waldmann_
07_
size12/
size-12-alpha-3-num-563.xml
11763657
u
∞
+0
1
+0
442.16/296.10
Waldmann_
07_
size12/
size-12-alpha-3-num-564.xml
11763651
u
∞
+0
1
+0
444.92/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-565.xml
11763704
u
∞
+0
1
+0
439.00/296.06
Waldmann_
07_
size12/
size-12-alpha-3-num-566.xml
11763744
u
∞
+0
1
+0
466.68/296.20
Waldmann_
07_
size12/
size-12-alpha-3-num-568.xml
11763765
u
∞
+0
1
+0
472.26/296.19
Waldmann_
07_
size12/
size-12-alpha-3-num-57.xml
11763728
u
∞
+0
1
+0
455.34/296.07
Waldmann_
07_
size12/
size-12-alpha-3-num-59.xml
11763735
u
∞
+0
1
+0
417.82/296.16
Waldmann_
07_
size12/
size-12-alpha-3-num-61.xml
11763764
u
∞
+0
1
+0
470.43/296.08
Waldmann_
07_
size12/
size-12-alpha-3-num-64.xml
11763641
u
∞
+0
1
+0
500.75/296.23
Waldmann_
07_
size12/
size-12-alpha-3-num-65.xml
11763718
u
∞
+0
1
+0
484.59/296.21
Waldmann_
07_
size12/
size-12-alpha-3-num-66.xml
11763758
u
∞
+0
1
+0
442.90/296.11
Waldmann_
07_
size12/
size-12-alpha-3-num-67.xml
11763858
u
∞
+0
1
+0
483.45/296.09
Waldmann_
07_
size12/
size-12-alpha-3-num-7.xml
11763793
u
∞
+0
1
+0
453.40/296.05
Waldmann_
07_
size12/
size-12-alpha-3-num-70.xml
11763815
u
∞
+0
1
+0
414.40/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-71.xml
11763888
u
∞
+0
1
+0
418.55/296.04
Waldmann_
07_
size12/
size-12-alpha-3-num-72.xml
11763584
u
∞
+0
1
+0
522.56/296.20
Waldmann_
07_
size12/
size-12-alpha-3-num-74.xml
11763689
u
∞
+0
1
+0
500.43/296.06
Waldmann_
07_
size12/
size-12-alpha-3-num-76.xml
11763886
u
∞
+0
1
+0
461.00/296.14
Waldmann_
07_
size12/
size-12-alpha-3-num-82.xml
11763778
u
∞
+0
1
+0
403.85/296.17
Waldmann_
07_
size12/
size-12-alpha-3-num-83.xml
11763842
u
∞
+0
1
+0
390.36/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-84.xml
11763846
u
∞
+0
1
+0
410.59/296.16
Waldmann_
07_
size12/
size-12-alpha-3-num-85.xml
11763768
u
∞
+0
1
+0
478.24/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-86.xml
11763726
u
∞
+0
1
+0
480.47/296.05
Waldmann_
07_
size12/
size-12-alpha-3-num-88.xml
11763733
u
∞
+0
1
+0
462.07/296.10
Waldmann_
07_
size12/
size-12-alpha-3-num-9.xml
11763808
u
∞
+0
1
+0
428.97/296.10
Waldmann_
07_
size12/
size-12-alpha-3-num-90.xml
11763684
u
∞
+0
1
+0
434.54/296.03
Waldmann_
07_
size12/
size-12-alpha-3-num-91.xml
11763598
u
∞
+0
1
+0
450.13/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-92.xml
11763905
u
∞
+0
1
+0
851.60/296.19
Waldmann_
07_
size12/
size-12-alpha-3-num-94.xml
11763810
u
∞
+0
1
+0
381.89/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-95.xml
11763894
u
∞
+0
1
+0
395.82/296.12
Waldmann_
07_
size12/
size-12-alpha-3-num-98.xml
11763610
u
∞
+0
1
+0
506.52/296.13
Waldmann_
07_
size12/
size-12-alpha-3-num-99.xml
11763668
u
∞
+0
1
+0
482.06/296.17
Secret_
07_
TRS/
1.xml
11763919
u
∞
+0
1
+0
495.97/296.12
Secret_
07_
TRS/
2.xml
11763920
u
∞
+0
1
+0
210.79/77.85
Secret_
07_
TRS/
3.xml
11763923
u
∞
+0
1
+0
286.22/123.19
Secret_
07_
TRS/
4.xml
11763922
u
∞
+0
1
+0
371.81/296.03
Secret_
07_
TRS/
5.xml
11763921
u
∞
+0
1
+0
986.28/296.33
Secret_
07_
TRS/
7.xml
11763918
u
∞
+0
1
+0
901.98/296.23
CiME_
04/
dpqs.xml
11763554
s
n
1
+1
1
+0
0.18/0.07
CiME_
04/
filliatre.xml
11763555
u
∞
+0
1
+0
1167.01/296.15
CiME_
04/
filliatre2.xml
11763553
u
∞
+0
1
+0
944.17/296.16
Secret_
05_
SRS/
aprove1.xml
11763563
u
∞
+0
1
+0
592.29/296.10
Secret_
05_
SRS/
aprove2.xml
11763565
u
∞
+0
1
+0
909.64/296.27
Secret_
05_
SRS/
aprove3.xml
11763570
u
∞
+0
1
+0
1049.19/296.23
Secret_
05_
SRS/
aprove4.xml
11763568
u
∞
+0
1
+0
505.33/296.43
Secret_
05_
SRS/
aprove5.xml
11763566
u
∞
+0
1
+0
1010.84/296.35
Secret_
05_
SRS/
jambox1.xml
11763567
u
∞
+0
1
+0
963.91/296.28
Secret_
05_
SRS/
jambox2.xml
11763560
u
∞
+0
1
+0
1050.05/296.24
Secret_
05_
SRS/
jambox3.xml
11763557
u
∞
+0
1
+0
654.49/296.38
Secret_
05_
SRS/
jambox4.xml
11763556
u
∞
+0
1
+0
1039.72/296.23
Secret_
05_
SRS/
jambox5.xml
11763561
u
∞
+0
1
+0
502.74/296.24
Secret_
05_
SRS/
matchbox1.xml
11763569
u
∞
+0
1
+0
483.31/296.33
Secret_
05_
SRS/
matchbox2.xml
11763558
s
n
1
+1
1
+0
3.92/1.03
Secret_
05_
SRS/
torpa1.xml
11763571
u
∞
+0
1
+0
1038.61/296.20
Secret_
05_
SRS/
torpa2.xml
11763559
u
∞
+0
1
+0
1068.29/296.31
Secret_
05_
SRS/
torpa3.xml
11763564
s
n
2
+1
1
+0
17.80/4.49
Secret_
05_
SRS/
torpa4.xml
11763562
u
∞
+0
1
+0
614.71/296.26
AProVE_
06/
identity.xml
11763551
u
∞
+0
1
+0
739.79/296.04
AProVE_
06/
nonterm.xml
11763552
u
∞
+0
1
+0
924.36/296.13
AProVE_
06/
tower_
sizeChange.xml
11763550
u
∞
+0
1
+0
961.41/296.24
Mixed_
TRS/
1.xml
11764141
s
n
1
+1
1
+0
0.23/0.10
Mixed_
TRS/
2.xml
11764137
u
∞
+0
1
+0
823.41/296.12
Mixed_
TRS/
4.xml
11764135
s
n
1
+1
1
+0
0.04/0.03
Mixed_
TRS/
6.xml
11764142
u
∞
+0
1
+0
863.44/296.16
Mixed_
TRS/
beans.xml
11764138
u
∞
+0
1
+0
1009.33/297.06
Mixed_
TRS/
Ex1_
Luc04b_
GM.xml
11764143
u
∞
+0
1
+0
1055.04/296.20
Mixed_
TRS/
jones1.xml
11764139
s
n
2
+1
1
+0
2.02/0.53
Mixed_
TRS/
jones4.xml
11764136
s
n
1
+1
1
+0
0.22/0.08
Mixed_
TRS/
jones6.xml
11764140
s
n
2
+1
1
+0
2.54/0.66
Bouchare_
06/
01.xml
11764147
u
∞
+0
1
+0
636.44/296.29
Bouchare_
06/
02.xml
11764158
s
n
2
+1
1
+0
4.99/1.28
Bouchare_
06/
03.xml
11764155
u
∞
+0
1
+0
593.30/296.27
Bouchare_
06/
04.xml
11764154
u
∞
+0
1
+0
963.39/296.23
Bouchare_
06/
05.xml
11764159
u
∞
+0
1
+0
682.86/296.31
Bouchare_
06/
06.xml
11764146
u
∞
+0
1
+0
1092.01/296.21
Bouchare_
06/
07.xml
11764153
u
∞
+0
1
+0
1104.11/296.23
Bouchare_
06/
08.xml
11764148
u
∞
+0
1
+0
1138.72/296.30
Bouchare_
06/
09.xml
11764152
u
∞
+0
1
+0
553.01/296.26
Bouchare_
06/
10.xml
11764144
u
∞
+0
1
+0
1001.22/296.12
Bouchare_
06/
11.xml
11764150
u
∞
+0
1
+0
649.94/296.38
Bouchare_
06/
12.xml
11764156
u
∞
+0
1
+0
610.03/296.31
Bouchare_
06/
13.xml
11764161
u
∞
+0
1
+0
796.93/296.11
Bouchare_
06/
14.xml
11764160
u
∞
+0
1
+0
656.95/296.18
Bouchare_
06/
15.xml
11764157
u
∞
+0
1
+0
580.80/296.19
Bouchare_
06/
16.xml
11764149
u
∞
+0
1
+0
526.97/296.18
Bouchare_
06/
17.xml
11764145
u
∞
+0
1
+0
545.42/296.30
Bouchare_
06/
18.xml
11764151
u
∞
+0
1
+0
1042.83/296.16
Trafo_
06/
dup01.xml
11764084
u
timeout (cpu)
Trafo_
06/
dup05.xml
11764104
u
∞
+0
1
+0
1189.28/296.55
Trafo_
06/
dup06.xml
11764082
u
∞
+0
1
+0
1101.26/296.18
Trafo_
06/
dup07.xml
11764093
u
∞
+0
1
+0
1162.96/296.19
Trafo_
06/
dup08.xml
11764086
u
∞
+0
1
+0
1186.30/296.69
Trafo_
06/
dup09.xml
11764091
u
∞
+0
1
+0
1185.44/296.94
Trafo_
06/
dup10.xml
11764077
u
∞
+0
1
+0
1184.19/296.51
Trafo_
06/
dup11.xml
11764089
u
∞
+0
1
+0
1189.46/296.68
Trafo_
06/
dup12.xml
11764099
u
∞
+0
1
+0
1137.47/296.21
Trafo_
06/
dup13.xml
11764109
u
∞
+0
1
+0
1109.11/296.26
Trafo_
06/
dup14.xml
11764107
u
∞
+0
1
+0
1096.24/296.20
Trafo_
06/
dup15.xml
11764101
u
∞
+0
1
+0
1080.53/296.33
Trafo_
06/
dup16.xml
11764087
s
n
1
+1
1
+0
35.41/8.91
Trafo_
06/
dup17.xml
11764079
u
∞
+0
1
+0
332.21/89.33
Trafo_
06/
hom01.xml
11764097
u
∞
+0
1
+0
1092.13/296.12
Trafo_
06/
hom02.xml
11764094
u
∞
+0
1
+0
632.75/296.76
Trafo_
06/
hom03.xml
11764081
u
∞
+0
1
+0
1189.55/296.36
Trafo_
06/
un02.xml
11764083
u
timeout (cpu)
Trafo_
06/
un04.xml
11764092
u
∞
+0
1
+0
1122.17/296.78
Trafo_
06/
un05.xml
11764085
u
∞
+0
1
+0
1011.61/296.43
Trafo_
06/
un06.xml
11764103
u
∞
+0
1
+0
1052.55/296.56
Trafo_
06/
un07.xml
11764096
u
∞
+0
1
+0
1054.61/296.61
Trafo_
06/
un08.xml
11764105
u
∞
+0
1
+0
642.12/296.35
Trafo_
06/
un09.xml
11764095
u
timeout (cpu)
Trafo_
06/
un10.xml
11764106
u
∞
+0
1
+0
1185.47/296.37
Trafo_
06/
un11.xml
11764100
u
∞
+0
1
+0
1182.19/296.35
Trafo_
06/
un12.xml
11764088
u
∞
+0
1
+0
1185.72/296.41
Trafo_
06/
un13.xml
11764080
u
∞
+0
1
+0
1185.51/296.80
Trafo_
06/
un14.xml
11764078
u
∞
+0
1
+0
1190.39/296.57
Trafo_
06/
un15.xml
11764090
u
∞
+0
1
+0
1181.03/296.52
Trafo_
06/
un16.xml
11764098
u
∞
+0
1
+0
1183.26/296.34
Trafo_
06/
un17.xml
11764108
u
timeout (wallclock)
Trafo_
06/
un18.xml
11764102
u
∞
+0
1
+0
1159.75/296.50
Waldmann_
07_
size11/
size-11-alpha-2-num-1.xml
11764133
u
∞
+0
1
+0
524.88/296.22
Waldmann_
07_
size11/
size-11-alpha-2-num-2.xml
11764112
u
∞
+0
1
+0
581.73/296.30
Waldmann_
07_
size11/
size-11-alpha-2-num-3.xml
11764117
u
∞
+0
1
+0
568.48/296.53
Waldmann_
07_
size11/
size-11-alpha-2-num-4.xml
11764116
u
∞
+0
1
+0
658.24/296.43
Waldmann_
07_
size11/
size-11-alpha-3-num-1.xml
11764132
u
∞
+0
1
+0
432.74/296.12
Waldmann_
07_
size11/
size-11-alpha-3-num-10.xml
11764128
u
∞
+0
1
+0
460.66/296.16
Waldmann_
07_
size11/
size-11-alpha-3-num-11.xml
11764125
u
∞
+0
1
+0
642.19/296.21
Waldmann_
07_
size11/
size-11-alpha-3-num-12.xml
11764120
u
∞
+0
1
+0
613.59/296.12
Waldmann_
07_
size11/
size-11-alpha-3-num-13.xml
11764115
u
∞
+0
1
+0
717.56/296.16
Waldmann_
07_
size11/
size-11-alpha-3-num-14.xml
11764114
u
∞
+0
1
+0
786.67/296.20
Waldmann_
07_
size11/
size-11-alpha-3-num-15.xml
11764121
u
∞
+0
1
+0
400.05/296.08
Waldmann_
07_
size11/
size-11-alpha-3-num-16.xml
11764124
u
∞
+0
1
+0
427.79/296.16
Waldmann_
07_
size11/
size-11-alpha-3-num-17.xml
11764129
u
∞
+0
1
+0
473.75/296.06
Waldmann_
07_
size11/
size-11-alpha-3-num-18.xml
11764123
u
∞
+0
1
+0
376.55/296.12
Waldmann_
07_
size11/
size-11-alpha-3-num-19.xml
11764130
u
∞
+0
1
+0
413.42/296.06
Waldmann_
07_
size11/
size-11-alpha-3-num-2.xml
11764110
u
∞
+0
1
+0
496.88/296.16
Waldmann_
07_
size11/
size-11-alpha-3-num-20.xml
11764122
u
∞
+0
1
+0
430.08/296.06
Waldmann_
07_
size11/
size-11-alpha-3-num-21.xml
11764113
u
∞
+0
1
+0
398.79/296.17
Waldmann_
07_
size11/
size-11-alpha-3-num-3.xml
11764119
u
∞
+0
1
+0
473.19/296.19
Waldmann_
07_
size11/
size-11-alpha-3-num-4.xml
11764118
u
∞
+0
1
+0
511.59/296.18
Waldmann_
07_
size11/
size-11-alpha-3-num-5.xml
11764111
u
∞
+0
1
+0
466.45/296.18
Waldmann_
07_
size11/
size-11-alpha-3-num-6.xml
11764131
u
∞
+0
1
+0
444.73/296.15
Waldmann_
07_
size11/
size-11-alpha-3-num-7.xml
11764127
u
∞
+0
1
+0
432.58/296.08
Waldmann_
07_
size11/
size-11-alpha-3-num-8.xml
11764134
u
∞
+0
1
+0
451.14/296.18
Waldmann_
07_
size11/
size-11-alpha-3-num-9.xml
11764126
u
∞
+0
1
+0
448.22/296.15
Strategy_
removed_
CSR_
05/
Ex1_
Zan97.xml
11764002
u
∞
+0
1
+0
802.11/296.06
Strategy_
removed_
CSR_
05/
Ex4_
7_
15_
Bor03.xml
11764004
u
∞
+0
1
+0
702.08/296.13
Strategy_
removed_
CSR_
05/
Ex4_
7_
77_
Bor03.xml
11764006
u
∞
+0
1
+0
362.52/296.11
Strategy_
removed_
CSR_
05/
Ex5_
Zan97.xml
11764003
u
∞
+0
1
+0
370.55/296.12
Strategy_
removed_
CSR_
05/
Ex6_
GM04.xml
11764001
u
∞
+0
1
+0
665.24/296.12
Strategy_
removed_
CSR_
05/
ExConc_
Zan97.xml
11763999
u
∞
+0
1
+0
642.91/296.08
Strategy_
removed_
CSR_
05/
ExIntrod_
GM01.xml
11764000
u
∞
+0
1
+0
635.36/296.15
Strategy_
removed_
CSR_
05/
ExIntrod_
GM04.xml
11764005
u
∞
+0
1
+0
563.69/296.08
Zantema_
05/
jw01.xml
11764012
s
n
1
+1
1
+0
0.08/0.04
Zantema_
05/
jw02.xml
11764074
s
n
1
+1
1
+0
0.11/0.07
Zantema_
05/
jw03.xml
11764051
s
n
1
+1
1
+0
0.01/0.02
Zantema_
05/
jw04.xml
11764052
s
n
1
+1
1
+0
0.08/0.04
Zantema_
05/
jw05.xml
11764073
s
n
1
+1
1
+0
0.16/0.11
Zantema_
05/
jw06.xml
11764014
s
n
1
+1
1
+0
0.07/0.04
Zantema_
05/
jw07.xml
11764026
s
n
1
+1
1
+0
0.11/0.05
Zantema_
05/
jw08.xml
11764016
s
n
1
+1
1
+0
0.03/0.03
Zantema_
05/
jw09.xml
11764025
s
n
1
+1
1
+0
0.04/0.02
Zantema_
05/
jw11.xml
11764037
s
n
1
+1
1
+0
0.06/0.04
Zantema_
05/
jw12.xml
11764048
s
n
1
+1
1
+0
0.13/0.05
Zantema_
05/
jw13.xml
11764060
s
n
1
+1
1
+0
0.12/0.05
Zantema_
05/
jw14.xml
11764061
s
n
1
+1
1
+0
0.03/0.03
Zantema_
05/
jw15.xml
11764047
s
n
1
+1
1
+0
0.33/0.11
Zantema_
05/
jw16.xml
11764038
s
n
1
+1
1
+0
0.13/0.06
Zantema_
05/
jw17.xml
11764018
s
n
1
+1
1
+0
0.08/0.04
Zantema_
05/
jw18.xml
11764040
s
n
1
+1
1
+0
0.04/0.03
Zantema_
05/
jw19.xml
11764017
s
n
1
+1
1
+0
0.14/0.06
Zantema_
05/
jw20.xml
11764046
s
n
1
+1
1
+0
0.05/0.03
Zantema_
05/
jw21.xml
11764062
s
n
1
+1
1
+0
0.09/0.05
Zantema_
05/
jw22.xml
11764020
s
n
1
+1
1
+0
0.21/0.07
Zantema_
05/
jw23.xml
11764035
s
n
1
+1
1
+0
0.13/0.07
Zantema_
05/
jw24.xml
11764036
s
n
1
+1
1
+0
0.15/0.06
Zantema_
05/
jw25.xml
11764019
s
n
1
+1
1
+0
0.02/0.02
Zantema_
05/
jw26.xml
11764063
s
n
1
+1
1
+0
0.12/0.05
Zantema_
05/
jw27.xml
11764044
s
n
1
+1
1
+0
0.13/0.06
Zantema_
05/
jw28.xml
11764064
s
n
1
+1
1
+0
0.03/0.06
Zantema_
05/
jw29.xml
11764042
s
n
1
+1
1
+0
0.13/0.06
Zantema_
05/
jw30.xml
11764072
s
n
1
+1
1
+0
0.10/0.05
Zantema_
05/
jw31.xml
11764054
s
n
1
+1
1
+0
0.06/0.03
Zantema_
05/
jw32.xml
11764028
s
n
1
+1
1
+0
0.17/0.06
Zantema_
05/
jw33.xml
11764010
s
n
1
+1
1
+0
0.37/0.16
Zantema_
05/
jw34.xml
11764011
s
n
1
+1
1
+0
0.23/0.10
Zantema_
05/
jw35.xml
11764027
s
n
1
+1
1
+0
0.08/0.04
Zantema_
05/
jw36.xml
11764055
s
n
1
+1
1
+0
0.14/0.10
Zantema_
05/
jw37.xml
11764070
s
n
1
+1
1
+0
0.17/0.06
Zantema_
05/
jw38.xml
11764056
s
n
1
+1
1
+0
0.11/0.09
Zantema_
05/
jw39.xml
11764068
s
n
1
+1
1
+0
0.17/0.07
Zantema_
05/
jw40.xml
11764030
s
n
1
+1
1
+0
0.16/0.06
Zantema_
05/
jw41.xml
11764009
s
n
1
+1
1
+0
0.33/0.13
Zantema_
05/
jw42.xml
11764066
s
n
1
+1
1
+0
0.10/0.08
Zantema_
05/
jw43.xml
11764058
s
n
1
+1
1
+0
0.02/0.02
Zantema_
05/
jw44.xml
11764057
s
n
2
+1
1
+0
2.37/0.61
Zantema_
05/
jw47.xml
11764032
s
n
2
+1
1
+0
2.34/0.61
Zantema_
05/
jw50.xml
11764021
s
n
1
+1
1
+0
0.19/0.07
Zantema_
05/
z01.xml
11764043
u
∞
+0
1
+0
738.34/296.13
Zantema_
05/
z02.xml
11764033
s
n
1
+1
1
+0
0.21/0.08
Zantema_
05/
z03.xml
11764022
s
n
1
+1
1
+0
0.85/0.24
Zantema_
05/
z05.xml
11764034
u
∞
+0
1
+0
747.57/296.16
Zantema_
05/
z06.xml
11764041
u
∞
+0
1
+0
511.85/296.24
Zantema_
05/
z07.xml
11764065
u
∞
+0
1
+0
535.31/296.12
Zantema_
05/
z08.xml
11764045
u
∞
+0
1
+0
280.88/167.97
Zantema_
05/
z11.xml
11764069
u
∞
+0
1
+0
423.85/296.06
Zantema_
05/
z12.xml
11764007
u
∞
+0
1
+0
906.97/296.19
Zantema_
05/
z13.xml
11764031
u
∞
+0
1
+0
1181.48/296.28
Zantema_
05/
z14.xml
11764029
u
∞
+0
1
+0
1170.07/296.25
Zantema_
05/
z15.xml
11764008
u
∞
+0
1
+0
1170.94/296.12
Zantema_
05/
z16.xml
11764067
u
∞
+0
1
+0
1172.91/296.21
Zantema_
05/
z17.xml
11764059
u
∞
+0
1
+0
1183.35/296.14
Zantema_
05/
z18.xml
11764071
u
∞
+0
1
+0
1180.14/296.60
Zantema_
05/
z19.xml
11764053
u
∞
+0
1
+0
985.98/296.38
Zantema_
05/
z20.xml
11764015
u
∞
+0
1
+0
613.25/296.38
Zantema_
05/
z21.xml
11764024
u
∞
+0
1
+0
340.28/92.15
Zantema_
05/
z22.xml
11764049
u
∞
+0
1
+0
1140.15/296.20
Zantema_
05/
z23.xml
11764076
u
∞
+0
1
+0
1183.62/296.22
Zantema_
05/
z24.xml
11764075
u
∞
+0
1
+0
1182.02/296.28
Zantema_
05/
z25.xml
11764050
u
∞
+0
1
+0
937.26/296.17
Zantema_
05/
z26.xml
11764023
s
n
2
+1
1
+0
7.22/1.83
Zantema_
05/
z29.xml
11764013
u
∞
+0
1
+0
68.54/39.41
Zantema_
05/
z30.xml
11764039
s
n
1
+1
1
+0
7.49/2.50
HirokawaMiddeldorp_
04/
n002.xml
11763981
u
∞
+0
1
+0
833.89/296.02
HirokawaMiddeldorp_
04/
n003.xml
11763985
u
∞
+0
1
+0
698.05/296.04
HirokawaMiddeldorp_
04/
n004.xml
11763984
u
∞
+0
1
+0
754.53/296.10
HirokawaMiddeldorp_
04/
n005.xml
11763982
u
∞
+0
1
+0
865.26/296.14
HirokawaMiddeldorp_
04/
n006.xml
11763979
u
∞
+0
1
+0
674.38/296.12
HirokawaMiddeldorp_
04/
n008.xml
11763978
u
∞
+0
1
+0
775.04/296.12
HirokawaMiddeldorp_
04/
t000.xml
11763973
u
∞
+0
1
+0
118.29/43.43
HirokawaMiddeldorp_
04/
t004.xml
11763986
u
∞
+0
1
+0
409.13/296.04
HirokawaMiddeldorp_
04/
t006.xml
11763977
s
n
1
+1
1
+0
0.32/0.10
HirokawaMiddeldorp_
04/
t007.xml
11763972
s
n
1
+1
1
+0
0.95/0.26
HirokawaMiddeldorp_
04/
t008.xml
11763976
u
∞
+0
1
+0
1132.33/296.18
HirokawaMiddeldorp_
04/
t009.xml
11763974
u
timeout (wallclock)
HirokawaMiddeldorp_
04/
t010.xml
11763980
s
n
1
+1
1
+0
0.78/0.22
HirokawaMiddeldorp_
04/
t011.xml
11763975
s
n
2
+1
1
+0
2.12/0.55
HirokawaMiddeldorp_
04/
t012.xml
11763983
u
∞
+0
1
+0
379.42/296.13
Secret_
06_
TRS/
10.xml
11763994
s
n
1
+1
1
+0
0.21/0.08
Secret_
06_
TRS/
2.xml
11763995
u
∞
+0
1
+0
1112.58/296.30
Secret_
06_
TRS/
3.xml
11763998
u
∞
+0
1
+0
494.68/239.24
Secret_
06_
TRS/
4.xml
11763997
u
∞
+0
1
+0
406.82/126.54
Secret_
06_
TRS/
5.xml
11763996
u
∞
+0
1
+0
499.77/296.17
Secret_
06_
TRS/
6.xml
11763990
s
n
3
+1
1
+0
16.39/4.28
Secret_
06_
TRS/
7.xml
11763988
u
∞
+0
1
+0
1042.98/296.19
Secret_
06_
TRS/
8.xml
11763991
s
n
1
+1
1
+0
0.53/0.16
Secret_
06_
TRS/
9.xml
11763987
s
n
1
+1
1
+0
0.33/0.11
Secret_
06_
TRS/
tpa01.xml
11763993
u
∞
+0
1
+0
14.68/5.44
Secret_
06_
TRS/
tpa02.xml
11763992
u
∞
+0
1
+0
13.58/5.09
Secret_
06_
TRS/
tpa03.xml
11763989
u
∞
+0
1
+0
16.60/6.48
Secret_
05_
TRS/
matchbox2.xml
11764222
s
n
1
+1
1
+0
0.17/0.06
Secret_
05_
TRS/
teparla1.xml
11764218
u
∞
+0
1
+0
439.51/271.64
Secret_
05_
TRS/
teparla2.xml
11764219
u
∞
+0
1
+0
43.28/19.11
Secret_
05_
TRS/
teparla3.xml
11764220
u
∞
+0
1
+0
36.73/15.42
Secret_
05_
TRS/
ttt2.xml
11764221
u
∞
+0
1
+0
446.29/296.12
Various_
04/
07.xml
11764229
s
n
1
+1
1
+0
0.19/0.07
Various_
04/
15.xml
11764224
u
∞
+0
1
+0
444.89/296.12
Various_
04/
18.xml
11764226
u
∞
+0
1
+0
167.75/94.20
Various_
04/
19.xml
11764231
u
∞
+0
1
+0
21.36/8.72
Various_
04/
21.xml
11764223
u
∞
+0
1
+0
644.46/296.34
Various_
04/
23.xml
11764228
s
n
2
+1
1
+0
2.24/0.59
Various_
04/
24.xml
11764227
u
∞
+0
1
+0
1041.67/296.22
Various_
04/
25.xml
11764230
s
n
1
+1
1
+0
0.08/0.04
Various_
04/
27.xml
11764225
s
n
1
+1
1
+0
0.12/0.06
AotoYamada_
05/
005.xml
11764193
s
n
2
+1
1
+0
4.71/1.21
AotoYamada_
05/
017.xml
11764196
s
n
1
+1
1
+0
0.10/0.05
AotoYamada_
05/
023.xml
11764194
s
n
2
+1
1
+0
2.20/0.61
AotoYamada_
05/
025.xml
11764195
s
n
1
+1
1
+0
0.08/0.04
Secret_
07_
SRS/
dj.xml
11764217
u
∞
+0
1
+0
555.70/296.17
Secret_
07_
SRS/
num-514.xml
11764204
u
∞
+0
1
+0
1136.18/296.21
Secret_
07_
SRS/
num-515.xml
11764205
u
∞
+0
1
+0
946.79/296.14
Secret_
07_
SRS/
num-518.xml
11764210
u
∞
+0
1
+0
1112.43/296.24
Secret_
07_
SRS/
num-519.xml
11764216
u
∞
+0
1
+0
991.03/296.22
Secret_
07_
SRS/
num-520.xml
11764207
u
∞
+0
1
+0
1149.77/296.09
Secret_
07_
SRS/
num-521.xml
11764201
u
∞
+0
1
+0
1077.91/296.13
Secret_
07_
SRS/
num-525.xml
11764215
u
∞
+0
1
+0
1130.07/296.15
Secret_
07_
SRS/
num-527.xml
11764209
u
∞
+0
1
+0
1116.02/296.12
Secret_
07_
SRS/
num-530.xml
11764198
u
∞
+0
1
+0
969.89/296.20
Secret_
07_
SRS/
num-539.xml
11764197
u
∞
+0
1
+0
1025.02/296.10
Secret_
07_
SRS/
x01.xml
11764202
u
∞
+0
1
+0
449.79/296.10
Secret_
07_
SRS/
x02.xml
11764213
u
∞
+0
1
+0
687.70/296.05
Secret_
07_
SRS/
x03.xml
11764212
u
∞
+0
1
+0
663.60/296.22
Secret_
07_
SRS/
x04.xml
11764211
u
∞
+0
1
+0
699.58/296.27
Secret_
07_
SRS/
x05.xml
11764214
u
∞
+0
1
+0
1001.73/296.13
Secret_
07_
SRS/
x06.xml
11764200
u
∞
+0
1
+0
809.49/296.18
Secret_
07_
SRS/
x07.xml
11764208
u
∞
+0
1
+0
967.89/296.30
Secret_
07_
SRS/
x08.xml
11764203
u
∞
+0
1
+0
566.18/296.21
Secret_
07_
SRS/
x09.xml
11764206
u
∞
+0
1
+0
1012.45/296.23
Secret_
07_
SRS/
x10.xml
11764199
u
∞
+0
1
+0
504.19/296.27
Endrullis_
06/
direct.xml
11764167
s
n
1
+1
1
+0
0.80/0.22
Endrullis_
06/
linear1.xml
11764168
u
∞
+0
1
+0
771.29/296.19
Endrullis_
06/
linear2.xml
11764172
u
∞
+0
1
+0
1124.24/296.20
Endrullis_
06/
pair3rotate.xml
11764171
u
∞
+0
1
+0
182.97/45.88
Endrullis_
06/
pair3swap.xml
11764170
u
∞
+0
1
+0
88.51/25.34
Endrullis_
06/
quadruple1.xml
11764169
s
n
1
+1
1
+0
0.35/0.14
Endrullis_
06/
quadruple2.xml
11764173
s
n
2
+1
1
+0
9.84/2.49
Waldmann_
06_
SRS/
e.xml
11764181
u
∞
+0
1
+0
1183.02/296.42
Waldmann_
06_
SRS/
jw1.xml
11764179
u
∞
+0
1
+0
1152.98/296.27
Waldmann_
06_
SRS/
jw3.xml
11764185
u
∞
+0
1
+0
1180.09/296.22
Waldmann_
06_
SRS/
jw4.xml
11764186
u
timeout (wallclock)
Waldmann_
06_
SRS/
jw5.xml
11764192
u
timeout (wallclock)
Waldmann_
06_
SRS/
pi.xml
11764180
s
n
4
+1
1
+0
50.19/12.64
Waldmann_
06_
SRS/
sym-1.xml
11764191
u
∞
+0
1
+0
469.79/296.36
Waldmann_
06_
SRS/
sym-2.xml
11764176
u
∞
+0
1
+0
506.12/296.24
Waldmann_
06_
SRS/
sym-4.xml
11764183
u
∞
+0
1
+0
462.74/296.14
Waldmann_
06_
SRS/
sym-5.xml
11764178
u
∞
+0
1
+0
963.81/296.29
Waldmann_
06_
SRS/
sym-6.xml
11764190
u
∞
+0
1
+0
479.73/296.16
Waldmann_
06_
SRS/
uni-1.xml
11764187
u
∞
+0
1
+0
498.32/296.17
Waldmann_
06_
SRS/
uni-2.xml
11764184
u
∞
+0
1
+0
815.88/296.56
Waldmann_
06_
SRS/
uni-3.xml
11764175
u
∞
+0
1
+0
532.36/296.24
Waldmann_
06_
SRS/
uni-4.xml
11764177
u
∞
+0
1
+0
801.63/296.39
Waldmann_
06_
SRS/
uni-5.xml
11764182
u
∞
+0
1
+0
466.85/296.16
Waldmann_
06_
SRS/
uni-6.xml
11764188
u
∞
+0
1
+0
1061.73/296.28
Waldmann_
06_
SRS/
uni-7.xml
11764189
u
∞
+0
1
+0
1143.10/296.36
Waldmann_
06_
SRS/
z086-variant.xml
11764174
u
∞
+0
1
+0
287.37/81.27
Applicative_
05/
Ex2_
6_
1Composition.xml
11764162
s
n
1
+1
1
+0
0.10/0.04
Applicative_
05/
ReverseLastInit.xml
11764163
u
∞
+0
1
+0
324.15/296.12
Applicative_
05/
TypeEx5.xml
11764164
u
∞
+0
1
+0
673.64/296.12
AProVE_
08/
round.xml
11764165
u
∞
+0
1
+0
473.50/296.03
AProVE_
08/
round_
nonterm.xml
11764166
u
∞
+0
1
+0
136.22/101.82
Zantema_
04/
syracuse.xml
11765101
u
∞
+0
1
+0
1183.36/296.23
Zantema_
04/
z001.xml
11765107
u
∞
+0
1
+0
1058.14/296.04
Zantema_
04/
z002.xml
11765183
s
n
1
+1
1
+0
1.04/0.29
Zantema_
04/
z003.xml
11765144
s
n
1
+1
1
+0
0.53/0.16
Zantema_
04/
z004.xml
11765140
s
n
1
+1
1
+0
0.50/0.15
Zantema_
04/
z005.xml
11765184
s
n
1
+1
1
+0
0.70/0.21
Zantema_
04/
z006.xml
11765104
s
n
2
+1
1
+0
2.02/0.53
Zantema_
04/
z007.xml
11765124
s
n
2
+1
1
+0
2.35/0.61
Zantema_
04/
z008.xml
11765102
u
∞
+0
1
+0
1180.53/296.73
Zantema_
04/
z009.xml
11765126
s
n
3
+1
1
+0
6.82/1.74
Zantema_
04/
z010.xml
11765074
u
∞
+0
1
+0
1143.38/296.19
Zantema_
04/
z011.xml
11765122
u
∞
+0
1
+0
1148.22/296.13
Zantema_
04/
z012.xml
11765167
u
∞
+0
1
+0
1130.32/296.18
Zantema_
04/
z013.xml
11765189
u
∞
+0
1
+0
945.01/296.17
Zantema_
04/
z014.xml
11765187
u
∞
+0
1
+0
1034.83/296.17
Zantema_
04/
z015.xml
11765168
u
∞
+0
1
+0
652.17/296.19
Zantema_
04/
z017.xml
11765075
u
∞
+0
1
+0
1072.59/296.10
Zantema_
04/
z018.xml
11765120
u
∞
+0
1
+0
1049.99/296.14
Zantema_
04/
z019.xml
11765076
u
∞
+0
1
+0
997.61/296.12
Zantema_
04/
z020.xml
11765156
u
∞
+0
1
+0
1081.73/296.14
Zantema_
04/
z021.xml
11765199
u
∞
+0
1
+0
1067.43/296.13
Zantema_
04/
z022.xml
11765084
u
∞
+0
1
+0
928.37/296.28
Zantema_
04/
z023.xml
11765112
u
∞
+0
1
+0
905.49/296.28
Zantema_
04/
z024.xml
11765111
s
n
2
+1
1
+0
10.32/2.64
Zantema_
04/
z025.xml
11765089
s
n
2
+1
1
+0
7.41/1.92
Zantema_
04/
z026.xml
11765198
u
∞
+0
1
+0
1128.98/296.25
Zantema_
04/
z027.xml
11765159
s
n
1
+1
1
+0
3.12/0.81
Zantema_
04/
z028.xml
11765196
u
∞
+0
1
+0
1161.44/296.23
Zantema_
04/
z029.xml
11765162
s
n
1
+1
1
+0
5.51/1.57
Zantema_
04/
z030.xml
11765170
u
∞
+0
1
+0
1168.53/297.83
Zantema_
04/
z031.xml
11765154
u
timeout (cpu)
Zantema_
04/
z032.xml
11765134
s
n
1
+1
1
+0
5.60/1.44
Zantema_
04/
z033.xml
11765093
s
n
1
+1
1
+0
13.94/3.51
Zantema_
04/
z034.xml
11765092
u
∞
+0
1
+0
1080.92/296.17
Zantema_
04/
z035.xml
11765139
u
∞
+0
1
+0
1104.52/296.29
Zantema_
04/
z036.xml
11765153
u
∞
+0
1
+0
1165.06/296.18
Zantema_
04/
z037.xml
11765173
s
n
1
+1
1
+0
5.01/1.30
Zantema_
04/
z038.xml
11765151
u
∞
+0
1
+0
1186.04/296.21
Zantema_
04/
z039.xml
11765176
s
n
1
+1
1
+0
5.37/1.38
Zantema_
04/
z040.xml
11765133
s
n
1
+1
1
+0
4.80/1.24
Zantema_
04/
z041.xml
11765097
u
∞
+0
1
+0
1161.98/296.23
Zantema_
04/
z042.xml
11765178
u
timeout (cpu)
Zantema_
04/
z043.xml
11765148
s
n
1
+1
1
+0
7.54/1.95
Zantema_
04/
z044.xml
11765150
u
∞
+0
1
+0
1114.29/296.12
Zantema_
04/
z045.xml
11765175
s
n
1
+1
1
+0
116.44/29.86
Zantema_
04/
z046.xml
11765099
u
∞
+0
1
+0
1171.65/296.15
Zantema_
04/
z047.xml
11765130
s
n
1
+1
1
+0
19.57/5.00
Zantema_
04/
z048.xml
11765091
s
n
1
+1
1
+0
16.33/4.13
Zantema_
04/
z049.xml
11765138
s
n
1
+1
1
+0
0.10/0.07
Zantema_
04/
z050.xml
11765081
s
n
1
+1
1
+0
0.06/0.08
Zantema_
04/
z051.xml
11765114
s
n
1
+1
1
+0
0.20/0.07
Zantema_
04/
z052.xml
11765163
s
n
1
+1
1
+0
2.09/0.54
Zantema_
04/
z053.xml
11765192
s
n
1
+1
1
+0
0.07/0.04
Zantema_
04/
z054.xml
11765194
s
n
1
+1
1
+0
1.95/0.54
Zantema_
04/
z055.xml
11765160
s
n
1
+1
1
+0
1.88/0.49
Zantema_
04/
z056.xml
11765117
s
n
1
+1
1
+0
1.31/0.35
Zantema_
04/
z057.xml
11765079
s
n
1
+1
1
+0
0.05/0.03
Zantema_
04/
z058.xml
11765108
s
n
1
+1
1
+0
0.10/0.07
Zantema_
04/
z059.xml
11765086
s
n
1
+1
1
+0
1.78/0.47
Zantema_
04/
z060.xml
11765166
s
n
1
+1
1
+0
0.12/0.05
Zantema_
04/
z061.xml
11765190
s
n
1
+1
1
+0
0.12/0.05
Zantema_
04/
z062.xml
11765078
s
n
1
+1
1
+0
2.82/0.72
Zantema_
04/
z063.xml
11765119
s
n
1
+1
1
+0
2.22/0.58
Zantema_
04/
z064.xml
11765121
s
n
1
+1
1
+0
0.14/0.06
Zantema_
04/
z065.xml
11765077
u
∞
+0
1
+0
1179.17/296.41
Zantema_
04/
z066.xml
11765191
s
n
2
+1
1
+0
8.75/2.23
Zantema_
04/
z067.xml
11765165
s
n
2
+1
1
+0
13.91/3.52
Zantema_
04/
z068.xml
11765188
u
∞
+0
1
+0
655.78/296.40
Zantema_
04/
z069.xml
11765169
u
∞
+0
1
+0
962.20/296.09
Zantema_
04/
z070.xml
11765181
u
∞
+0
1
+0
651.97/296.18
Zantema_
04/
z071.xml
11765145
u
∞
+0
1
+0
513.05/296.18
Zantema_
04/
z072.xml
11765128
u
∞
+0
1
+0
1058.93/296.19
Zantema_
04/
z073.xml
11765100
u
∞
+0
1
+0
1182.56/296.19
Zantema_
04/
z074.xml
11765103
u
∞
+0
1
+0
1183.80/296.38
Zantema_
04/
z075.xml
11765127
u
∞
+0
1
+0
1183.18/296.21
Zantema_
04/
z076.xml
11765146
u
∞
+0
1
+0
457.13/296.14
Zantema_
04/
z077.xml
11765179
u
∞
+0
1
+0
1028.62/296.14
Zantema_
04/
z078.xml
11765142
u
∞
+0
1
+0
549.43/296.07
Zantema_
04/
z079.xml
11765186
u
∞
+0
1
+0
1182.10/296.15
Zantema_
04/
z080.xml
11765115
u
∞
+0
1
+0
440.12/296.13
Zantema_
04/
z081.xml
11765082
u
∞
+0
1
+0
1061.38/296.19
Zantema_
04/
z082.xml
11765193
u
∞
+0
1
+0
784.26/296.27
Zantema_
04/
z083.xml
11765164
u
∞
+0
1
+0
1169.16/296.34
Zantema_
04/
z084.xml
11765161
s
n
2
+1
1
+0
6.58/1.67
Zantema_
04/
z085.xml
11765195
s
n
1
+1
1
+0
0.63/0.18
Zantema_
04/
z086.xml
11765080
u
∞
+0
1
+0
1181.99/296.17
Zantema_
04/
z087.xml
11765118
s
n
2
+1
1
+0
8.78/2.23
Zantema_
04/
z088.xml
11765087
u
∞
+0
1
+0
865.21/296.43
Zantema_
04/
z089.xml
11765109
u
∞
+0
1
+0
940.96/296.11
Zantema_
04/
z090.xml
11765096
u
∞
+0
1
+0
976.04/296.32
Zantema_
04/
z091.xml
11765132
u
∞
+0
1
+0
1183.48/296.38
Zantema_
04/
z092.xml
11765147
s
n
2
+1
1
+0
8.35/2.16
Zantema_
04/
z093.xml
11765177
s
n
2
+1
1
+0
4.51/1.15
Zantema_
04/
z094.xml
11765174
u
∞
+0
1
+0
924.12/296.23
Zantema_
04/
z095.xml
11765149
s
n
1
+1
1
+0
2.65/0.71
Zantema_
04/
z096.xml
11765129
u
∞
+0
1
+0
1185.13/296.24
Zantema_
04/
z097.xml
11765098
s
n
1
+1
1
+0
11.69/2.99
Zantema_
04/
z098.xml
11765137
u
∞
+0
1
+0
1092.62/296.16
Zantema_
04/
z100.xml
11765110
u
∞
+0
1
+0
767.65/296.18
Zantema_
04/
z101.xml
11765088
s
n
1
+1
1
+0
1.99/0.56
Zantema_
04/
z102.xml
11765197
s
n
1
+1
1
+0
3.14/0.81
Zantema_
04/
z103.xml
11765158
u
∞
+0
1
+0
908.84/296.28
Zantema_
04/
z104.xml
11765157
s
n
1
+1
1
+0
12.81/3.24
Zantema_
04/
z105.xml
11765200
u
∞
+0
1
+0
380.76/109.22
Zantema_
04/
z106.xml
11765085
u
∞
+0
1
+0
682.14/296.14
Zantema_
04/
z107.xml
11765113
s
n
1
+1
1
+0
10.91/2.77
Zantema_
04/
z108.xml
11765083
s
n
1
+1
1
+0
4.06/1.04
Zantema_
04/
z109.xml
11765116
s
n
1
+1
1
+0
3.07/0.79
Zantema_
04/
z110.xml
11765090
u
∞
+0
1
+0
934.87/296.20
Zantema_
04/
z111.xml
11765136
u
∞
+0
1
+0
748.92/296.17
Zantema_
04/
z112.xml
11765152
s
n
1
+1
1
+0
15.61/3.93
Zantema_
04/
z113.xml
11765172
u
∞
+0
1
+0
803.74/221.60
Zantema_
04/
z114.xml
11765171
u
∞
+0
1
+0
884.87/296.27
Zantema_
04/
z115.xml
11765155
s
n
2
+1
1
+0
26.75/6.73
Zantema_
04/
z116.xml
11765135
s
n
1
+1
1
+0
2.62/0.68
Zantema_
04/
z117.xml
11765094
u
∞
+0
1
+0
859.36/296.23
Zantema_
04/
z118.xml
11765131
u
∞
+0
1
+0
334.89/105.53
Zantema_
04/
z119.xml
11765095
u
∞
+0
1
+0
1039.69/296.20
Zantema_
04/
z120.xml
11765141
u
∞
+0
1
+0
789.43/296.56
Zantema_
04/
z121.xml
11765185
u
∞
+0
1
+0
1025.18/296.17
Zantema_
04/
z122.xml
11765105
u
∞
+0
1
+0
1153.84/296.19
Zantema_
04/
z123.xml
11765125
u
∞
+0
1
+0
1089.26/296.23
Zantema_
04/
z124.xml
11765123
s
n
2
+1
1
+0
7.80/1.99
Zantema_
04/
z125.xml
11765106
u
∞
+0
1
+0
645.58/296.09
Zantema_
04/
z126.xml
11765182
s
n
1
+1
1
+0
3.58/0.93
Zantema_
04/
z127.xml
11765143
u
∞
+0
1
+0
1072.48/296.19
Zantema_
04/
z128.xml
11765180
u
∞
+0
1
+0
1134.36/296.20
AG01/
#3.12.xml
11765213
u
∞
+0
1
+0
621.43/221.22
AG01/
#3.15.xml
11765212
s
n
2
+1
1
+0
3.78/0.97
AG01/
#3.17.xml
11765207
u
∞
+0
1
+0
647.61/297.70
AG01/
#3.17a.xml
11765206
u
∞
+0
1
+0
187.55/51.42
AG01/
#3.24.xml
11765203
s
n
1
+1
1
+0
0.31/0.10
AG01/
#3.26.xml
11765211
u
∞
+0
1
+0
1046.92/296.20
AG01/
#3.33.xml
11765208
s
n
1
+1
1
+0
0.17/0.07
AG01/
#3.35.xml
11765205
s
n
2
+1
1
+0
3.07/0.79
AG01/
#3.37.xml
11765209
s
n
1
+1
1
+0
0.17/0.07
AG01/
#3.49.xml
11765204
u
∞
+0
1
+0
1027.83/296.20
AG01/
#3.51.xml
11765202
s
n
1
+1
1
+0
0.24/0.08
AG01/
#3.56.xml
11765201
s
n
2
+1
1
+0
6.39/1.63
AG01/
#3.7.xml
11765210
s
n
2
+1
1
+0
9.52/2.41
Mixed_
SRS/
01-oppelt08.xml
11764471
u
∞
+0
1
+0
1182.91/296.13
Mixed_
SRS/
01.xml
11764469
u
∞
+0
1
+0
862.98/296.31
Mixed_
SRS/
02-oppelt08.xml
11764474
u
∞
+0
1
+0
1024.86/296.16
Mixed_
SRS/
02.xml
11764459
u
∞
+0
1
+0
1008.49/296.24
Mixed_
SRS/
03-oppelt08.xml
11764473
u
∞
+0
1
+0
904.88/296.18
Mixed_
SRS/
03.xml
11764453
u
∞
+0
1
+0
1002.06/296.48
Mixed_
SRS/
04-oppelt08.xml
11764466
u
∞
+0
1
+0
1054.00/296.19
Mixed_
SRS/
04.xml
11764454
u
∞
+0
1
+0
980.68/296.28
Mixed_
SRS/
05-oppelt08.xml
11764467
u
∞
+0
1
+0
1121.81/296.21
Mixed_
SRS/
05.xml
11764458
u
∞
+0
1
+0
995.67/296.37
Mixed_
SRS/
06-oppelt08.xml
11764464
u
∞
+0
1
+0
1123.02/296.12
Mixed_
SRS/
06.xml
11764470
u
∞
+0
1
+0
944.82/296.36
Mixed_
SRS/
07-oppelt08.xml
11764462
u
∞
+0
1
+0
1183.02/296.13
Mixed_
SRS/
07.xml
11764477
u
∞
+0
1
+0
566.69/296.58
Mixed_
SRS/
08-oppelt08.xml
11764475
u
∞
+0
1
+0
1172.34/296.92
Mixed_
SRS/
08.xml
11764468
u
∞
+0
1
+0
703.92/296.42
Mixed_
SRS/
09.xml
11764478
u
∞
+0
1
+0
879.73/296.60
Mixed_
SRS/
1.xml
11764465
u
∞
+0
1
+0
1127.68/296.22
Mixed_
SRS/
2.xml
11764461
u
∞
+0
1
+0
1063.61/296.26
Mixed_
SRS/
3.xml
11764456
s
n
2
+1
1
+0
141.26/40.76
Mixed_
SRS/
4.xml
11764457
u
∞
+0
1
+0
1186.01/296.27
Mixed_
SRS/
s6.xml
11764476
s
n
2
+1
1
+0
178.57/45.46
Mixed_
SRS/
touzet.xml
11764455
u
∞
+0
1
+0
466.90/296.14
Mixed_
SRS/
turing_
add.xml
11764460
s
n
2
+1
1
+0
4.69/1.20
Mixed_
SRS/
turing_
copy.xml
11764463
u
∞
+0
1
+0
1182.95/296.33
Mixed_
SRS/
turing_
mult.xml
11764472
u
∞
+0
1
+0
1183.19/296.28
ICFP_
2010/
107193.xml
11764757
u
timeout (cpu)
ICFP_
2010/
107220.xml
11764741
u
timeout (cpu)
ICFP_
2010/
107236.xml
11764635
u
timeout (cpu)
ICFP_
2010/
123759.xml
11765000
u
timeout (cpu)
ICFP_
2010/
124211.xml
11764914
u
timeout (cpu)
ICFP_
2010/
124269.xml
11764678
u
timeout (cpu)
ICFP_
2010/
124791.xml
11764595
u
timeout (cpu)
ICFP_
2010/
127538.xml
11764696
u
timeout (cpu)
ICFP_
2010/
128056.xml
11764606
u
timeout (cpu)
ICFP_
2010/
128182.xml
11764859
u
timeout (cpu)
ICFP_
2010/
128280.xml
11764764
u
timeout (cpu)
ICFP_
2010/
128430.xml
11764593
u
timeout (cpu)
ICFP_
2010/
128486.xml
11765023
u
timeout (cpu)
ICFP_
2010/
128515.xml
11764709
u
timeout (cpu)
ICFP_
2010/
128550.xml
11764948
u
timeout (cpu)
ICFP_
2010/
128620.xml
11764546
u
timeout (cpu)
ICFP_
2010/
128691.xml
11764943
u
timeout (cpu)
ICFP_
2010/
130161.xml
11764614
u
timeout (cpu)
ICFP_
2010/
130304.xml
11764734
u
timeout (cpu)
ICFP_
2010/
130472.xml
11764732
u
timeout (cpu)
ICFP_
2010/
130962.xml
11764557
u
timeout (cpu)
ICFP_
2010/
131633.xml
11764908
u
timeout (cpu)
ICFP_
2010/
131982.xml
11764491
u
timeout (cpu)
ICFP_
2010/
132235.xml
11764824
u
timeout (cpu)
ICFP_
2010/
132478.xml
11764868
u
timeout (cpu)
ICFP_
2010/
132540.xml
11764737
u
timeout (cpu)
ICFP_
2010/
132611.xml
11764605
u
timeout (cpu)
ICFP_
2010/
132622.xml
11764753
u
timeout (cpu)
ICFP_
2010/
132720.xml
11765005
u
timeout (cpu)
ICFP_
2010/
132738.xml
11764971
u
timeout (cpu)
ICFP_
2010/
132782.xml
11764891
u
timeout (cpu)
ICFP_
2010/
132833.xml
11764511
u
timeout (cpu)
ICFP_
2010/
132848.xml
11764499
u
timeout (cpu)
ICFP_
2010/
132864.xml
11764765
u
timeout (cpu)
ICFP_
2010/
132920.xml
11764875
u
timeout (cpu)
ICFP_
2010/
132957.xml
11764536
u
timeout (cpu)
ICFP_
2010/
132969.xml
11764906
u
timeout (cpu)
ICFP_
2010/
133010.xml
11764747
u
timeout (cpu)
ICFP_
2010/
133079.xml
11764882
u
timeout (cpu)
ICFP_
2010/
133159.xml
11764636
u
timeout (wallclock)
ICFP_
2010/
133236.xml
11764878
u
timeout (cpu)
ICFP_
2010/
133432.xml
11764788
u
timeout (cpu)
ICFP_
2010/
133486.xml
11765044
u
timeout (cpu)
ICFP_
2010/
133532.xml
11764863
u
timeout (cpu)
ICFP_
2010/
133827.xml
11764670
u
timeout (cpu)
ICFP_
2010/
133881.xml
11765022
u
timeout (cpu)
ICFP_
2010/
134918.xml
11764588
u
timeout (wallclock)
ICFP_
2010/
135115.xml
11764779
u
timeout (cpu)
ICFP_
2010/
135328.xml
11764805
u
timeout (cpu)
ICFP_
2010/
135410.xml
11764829
u
timeout (cpu)
ICFP_
2010/
135505.xml
11764712
u
timeout (cpu)
ICFP_
2010/
135601.xml
11765038
u
timeout (cpu)
ICFP_
2010/
135604.xml
11764655
u
timeout (cpu)
ICFP_
2010/
135652.xml
11764763
u
timeout (cpu)
ICFP_
2010/
135659.xml
11764952
u
timeout (cpu)
ICFP_
2010/
135714.xml
11764519
u
timeout (cpu)
ICFP_
2010/
135782.xml
11764484
u
timeout (cpu)
ICFP_
2010/
135936.xml
11764555
u
timeout (cpu)
ICFP_
2010/
136051.xml
11764881
u
timeout (cpu)
ICFP_
2010/
136280.xml
11765041
u
timeout (cpu)
ICFP_
2010/
136323.xml
11764929
u
timeout (cpu)
ICFP_
2010/
136354.xml
11764739
u
timeout (cpu)
ICFP_
2010/
136463.xml
11764597
u
timeout (cpu)
ICFP_
2010/
136497.xml
11764625
u
timeout (cpu)
ICFP_
2010/
136534.xml
11764723
u
timeout (cpu)
ICFP_
2010/
136562.xml
11764618
u
timeout (cpu)
ICFP_
2010/
136571.xml
11764927
u
timeout (cpu)
ICFP_
2010/
136601.xml
11764520
u
timeout (cpu)
ICFP_
2010/
136623.xml
11764722
u
timeout (cpu)
ICFP_
2010/
136693.xml
11764998
u
timeout (cpu)
ICFP_
2010/
136934.xml
11764705
u
timeout (cpu)
ICFP_
2010/
137087.xml
11764749
u
timeout (cpu)
ICFP_
2010/
137136.xml
11764781
u
timeout (cpu)
ICFP_
2010/
137316.xml
11764487
u
timeout (cpu)
ICFP_
2010/
137404.xml
11764581
u
timeout (cpu)
ICFP_
2010/
137621.xml
11764497
u
timeout (cpu)
ICFP_
2010/
137623.xml
11764894
u
timeout (cpu)
ICFP_
2010/
137715.xml
11764725
u
timeout (cpu)
ICFP_
2010/
137799.xml
11765057
u
timeout (cpu)
ICFP_
2010/
137809.xml
11764973
u
timeout (cpu)
ICFP_
2010/
137956.xml
11764957
u
timeout (cpu)
ICFP_
2010/
138089.xml
11764672
u
timeout (cpu)
ICFP_
2010/
138142.xml
11765064
u
timeout (cpu)
ICFP_
2010/
138194.xml
11765072
u
timeout (cpu)
ICFP_
2010/
138254.xml
11764870
u
timeout (cpu)
ICFP_
2010/
138269.xml
11765033
u
timeout (cpu)
ICFP_
2010/
138330.xml
11764895
u
timeout (cpu)
ICFP_
2010/
138468.xml
11764766
u
timeout (cpu)
ICFP_
2010/
138477.xml
11764645
u
timeout (cpu)
ICFP_
2010/
138993.xml
11764770
u
timeout (cpu)
ICFP_
2010/
139004.xml
11764641
u
timeout (wallclock)
ICFP_
2010/
139018.xml
11764837
u
timeout (cpu)
ICFP_
2010/
139025.xml
11764965
u
timeout (cpu)
ICFP_
2010/
139036.xml
11764667
u
timeout (cpu)
ICFP_
2010/
139100.xml
11764802
u
timeout (cpu)
ICFP_
2010/
139163.xml
11764921
u
timeout (cpu)
ICFP_
2010/
139167.xml
11764687
u
timeout (cpu)
ICFP_
2010/
139174.xml
11764976
u
timeout (cpu)
ICFP_
2010/
139180.xml
11764867
u
timeout (cpu)
ICFP_
2010/
139185.xml
11764540
u
timeout (cpu)
ICFP_
2010/
139190.xml
11764934
u
timeout (cpu)
ICFP_
2010/
139214.xml
11764716
u
timeout (cpu)
ICFP_
2010/
139236.xml
11764526
u
timeout (wallclock)
ICFP_
2010/
139256.xml
11764935
u
timeout (cpu)
ICFP_
2010/
139282.xml
11764758
u
timeout (cpu)
ICFP_
2010/
139310.xml
11764874
u
timeout (cpu)
ICFP_
2010/
139378.xml
11764571
u
timeout (cpu)
ICFP_
2010/
140287.xml
11764579
u
timeout (cpu)
ICFP_
2010/
140318.xml
11764530
u
timeout (cpu)
ICFP_
2010/
140359.xml
11764686
u
timeout (cpu)
ICFP_
2010/
140631.xml
11764746
u
timeout (wallclock)
ICFP_
2010/
140639.xml
11764561
u
timeout (cpu)
ICFP_
2010/
140654.xml
11764543
u
timeout (cpu)
ICFP_
2010/
140659.xml
11765050
u
timeout (wallclock)
ICFP_
2010/
140664.xml
11764919
u
timeout (cpu)
ICFP_
2010/
142142.xml
11765035
u
timeout (wallclock)
ICFP_
2010/
142146.xml
11764513
u
timeout (wallclock)
ICFP_
2010/
142150.xml
11764587
u
timeout (cpu)
ICFP_
2010/
142157.xml
11764583
u
timeout (cpu)
ICFP_
2010/
147437.xml
11764977
u
timeout (cpu)
ICFP_
2010/
148543.xml
11764780
u
timeout (cpu)
ICFP_
2010/
149251.xml
11764729
u
timeout (cpu)
ICFP_
2010/
149277.xml
11765051
u
timeout (cpu)
ICFP_
2010/
149297.xml
11764501
u
timeout (cpu)
ICFP_
2010/
149319.xml
11764510
u
timeout (cpu)
ICFP_
2010/
149361.xml
11765039
u
timeout (cpu)
ICFP_
2010/
149415.xml
11764665
u
timeout (cpu)
ICFP_
2010/
149633.xml
11764794
u
timeout (cpu)
ICFP_
2010/
149713.xml
11764714
u
timeout (cpu)
ICFP_
2010/
149849.xml
11764841
u
timeout (cpu)
ICFP_
2010/
149915.xml
11764756
u
timeout (cpu)
ICFP_
2010/
150067.xml
11765045
u
timeout (cpu)
ICFP_
2010/
150188.xml
11764761
u
timeout (cpu)
ICFP_
2010/
150258.xml
11764628
u
timeout (cpu)
ICFP_
2010/
150468.xml
11764573
u
timeout (cpu)
ICFP_
2010/
150630.xml
11764643
u
timeout (cpu)
ICFP_
2010/
150725.xml
11764892
u
timeout (cpu)
ICFP_
2010/
150815.xml
11764759
u
timeout (cpu)
ICFP_
2010/
150839.xml
11764506
u
timeout (cpu)
ICFP_
2010/
150877.xml
11764529
u
timeout (cpu)
ICFP_
2010/
151247.xml
11764886
u
timeout (cpu)
ICFP_
2010/
152694.xml
11764700
u
timeout (cpu)
ICFP_
2010/
152786.xml
11764838
u
timeout (cpu)
ICFP_
2010/
152865.xml
11765030
u
timeout (cpu)
ICFP_
2010/
152949.xml
11764920
u
timeout (cpu)
ICFP_
2010/
153034.xml
11764846
u
timeout (cpu)
ICFP_
2010/
153090.xml
11764823
u
timeout (cpu)
ICFP_
2010/
153170.xml
11764633
u
timeout (cpu)
ICFP_
2010/
153243.xml
11764718
u
timeout (cpu)
ICFP_
2010/
153288.xml
11765015
u
timeout (cpu)
ICFP_
2010/
153371.xml
11764651
u
timeout (cpu)
ICFP_
2010/
153444.xml
11764853
u
timeout (cpu)
ICFP_
2010/
157150.xml
11764936
u
∞
+0
1
+0
1184.76/296.64
ICFP_
2010/
157161.xml
11764596
u
∞
+0
1
+0
1184.31/296.35
ICFP_
2010/
157275.xml
11764992
u
timeout (cpu)
ICFP_
2010/
157388.xml
11764799
u
∞
+0
1
+0
1185.17/296.29
ICFP_
2010/
157436.xml
11764999
u
∞
+0
1
+0
1183.30/296.33
ICFP_
2010/
157466.xml
11764830
u
timeout (cpu)
ICFP_
2010/
157593.xml
11764832
u
∞
+0
1
+0
1193.67/299.06
ICFP_
2010/
157603.xml
11764910
u
timeout (cpu)
ICFP_
2010/
157713.xml
11765065
u
timeout (cpu)
ICFP_
2010/
158152.xml
11764646
u
∞
+0
1
+0
1184.30/296.51
ICFP_
2010/
158208.xml
11764884
u
timeout (cpu)
ICFP_
2010/
158342.xml
11764745
u
timeout (cpu)
ICFP_
2010/
158477.xml
11764782
u
timeout (cpu)
ICFP_
2010/
158620.xml
11764896
u
timeout (cpu)
ICFP_
2010/
159731.xml
11764752
s
n
2
+1
1
+0
125.92/31.99
ICFP_
2010/
160068.xml
11764505
u
timeout (cpu)
ICFP_
2010/
160210.xml
11764876
u
timeout (cpu)
ICFP_
2010/
160234.xml
11764792
u
∞
+0
1
+0
1182.92/296.30
ICFP_
2010/
160254.xml
11764688
u
timeout (cpu)
ICFP_
2010/
160263.xml
11765070
s
n
3
+1
1
+0
993.11/249.06
ICFP_
2010/
160324.xml
11764946
u
timeout (cpu)
ICFP_
2010/
160364.xml
11764994
u
timeout (cpu)
ICFP_
2010/
160398.xml
11765052
u
timeout (cpu)
ICFP_
2010/
160427.xml
11764932
u
timeout (cpu)
ICFP_
2010/
160462.xml
11764719
u
timeout (cpu)
ICFP_
2010/
160475.xml
11764512
u
timeout (cpu)
ICFP_
2010/
160660.xml
11764825
u
timeout (cpu)
ICFP_
2010/
161519.xml
11764831
u
timeout (cpu)
ICFP_
2010/
161533.xml
11764907
u
timeout (cpu)
ICFP_
2010/
161593.xml
11764653
u
timeout (cpu)
ICFP_
2010/
161864.xml
11765018
u
timeout (cpu)
ICFP_
2010/
161917.xml
11764834
u
timeout (cpu)
ICFP_
2010/
161930.xml
11764654
u
timeout (cpu)
ICFP_
2010/
162016.xml
11764817
u
timeout (cpu)
ICFP_
2010/
162075.xml
11764857
u
timeout (cpu)
ICFP_
2010/
162095.xml
11764684
u
timeout (cpu)
ICFP_
2010/
162244.xml
11764535
u
timeout (cpu)
ICFP_
2010/
165713.xml
11764738
u
timeout (cpu)
ICFP_
2010/
165755.xml
11764608
u
timeout (cpu)
ICFP_
2010/
165904.xml
11764685
u
timeout (wallclock)
ICFP_
2010/
165936.xml
11764626
u
timeout (cpu)
ICFP_
2010/
165975.xml
11764905
u
timeout (cpu)
ICFP_
2010/
166001.xml
11764909
u
timeout (cpu)
ICFP_
2010/
166465.xml
11764492
u
timeout (cpu)
ICFP_
2010/
166493.xml
11764931
u
timeout (cpu)
ICFP_
2010/
166558.xml
11764731
u
timeout (cpu)
ICFP_
2010/
166848.xml
11764559
u
timeout (cpu)
ICFP_
2010/
167041.xml
11764751
u
timeout (cpu)
ICFP_
2010/
167087.xml
11764517
u
timeout (cpu)
ICFP_
2010/
167240.xml
11764730
u
timeout (cpu)
ICFP_
2010/
167294.xml
11764955
u
timeout (cpu)
ICFP_
2010/
167310.xml
11764594
u
timeout (cpu)
ICFP_
2010/
167391.xml
11764639
u
timeout (cpu)
ICFP_
2010/
167433.xml
11765049
u
timeout (cpu)
ICFP_
2010/
167452.xml
11764755
u
timeout (cpu)
ICFP_
2010/
167526.xml
11764516
u
timeout (cpu)
ICFP_
2010/
167636.xml
11764495
u
timeout (cpu)
ICFP_
2010/
167742.xml
11764771
u
timeout (cpu)
ICFP_
2010/
180915.xml
11764592
u
timeout (cpu)
ICFP_
2010/
182946.xml
11764810
u
timeout (cpu)
ICFP_
2010/
183803.xml
11764985
u
timeout (cpu)
ICFP_
2010/
184957.xml
11764983
u
timeout (cpu)
ICFP_
2010/
185453.xml
11764954
u
timeout (cpu)
ICFP_
2010/
185628.xml
11764809
u
timeout (cpu)
ICFP_
2010/
186023.xml
11764514
u
timeout (cpu)
ICFP_
2010/
186222.xml
11764531
u
timeout (cpu)
ICFP_
2010/
186333.xml
11764496
u
timeout (cpu)
ICFP_
2010/
186617.xml
11764778
u
timeout (cpu)
ICFP_
2010/
186775.xml
11764950
u
timeout (cpu)
ICFP_
2010/
186810.xml
11764949
u
timeout (cpu)
ICFP_
2010/
186919.xml
11765009
u
timeout (cpu)
ICFP_
2010/
186973.xml
11764989
u
timeout (cpu)
ICFP_
2010/
187254.xml
11764551
u
timeout (cpu)
ICFP_
2010/
187837.xml
11764966
u
timeout (cpu)
ICFP_
2010/
188004.xml
11764600
u
timeout (cpu)
ICFP_
2010/
188238.xml
11764733
u
timeout (cpu)
ICFP_
2010/
188261.xml
11764518
u
timeout (cpu)
ICFP_
2010/
188296.xml
11764796
u
timeout (cpu)
ICFP_
2010/
188674.xml
11764616
u
timeout (cpu)
ICFP_
2010/
188696.xml
11764483
u
timeout (cpu)
ICFP_
2010/
211471.xml
11764728
u
timeout (wallclock)
ICFP_
2010/
211639.xml
11764720
u
timeout (cpu)
ICFP_
2010/
211857.xml
11765066
s
n
3
+1
1
+0
536.35/134.40
ICFP_
2010/
211915.xml
11764744
u
∞
+0
1
+0
1183.60/296.42
ICFP_
2010/
211960.xml
11764762
u
∞
+0
1
+0
1181.68/296.25
ICFP_
2010/
211978.xml
11764638
s
n
4
+1
1
+0
1159.38/290.85
ICFP_
2010/
212026.xml
11764715
u
∞
+0
1
+0
1182.10/296.40
ICFP_
2010/
212037.xml
11764664
u
∞
+0
1
+0
1181.82/296.34
ICFP_
2010/
212043.xml
11764480
u
∞
+0
1
+0
1187.43/297.51
ICFP_
2010/
212062.xml
11764848
u
∞
+0
1
+0
1184.77/296.75
ICFP_
2010/
212094.xml
11764683
u
∞
+0
1
+0
1182.83/296.34
ICFP_
2010/
212117.xml
11764899
u
∞
+0
1
+0
1182.18/296.41
ICFP_
2010/
212189.xml
11765046
s
n
3
+1
1
+0
667.84/167.49
ICFP_
2010/
212263.xml
11764790
u
∞
+0
1
+0
1183.91/296.44
ICFP_
2010/
212308.xml
11764926
u
∞
+0
1
+0
1182.12/296.32
ICFP_
2010/
212364.xml
11764860
u
∞
+0
1
+0
1183.17/296.34
ICFP_
2010/
212421.xml
11765010
u
∞
+0
1
+0
1184.72/296.76
ICFP_
2010/
212480.xml
11764657
u
∞
+0
1
+0
1183.73/296.36
ICFP_
2010/
212534.xml
11764533
u
∞
+0
1
+0
1182.73/296.40
ICFP_
2010/
212612.xml
11765014
u
∞
+0
1
+0
1188.36/298.28
ICFP_
2010/
212693.xml
11764821
s
n
2
+1
1
+0
87.01/21.84
ICFP_
2010/
212774.xml
11764634
u
∞
+0
1
+0
1181.55/296.37
ICFP_
2010/
212795.xml
11765031
s
n
1
+1
1
+0
21.99/5.57
ICFP_
2010/
212892.xml
11764783
u
∞
+0
1
+0
1185.63/297.49
ICFP_
2010/
213051.xml
11764482
u
∞
+0
1
+0
1185.23/296.66
ICFP_
2010/
213147.xml
11764538
u
∞
+0
1
+0
1181.76/296.26
ICFP_
2010/
213218.xml
11764674
u
∞
+0
1
+0
1183.07/296.36
ICFP_
2010/
213281.xml
11764539
s
n
3
+1
1
+0
153.74/38.58
ICFP_
2010/
213407.xml
11764869
s
n
3
+1
1
+0
750.60/188.23
ICFP_
2010/
213437.xml
11764488
u
∞
+0
1
+0
1183.45/296.27
ICFP_
2010/
213537.xml
11764567
u
∞
+0
1
+0
1182.82/296.48
ICFP_
2010/
213560.xml
11764666
u
∞
+0
1
+0
1182.19/296.28
ICFP_
2010/
213611.xml
11764978
u
timeout (wallclock)
ICFP_
2010/
213719.xml
11764883
u
∞
+0
1
+0
1184.39/296.59
ICFP_
2010/
213865.xml
11764939
u
∞
+0
1
+0
1183.55/296.33
ICFP_
2010/
214011.xml
11764865
u
∞
+0
1
+0
1196.64/299.93
ICFP_
2010/
214091.xml
11764807
u
∞
+0
1
+0
1182.62/296.29
ICFP_
2010/
214169.xml
11764707
s
n
4
+1
1
+0
1138.80/285.46
ICFP_
2010/
214183.xml
11764748
u
∞
+0
1
+0
1184.18/296.43
ICFP_
2010/
214261.xml
11764668
u
∞
+0
1
+0
1183.41/296.29
ICFP_
2010/
214320.xml
11764601
s
n
4
+1
1
+0
564.99/141.64
ICFP_
2010/
230780.xml
11764982
u
timeout (wallclock)
ICFP_
2010/
230819.xml
11765047
u
timeout (cpu)
ICFP_
2010/
230948.xml
11765069
u
timeout (cpu)
ICFP_
2010/
231043.xml
11764586
u
timeout (cpu)
ICFP_
2010/
231149.xml
11765060
u
timeout (cpu)
ICFP_
2010/
231230.xml
11764560
u
timeout (cpu)
ICFP_
2010/
231300.xml
11764861
u
timeout (cpu)
ICFP_
2010/
231378.xml
11764612
u
timeout (cpu)
ICFP_
2010/
231480.xml
11764708
u
timeout (wallclock)
ICFP_
2010/
231604.xml
11765024
u
timeout (cpu)
ICFP_
2010/
24100.xml
11764677
u
timeout (cpu)
ICFP_
2010/
246924.xml
11764692
u
timeout (wallclock)
ICFP_
2010/
247020.xml
11764925
u
timeout (wallclock)
ICFP_
2010/
247254.xml
11764960
u
timeout (wallclock)
ICFP_
2010/
247504.xml
11764629
u
timeout (wallclock)
ICFP_
2010/
247906.xml
11765073
u
timeout (cpu)
ICFP_
2010/
247992.xml
11764662
u
timeout (cpu)
ICFP_
2010/
248060.xml
11765061
u
timeout (wallclock)
ICFP_
2010/
249386.xml
11765003
u
timeout (wallclock)
ICFP_
2010/
249459.xml
11764481
u
timeout (cpu)
ICFP_
2010/
249663.xml
11764494
u
timeout (cpu)
ICFP_
2010/
25192.xml
11764742
s
n
1
+1
1
+0
6.34/2.95
ICFP_
2010/
25388.xml
11764912
u
timeout (cpu)
ICFP_
2010/
25395.xml
11764580
u
timeout (cpu)
ICFP_
2010/
25409.xml
11764553
u
timeout (cpu)
ICFP_
2010/
25416.xml
11764522
u
timeout (cpu)
ICFP_
2010/
25422.xml
11764650
u
timeout (cpu)
ICFP_
2010/
254704.xml
11764827
u
timeout (wallclock)
ICFP_
2010/
25711.xml
11764736
u
timeout (cpu)
ICFP_
2010/
25726.xml
11764967
u
timeout (cpu)
ICFP_
2010/
25731.xml
11764897
s
n
1
+1
1
+0
123.95/31.16
ICFP_
2010/
25734.xml
11764508
u
timeout (cpu)
ICFP_
2010/
25736.xml
11764902
u
timeout (cpu)
ICFP_
2010/
25743.xml
11764917
u
timeout (wallclock)
ICFP_
2010/
25775.xml
11764620
u
timeout (cpu)
ICFP_
2010/
25808.xml
11764740
u
timeout (cpu)
ICFP_
2010/
25849.xml
11764598
u
timeout (cpu)
ICFP_
2010/
259405.xml
11764864
u
timeout (cpu)
ICFP_
2010/
259625.xml
11764558
u
timeout (cpu)
ICFP_
2010/
26069.xml
11764774
u
timeout (cpu)
ICFP_
2010/
26103.xml
11764842
u
timeout (wallclock)
ICFP_
2010/
26105.xml
11764924
u
timeout (cpu)
ICFP_
2010/
26110.xml
11764548
u
timeout (wallclock)
ICFP_
2010/
26116.xml
11764622
u
timeout (cpu)
ICFP_
2010/
26123.xml
11764675
u
timeout (cpu)
ICFP_
2010/
26127.xml
11764915
u
timeout (cpu)
ICFP_
2010/
26130.xml
11764986
u
timeout (cpu)
ICFP_
2010/
26132.xml
11764703
u
timeout (wallclock)
ICFP_
2010/
26186.xml
11764509
u
timeout (cpu)
ICFP_
2010/
26226.xml
11764772
u
timeout (cpu)
ICFP_
2010/
26291.xml
11764507
u
timeout (cpu)
ICFP_
2010/
262998.xml
11765017
u
timeout (cpu)
ICFP_
2010/
263745.xml
11764930
u
timeout (cpu)
ICFP_
2010/
264033.xml
11764735
u
∞
+0
1
+0
1186.09/296.37
ICFP_
2010/
264370.xml
11765021
s
n
1
+1
1
+0
2.91/0.79
ICFP_
2010/
264405.xml
11764485
s
n
1
+1
1
+0
1.32/0.35
ICFP_
2010/
26683.xml
11764689
u
timeout (wallclock)
ICFP_
2010/
26741.xml
11765062
u
timeout (cpu)
ICFP_
2010/
26845.xml
11764743
u
timeout (cpu)
ICFP_
2010/
26862.xml
11764904
u
timeout (cpu)
ICFP_
2010/
26871.xml
11764584
u
timeout (cpu)
ICFP_
2010/
26875.xml
11764958
u
timeout (cpu)
ICFP_
2010/
26879.xml
11764704
u
timeout (cpu)
ICFP_
2010/
26882.xml
11764631
u
timeout (cpu)
ICFP_
2010/
26886.xml
11764880
u
timeout (cpu)
ICFP_
2010/
26896.xml
11764945
u
timeout (cpu)
ICFP_
2010/
26903.xml
11764549
u
timeout (cpu)
ICFP_
2010/
26910.xml
11764839
u
timeout (cpu)
ICFP_
2010/
26916.xml
11764923
u
timeout (cpu)
ICFP_
2010/
26919.xml
11764814
u
timeout (cpu)
ICFP_
2010/
26923.xml
11764987
u
timeout (cpu)
ICFP_
2010/
26927.xml
11764604
u
timeout (cpu)
ICFP_
2010/
26931.xml
11764490
u
timeout (cpu)
ICFP_
2010/
26933.xml
11764916
u
timeout (cpu)
ICFP_
2010/
26940.xml
11765042
u
timeout (cpu)
ICFP_
2010/
26943.xml
11764502
u
timeout (cpu)
ICFP_
2010/
26946.xml
11764900
u
timeout (cpu)
ICFP_
2010/
26949.xml
11765011
u
timeout (cpu)
ICFP_
2010/
26951.xml
11764962
u
timeout (cpu)
ICFP_
2010/
26954.xml
11764727
u
timeout (cpu)
ICFP_
2010/
26957.xml
11764793
u
timeout (cpu)
ICFP_
2010/
26960.xml
11764574
u
timeout (cpu)
ICFP_
2010/
26965.xml
11764818
u
timeout (cpu)
ICFP_
2010/
26969.xml
11764565
u
timeout (cpu)
ICFP_
2010/
26972.xml
11765056
u
timeout (cpu)
ICFP_
2010/
26974.xml
11764890
u
timeout (cpu)
ICFP_
2010/
26976.xml
11764532
u
timeout (cpu)
ICFP_
2010/
26978.xml
11764541
u
timeout (cpu)
ICFP_
2010/
26980.xml
11764961
u
timeout (cpu)
ICFP_
2010/
26986.xml
11764791
u
timeout (cpu)
ICFP_
2010/
26993.xml
11764671
u
timeout (cpu)
ICFP_
2010/
26998.xml
11765013
u
timeout (cpu)
ICFP_
2010/
27001.xml
11764979
u
timeout (cpu)
ICFP_
2010/
27003.xml
11764699
u
timeout (cpu)
ICFP_
2010/
27006.xml
11764984
u
timeout (cpu)
ICFP_
2010/
27009.xml
11764803
u
timeout (cpu)
ICFP_
2010/
27013.xml
11764486
u
timeout (cpu)
ICFP_
2010/
27015.xml
11764676
u
timeout (cpu)
ICFP_
2010/
27019.xml
11765040
u
timeout (cpu)
ICFP_
2010/
27023.xml
11764852
u
timeout (cpu)
ICFP_
2010/
27026.xml
11764547
u
timeout (cpu)
ICFP_
2010/
27028.xml
11764525
u
timeout (cpu)
ICFP_
2010/
27030.xml
11764563
u
timeout (cpu)
ICFP_
2010/
27034.xml
11764938
u
timeout (cpu)
ICFP_
2010/
27036.xml
11764769
u
timeout (wallclock)
ICFP_
2010/
27039.xml
11764578
u
timeout (cpu)
ICFP_
2010/
27131.xml
11764680
u
timeout (cpu)
ICFP_
2010/
27134.xml
11765008
u
timeout (cpu)
ICFP_
2010/
27213.xml
11764624
u
timeout (cpu)
ICFP_
2010/
27235.xml
11764995
u
timeout (wallclock)
ICFP_
2010/
27280.xml
11765028
u
timeout (wallclock)
ICFP_
2010/
28293.xml
11764611
u
timeout (cpu)
ICFP_
2010/
28464.xml
11764528
u
timeout (cpu)
ICFP_
2010/
28643.xml
11764822
u
timeout (cpu)
ICFP_
2010/
28838.xml
11764981
u
timeout (cpu)
ICFP_
2010/
29415.xml
11764562
u
timeout (cpu)
ICFP_
2010/
3268.xml
11764928
s
n
1
+1
1
+0
3.33/0.87
ICFP_
2010/
3336.xml
11764840
s
n
1
+1
1
+0
9.32/2.43
ICFP_
2010/
3385.xml
11765054
s
n
1
+1
1
+0
6.15/1.62
ICFP_
2010/
3450.xml
11765068
s
n
1
+1
1
+0
311.64/81.48
ICFP_
2010/
3467.xml
11764691
s
n
1
+1
1
+0
461.29/116.89
ICFP_
2010/
3498.xml
11764815
s
n
1
+1
1
+0
391.38/102.16
ICFP_
2010/
3533.xml
11765027
s
n
1
+1
1
+0
402.00/100.90
ICFP_
2010/
3562.xml
11764933
s
n
1
+1
1
+0
304.42/80.07
ICFP_
2010/
3589.xml
11764813
s
n
1
+1
1
+0
344.73/88.56
ICFP_
2010/
3633.xml
11764806
s
n
1
+1
1
+0
482.66/121.18
ICFP_
2010/
3680.xml
11765004
s
n
1
+1
1
+0
689.58/176.61
ICFP_
2010/
3705.xml
11764669
s
n
1
+1
1
+0
427.49/108.88
ICFP_
2010/
3729.xml
11764552
s
n
1
+1
1
+0
608.05/152.45
ICFP_
2010/
3746.xml
11764872
s
n
1
+1
1
+0
314.43/80.09
ICFP_
2010/
3762.xml
11764787
s
n
1
+1
1
+0
492.73/124.18
ICFP_
2010/
3770.xml
11764690
s
n
1
+1
1
+0
146.91/36.97
ICFP_
2010/
3786.xml
11764843
s
n
1
+1
1
+0
353.39/89.75
ICFP_
2010/
3817.xml
11765020
s
n
1
+1
1
+0
502.84/126.43
ICFP_
2010/
3831.xml
11764767
s
n
1
+1
1
+0
681.83/172.33
ICFP_
2010/
3842.xml
11764575
s
n
1
+1
1
+0
366.26/95.08
ICFP_
2010/
3856.xml
11764889
s
n
1
+1
1
+0
613.27/153.84
ICFP_
2010/
3861.xml
11764504
s
n
1
+1
1
+0
454.75/117.38
ICFP_
2010/
3865.xml
11765025
s
n
1
+1
1
+0
694.39/174.18
ICFP_
2010/
3916.xml
11764835
s
n
1
+1
1
+0
392.15/98.57
ICFP_
2010/
3927.xml
11764711
u
timeout (cpu)
ICFP_
2010/
3930.xml
11764479
s
n
1
+1
1
+0
433.42/108.62
ICFP_
2010/
3939.xml
11764500
s
n
1
+1
1
+0
498.99/125.06
ICFP_
2010/
39830.xml
11764585
u
timeout (cpu)
ICFP_
2010/
39849.xml
11764812
u
∞
+0
1
+0
1186.02/297.11
ICFP_
2010/
3989.xml
11764776
s
n
1
+1
1
+0
235.19/59.22
ICFP_
2010/
3995.xml
11764663
s
n
1
+1
1
+0
560.69/140.92
ICFP_
2010/
4002.xml
11764515
s
n
1
+1
1
+0
168.17/42.52
ICFP_
2010/
40033.xml
11764911
u
timeout (cpu)
ICFP_
2010/
40093.xml
11764658
u
timeout (cpu)
ICFP_
2010/
4017.xml
11764956
s
n
1
+1
1
+0
481.97/120.77
ICFP_
2010/
4029.xml
11764768
s
n
1
+1
1
+0
341.21/88.13
ICFP_
2010/
4036.xml
11764644
s
n
1
+1
1
+0
693.27/174.07
ICFP_
2010/
4046.xml
11765063
s
n
1
+1
1
+0
74.03/19.05
ICFP_
2010/
4051.xml
11764850
s
n
1
+1
1
+0
513.86/129.24
ICFP_
2010/
40540.xml
11764609
u
timeout (cpu)
ICFP_
2010/
4057.xml
11764937
s
n
1
+1
1
+0
326.21/85.00
ICFP_
2010/
40708.xml
11764619
u
timeout (cpu)
ICFP_
2010/
4074.xml
11765006
s
n
1
+1
1
+0
775.11/194.44
ICFP_
2010/
40976.xml
11764898
u
timeout (cpu)
ICFP_
2010/
4106.xml
11764953
s
n
1
+1
1
+0
209.07/54.48
ICFP_
2010/
41378.xml
11764856
u
timeout (cpu)
ICFP_
2010/
4141.xml
11764990
s
n
1
+1
1
+0
447.86/115.14
ICFP_
2010/
41427.xml
11764724
u
timeout (cpu)
ICFP_
2010/
4157.xml
11765016
s
n
1
+1
1
+0
610.16/153.09
ICFP_
2010/
41688.xml
11764828
u
timeout (cpu)
ICFP_
2010/
4181.xml
11765001
s
n
1
+1
1
+0
626.27/157.12
ICFP_
2010/
41838.xml
11764661
u
∞
+0
1
+0
1186.68/296.24
ICFP_
2010/
41843.xml
11764647
u
∞
+0
1
+0
1185.94/296.38
ICFP_
2010/
41865.xml
11764941
u
timeout (cpu)
ICFP_
2010/
4200.xml
11765048
s
n
1
+1
1
+0
470.77/118.86
ICFP_
2010/
4206.xml
11764873
u
timeout (cpu)
ICFP_
2010/
42170.xml
11764642
u
timeout (wallclock)
ICFP_
2010/
42321.xml
11764550
u
timeout (cpu)
ICFP_
2010/
42466.xml
11764991
u
timeout (cpu)
ICFP_
2010/
4248.xml
11764893
s
n
1
+1
1
+0
415.71/105.81
ICFP_
2010/
42683.xml
11764980
u
timeout (cpu)
ICFP_
2010/
4282.xml
11764701
s
n
1
+1
1
+0
367.47/95.33
ICFP_
2010/
4314.xml
11764656
s
n
1
+1
1
+0
427.44/109.03
ICFP_
2010/
43266.xml
11764944
u
timeout (cpu)
ICFP_
2010/
43603.xml
11764570
u
timeout (wallclock)
ICFP_
2010/
43621.xml
11764659
u
timeout (cpu)
ICFP_
2010/
43650.xml
11764913
u
timeout (cpu)
ICFP_
2010/
4374.xml
11764784
s
n
1
+1
1
+0
336.95/84.53
ICFP_
2010/
43987.xml
11764797
u
timeout (cpu)
ICFP_
2010/
4412.xml
11765012
s
n
1
+1
1
+0
434.56/110.78
ICFP_
2010/
44332.xml
11764951
u
timeout (cpu)
ICFP_
2010/
4484.xml
11765059
s
n
1
+1
1
+0
401.48/100.86
ICFP_
2010/
4487.xml
11764527
s
n
1
+1
1
+0
450.80/113.35
ICFP_
2010/
45720.xml
11764623
u
∞
+0
1
+0
1186.93/296.24
ICFP_
2010/
45757.xml
11765055
u
∞
+0
1
+0
1186.07/296.33
ICFP_
2010/
45970.xml
11764760
u
timeout (cpu)
ICFP_
2010/
4816.xml
11764498
s
n
1
+1
1
+0
479.00/121.89
ICFP_
2010/
4819.xml
11764679
u
timeout (cpu)
ICFP_
2010/
4824.xml
11764524
s
n
1
+1
1
+0
331.31/86.37
ICFP_
2010/
48262.xml
11764637
u
∞
+0
1
+0
1184.15/297.06
ICFP_
2010/
48267.xml
11765053
u
timeout (cpu)
ICFP_
2010/
4827.xml
11765058
s
n
1
+1
1
+0
279.05/72.56
ICFP_
2010/
48328.xml
11764820
u
timeout (cpu)
ICFP_
2010/
48374.xml
11764652
u
timeout (cpu)
ICFP_
2010/
4840.xml
11764566
s
n
1
+1
1
+0
227.18/58.08
ICFP_
2010/
4847.xml
11764554
s
n
1
+1
1
+0
497.04/124.65
ICFP_
2010/
4854.xml
11764866
s
n
1
+1
1
+0
541.76/136.08
ICFP_
2010/
48686.xml
11764988
u
timeout (cpu)
ICFP_
2010/
4893.xml
11764849
s
n
1
+1
1
+0
395.40/103.02
ICFP_
2010/
4920.xml
11764964
s
n
1
+1
1
+0
377.85/96.04
ICFP_
2010/
4934.xml
11764648
s
n
1
+1
1
+0
402.34/101.11
ICFP_
2010/
4938.xml
11765007
s
n
1
+1
1
+0
400.56/102.51
ICFP_
2010/
4943.xml
11764997
s
n
1
+1
1
+0
247.33/64.61
ICFP_
2010/
4953.xml
11764777
s
n
1
+1
1
+0
599.38/150.05
ICFP_
2010/
4964.xml
11764564
s
n
1
+1
1
+0
384.82/99.88
ICFP_
2010/
4970.xml
11764871
s
n
1
+1
1
+0
120.51/32.00
ICFP_
2010/
4979.xml
11764885
s
n
1
+1
1
+0
207.75/54.71
ICFP_
2010/
4991.xml
11764489
s
n
1
+1
1
+0
260.27/67.73
ICFP_
2010/
5011.xml
11764649
s
n
1
+1
1
+0
155.78/41.00
ICFP_
2010/
5076.xml
11764775
s
n
1
+1
1
+0
255.33/65.20
ICFP_
2010/
50904.xml
11764993
u
timeout (cpu)
ICFP_
2010/
5109.xml
11764621
s
n
1
+1
1
+0
488.13/124.42
ICFP_
2010/
5130.xml
11765037
s
n
1
+1
1
+0
533.69/133.88
ICFP_
2010/
51424.xml
11765032
u
timeout (cpu)
ICFP_
2010/
51577.xml
11764673
u
timeout (cpu)
ICFP_
2010/
51842.xml
11764713
u
timeout (cpu)
ICFP_
2010/
53216.xml
11764534
u
timeout (cpu)
ICFP_
2010/
54097.xml
11764844
u
timeout (cpu)
ICFP_
2010/
54532.xml
11764710
u
timeout (wallclock)
ICFP_
2010/
54622.xml
11764697
u
timeout (wallclock)
ICFP_
2010/
56144.xml
11764568
u
timeout (cpu)
ICFP_
2010/
57132.xml
11764521
u
timeout (cpu)
ICFP_
2010/
57278.xml
11764801
u
∞
+0
1
+0
1196.50/300.13
ICFP_
2010/
57355.xml
11764786
u
∞
+0
1
+0
1184.77/296.78
ICFP_
2010/
57453.xml
11764582
u
timeout (cpu)
ICFP_
2010/
57799.xml
11764789
u
timeout (cpu)
ICFP_
2010/
57852.xml
11764695
u
timeout (cpu)
ICFP_
2010/
58125.xml
11764681
u
timeout (cpu)
ICFP_
2010/
58194.xml
11764808
u
∞
+0
1
+0
1186.20/296.74
ICFP_
2010/
58221.xml
11764996
u
timeout (cpu)
ICFP_
2010/
58301.xml
11764603
u
timeout (cpu)
ICFP_
2010/
63142.xml
11764615
u
timeout (cpu)
ICFP_
2010/
64160.xml
11764804
u
timeout (cpu)
ICFP_
2010/
65081.xml
11764974
u
timeout (cpu)
ICFP_
2010/
68322.xml
11764901
u
timeout (cpu)
ICFP_
2010/
68535.xml
11764545
u
timeout (wallclock)
ICFP_
2010/
68989.xml
11764577
u
timeout (cpu)
ICFP_
2010/
81452.xml
11764706
u
timeout (cpu)
ICFP_
2010/
84886.xml
11764613
u
timeout (cpu)
ICFP_
2010/
84977.xml
11764855
u
timeout (cpu)
ICFP_
2010/
85039.xml
11764940
u
timeout (wallclock)
ICFP_
2010/
85079.xml
11764963
u
timeout (cpu)
ICFP_
2010/
85267.xml
11765071
u
timeout (cpu)
ICFP_
2010/
85294.xml
11764773
u
timeout (cpu)
ICFP_
2010/
85345.xml
11764854
u
timeout (cpu)
ICFP_
2010/
85380.xml
11764556
u
timeout (cpu)
ICFP_
2010/
85477.xml
11764660
u
timeout (cpu)
ICFP_
2010/
85590.xml
11764811
u
timeout (cpu)
ICFP_
2010/
85650.xml
11764969
u
timeout (cpu)
ICFP_
2010/
85675.xml
11764877
u
timeout (wallclock)
ICFP_
2010/
85721.xml
11764544
u
timeout (cpu)
ICFP_
2010/
85749.xml
11764847
u
timeout (wallclock)
ICFP_
2010/
85782.xml
11764523
u
timeout (cpu)
ICFP_
2010/
85834.xml
11764879
u
timeout (wallclock)
ICFP_
2010/
85874.xml
11764918
u
timeout (wallclock)
ICFP_
2010/
85920.xml
11764503
u
timeout (cpu)
ICFP_
2010/
86025.xml
11765043
u
timeout (cpu)
ICFP_
2010/
86052.xml
11764693
u
timeout (cpu)
ICFP_
2010/
86452.xml
11764968
u
timeout (cpu)
ICFP_
2010/
86499.xml
11764682
u
timeout (cpu)
ICFP_
2010/
86526.xml
11764858
u
timeout (cpu)
ICFP_
2010/
86559.xml
11764617
u
timeout (wallclock)
ICFP_
2010/
86577.xml
11764800
u
timeout (cpu)
ICFP_
2010/
86617.xml
11764599
u
timeout (cpu)
ICFP_
2010/
86636.xml
11764862
u
timeout (cpu)
ICFP_
2010/
86745.xml
11764970
u
timeout (cpu)
ICFP_
2010/
86816.xml
11764576
u
timeout (cpu)
ICFP_
2010/
86857.xml
11764702
u
timeout (cpu)
ICFP_
2010/
88143.xml
11764903
u
timeout (wallclock)
ICFP_
2010/
88156.xml
11764717
u
timeout (cpu)
ICFP_
2010/
88172.xml
11764630
u
timeout (wallclock)
ICFP_
2010/
88183.xml
11764798
u
timeout (wallclock)
ICFP_
2010/
88208.xml
11764750
u
timeout (cpu)
ICFP_
2010/
88283.xml
11765034
u
timeout (cpu)
ICFP_
2010/
91210.xml
11764694
u
timeout (cpu)
ICFP_
2010/
91218.xml
11764590
u
timeout (cpu)
ICFP_
2010/
91233.xml
11764627
u
timeout (cpu)
ICFP_
2010/
91242.xml
11764888
u
timeout (cpu)
ICFP_
2010/
91254.xml
11764833
u
timeout (cpu)
ICFP_
2010/
95858.xml
11764887
u
timeout (cpu)
ICFP_
2010/
95899.xml
11764947
u
timeout (cpu)
ICFP_
2010/
95952.xml
11764698
u
timeout (cpu)
ICFP_
2010/
95978.xml
11764640
u
timeout (cpu)
ICFP_
2010/
96029.xml
11764607
u
timeout (cpu)
ICFP_
2010/
96065.xml
11764851
u
timeout (cpu)
ICFP_
2010/
96086.xml
11764785
u
timeout (wallclock)
ICFP_
2010/
96104.xml
11764589
u
timeout (cpu)
ICFP_
2010/
96119.xml
11764922
u
timeout (cpu)
ICFP_
2010/
96156.xml
11765067
u
timeout (cpu)
ICFP_
2010/
96176.xml
11764591
u
timeout (cpu)
ICFP_
2010/
96198.xml
11764942
u
timeout (wallclock)
ICFP_
2010/
96224.xml
11764819
u
timeout (cpu)
ICFP_
2010/
96239.xml
11764542
u
timeout (cpu)
ICFP_
2010/
96256.xml
11764845
u
timeout (wallclock)
ICFP_
2010/
96274.xml
11765019
u
timeout (cpu)
ICFP_
2010/
96289.xml
11764816
u
timeout (cpu)
ICFP_
2010/
96302.xml
11764572
u
timeout (cpu)
ICFP_
2010/
96334.xml
11764959
u
timeout (wallclock)
ICFP_
2010/
96370.xml
11764569
u
timeout (cpu)
ICFP_
2010/
96403.xml
11764836
u
timeout (cpu)
ICFP_
2010/
96417.xml
11764537
u
timeout (cpu)
ICFP_
2010/
96438.xml
11764795
u
timeout (wallclock)
ICFP_
2010/
96464.xml
11764632
u
timeout (cpu)
ICFP_
2010/
96485.xml
11765029
u
timeout (wallclock)
ICFP_
2010/
96523.xml
11764754
u
timeout (wallclock)
ICFP_
2010/
96563.xml
11764726
u
timeout (cpu)
ICFP_
2010/
96612.xml
11765002
u
timeout (cpu)
ICFP_
2010/
96642.xml
11764826
u
timeout (wallclock)
ICFP_
2010/
96673.xml
11764721
u
timeout (cpu)
ICFP_
2010/
97885.xml
11764602
u
timeout (cpu)
ICFP_
2010/
97888.xml
11764972
u
timeout (cpu)
ICFP_
2010/
97901.xml
11764975
u
timeout (cpu)
ICFP_
2010/
97917.xml
11765036
u
timeout (cpu)
ICFP_
2010/
97929.xml
11764610
u
timeout (cpu)
ICFP_
2010/
98362.xml
11764493
u
timeout (wallclock)
ICFP_
2010/
98623.xml
11765026
u
timeout (cpu)
Rubio_
04/
aoto.xml
11764450
s
n
1
+1
1
+0
0.51/0.18
Rubio_
04/
bintrees.xml
11764449
s
n
2
+1
1
+0
4.17/1.12
Rubio_
04/
bn129.xml
11764444
u
∞
+0
1
+0
289.97/170.19
Rubio_
04/
gmnp.xml
11764448
s
n
1
+1
1
+0
0.16/0.07
Rubio_
04/
koen.xml
11764439
s
n
1
+1
1
+0
0.35/0.11
Rubio_
04/
lescanne.xml
11764441
s
n
2
+1
1
+0
3.62/0.94
Rubio_
04/
lindau.xml
11764451
s
n
1
+1
1
+0
0.46/0.17
Rubio_
04/
mfp90b.xml
11764443
s
n
1
+1
1
+0
0.16/0.06
Rubio_
04/
mfp95.xml
11764445
s
n
1
+1
1
+0
0.07/0.08
Rubio_
04/
nestrec.xml
11764440
u
∞
+0
1
+0
1093.84/296.13
Rubio_
04/
p266.xml
11764442
s
n
1
+1
1
+0
0.15/0.06
Rubio_
04/
test4.xml
11764446
s
n
1
+1
1
+0
0.15/0.07
Rubio_
04/
test829.xml
11764447
s
n
1
+1
1
+0
0.22/0.08
AProVE_
10/
ex5.xml
11764452
s
n
1
+1
1
+0
0.19/0.09
Strategy_
removed_
mixed_
05/
ex1.xml
11764234
u
∞
+0
1
+0
663.42/296.17
Strategy_
removed_
mixed_
05/
ex3.xml
11764237
u
∞
+0
1
+0
666.95/296.18
Strategy_
removed_
mixed_
05/
ex4.xml
11764238
u
∞
+0
1
+0
702.37/296.12
Strategy_
removed_
mixed_
05/
ex5.xml
11764236
u
∞
+0
1
+0
364.71/296.04
Strategy_
removed_
mixed_
05/
ex6.xml
11764235
u
∞
+0
1
+0
11.29/5.00
Strategy_
removed_
mixed_
05/
gkg.xml
11764232
u
∞
+0
1
+0
8.04/3.26
Strategy_
removed_
mixed_
05/
n001.xml
11764233
u
∞
+0
1
+0
624.39/296.07
Strategy_
removed_
mixed_
05/
test830.xml
11764239
s
n
1
+1
1
+0
0.40/0.13
Transformed_
CSR_
04/
Ex14_
AEGL02_
L.xml
11764385
u
∞
+0
1
+0
765.20/296.12
Transformed_
CSR_
04/
Ex14_
Luc06_
L.xml
11764267
u
∞
+0
1
+0
729.10/296.12
Transformed_
CSR_
04/
Ex15_
Luc06_
C.xml
11764380
u
∞
+0
1
+0
1182.30/296.28
Transformed_
CSR_
04/
Ex15_
Luc06_
FR.xml
11764356
s
n
2
+1
1
+0
3.74/0.96
Transformed_
CSR_
04/
Ex15_
Luc06_
GM.xml
11764248
s
n
2
+1
1
+0
4.22/1.11
Transformed_
CSR_
04/
Ex15_
Luc06_
iGM.xml
11764406
s
n
2
+1
1
+0
37.65/9.46
Transformed_
CSR_
04/
Ex15_
Luc06_
L.xml
11764438
u
∞
+0
1
+0
846.45/296.19
Transformed_
CSR_
04/
Ex15_
Luc06_
Z.xml
11764245
s
n
1
+1
1
+0
0.35/0.12
Transformed_
CSR_
04/
Ex15_
Luc98_
L.xml
11764426
u
∞
+0
1
+0
0.01/0.04
Transformed_
CSR_
04/
Ex16_
Luc06_
C.xml
11764311
u
∞
+0
1
+0
1003.88/296.09
Transformed_
CSR_
04/
Ex16_
Luc06_
FR.xml
11764348
u
∞
+0
1
+0
4.96/2.13
Transformed_
CSR_
04/
Ex16_
Luc06_
GM.xml
11764258
u
∞
+0
1
+0
13.44/4.87
Transformed_
CSR_
04/
Ex16_
Luc06_
iGM.xml
11764302
u
∞
+0
1
+0
723.35/296.09
Transformed_
CSR_
04/
Ex16_
Luc06_
L.xml
11764246
u
∞
+0
1
+0
699.84/296.12
Transformed_
CSR_
04/
Ex18_
Luc06_
C.xml
11764350
s
n
3
+1
1
+0
753.37/189.13
Transformed_
CSR_
04/
Ex18_
Luc06_
FR.xml
11764398
s
n
2
+1
1
+0
3.40/0.88
Transformed_
CSR_
04/
Ex18_
Luc06_
GM.xml
11764309
s
n
2
+1
1
+0
5.70/1.45
Transformed_
CSR_
04/
Ex18_
Luc06_
iGM.xml
11764365
s
n
2
+1
1
+0
19.38/4.89
Transformed_
CSR_
04/
Ex18_
Luc06_
L.xml
11764410
s
n
1
+1
1
+0
0.06/0.05
Transformed_
CSR_
04/
Ex18_
Luc06_
Z.xml
11764264
s
n
1
+1
1
+0
0.11/0.05
Transformed_
CSR_
04/
Ex1_
2_
Luc02c_
L.xml
11764389
u
∞
+0
1
+0
0.00/0.06
Transformed_
CSR_
04/
Ex1_
GL02a_
L.xml
11764283
u
∞
+0
1
+0
836.46/296.12
Transformed_
CSR_
04/
Ex1_
GM03_
L.xml
11764387
u
∞
+0
1
+0
0.00/0.01
Transformed_
CSR_
04/
Ex1_
GM99_
L.xml
11764284
u
∞
+0
1
+0
775.76/296.12
Transformed_
CSR_
04/
Ex1_
Luc02b_
L.xml
11764321
u
∞
+0
1
+0
0.01/0.02
Transformed_
CSR_
04/
Ex1_
Luc04b_
C.xml
11764313
u
∞
+0
1
+0
1169.40/296.26
Transformed_
CSR_
04/
Ex1_
Luc04b_
FR.xml
11764324
u
∞
+0
1
+0
984.23/296.28
Transformed_
CSR_
04/
Ex1_
Luc04b_
GM.xml
11764434
u
∞
+0
1
+0
1070.37/296.18
Transformed_
CSR_
04/
Ex1_
Luc04b_
iGM.xml
11764366
u
∞
+0
1
+0
1182.66/296.26
Transformed_
CSR_
04/
Ex1_
Luc04b_
L.xml
11764247
u
∞
+0
1
+0
0.00/0.04
Transformed_
CSR_
04/
Ex1_
Luc04b_
Z.xml
11764435
u
∞
+0
1
+0
632.18/296.12
Transformed_
CSR_
04/
Ex1_
Zan97_
C.xml
11764343
s
n
2
+1
1
+0
103.14/25.84
Transformed_
CSR_
04/
Ex1_
Zan97_
FR.xml
11764259
u
∞
+0
1
+0
1047.33/296.16
Transformed_
CSR_
04/
Ex1_
Zan97_
GM.xml
11764349
s
n
1
+1
1
+0
0.22/0.13
Transformed_
CSR_
04/
Ex1_
Zan97_
iGM.xml
11764240
s
n
1
+1
1
+0
1.04/0.29
Transformed_
CSR_
04/
Ex1_
Zan97_
L.xml
11764405
u
∞
+0
1
+0
832.55/296.12
Transformed_
CSR_
04/
Ex23_
Luc06_
C.xml
11764397
u
∞
+0
1
+0
1182.31/296.22
Transformed_
CSR_
04/
Ex23_
Luc06_
FR.xml
11764286
s
n
2
+1
1
+0
5.75/1.50
Transformed_
CSR_
04/
Ex23_
Luc06_
GM.xml
11764368
s
n
2
+1
1
+0
11.40/2.89
Transformed_
CSR_
04/
Ex23_
Luc06_
iGM.xml
11764431
s
n
2
+1
1
+0
21.21/5.36
Transformed_
CSR_
04/
Ex23_
Luc06_
L.xml
11764361
s
n
1
+1
1
+0
0.11/0.05
Transformed_
CSR_
04/
Ex23_
Luc06_
Z.xml
11764326
s
n
1
+1
1
+0
0.15/0.06
Transformed_
CSR_
04/
Ex24_
GM04_
L.xml
11764367
u
∞
+0
1
+0
842.57/296.12
Transformed_
CSR_
04/
Ex24_
Luc06_
L.xml
11764274
u
∞
+0
1
+0
741.66/296.15
Transformed_
CSR_
04/
Ex25_
Luc06_
C.xml
11764388
s
n
3
+1
1
+0
30.14/7.67
Transformed_
CSR_
04/
Ex25_
Luc06_
FR.xml
11764252
s
n
2
+1
1
+0
16.13/4.10
Transformed_
CSR_
04/
Ex25_
Luc06_
GM.xml
11764354
s
n
2
+1
1
+0
3.79/1.03
Transformed_
CSR_
04/
Ex25_
Luc06_
iGM.xml
11764318
s
n
2
+1
1
+0
12.53/3.18
Transformed_
CSR_
04/
Ex25_
Luc06_
L.xml
11764423
s
n
1
+1
1
+0
0.11/0.06
Transformed_
CSR_
04/
Ex25_
Luc06_
Z.xml
11764263
s
n
1
+1
1
+0
0.56/0.17
Transformed_
CSR_
04/
Ex26_
Luc03b_
L.xml
11764287
s
n
1
+1
1
+0
0.36/0.13
Transformed_
CSR_
04/
Ex2_
Luc03b_
L.xml
11764373
s
n
1
+1
1
+0
0.24/0.13
Transformed_
CSR_
04/
Ex3_
12_
Luc96a_
L.xml
11764351
u
∞
+0
1
+0
0.00/0.05
Transformed_
CSR_
04/
Ex3_
2_
Luc97_
L.xml
11764306
u
∞
+0
1
+0
0.00/0.01
Transformed_
CSR_
04/
Ex3_
3_
25_
Bor03_
L.xml
11764359
s
n
1
+1
1
+0
0.36/0.12
Transformed_
CSR_
04/
Ex49_
GM04_
L.xml
11764254
u
∞
+0
1
+0
0.01/0.02
Transformed_
CSR_
04/
Ex4_
4_
Luc96b_
L.xml
11764416
s
n
1
+1
1
+0
0.05/0.08
Transformed_
CSR_
04/
Ex4_
7_
15_
Bor03_
C.xml
11764257
u
∞
+0
1
+0
1181.45/296.22
Transformed_
CSR_
04/
Ex4_
7_
15_
Bor03_
FR.xml
11764265
s
n
2
+1
1
+0
17.62/4.46
Transformed_
CSR_
04/
Ex4_
7_
15_
Bor03_
GM.xml
11764391
s
n
3
+1
1
+0
167.61/42.16
Transformed_
CSR_
04/
Ex4_
7_
15_
Bor03_
iGM.xml
11764402
u
∞
+0
1
+0
1183.89/296.31
Transformed_
CSR_
04/
Ex4_
7_
15_
Bor03_
L.xml
11764293
s
n
1
+1
1
+0
0.12/0.05
Transformed_
CSR_
04/
Ex4_
7_
15_
Bor03_
Z.xml
11764394
s
n
1
+1
1
+0
0.13/0.06
Transformed_
CSR_
04/
Ex4_
7_
56_
Bor03_
L.xml
11764352
u
∞
+0
1
+0
0.01/0.06
Transformed_
CSR_
04/
Ex4_
7_
77_
Bor03_
C.xml
11764260
u
∞
+0
1
+0
1180.79/296.22
Transformed_
CSR_
04/
Ex4_
7_
77_
Bor03_
FR.xml
11764378
s
n
1
+1
1
+0
0.43/0.19
Transformed_
CSR_
04/
Ex4_
7_
77_
Bor03_
GM.xml
11764272
s
n
2
+1
1
+0
8.31/2.18
Transformed_
CSR_
04/
Ex4_
7_
77_
Bor03_
iGM.xml
11764292
u
∞
+0
1
+0
1065.81/296.42
Transformed_
CSR_
04/
Ex4_
7_
77_
Bor03_
L.xml
11764295
u
∞
+0
1
+0
0.00/0.01
Transformed_
CSR_
04/
Ex4_
DLMMU04_
L.xml
11764355
u
∞
+0
1
+0
0.01/0.02
Transformed_
CSR_
04/
Ex4_
Zan97_
L.xml
11764316
u
∞
+0
1
+0
0.01/0.02
Transformed_
CSR_
04/
Ex5_
7_
Luc97_
L.xml
11764296
u
∞
+0
1
+0
0.01/0.02
Transformed_
CSR_
04/
Ex5_
DLMMU04_
L.xml
11764341
u
∞
+0
1
+0
0.01/0.02
Transformed_
CSR_
04/
Ex5_
Zan97_
C.xml
11764407
u
∞
+0
1
+0
1182.32/296.17
Transformed_
CSR_
04/
Ex5_
Zan97_
FR.xml
11764271
u
∞
+0
1
+0
414.39/296.13
Transformed_
CSR_
04/
Ex5_
Zan97_
GM.xml
11764382
u
∞
+0
1
+0
643.80/231.73
Transformed_
CSR_
04/
Ex5_
Zan97_
iGM.xml
11764420
u
∞
+0
1
+0
1174.40/296.14
Transformed_
CSR_
04/
Ex5_
Zan97_
L.xml
11764344
u
∞
+0
1
+0
0.00/0.02
Transformed_
CSR_
04/
Ex5_
Zan97_
Z.xml
11764336
s
n
1
+1
1
+0
1.46/0.41
Transformed_
CSR_
04/
Ex6_
15_
AEL02_
L.xml
11764375
u
∞
+0
1
+0
0.01/0.05
Transformed_
CSR_
04/
Ex6_
9_
Luc02c_
L.xml
11764411
u
∞
+0
1
+0
0.00/0.06
Transformed_
CSR_
04/
Ex6_
GM04_
C.xml
11764278
s
n
3
+1
1
+0
968.51/242.75
Transformed_
CSR_
04/
Ex6_
GM04_
FR.xml
11764329
u
∞
+0
1
+0
1171.65/296.14
Transformed_
CSR_
04/
Ex6_
GM04_
GM.xml
11764429
s
n
1
+1
1
+0
0.21/0.08
Transformed_
CSR_
04/
Ex6_
GM04_
iGM.xml
11764305
s
n
1
+1
1
+0
0.57/0.17
Transformed_
CSR_
04/
Ex6_
GM04_
L.xml
11764327
s
n
1
+1
1
+0
0.08/0.04
Transformed_
CSR_
04/
Ex6_
Luc98_
L.xml
11764312
s
n
1
+1
1
+0
0.06/0.04
Transformed_
CSR_
04/
Ex7_
BLR02_
L.xml
11764347
u
∞
+0
1
+0
0.01/0.06
Transformed_
CSR_
04/
Ex8_
BLR02_
L.xml
11764345
u
∞
+0
1
+0
0.01/0.07
Transformed_
CSR_
04/
Ex9_
BLR02_
L.xml
11764310
s
n
1
+1
1
+0
0.63/0.18
Transformed_
CSR_
04/
Ex9_
Luc06_
C.xml
11764242
u
∞
+0
1
+0
974.72/296.07
Transformed_
CSR_
04/
Ex9_
Luc06_
FR.xml
11764424
u
∞
+0
1
+0
886.86/296.14
Transformed_
CSR_
04/
Ex9_
Luc06_
GM.xml
11764338
s
n
2
+1
1
+0
4.89/1.29
Transformed_
CSR_
04/
Ex9_
Luc06_
iGM.xml
11764430
s
n
3
+1
1
+0
140.92/35.83
Transformed_
CSR_
04/
ExConc_
Zan97_
C.xml
11764386
s
n
3
+1
1
+0
20.60/5.21
Transformed_
CSR_
04/
ExConc_
Zan97_
FR.xml
11764275
s
n
2
+1
1
+0
2.36/0.62
Transformed_
CSR_
04/
ExConc_
Zan97_
GM.xml
11764372
s
n
2
+1
1
+0
2.60/0.67
Transformed_
CSR_
04/
ExConc_
Zan97_
iGM.xml
11764363
s
n
2
+1
1
+0
10.39/2.63
Transformed_
CSR_
04/
ExConc_
Zan97_
L.xml
11764422
s
n
1
+1
1
+0
0.08/0.04
Transformed_
CSR_
04/
ExConc_
Zan97_
Z.xml
11764262
u
∞
+0
1
+0
607.60/296.06
Transformed_
CSR_
04/
ExIntrod_
GM01_
C.xml
11764396
u
∞
+0
1
+0
1176.19/296.31
Transformed_
CSR_
04/
ExIntrod_
GM01_
FR.xml
11764285
u
∞
+0
1
+0
1006.87/296.17
Transformed_
CSR_
04/
ExIntrod_
GM01_
GM.xml
11764369
u
∞
+0
1
+0
1132.37/296.24
Transformed_
CSR_
04/
ExIntrod_
GM01_
iGM.xml
11764392
u
∞
+0
1
+0
1181.37/296.22
Transformed_
CSR_
04/
ExIntrod_
GM01_
L.xml
11764360
u
∞
+0
1
+0
0.01/0.02
Transformed_
CSR_
04/
ExIntrod_
GM01_
Z.xml
11764325
u
∞
+0
1
+0
1180.78/296.22
Transformed_
CSR_
04/
ExIntrod_
GM04_
C.xml
11764330
u
∞
+0
1
+0
1153.10/296.23
Transformed_
CSR_
04/
ExIntrod_
GM04_
FR.xml
11764376
u
∞
+0
1
+0
548.39/296.18
Transformed_
CSR_
04/
ExIntrod_
GM04_
GM.xml
11764276
s
n
3
+1
1
+0
31.82/8.02
Transformed_
CSR_
04/
ExIntrod_
GM04_
iGM.xml
11764412
u
∞
+0
1
+0
1180.22/296.24
Transformed_
CSR_
04/
ExIntrod_
GM04_
L.xml
11764281
u
∞
+0
1
+0
0.01/0.02
Transformed_
CSR_
04/
ExIntrod_
GM04_
Z.xml
11764401
u
∞
+0
1
+0
1181.58/296.19
Transformed_
CSR_
04/
ExIntrod_
GM99_
L.xml
11764300
u
∞
+0
1
+0
0.01/0.05
Transformed_
CSR_
04/
ExProp7_
Luc06_
C.xml
11764273
u
∞
+0
1
+0
1181.69/296.30
Transformed_
CSR_
04/
ExProp7_
Luc06_
FR.xml
11764282
u
∞
+0
1
+0
530.96/296.15
Transformed_
CSR_
04/
ExProp7_
Luc06_
GM.xml
11764371
u
∞
+0
1
+0
1081.13/296.25
Transformed_
CSR_
04/
ExProp7_
Luc06_
iGM.xml
11764268
u
∞
+0
1
+0
1181.74/296.23
Transformed_
CSR_
04/
ExProp7_
Luc06_
L.xml
11764323
s
n
1
+1
1
+0
0.06/0.04
Transformed_
CSR_
04/
ExProp7_
Luc06_
Z.xml
11764358
s
n
1
+1
1
+0
0.32/0.14
Transformed_
CSR_
04/
ExSec4_
2_
DLMMU04_
L.xml
11764322
u
∞
+0
1
+0
0.01/0.02
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete-noand_
L.xml
11764250
u
∞
+0
1
+0
0.04/0.03
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete_
L.xml
11764303
u
∞
+0
1
+0
0.01/0.01
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds-noand_
L.xml
11764379
u
∞
+0
1
+0
0.01/0.05
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds_
L.xml
11764390
u
∞
+0
1
+0
0.01/0.02
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts-noand_
FR.xml
11764243
u
∞
+0
1
+0
804.06/296.12
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts-noand_
L.xml
11764256
u
∞
+0
1
+0
0.00/0.01
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
C.xml
11764417
u
∞
+0
1
+0
1182.07/296.37
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
FR.xml
11764428
u
∞
+0
1
+0
1155.96/296.15
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
GM.xml
11764328
u
∞
+0
1
+0
1180.61/296.27
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
iGM.xml
11764337
u
∞
+0
1
+0
1181.75/296.31
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
L.xml
11764381
u
∞
+0
1
+0
0.00/0.06
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
noand_
C.xml
11764255
u
∞
+0
1
+0
1169.68/296.20
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
noand_
GM.xml
11764261
u
∞
+0
1
+0
1181.95/296.19
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
noand_
iGM.xml
11764251
u
∞
+0
1
+0
1182.60/296.30
Transformed_
CSR_
04/
LISTUTILITIES_
complete-noand_
L.xml
11764400
u
∞
+0
1
+0
0.04/0.03
Transformed_
CSR_
04/
LISTUTILITIES_
complete_
L.xml
11764308
u
∞
+0
1
+0
0.03/0.02
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds-noand_
L.xml
11764269
u
∞
+0
1
+0
0.03/0.07
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds_
L.xml
11764297
u
∞
+0
1
+0
0.01/0.01
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts-noand_
L.xml
11764357
u
∞
+0
1
+0
0.01/0.02
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts_
L.xml
11764290
u
∞
+0
1
+0
0.01/0.02
Transformed_
CSR_
04/
MYNAT_
complete-noand_
L.xml
11764384
u
∞
+0
1
+0
0.03/0.06
Transformed_
CSR_
04/
MYNAT_
complete_
L.xml
11764289
u
∞
+0
1
+0
0.01/0.02
Transformed_
CSR_
04/
MYNAT_
nokinds-noand_
L.xml
11764253
u
∞
+0
1
+0
0.01/0.01
Transformed_
CSR_
04/
MYNAT_
nokinds_
L.xml
11764340
u
∞
+0
1
+0
0.01/0.02
Transformed_
CSR_
04/
MYNAT_
nosorts-noand_
L.xml
11764370
u
∞
+0
1
+0
0.01/0.02
Transformed_
CSR_
04/
OvConsOS_
complete-noand_
L.xml
11764307
u
∞
+0
1
+0
0.03/0.05
Transformed_
CSR_
04/
OvConsOS_
complete_
L.xml
11764333
u
∞
+0
1
+0
0.01/0.05
Transformed_
CSR_
04/
OvConsOS_
nokinds-noand_
L.xml
11764288
u
∞
+0
1
+0
0.01/0.01
Transformed_
CSR_
04/
OvConsOS_
nokinds_
L.xml
11764304
u
∞
+0
1
+0
0.01/0.02
Transformed_
CSR_
04/
OvConsOS_
nosorts-noand_
FR.xml
11764299
u
timeout (wallclock)
Transformed_
CSR_
04/
OvConsOS_
nosorts-noand_
L.xml
11764433
u
∞
+0
1
+0
0.01/0.02
Transformed_
CSR_
04/
OvConsOS_
nosorts-noand_
Z.xml
11764241
u
timeout (wallclock)
Transformed_
CSR_
04/
OvConsOS_
nosorts_
C.xml
11764249
u
∞
+0
1
+0
1171.43/296.26
Transformed_
CSR_
04/
OvConsOS_
nosorts_
FR.xml
11764404
u
∞
+0
1
+0
1017.54/296.32
Transformed_
CSR_
04/
OvConsOS_
nosorts_
GM.xml
11764301
u
∞
+0
1
+0
464.86/128.12
Transformed_
CSR_
04/
OvConsOS_
nosorts_
iGM.xml
11764339
u
∞
+0
1
+0
1181.35/296.42
Transformed_
CSR_
04/
OvConsOS_
nosorts_
L.xml
11764315
u
∞
+0
1
+0
0.01/0.02
Transformed_
CSR_
04/
OvConsOS_
nosorts_
noand_
C.xml
11764432
u
timeout (wallclock)
Transformed_
CSR_
04/
OvConsOS_
nosorts_
noand_
GM.xml
11764294
u
timeout (wallclock)
Transformed_
CSR_
04/
OvConsOS_
nosorts_
noand_
iGM.xml
11764414
u
timeout (wallclock)
Transformed_
CSR_
04/
OvConsOS_
nosorts_
Z.xml
11764374
u
∞
+0
1
+0
985.65/296.43
Transformed_
CSR_
04/
PALINDROME_
complete-noand_
L.xml
11764353
u
timeout (wallclock)
Transformed_
CSR_
04/
PALINDROME_
complete_
L.xml
11764298
u
∞
+0
1
+0
0.01/0.02
Transformed_
CSR_
04/
PALINDROME_
nokinds-noand_
FR.xml
11764419
u
timeout (wallclock)
Transformed_
CSR_
04/
PALINDROME_
nokinds-noand_
L.xml
11764408
u
∞
+0
1
+0
674.49/296.20
Transformed_
CSR_
04/
PALINDROME_
nokinds-noand_
Z.xml
11764266
s
n
2
+1
1
+0
212.14/172.29
Transformed_
CSR_
04/
PALINDROME_
nokinds_
C.xml
11764425
u
∞
+0
1
+0
1155.17/296.18
Transformed_
CSR_
04/
PALINDROME_
nokinds_
FR.xml
11764277
u
∞
+0
1
+0
143.18/54.80
Transformed_
CSR_
04/
PALINDROME_
nokinds_
GM.xml
11764377
u
∞
+0
1
+0
785.40/299.60
Transformed_
CSR_
04/
PALINDROME_
nokinds_
iGM.xml
11764413
u
∞
+0
1
+0
707.28/296.13
Transformed_
CSR_
04/
PALINDROME_
nokinds_
L.xml
11764393
u
∞
+0
1
+0
0.01/0.02
Transformed_
CSR_
04/
PALINDROME_
nokinds_
noand_
C.xml
11764409
u
timeout (wallclock)
Transformed_
CSR_
04/
PALINDROME_
nokinds_
noand_
GM.xml
11764436
u
timeout (wallclock)
Transformed_
CSR_
04/
PALINDROME_
nokinds_
noand_
iGM.xml
11764418
u
timeout (wallclock)
Transformed_
CSR_
04/
PALINDROME_
nokinds_
Z.xml
11764291
s
n
2
+1
1
+0
30.25/7.64
Transformed_
CSR_
04/
PALINDROME_
nosorts-noand_
FR.xml
11764346
s
n
2
+1
1
+0
1.57/0.49
Transformed_
CSR_
04/
PALINDROME_
nosorts-noand_
L.xml
11764320
s
n
2
+1
1
+0
1.63/0.43
Transformed_
CSR_
04/
PALINDROME_
nosorts_
C.xml
11764421
u
∞
+0
1
+0
667.32/296.16
Transformed_
CSR_
04/
PALINDROME_
nosorts_
FR.xml
11764427
s
n
2
+1
1
+0
1.49/0.42
Transformed_
CSR_
04/
PALINDROME_
nosorts_
GM.xml
11764332
u
∞
+0
1
+0
62.63/30.97
Transformed_
CSR_
04/
PALINDROME_
nosorts_
iGM.xml
11764415
u
∞
+0
1
+0
761.25/296.14
Transformed_
CSR_
04/
PALINDROME_
nosorts_
L.xml
11764383
u
∞
+0
1
+0
0.01/0.05
Transformed_
CSR_
04/
PALINDROME_
nosorts_
noand_
C.xml
11764319
u
∞
+0
1
+0
676.31/296.06
Transformed_
CSR_
04/
PALINDROME_
nosorts_
noand_
GM.xml
11764364
u
∞
+0
1
+0
85.48/40.55
Transformed_
CSR_
04/
PALINDROME_
nosorts_
noand_
iGM.xml
11764334
u
∞
+0
1
+0
724.04/296.11
Transformed_
CSR_
04/
PEANO_
complete-noand_
L.xml
11764317
u
∞
+0
1
+0
0.01/0.05
Transformed_
CSR_
04/
PEANO_
complete_
L.xml
11764437
u
∞
+0
1
+0
0.01/0.05
Transformed_
CSR_
04/
PEANO_
nokinds-noand_
L.xml
11764342
u
∞
+0
1
+0
0.00/0.01
Transformed_
CSR_
04/
PEANO_
nokinds_
L.xml
11764403
u
∞
+0
1
+0
0.01/0.09
Transformed_
CSR_
04/
PEANO_
nosorts-noand_
FR.xml
11764331
s
n
2
+1
1
+0
8.45/2.21
Transformed_
CSR_
04/
PEANO_
nosorts-noand_
L.xml
11764280
u
∞
+0
1
+0
0.01/0.04
Transformed_
CSR_
04/
PEANO_
nosorts_
C.xml
11764362
u
∞
+0
1
+0
1183.36/296.03
Transformed_
CSR_
04/
PEANO_
nosorts_
FR.xml
11764314
s
n
2
+1
1
+0
2.22/0.58
Transformed_
CSR_
04/
PEANO_
nosorts_
GM.xml
11764395
u
∞
+0
1
+0
597.88/296.08
Transformed_
CSR_
04/
PEANO_
nosorts_
iGM.xml
11764270
u
∞
+0
1
+0
1126.02/296.40
Transformed_
CSR_
04/
PEANO_
nosorts_
L.xml
11764399
u
∞
+0
1
+0
0.01/0.02
Transformed_
CSR_
04/
PEANO_
nosorts_
noand_
C.xml
11764279
u
∞
+0
1
+0
1175.00/296.30
Transformed_
CSR_
04/
PEANO_
nosorts_
noand_
GM.xml
11764335
u
∞
+0
1
+0
977.82/296.38
Transformed_
CSR_
04/
PEANO_
nosorts_
noand_
iGM.xml
11764244
u
∞
+0
1
+0
1103.36/296.16
367