TermComp 2020
: Logic Programming
41498
Job info CSV
Showing
all
interesting
conflicting
unsolved
solo
results.
benchmark
NTI
default
--
YES
NO
MAYBE
timeout
AProVE
standard
--
YES
NO
MAYBE
timeout
talp_
apt/
ordered.pl
11767296
is
timeout (wallclock)
YES
5.23/2.59
talp_
apt/
map1.pl
11767297
is
timeout (wallclock)
YES
3.95/1.76
talp_
apt/
append.pl
11767298
is
timeout (wallclock)
YES
3.80/1.69
talp_
apt/
map.pl
11767299
is
timeout (wallclock)
YES
4.27/1.99
talp_
apt/
list.pl
11767300
is
timeout (wallclock)
YES
4.14/1.94
talp_
apt/
quicksort-oi.pl
11767301
is
NO
0.21/0.20
timeout (wallclock)
talp_
apt/
sum.pl
11767302
is
timeout (wallclock)
YES
3.93/1.78
talp_
apt/
lte.pl
11767303
is
timeout (wallclock)
YES
3.66/1.75
talp_
apt/
SS_
map_
t.pl
11767304
u
timeout (wallclock)
MAYBE
32.26/12.11
talp_
apt/
SS_
map.pl
11767305
u
timeout (wallclock)
MAYBE
34.85/12.88
talp_
apt/
permutation.pl
11767306
is
timeout (wallclock)
YES
5.60/2.29
talp_
apt/
member.pl
11767307
is
timeout (wallclock)
YES
3.89/1.72
talp_
apt/
fold.pl
11767308
is
timeout (wallclock)
YES
3.51/1.63
talp_
apt/
quicksort.pl
11767309
is
timeout (wallclock)
YES
9.69/3.38
talp_
apt/
subset1.pl
11767310
u
timeout (wallclock)
MAYBE
8.49/2.95
talp_
apt/
mergesort.pl
11767311
is
timeout (wallclock)
YES
14.57/4.69
talp_
apt/
select.pl
11767312
is
timeout (wallclock)
YES
4.15/1.99
talp_
apt/
mergesort_
ap.pl
11767313
is
timeout (wallclock)
YES
22.05/6.37
talp_
apt/
SS_
map_
out.pl
11767314
u
timeout (wallclock)
MAYBE
34.93/9.75
talp_
apt/
overlap.pl
11767315
is
timeout (wallclock)
YES
4.44/1.95
talp_
apt/
select1.pl
11767316
is
timeout (wallclock)
YES
4.13/1.85
talp_
apt/
naive_
rev-oi.pl
11767317
is
NO
0.18/0.19
MAYBE
6.90/2.61
talp_
apt/
naive_
rev.pl
11767318
is
timeout (wallclock)
YES
4.00/1.87
talp_
apt/
subset.pl
11767319
is
timeout (wallclock)
YES
4.51/1.90
talp_
dds/
reverse-iio.pl
11767320
is
timeout (wallclock)
YES
4.18/1.77
talp_
dds/
dis_
con-bis.pl
11767321
is
timeout (wallclock)
YES
4.49/1.84
talp_
dds/
permute.pl
11767322
is
timeout (wallclock)
YES
4.91/2.12
talp_
dds/
dis_
con.pl
11767323
is
timeout (wallclock)
YES
4.19/1.76
talp_
dds/
sum-ioi.pl
11767324
is
timeout (wallclock)
YES
4.35/1.99
talp_
dds/
append.pl
11767325
is
timeout (wallclock)
YES
3.88/1.84
talp_
dds/
sum.pl
11767326
is
timeout (wallclock)
YES
3.92/1.81
talp_
dds/
reverse.pl
11767327
is
timeout (wallclock)
YES
3.79/1.83
talp_
dds/
merge.pl
11767328
is
timeout (wallclock)
YES
6.74/2.46
talp_
dds/
duplicate.pl
11767329
is
timeout (wallclock)
YES
3.80/1.78
talp_
plumer/
pl7.2.9.pl
11767207
is
timeout (wallclock)
YES
4.31/1.98
talp_
plumer/
pl3.1.1.pl
11767208
is
NO
0.18/0.16
MAYBE
7.71/2.76
talp_
plumer/
pl8.4.1.pl
11767209
is
timeout (wallclock)
YES
3.83/1.75
talp_
plumer/
pl8.3.1a.pl
11767210
is
timeout (wallclock)
YES
8.65/3.04
talp_
plumer/
pl2.3.1.pl
11767211
is
timeout (wallclock)
YES
3.91/1.81
talp_
plumer/
pl8.2.1a.pl
11767212
is
timeout (wallclock)
YES
10.71/3.50
talp_
plumer/
pl8.4.2.pl
11767213
is
timeout (wallclock)
YES
5.51/2.23
talp_
plumer/
pl3.5.6.pl
11767214
is
NO
0.19/0.21
MAYBE
6.41/2.50
talp_
plumer/
pl4.5.3b.pl
11767215
is
NO
0.18/0.20
MAYBE
8.73/3.21
talp_
plumer/
pl1.2.pl
11767216
is
timeout (wallclock)
YES
5.58/2.45
talp_
plumer/
pl4.5.3c.pl
11767217
is
NO
0.18/0.22
MAYBE
7.44/6.67
talp_
plumer/
pl4.5.3a.pl
11767218
is
NO
0.18/0.16
MAYBE
5.98/2.33
talp_
plumer/
pl3.5.6a.pl
11767219
is
timeout (wallclock)
YES
3.45/1.59
talp_
plumer/
pl1.1.pl
11767220
is
NO
0.18/0.16
MAYBE
5.72/2.24
talp_
plumer/
pl1.2_
t.pl
11767221
is
timeout (wallclock)
YES
6.04/2.30
talp_
plumer/
pl4.5.2.pl
11767222
is
NO
0.25/0.28
MAYBE
32.86/9.24
talp_
plumer/
pl6.1.1.pl
11767223
is
timeout (wallclock)
YES
8.00/2.92
talp_
plumer/
pl8.3.1.pl
11767224
u
timeout (wallclock)
timeout (wallclock)
talp_
plumer/
mergesort_
t.pl
11767225
is
timeout (wallclock)
YES
27.79/10.61
talp_
plumer/
pl8.2.1.pl
11767226
is
timeout (wallclock)
YES
14.90/4.65
talp_
plumer/
pl7.6.2c.pl
11767227
is
timeout (wallclock)
YES
7.34/2.83
talp_
plumer/
pl7.6.2b.pl
11767228
u
timeout (wallclock)
MAYBE
162.65/42.65
talp_
plumer/
pl4.0.1.pl
11767229
is
timeout (wallclock)
YES
4.08/1.90
talp_
plumer/
pl5.2.2.pl
11767230
u
timeout (wallclock)
timeout (wallclock)
talp_
plumer/
pl4.0.1-oooi.pl
11767231
is
NO
0.19/0.23
MAYBE
5.99/2.34
talp_
plumer/
pl7.6.2a.pl
11767232
u
timeout (wallclock)
MAYBE
18.59/5.54
talp_
plumer/
pl4.4.3.pl
11767233
is
timeout (wallclock)
YES
5.90/2.28
talp_
plumer/
pl4.4.6a.pl
11767234
is
timeout (wallclock)
YES
4.48/1.88
SGST06/
intlist.pl
11767235
is
timeout (wallclock)
YES
4.10/1.77
SGST06/
plus.pl
11767236
is
timeout (wallclock)
YES
3.99/1.81
SGST06/
cnfequiv.pl
11767237
is
timeout (wallclock)
YES
82.91/22.86
SGST06/
weight.pl
11767238
is
timeout (wallclock)
YES
6.52/2.42
SGST06/
avg-bfb.pl
11767239
is
timeout (wallclock)
YES
4.28/1.86
SGST06/
ag01.pl
11767240
is
timeout (wallclock)
YES
4.23/3.30
SGST06/
btree.pl
11767241
is
timeout (wallclock)
YES
4.36/1.85
SGST06/
pplus.pl
11767242
is
timeout (wallclock)
YES
3.85/1.72
SGST06/
mapcolor.pl
11767243
u
timeout (wallclock)
MAYBE
32.82/9.09
SGST06/
quot.pl
11767244
is
timeout (wallclock)
YES
4.23/1.80
SGST06/
shuffle.pl
11767245
is
timeout (wallclock)
YES
5.29/2.11
SGST06/
confdel.pl
11767246
is
timeout (wallclock)
YES
5.64/2.37
SGST06/
baby91.pl
11767247
u
timeout (wallclock)
timeout (wallclock)
SGST06/
btapplast.pl
11767248
is
timeout (wallclock)
YES
5.35/2.11
SGST06/
avg.pl
11767249
is
timeout (wallclock)
YES
5.00/2.11
SGST06/
blist.pl
11767250
is
timeout (wallclock)
YES
4.22/1.93
SGST06/
factor.pl
11767251
is
timeout (wallclock)
YES
6.38/2.41
SGST06/
pplus2.pl
11767252
is
timeout (wallclock)
YES
4.66/2.02
SGST06/
p.pl
11767253
is
timeout (wallclock)
YES
9.38/3.27
SGST06/
csnake.pl
11767254
u
timeout (wallclock)
timeout (wallclock)
SGST06/
btappend.pl
11767255
is
timeout (wallclock)
YES
4.94/2.04
SGST06/
incomplete_
variant.pl
11767256
is
timeout (wallclock)
YES
3.45/1.65
SGST06/
countstack.pl
11767257
is
timeout (wallclock)
YES
4.44/1.89
SGST06/
incomplete.pl
11767258
is
timeout (wallclock)
YES
3.83/1.79
SGST06/
parse.pl
11767259
is
timeout (wallclock)
YES
6.05/2.53
SGST06/
giesl97.pl
11767260
is
timeout (wallclock)
YES
4.77/2.10
SGST06/
d.pl
11767261
is
MAYBE
0.16/0.19
YES
11.05/3.66
SGST06/
transpose2.pl
11767262
is
NO
0.20/0.24
MAYBE
6.92/2.74
SGST06/
ackermann.pl
11767263
is
timeout (wallclock)
YES
4.02/1.94
SGST06/
psk09-maxsort-bool-nocut.pl
11767264
is
timeout (wallclock)
YES
101.28/26.72
SGST06/
psk09-append_
variant.pl
11767265
u
timeout (wallclock)
MAYBE
6.04/2.44
SGST06/
paper1.pl
11767266
is
timeout (wallclock)
YES
4.01/1.85
SGST06/
applast.pl
11767267
is
timeout (wallclock)
YES
4.56/1.91
SGST06/
flatten.pl
11767268
is
timeout (wallclock)
YES
4.63/1.92
SGST06/
bappend.pl
11767269
is
timeout (wallclock)
YES
4.46/1.99
SGST06/
times.pl
11767270
is
timeout (wallclock)
YES
4.07/1.82
SGST06/
palindrome.pl
11767271
is
timeout (wallclock)
YES
5.64/2.19
SGST06/
samefringe.pl
11767272
is
timeout (wallclock)
YES
5.39/2.19
SGST06/
paper2.pl
11767273
is
timeout (wallclock)
YES
4.50/2.01
SGST06/
gopher.pl
11767274
is
timeout (wallclock)
YES
4.35/1.96
SGST06/
at.pl
11767275
is
timeout (wallclock)
YES
3.41/1.69
SGST06/
rev.pl
11767276
is
timeout (wallclock)
YES
8.01/2.90
SGST06/
perm.pl
11767277
is
timeout (wallclock)
YES
4.81/2.06
SGST06/
preorder.pl
11767278
is
MAYBE
0.16/0.15
YES
3.95/1.74
SGST06/
lessleaves.pl
11767279
is
timeout (wallclock)
YES
5.68/2.95
SGST06/
hbal_
tree.pl
11767280
is
timeout (wallclock)
YES
5.69/2.17
SGST06/
log.pl
11767281
is
timeout (wallclock)
YES
4.89/2.13
SGST06/
ifdiv.pl
11767282
is
NO
0.22/0.23
MAYBE
129.58/38.44
SGST06/
p_
nonlin.pl
11767283
is
timeout (wallclock)
YES
9.00/3.17
SGST06/
flatten_
phd.pl
11767284
is
timeout (wallclock)
YES
5.84/2.33
SGST06/
convert.pl
11767285
is
timeout (wallclock)
YES
5.30/2.24
SGST06/
times2.pl
11767286
is
timeout (wallclock)
YES
6.36/2.47
SGST06/
toyama.pl
11767287
is
timeout (wallclock)
YES
3.44/1.59
SGST06/
cconfdel.pl
11767288
is
timeout (wallclock)
YES
5.77/2.29
SGST06/
doublehalfpred.pl
11767289
u
timeout (wallclock)
MAYBE
212.54/54.28
SGST06/
incomplete2.pl
11767290
is
timeout (wallclock)
YES
3.74/1.76
SGST06/
prime.pl
11767291
is
timeout (wallclock)
YES
10.20/3.37
SGST06/
transpose-fb.pl
11767292
is
timeout (wallclock)
YES
6.59/2.42
SGST06/
evenodd.pl
11767293
is
timeout (wallclock)
YES
3.91/1.71
SGST06/
ifminus.pl
11767294
is
timeout (wallclock)
YES
5.65/2.21
SGST06/
snake.pl
11767295
u
MAYBE
0.15/0.15
timeout (wallclock)
terminweb_
new/
type-based_
append.pl
11767174
is
timeout (wallclock)
YES
4.09/1.87
terminweb_
new/
som.pl
11767175
is
MAYBE
0.16/0.21
YES
3.99/1.77
terminweb_
new/
ways.pl
11767176
is
timeout (wallclock)
YES
19.93/9.80
terminweb_
new/
preorder_
dl.pl
11767177
is
MAYBE
0.16/0.15
YES
4.18/1.87
terminweb_
new/
basic_
append.pl
11767178
is
timeout (wallclock)
YES
3.71/1.68
terminweb_
new/
NJ1.pl
11767179
is
timeout (wallclock)
YES
4.50/2.94
terminweb_
new/
backwards_
append.pl
11767180
is
timeout (wallclock)
YES
3.94/2.76
terminweb_
new/
NJ2.pl
11767181
is
timeout (wallclock)
YES
4.42/1.84
terminweb_
new/
append-ooi.pl
11767182
is
timeout (wallclock)
YES
3.79/3.14
terminweb_
new/
NJ3.pl
11767183
is
timeout (wallclock)
YES
4.31/1.90
terminweb_
new/
NJ6.pl
11767184
is
timeout (wallclock)
YES
4.07/1.82
terminweb_
new/
der.pl
11767185
is
MAYBE
0.17/0.16
YES
8.83/3.02
terminweb_
new/
transpose.pl
11767186
is
timeout (wallclock)
YES
4.60/2.06
terminweb_
new/
NJ4.pl
11767187
is
timeout (wallclock)
YES
3.86/1.80
terminweb_
new/
NJ5.pl
11767188
is
timeout (wallclock)
YES
4.12/1.77
terminweb_
old/
rotate.pl
11767189
is
timeout (wallclock)
YES
4.55/1.91
terminweb_
old/
subset.pl
11767190
is
timeout (wallclock)
YES
4.55/2.09
terminweb_
old/
append3.pl
11767191
is
timeout (wallclock)
YES
3.89/1.74
terminweb_
old/
inorder.pl
11767192
is
timeout (wallclock)
YES
4.26/1.78
terminweb_
old/
ackerman.pl
11767193
is
timeout (wallclock)
YES
4.10/2.07
terminweb_
old/
sublist0.pl
11767194
is
timeout (wallclock)
YES
4.78/1.98
terminweb_
old/
sublist.pl
11767195
is
timeout (wallclock)
YES
3.96/1.72
terminweb_
old/
interleave.pl
11767196
is
timeout (wallclock)
YES
4.16/1.81
terminweb_
old/
reach.pl
11767197
is
timeout (wallclock)
YES
8.39/2.89
terminweb_
old/
sublist_
bad.pl
11767198
is
NO
0.21/0.19
MAYBE
7.10/2.72
terminweb_
old/
balance_
tree.pl
11767199
is
MAYBE
0.16/0.17
YES
4.50/1.93
terminweb_
old/
subset-no.pl
11767200
u
timeout (wallclock)
MAYBE
8.35/2.97
terminweb_
old/
untupled_
bal_
tree.pl
11767201
is
MAYBE
0.16/0.20
YES
4.81/2.18
terminweb_
old/
append3-bis.pl
11767202
is
timeout (wallclock)
YES
3.81/1.79
terminweb_
old/
permutation2.pl
11767203
is
timeout (wallclock)
YES
4.74/1.93
terminweb_
old/
sameleaves.pl
11767204
is
timeout (wallclock)
YES
5.85/2.37
terminweb_
old/
permutation1.pl
11767205
is
timeout (wallclock)
YES
5.46/2.25
terminweb_
old/
balance_
tree2.pl
11767206
u
MAYBE
0.17/0.20
MAYBE
8.28/2.97
BCGGV05/
palindrome.pl
11767069
is
timeout (wallclock)
YES
3.99/1.82
BCGGV05/
flatlength-bfb.pl
11767070
is
timeout (wallclock)
YES
4.09/1.85
BCGGV05/
insert-bfb.pl
11767071
is
timeout (wallclock)
YES
4.60/1.89
BCGGV05/
less-fb.pl
11767072
is
timeout (wallclock)
YES
3.87/1.72
BCGGV05/
reverse-fb.pl
11767073
is
NO
0.18/0.16
MAYBE
6.89/2.53
BCGGV05/
flat-bf.pl
11767074
is
timeout (wallclock)
YES
4.78/2.09
BCGGV05/
search_
tree.pl
11767075
is
timeout (wallclock)
YES
5.28/3.64
BCGGV05/
minimum-bf.pl
11767076
is
timeout (wallclock)
YES
3.92/1.78
BCGGV05/
numeral.pl
11767077
is
timeout (wallclock)
YES
3.97/1.75
BCGGV05/
flatlength-ffb.pl
11767078
is
NO
0.18/0.17
MAYBE
8.13/3.00
BCGGV05/
naive_
reverse-bf.pl
11767079
is
timeout (wallclock)
YES
3.92/3.18
BCGGV05/
insert-ffb.pl
11767080
is
timeout (wallclock)
YES
5.80/2.32
BCGGV05/
delete-bff.pl
11767081
is
NO
0.21/0.22
MAYBE
35.77/9.96
BCGGV05/
in-fb.pl
11767082
is
timeout (wallclock)
YES
5.54/2.14
BCGGV05/
quicksort-fb.pl
11767083
is
NO
0.21/0.21
MAYBE
57.98/19.66
BCGGV05/
p.pl
11767084
is
timeout (wallclock)
YES
7.70/2.71
BCGGV05/
der-fb.pl
11767085
u
MAYBE
0.16/0.17
MAYBE
52.23/14.01
BCGGV05/
frontier-bf.pl
11767086
is
timeout (wallclock)
YES
4.60/2.00
BCGGV05/
slowsort-bf.pl
11767087
is
timeout (wallclock)
YES
6.85/2.61
BCGGV05/
suffix-fb.pl
11767088
is
timeout (wallclock)
YES
3.94/6.72
BCGGV05/
transpose-fb.pl
11767089
is
timeout (wallclock)
YES
6.65/2.58
BCGGV05/
delmin-bff.pl
11767090
is
timeout (wallclock)
YES
4.14/1.98
BCGGV05/
g.pl
11767091
is
timeout (wallclock)
YES
4.47/1.95
BCGGV05/
mult.pl
11767092
is
timeout (wallclock)
YES
4.77/2.19
BCGGV05/
length.pl
11767093
is
timeout (wallclock)
YES
3.81/1.75
BCGGV05/
select-fbf.pl
11767094
is
timeout (wallclock)
YES
4.02/1.88
BCGGV05/
p_
nonlin.pl
11767095
is
timeout (wallclock)
YES
9.01/3.17
BCGGV05/
inorder-fb.pl
11767096
is
NO
0.18/0.17
MAYBE
8.42/3.02
BCGGV05/
t.pl
11767097
is
timeout (wallclock)
YES
5.31/2.19
BCGGV05/
maximum-fbf.pl
11767098
is
timeout (wallclock)
YES
4.14/1.88
BCGGV05/
subset-fb.pl
11767099
u
timeout (wallclock)
MAYBE
8.71/3.08
BCGGV05/
slowsort-bb.pl
11767100
is
timeout (wallclock)
YES
6.00/2.50
BCGGV05/
delmin-ffb.pl
11767101
is
timeout (wallclock)
YES
4.01/1.89
BCGGV05/
tree_
member-bf.pl
11767102
is
NO
0.18/0.24
MAYBE
6.02/2.47
BCGGV05/
sum-ffb.pl
11767103
is
timeout (wallclock)
YES
4.00/1.80
BCGGV05/
prefix-fb.pl
11767104
is
timeout (wallclock)
YES
3.92/1.81
BCGGV05/
sublist-bf.pl
11767105
is
NO
0.19/0.23
MAYBE
6.47/2.57
BCGGV05/
map_
color.pl
11767106
is
timeout (wallclock)
YES
3.73/1.80
BCGGV05/
delete-bfb.pl
11767107
is
timeout (wallclock)
YES
4.51/1.97
BCGGV05/
permutation-fb.pl
11767108
is
NO
0.19/0.25
MAYBE
8.81/4.40
BCGGV05/
member-bf.pl
11767109
is
NO
0.18/0.22
MAYBE
6.68/2.55
BCGGV05/
insert-bff.pl
11767110
is
NO
0.20/0.22
MAYBE
35.70/9.88
BCGGV05/
delete-ffb.pl
11767111
is
timeout (wallclock)
YES
5.68/3.84
BCGGV05/
flatlength-bff.pl
11767112
is
timeout (wallclock)
YES
3.96/1.88
BCGGV05/
append-ffb.pl
11767113
is
timeout (wallclock)
YES
3.93/1.84
BCGGV05/
reverse-bf.pl
11767114
is
timeout (wallclock)
YES
3.96/1.80
BCGGV05/
flat-fb.pl
11767115
is
NO
0.18/0.21
MAYBE
7.87/2.92
BCGGV05/
minimum-fb.pl
11767116
is
NO
0.18/0.22
MAYBE
6.18/2.50
BCGGV05/
insert-fbf.pl
11767117
is
timeout (wallclock)
YES
5.50/2.19
BCGGV05/
naive_
reverse-fb.pl
11767118
is
NO
0.18/0.20
MAYBE
6.50/2.51
BCGGV05/
flatlength-fbf.pl
11767119
is
NO
0.19/0.19
MAYBE
8.51/3.06
BCGGV05/
list.pl
11767120
is
timeout (wallclock)
YES
3.89/1.70
BCGGV05/
factor.pl
11767121
is
timeout (wallclock)
YES
6.44/2.53
BCGGV05/
less-bf.pl
11767122
is
timeout (wallclock)
YES
3.91/1.70
BCGGV05/
insert-bbf.pl
11767123
is
timeout (wallclock)
YES
4.49/1.88
BCGGV05/
flatlength-bbf.pl
11767124
is
timeout (wallclock)
YES
4.16/1.85
BCGGV05/
permutation1-fb.pl
11767125
is
timeout (wallclock)
YES
4.95/2.14
BCGGV05/
suffix-bf.pl
11767126
is
NO
0.18/0.19
MAYBE
6.35/2.40
BCGGV05/
transpose-bf.pl
11767127
is
timeout (wallclock)
YES
4.83/1.98
BCGGV05/
mergesort.pl
11767128
is
NO
0.21/0.21
MAYBE
18.98/5.80
BCGGV05/
maximum-bff.pl
11767129
is
timeout (wallclock)
YES
4.07/1.87
BCGGV05/
ackerman.pl
11767130
is
timeout (wallclock)
YES
4.34/1.88
BCGGV05/
ordered.pl
11767131
is
timeout (wallclock)
YES
5.18/2.15
BCGGV05/
select-bff.pl
11767132
is
NO
0.18/0.21
MAYBE
5.95/2.39
BCGGV05/
frontier-fb.pl
11767133
is
NO
0.25/0.27
MAYBE
6.76/2.56
BCGGV05/
der-bf.pl
11767134
is
MAYBE
0.16/0.21
YES
8.91/3.20
BCGGV05/
in-bf.pl
11767135
is
NO
0.19/0.21
MAYBE
31.52/8.91
BCGGV05/
quicksort-bf.pl
11767136
is
timeout (wallclock)
YES
8.21/3.01
BCGGV05/
slowsort-fb.pl
11767137
is
NO
0.20/0.23
MAYBE
10.68/3.62
BCGGV05/
length1.pl
11767138
is
timeout (wallclock)
YES
3.84/1.93
BCGGV05/
maximum-ffb.pl
11767139
is
timeout (wallclock)
YES
4.09/1.89
BCGGV05/
inorder-bf.pl
11767140
is
timeout (wallclock)
YES
4.81/2.04
BCGGV05/
sum-fbf.pl
11767141
is
timeout (wallclock)
YES
4.02/1.86
BCGGV05/
prefix-bf.pl
11767142
is
timeout (wallclock)
YES
3.96/1.87
BCGGV05/
subset-bf.pl
11767143
is
NO
0.19/0.21
MAYBE
7.46/2.75
BCGGV05/
tree_
member-fb.pl
11767144
is
timeout (wallclock)
YES
4.02/1.87
BCGGV05/
transpose-bb.pl
11767145
is
timeout (wallclock)
YES
4.54/6.87
BCGGV05/
select-ffb.pl
11767146
is
timeout (wallclock)
YES
3.80/3.06
BCGGV05/
member-fb.pl
11767147
is
timeout (wallclock)
YES
3.90/1.92
BCGGV05/
append-bff.pl
11767148
is
timeout (wallclock)
YES
3.89/1.82
BCGGV05/
delete-fbf.pl
11767149
is
timeout (wallclock)
YES
6.52/2.46
BCGGV05/
tree.pl
11767150
is
timeout (wallclock)
YES
3.85/1.79
BCGGV05/
parse.pl
11767151
is
timeout (wallclock)
YES
6.31/2.51
BCGGV05/
sublist-fb.pl
11767152
is
timeout (wallclock)
YES
3.95/1.84
BCGGV05/
permutation-bf.pl
11767153
is
timeout (wallclock)
YES
5.20/2.18
BCGGV05/
delete-bbf.pl
11767154
is
timeout (wallclock)
YES
4.75/1.94
talp_
mixed/
qicksort.pl
11767155
is
timeout (wallclock)
YES
8.52/2.91
talp_
mixed/
p.pl
11767156
is
timeout (wallclock)
YES
4.02/1.88
talp_
mixed/
mergesort.pl
11767157
is
timeout (wallclock)
YES
15.08/4.72
talp_
mixed/
rotate.pl
11767158
is
timeout (wallclock)
YES
4.05/1.85
talp_
mixed/
flat-oi.pl
11767159
u
timeout (wallclock)
MAYBE
7.19/2.62
talp_
mixed/
sameleaves.pl
11767160
is
timeout (wallclock)
YES
5.33/2.11
talp_
mixed/
queens.pl
11767161
is
timeout (wallclock)
YES
7.63/2.77
talp_
mixed/
bad_
sublist.pl
11767162
is
NO
0.19/0.22
MAYBE
6.25/2.47
talp_
mixed/
flat.pl
11767163
is
timeout (wallclock)
YES
5.58/2.34
talp_
mixed/
hanoiapp.suc.pl
11767164
is
timeout (wallclock)
YES
7.45/2.80
talp_
mixed/
sublist.pl
11767165
is
timeout (wallclock)
YES
4.04/2.13
talp_
mixed/
perm.pl
11767166
is
timeout (wallclock)
YES
5.01/2.07
talp_
mixed/
permute1.pl
11767167
is
timeout (wallclock)
YES
5.47/2.28
talp_
mixed/
zebra.pl
11767168
is
timeout (wallclock)
YES
5.59/2.38
talp_
mixed/
fib_
t.pl
11767169
is
timeout (wallclock)
YES
4.61/2.70
talp_
mixed/
sublist1.pl
11767170
is
timeout (wallclock)
YES
4.06/1.85
talp_
mixed/
sicstus1.pl
11767171
is
timeout (wallclock)
YES
4.15/1.91
talp_
mixed/
ack.pl
11767172
is
timeout (wallclock)
YES
4.50/2.85
talp_
mixed/
reverse.pl
11767173
is
timeout (wallclock)
YES
4.00/1.85
talp_
talp/
binary.pl
11767030
is
timeout (wallclock)
YES
6.63/2.53
talp_
talp/
binary3.pl
11767031
is
timeout (wallclock)
YES
6.78/2.53
talp_
talp/
binary2.pl
11767032
is
timeout (wallclock)
YES
7.06/2.55
talp_
talp/
perm.pl
11767033
is
timeout (wallclock)
YES
5.06/2.18
talp_
talp/
transitive_
closure.pl
11767034
is
timeout (wallclock)
YES
3.80/1.85
talp_
talp/
simple.pl
11767035
is
timeout (wallclock)
YES
3.44/1.70
talp_
talp/
append.pl
11767036
is
timeout (wallclock)
YES
3.83/1.73
talp_
talp/
example4-2.pl
11767037
is
NO
0.17/0.16
MAYBE
6.32/2.50
talp_
talp/
binary4.pl
11767038
is
NO
0.22/0.20
MAYBE
14.18/4.52
talp_
talp/
vangelder.pl
11767039
is
timeout (wallclock)
YES
12.77/4.05
talp_
talp/
nat.pl
11767040
is
timeout (wallclock)
YES
4.72/2.09
talp_
talp/
permute.pl
11767041
is
timeout (wallclock)
YES
4.96/2.04
talp_
talp/
palindrome.pl
11767042
is
timeout (wallclock)
YES
4.19/1.97
talp_
talp/
evaluate.pl
11767043
is
MAYBE
0.16/0.20
YES
5.73/2.36
talp_
talp/
reminder-ioi.pl
11767044
is
timeout (wallclock)
YES
7.40/2.77
talp_
talp/
normal.pl
11767045
is
timeout (wallclock)
YES
5.11/2.19
talp_
talp/
example1.pl
11767046
is
timeout (wallclock)
YES
3.56/2.26
talp_
talp/
slowsort-oi.pl
11767047
is
NO
0.20/0.17
MAYBE
10.35/9.66
talp_
talp/
reminder.pl
11767048
is
timeout (wallclock)
YES
6.28/2.41
talp_
talp/
gcd.pl
11767049
is
timeout (wallclock)
YES
7.48/2.76
talp_
talp/
example4.pl
11767050
is
timeout (wallclock)
YES
4.12/1.80
talp_
talp/
div.pl
11767051
is
timeout (wallclock)
YES
6.09/2.35
talp_
talp/
slowsort.pl
11767052
is
timeout (wallclock)
YES
6.45/2.48
talp_
talp/
qsort.pl
11767053
is
timeout (wallclock)
YES
17.62/11.82
talp_
talp/
flat.pl
11767054
is
timeout (wallclock)
YES
4.66/2.08
lpexamples/
lategen.pl
11767055
is
timeout (wallclock)
YES
3.70/1.78
lpexamples/
ackermann.pl
11767056
is
timeout (wallclock)
YES
4.29/1.93
lpexamples/
log2a-oi.pl
11767057
is
NO
0.19/0.22
MAYBE
8.53/3.15
lpexamples/
log2b-oi.pl
11767058
is
NO
0.21/0.23
MAYBE
76.36/22.62
lpexamples/
log2a.pl
11767059
is
timeout (wallclock)
YES
5.56/2.25
lpexamples/
average-ioi.pl
11767060
is
timeout (wallclock)
YES
4.00/1.84
lpexamples/
mergesort.pl
11767061
is
timeout (wallclock)
YES
11.28/6.50
lpexamples/
log2b.pl
11767062
is
timeout (wallclock)
YES
5.42/2.23
lpexamples/
ts08.pl
11767063
is
timeout (wallclock)
YES
3.98/1.85
lpexamples/
average.pl
11767064
is
timeout (wallclock)
YES
4.72/2.01
lpexamples/
mapcolor.pl
11767065
u
timeout (wallclock)
MAYBE
33.24/9.23
lpexamples/
ackermann-ioi.pl
11767066
is
NO
0.18/0.17
MAYBE
14.34/4.47
lpexamples/
shapes.pl
11767067
is
timeout (wallclock)
YES
10.28/3.46
lpexamples/
mergesort-oi.pl
11767068
is
NO
0.19/0.23
MAYBE
19.42/5.92
42
238