Termination Competition 2018
: Prolog
30101
Job info CSV
benchmark
AProVE
standard
Prolog/
AProVE_
numeric/
et2-true-c.pl
5154577
YES
4.50/1.86
Prolog/
AProVE_
numeric/
svcomp-b-09-assume-c.pl
5154578
YES
5.04/2.01
Prolog/
AProVE_
numeric/
svcomp-b-03-assume-c.pl
5154579
YES
7.03/2.65
Prolog/
AProVE_
numeric/
svcomp-c-03-c.pl
5154580
YES
5.76/2.25
Prolog/
AProVE_
numeric/
svcomp-c-02-c.pl
5154581
YES
9.72/3.42
Prolog/
AProVE_
numeric/
svcomp-addition01-true-unreach-call-true-termination-modified-c.pl
5154582
YES
4.96/2.09
Prolog/
AProVE_
numeric/
svcomp-java-sequence-c.pl
5154583
run script error
[out]
Prolog/
AProVE_
numeric/
et1-true-c.pl
5154584
YES
4.12/1.75
Prolog/
AProVE_
numeric/
svcomp-twisted-c.pl
5154585
YES
6.20/2.31
Prolog/
AProVE_
numeric/
svcomp-b-16-c.pl
5154586
YES
5.33/2.12
Prolog/
AProVE_
numeric/
svcomp-rec-hanoi02-true-unreach-call-true-termination-modified.pl
5154587
MAYBE
8.53/2.99
Prolog/
AProVE_
numeric/
svcomp-b-14-c.pl
5154588
YES
5.31/2.07
Prolog/
AProVE_
numeric/
svcomp-java-log-built-in-c.pl
5154589
timeout (wallclock)
[out]
Prolog/
AProVE_
numeric/
svcomp-ex3b-c.pl
5154590
YES
3.99/1.90
Prolog/
AProVE_
numeric/
rec-counter1-c.pl
5154591
YES
4.85/2.03
Prolog/
AProVE_
numeric/
svcomp-java-break-c.pl
5154592
YES
7.57/2.72
Prolog/
AProVE_
numeric/
svcomp-a-06-c.pl
5154593
YES
7.90/2.79
Prolog/
AProVE_
numeric/
svcomp-b-07-c.pl
5154594
YES
5.09/1.97
Prolog/
AProVE_
numeric/
svcomp-easy-sum-c.pl
5154595
YES
8.12/2.88
Prolog/
AProVE_
numeric/
binomial-true-c.pl
5154596
YES
7.85/2.71
Prolog/
AProVE_
numeric/
svcomp-c-07-c.pl
5154597
YES
33.37/14.03
Prolog/
AProVE_
numeric/
svcomp-b-05-c.pl
5154598
YES
5.73/2.21
Prolog/
AProVE_
numeric/
log-recursive-c-true.pl
5154599
YES
5.44/2.14
Prolog/
AProVE_
numeric/
two-way-true.pl
5154600
MAYBE
12.90/4.20
Prolog/
AProVE_
numeric/
svcomp-flag-c.pl
5154604
YES
11.79/3.99
Prolog/
AProVE_
numeric/
svcomp-b-10-c.pl
5154605
YES
10.77/3.58
Prolog/
AProVE_
numeric/
svcomp-even-odd-01-true-unrech-call-true-termination-modified-c.pl
5154606
YES
4.44/1.84
Prolog/
AProVE_
numeric/
svcomp-ackermann01-true-unreach-call-modified-modified-c.pl
5154609
MAYBE
10.60/3.52
Prolog/
AProVE_
numeric/
svcomp-ex1-c.pl
5154610
YES
5.00/2.05
Prolog/
AProVE_
numeric/
svcomp-gcd-01-true-unreach-call-true-termination-modified-c.pl
5154611
YES
4.41/1.83
Prolog/
AProVE_
numeric/
svcomp-fibonacci-01-true-unreach-call-modified-c.pl
5154612
YES
6.90/2.56
Prolog/
AProVE_
numeric/
svcomp-b-18-c.pl
5154613
YES
11.97/4.40
Prolog/
AProVE_
numeric/
terminator-rec-02-true.pl
5154614
YES
4.32/1.82
Prolog/
AProVE_
numeric/
parts-true-c.pl
5154616
YES
5.03/2.05
Prolog/
AProVE_
numeric/
svcomp-b-13-c.pl
5154617
YES
12.05/3.85
Prolog/
AProVE_
numeric/
svcomp-mult-commutative-true-unreach-call-true-termination-modified-c.pl
5154618
MAYBE
74.64/23.58
Prolog/
AProVE_
numeric/
svcomp-java-nested-c.pl
5154619
YES
4.96/2.03
Prolog/
AProVE_
numeric/
svcomp-b-11-c.pl
5154620
YES
7.50/2.67
Prolog/
AProVE_
numeric/
svcomp-a-04-c.pl
5154621
YES
8.33/2.87
Prolog/
AProVE_
numeric/
svcomp-java-continue-c.pl
5154622
YES
4.60/1.90
Prolog/
AProVE_
numeric/
svcomp-a-05-c.pl
5154623
YES
7.64/2.69
Prolog/
AProVE_
numeric/
svcomp-b-04-c.pl
5154625
YES
4.80/2.00
Prolog/
AProVE_
numeric/
svcomp-b-02-c.pl
5154626
YES
4.75/1.97
Prolog/
AProVE_
numeric/
svcomp-ex3a-c.pl
5154627
YES
5.23/2.14
Prolog/
AProVE_
numeric/
svcomp-a-08-c.pl
5154628
YES
4.59/1.95
Prolog/
AProVE_
numeric/
ex2-c.pl
5154629
YES
4.19/1.77
Prolog/
AProVE_
numeric/
svcomp-b-09-no-inv-assume-c.pl
5154630
YES
4.79/1.93
Prolog/
AProVE_
numeric/
svcomp-b-12-c.pl
5154631
YES
10.87/3.52
Prolog/
AProVE_
numeric/
svcomp-a-10-c.pl
5154632
YES
5.44/2.16
Prolog/
AProVE_
numeric/
svcomp-java-ag313-c.pl
5154633
YES
4.19/1.77
Prolog/
AProVE_
numeric/
le-user-def-rec-true.pl
5154635
YES
4.65/1.90
Prolog/
AProVE_
numeric/
svcomp-c-08-c.pl
5154636
YES
10.29/3.42
Prolog/
AProVE_
numeric/
svcomp-b-17-c.pl
5154637
YES
5.46/2.18
Prolog/
AProVE_
numeric/
svcomp-a-09-assume-c.pl
5154639
YES
4.20/1.78
Prolog/
AProVE_
numeric/
svcomp-b-03-no-inv-assume-c.pl
5154640
MAYBE
16.94/5.10
Prolog/
AProVE_
numeric/
svcomp-b-15-c.pl
5154641
YES
7.05/2.63
Prolog/
AProVE_
numeric/
et4-true-c.pl
5154642
YES
5.10/2.04
Prolog/
AProVE_
numeric/
svcomp-c-01-no-inv-c.pl
5154643
MAYBE
26.49/7.53
Prolog/
AProVE_
numeric/
svcomp-c-01-assume-c.pl
5154644
YES
7.41/2.64
Prolog/
AProVE_
10_
prolog/
and2.pl
5154535
MAYBE
5.11/2.06
Prolog/
AProVE_
10_
prolog/
inequality2.pl
5154536
MAYBE
8.22/2.94
Prolog/
AProVE_
10_
prolog/
and1.pl
5154537
YES
3.23/1.54
Prolog/
AProVE_
10_
prolog/
grammar.pl
5154538
YES
3.51/1.58
Prolog/
AProVE_
10_
prolog/
terminate.pl
5154539
MAYBE
6.25/2.37
Prolog/
AProVE_
10_
prolog/
nonterm.pl
5154540
YES
3.43/2.04
Prolog/
AProVE_
10_
prolog/
divrempredef.pl
5154541
YES
6.72/2.45
Prolog/
AProVE_
10_
prolog/
equality1.pl
5154542
MAYBE
5.62/2.21
Prolog/
AProVE_
10_
prolog/
even3.pl
5154543
YES
3.45/1.58
Prolog/
AProVE_
10_
prolog/
term.pl
5154544
YES
3.40/1.56
Prolog/
AProVE_
10_
prolog/
even2.pl
5154545
MAYBE
6.04/2.32
Prolog/
AProVE_
10_
prolog/
existpredef.pl
5154546
MAYBE
3.20/1.51
Prolog/
AProVE_
10_
prolog/
dyck.pl
5154547
YES
3.61/1.59
Prolog/
AProVE_
10_
prolog/
term2.pl
5154548
MAYBE
5.99/2.44
Prolog/
AProVE_
10_
prolog/
nounify.pl
5154549
MAYBE
5.48/2.21
Prolog/
AProVE_
10_
prolog/
even.pl
5154550
YES
3.28/1.55
Prolog/
AProVE_
10_
prolog/
lateinstance.pl
5154551
YES
3.52/1.64
Prolog/
AProVE_
10_
prolog/
inequality1.pl
5154552
MAYBE
5.69/2.28
Prolog/
AProVE_
10_
prolog/
addneg.pl
5154553
YES
3.76/1.67
Prolog/
AProVE_
10_
prolog/
equality2.pl
5154554
MAYBE
5.47/2.14
Prolog/
Euler_
queensu-cs260/
insert.pl
5154645
YES
5.12/2.08
Prolog/
Euler_
queensu-cs260/
euler-01.pl
5154646
timeout (wallclock)
[out]
Prolog/
Euler_
queensu-cs260/
prime.pl
5154647
timeout (wallclock)
[out]
Prolog/
Euler_
queensu-cs260/
euler-02-nonterm.pl
5154648
timeout (wallclock)
[out]
Prolog/
Euler_
queensu-cs260/
evenspaced2.pl
5154649
YES
5.31/2.14
Prolog/
Euler_
queensu-cs260/
count.pl
5154650
MAYBE
3.91/1.71
Prolog/
Euler_
queensu-cs260/
euler-04.pl
5154651
MAYBE
0.39/0.29
Prolog/
Euler_
queensu-cs260/
evenspaced.pl
5154652
YES
4.68/1.89
Prolog/
Euler_
queensu-cs260/
isort.pl
5154653
YES
4.63/1.92
Prolog/
Euler_
queensu-cs260/
gcd.pl
5154654
YES
11.74/3.72
Prolog/
Euler_
queensu-cs260/
evenspacedwithdiff.pl
5154655
YES
5.06/2.06
Prolog/
Euler_
queensu-cs260/
euler-02.pl
5154656
YES
5.85/2.21
Prolog/
Euler_
queensu-cs260/
countall.pl
5154657
MAYBE
3.87/1.73
Prolog/
Euler_
queensu-cs260/
euler-03.pl
5154658
timeout (wallclock)
[out]
Prolog/
Art-of-prolog/
program-8-8.pl
5154684
YES
3.73/2.63
Prolog/
Art-of-prolog/
exercise_
timeslist.pl
5154685
YES
4.06/1.76
Prolog/
Art-of-prolog/
exercise_
hanoi.pl
5154686
YES
6.56/2.46
Prolog/
Art-of-prolog/
exercise_
min.pl
5154687
YES
4.02/1.74
Prolog/
Art-of-prolog/
program-8-6-b.pl
5154688
YES
4.24/1.83
Prolog/
Art-of-prolog/
program-8-6-a.pl
5154689
YES
3.91/1.72
Prolog/
Art-of-prolog/
program-8-7-a.pl
5154690
YES
4.21/1.79
Prolog/
Art-of-prolog/
program-8-10.pl
5154691
YES
3.96/1.73
Prolog/
Art-of-prolog/
program-8-9.pl
5154692
YES
4.33/1.85
Prolog/
Art-of-prolog/
program-8-12.pl
5154693
YES
5.86/2.30
Prolog/
Art-of-prolog/
program-8-3.pl
5154694
YES
7.49/2.78
Prolog/
Art-of-prolog/
program-8-11.pl
5154695
YES
4.02/1.76
Prolog/
Art-of-prolog/
exercise_
squareroot.pl
5154696
YES
8.29/3.03
Prolog/
Art-of-prolog/
exercise_
triangle2.pl
5154697
run script error
[out]
Prolog/
Art-of-prolog/
program-8-7-b.pl
5154698
YES
4.57/1.94
Prolog/
Art-of-prolog/
program-8-1.pl
5154699
YES
5.44/2.21
Prolog/
Art-of-prolog/
exercise_
power.pl
5154700
YES
5.93/2.27
Prolog/
Art-of-prolog/
exercise_
area.pl
5154701
YES
4.37/1.81
Prolog/
Art-of-prolog/
program-8-4.pl
5154702
YES
4.07/1.76
Prolog/
Art-of-prolog/
exercise_
length.pl
5154703
YES
4.52/1.91
Prolog/
Art-of-prolog/
exercise_
triangle.pl
5154704
YES
4.22/1.79
Prolog/
Art-of-prolog/
program-8-2.pl
5154706
YES
4.48/1.90
Prolog/
Art-of-prolog/
program-8-5.pl
5154707
YES
6.36/2.40
Prolog/
Art-of-prolog/
exercise_
between.pl
5154708
YES
4.85/1.97
Prolog/
Art-of-prolog/
exercise_
range.pl
5154709
YES
4.10/1.76
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
09/
max_
valued.pl
5159275
YES
3.38/1.54
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
09/
existential.pl
5159276
MAYBE
6.30/2.39
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
09/
star1.pl
5159277
YES
6.18/2.33
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
09/
append_
linear.pl
5159278
YES
4.03/1.78
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
09/
soundex.pl
5159279
YES
4.98/1.99
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
09/
thief1.pl
5159280
MAYBE
6.51/2.39
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
09/
hidden_
flatten.pl
5159281
YES
4.86/2.00
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
09/
len.pl
5159282
MAYBE
9.03/3.27
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
09/
psk02.pl
5159283
YES
3.47/1.60
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
09/
negationasfailure.pl
5159284
YES
4.08/1.75
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
09/
less2.pl
5159285
YES
4.51/1.88
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
09/
shuffle.pl
5159286
YES
4.05/1.76
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
09/
less1.pl
5159287
YES
18.61/5.72
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
09/
thief2.pl
5159288
YES
3.29/1.84
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
09/
star2.pl
5159289
YES
4.48/1.90
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
09/
psk03.pl
5159290
MAYBE
6.48/2.46
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
09/
shape.pl
5159291
YES
3.70/1.63
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
09/
psk01.pl
5159292
MAYBE
7.51/4.70
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
08/
short2.pl
5159293
YES
3.40/1.57
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
08/
appendex.pl
5159294
MAYBE
6.50/5.72
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
08/
short1.pl
5159295
YES
3.68/1.62
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
08/
negationasfailure.pl
5159296
YES
3.85/1.73
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
08/
minus2.pl
5159297
YES
8.36/2.86
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
08/
divminuslinear.pl
5159298
YES
5.92/2.22
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
08/
minus1.pl
5159299
YES
4.13/1.77
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
08/
minus4.pl
5159300
YES
3.68/1.69
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
08/
minus3.pl
5159301
YES
3.97/1.71
Logic_
Programming_
with_
Cut/
Schneider_
Kamp_
08/
divminus.pl
5159302
YES
5.74/2.22
Logic_
Programming_
with_
Cut/
Stroeder_
09/
divremain2.pl
5159191
run script error
[out]
Logic_
Programming_
with_
Cut/
Stroeder_
09/
cutpos1.pl
5159192
YES
3.41/1.56
Logic_
Programming_
with_
Cut/
Stroeder_
09/
num2.pl
5159193
YES
3.55/1.59
Logic_
Programming_
with_
Cut/
Stroeder_
09/
map.pl
5159195
YES
4.14/1.80
Logic_
Programming_
with_
Cut/
Stroeder_
09/
plumer356.pl
5159196
MAYBE
5.85/2.28
Logic_
Programming_
with_
Cut/
Stroeder_
09/
divremain.pl
5159197
YES
6.72/2.47
Logic_
Programming_
with_
Cut/
Stroeder_
09/
len2.pl
5159198
YES
3.78/1.66
Logic_
Programming_
with_
Cut/
Stroeder_
09/
giesl97.pl
5159199
YES
4.95/2.06
Logic_
Programming_
with_
Cut/
Stroeder_
09/
ts03.pl
5159200
MAYBE
5.77/2.35
Logic_
Programming_
with_
Cut/
Stroeder_
09/
add1.pl
5159201
YES
3.79/1.66
Logic_
Programming_
with_
Cut/
Stroeder_
09/
dependency2.pl
5159202
YES
4.85/2.01
Logic_
Programming_
with_
Cut/
Stroeder_
09/
flatten.pl
5159203
MAYBE
8.93/3.19
Logic_
Programming_
with_
Cut/
Stroeder_
09/
btree2.pl
5159204
YES
4.87/2.26
Logic_
Programming_
with_
Cut/
Stroeder_
09/
vlcnd.pl
5159205
MAYBE
79.08/20.78
Logic_
Programming_
with_
Cut/
Stroeder_
09/
lte1.pl
5159206
YES
3.65/1.67
Logic_
Programming_
with_
Cut/
Stroeder_
09/
lte2.pl
5159207
YES
3.76/2.28
Logic_
Programming_
with_
Cut/
Stroeder_
09/
confdel.pl
5159208
YES
8.58/4.06
Logic_
Programming_
with_
Cut/
Stroeder_
09/
prime_
fact.pl
5159209
MAYBE
988.82/249.42
Logic_
Programming_
with_
Cut/
Stroeder_
09/
countstack2.pl
5159210
YES
4.24/1.79
Logic_
Programming_
with_
Cut/
Stroeder_
09/
rev.pl
5159211
YES
5.47/2.22
Logic_
Programming_
with_
Cut/
Stroeder_
09/
app2.pl
5159213
MAYBE
8.88/3.10
Logic_
Programming_
with_
Cut/
Stroeder_
09/
countstack.pl
5159214
YES
4.94/2.01
Logic_
Programming_
with_
Cut/
Stroeder_
09/
times1.pl
5159215
MAYBE
14.47/4.52
Logic_
Programming_
with_
Cut/
Stroeder_
09/
fold2.pl
5159216
YES
4.07/1.78
Logic_
Programming_
with_
Cut/
Stroeder_
09/
len.pl
5159217
YES
3.91/1.80
Logic_
Programming_
with_
Cut/
Stroeder_
09/
tree2.pl
5159219
YES
3.99/1.69
Logic_
Programming_
with_
Cut/
Stroeder_
09/
btree.pl
5159220
YES
4.88/1.96
Logic_
Programming_
with_
Cut/
Stroeder_
09/
dependency.pl
5159221
YES
5.02/2.01
Logic_
Programming_
with_
Cut/
Stroeder_
09/
select1.pl
5159222
YES
4.47/2.54
Logic_
Programming_
with_
Cut/
Stroeder_
09/
list2.pl
5159223
YES
3.40/1.59
Logic_
Programming_
with_
Cut/
Stroeder_
09/
overlap1.pl
5159224
YES
4.62/1.90
Logic_
Programming_
with_
Cut/
Stroeder_
09/
plumer453a.pl
5159225
YES
3.35/1.55
Logic_
Programming_
with_
Cut/
Stroeder_
09/
blist.pl
5159226
YES
4.91/2.01
Logic_
Programming_
with_
Cut/
Stroeder_
09/
gopher2.pl
5159227
YES
4.08/2.67
Logic_
Programming_
with_
Cut/
Stroeder_
09/
cutpos2.pl
5159230
MAYBE
5.51/3.03
Logic_
Programming_
with_
Cut/
Stroeder_
09/
ordered2.pl
5159231
MAYBE
9.47/3.32
Logic_
Programming_
with_
Cut/
Stroeder_
09/
blist2.pl
5159232
YES
4.08/1.73
Logic_
Programming_
with_
Cut/
Stroeder_
09/
rev2.pl
5159233
YES
5.35/2.11
Logic_
Programming_
with_
Cut/
Stroeder_
09/
transpose1.pl
5159234
YES
39.76/11.24
Logic_
Programming_
with_
Cut/
Stroeder_
09/
average1.pl
5159236
MAYBE
32.07/8.83
Logic_
Programming_
with_
Cut/
Stroeder_
09/
inorder-oi.pl
5159237
YES
6.54/2.39
Logic_
Programming_
with_
Cut/
Stroeder_
09/
app3.pl
5159238
YES
3.99/2.75
Logic_
Programming_
with_
Cut/
Stroeder_
09/
less.pl
5159239
YES
3.95/1.71
Logic_
Programming_
with_
Cut/
Stroeder_
09/
list.pl
5159240
YES
3.88/1.70
Logic_
Programming_
with_
Cut/
Stroeder_
09/
add2.pl
5159241
MAYBE
8.41/3.06
Logic_
Programming_
with_
Cut/
Stroeder_
09/
quot2.pl
5159242
YES
6.21/2.32
Logic_
Programming_
with_
Cut/
Stroeder_
09/
fold3.pl
5159243
YES
4.35/1.86
Logic_
Programming_
with_
Cut/
Stroeder_
09/
overlap2.pl
5159244
YES
3.97/1.71
Logic_
Programming_
with_
Cut/
Stroeder_
09/
subset-oi.pl
5159245
MAYBE
387.07/108.29
Logic_
Programming_
with_
Cut/
Stroeder_
09/
gopher1.pl
5159246
YES
3.92/1.71
Logic_
Programming_
with_
Cut/
Stroeder_
09/
btapplast.pl
5159247
YES
9.66/3.32
Logic_
Programming_
with_
Cut/
Stroeder_
09/
ordered.pl
5159248
YES
5.41/2.09
Logic_
Programming_
with_
Cut/
Stroeder_
09/
duplicate2.pl
5159249
YES
4.00/1.75
Logic_
Programming_
with_
Cut/
Stroeder_
09/
add3.pl
5159252
YES
3.81/1.72
Logic_
Programming_
with_
Cut/
Stroeder_
09/
applast.pl
5159253
YES
6.60/2.55
Logic_
Programming_
with_
Cut/
Stroeder_
09/
divminus2.pl
5159254
YES
5.77/2.51
Logic_
Programming_
with_
Cut/
Stroeder_
09/
bappend.pl
5159255
YES
4.77/1.99
Logic_
Programming_
with_
Cut/
Stroeder_
09/
mul1.pl
5159256
YES
4.88/1.97
Logic_
Programming_
with_
Cut/
Stroeder_
09/
plumer453b.pl
5159257
YES
3.52/1.60
Logic_
Programming_
with_
Cut/
Stroeder_
09/
quot1.pl
5159258
YES
7.87/2.73
Logic_
Programming_
with_
Cut/
Stroeder_
09/
plumer453c.pl
5159259
YES
3.43/1.57
Logic_
Programming_
with_
Cut/
Stroeder_
09/
lessleaves.pl
5159260
MAYBE
25.90/9.58
Logic_
Programming_
with_
Cut/
Stroeder_
09/
evenodd1.pl
5159261
YES
3.56/1.61
Logic_
Programming_
with_
Cut/
Stroeder_
09/
fold1.pl
5159262
YES
3.75/1.66
Logic_
Programming_
with_
Cut/
Stroeder_
09/
btappend.pl
5159263
YES
8.48/3.07
Logic_
Programming_
with_
Cut/
Stroeder_
09/
num.pl
5159264
YES
3.97/1.81
Logic_
Programming_
with_
Cut/
Stroeder_
09/
evenodd2.pl
5159265
YES
4.34/1.90
Logic_
Programming_
with_
Cut/
Stroeder_
09/
ordered3.pl
5159266
YES
5.10/2.01
Prolog/
prolog_
mixed/
gtsolve.pl
5154710
YES
3.23/1.53
Prolog/
prolog_
mixed/
curry_
ap.pl
5154711
MAYBE
5.26/2.19
Prolog/
prolog_
mixed/
tautology.pl
5154712
YES
69.68/18.70
Prolog/
prolog_
mixed/
quicksort.pl
5154713
YES
10.22/3.35
Prolog/
prolog_
mixed/
taboch_
queens.pl
5154714
YES
6.99/2.61
Prolog/
prolog_
mixed/
mergesort_
ap_
variant.pl
5154715
MAYBE
63.27/17.42
Prolog/
prolog_
mixed/
permute2.pl
5154716
YES
5.04/2.05
Prolog/
prolog_
mixed/
psk09-cycle.pl
5154717
timeout (wallclock)
[out]
Prolog/
prolog_
mixed/
numbervars.pl
5154718
MAYBE
3.53/1.59
Prolog/
prolog_
mixed/
hanoi.pl
5154719
MAYBE
1167.90/293.43
Prolog/
prolog_
mixed/
fib.pl
5154720
YES
4.73/1.91
Prolog/
prolog_
mixed/
psk09-distance.pl
5154721
MAYBE
13.13/4.22
Prolog/
prolog_
mixed/
fib-oi.pl
5154722
YES
4.58/1.88
Prolog/
prolog_
mixed/
dc_
schema.pl
5154723
YES
3.43/2.37
Prolog/
prolog_
mixed/
mergesort.pl
5154724
YES
13.56/4.55
Prolog/
prolog_
mixed/
kay4.pl
5154725
YES
3.51/1.61
Prolog/
prolog_
mixed/
factorial.pl
5154726
YES
3.53/1.67
Prolog/
prolog_
mixed/
primes.pl
5154727
timeout (wallclock)
[out]
Prolog/
prolog_
mixed/
terminweb_
queens.pl
5154728
YES
6.66/2.42
Prolog/
prolog_
mixed/
totient.pl
5154729
YES
8.83/3.01
Prolog/
Hett/
p1_
11.pl
5154509
MAYBE
23.22/7.72
Prolog/
Hett/
p2_
06.pl
5154510
timeout (wallclock)
[out]
Prolog/
Hett/
p2_
02.pl
5154511
timeout (wallclock)
[out]
Prolog/
Hett/
p2_
10.pl
5154512
timeout (wallclock)
[out]
Prolog/
Hett/
p1_
13.pl
5154513
MAYBE
6.50/2.38
Prolog/
Hett/
p1_
16.pl
5154514
YES
5.08/1.99
Prolog/
Hett/
p2_
07.pl
5154515
YES
5.82/2.28
Prolog/
Hett/
p2_
03.pl
5154516
timeout (wallclock)
[out]
Prolog/
Hett/
p1_
27_
b.pl
5154517
YES
8.58/2.96
Prolog/
Hett/
p1_
12.pl
5154518
YES
15.42/4.83
Prolog/
Hett/
p1_
03.pl
5154519
YES
4.25/1.76
Prolog/
Hett/
p1_
28_
a.pl
5154520
YES
4.77/1.99
Prolog/
Hett/
p1_
20.pl
5154521
YES
4.21/1.78
Prolog/
Hett/
p2_
01.pl
5154522
YES
3.43/1.60
Prolog/
Hett/
p1_
17.pl
5154523
YES
4.12/1.77
Prolog/
Hett/
p2_
08.pl
5154524
YES
6.10/2.40
Prolog/
Hett/
p1_
27_
a.pl
5154525
YES
8.58/3.03
Prolog/
Hett/
p1_
04.pl
5154526
YES
4.03/1.74
Prolog/
Hett/
p2_
09.pl
5154527
YES
11.11/3.64
Prolog/
Hett/
p2_
05.pl
5154528
timeout (wallclock)
[out]
Prolog/
Hett/
p1_
19.pl
5154529
YES
3.44/1.57
Prolog/
Hett/
p1_
22.pl
5154530
YES
5.75/2.29
Prolog/
Hett/
p1_
18.pl
5154531
YES
4.73/1.92
Prolog/
Hett/
p1_
15.pl
5154532
YES
5.19/2.05
Prolog/
Hett/
p1_
21.pl
5154533
YES
4.29/1.81
Prolog/
Hett/
p2_
04.pl
5154534
timeout (wallclock)
[out]
Prolog/
Weinert_
15/
ackermann.pl
5154555
YES
8.12/2.86
Prolog/
Weinert_
15/
is.pl
5154556
MAYBE
8.38/2.93
Prolog/
Weinert_
15/
double-is.pl
5154557
YES
3.81/1.70
Prolog/
Weinert_
15/
division-nonterm.pl
5154558
MAYBE
12.83/5.21
Prolog/
Weinert_
15/
descend.pl
5154559
YES
6.19/2.40
Prolog/
Weinert_
15/
ackermann-cut.pl
5154560
YES
5.05/1.98
Prolog/
Weinert_
15/
factorial_
or.pl
5154561
MAYBE
20.70/6.44
Prolog/
Weinert_
15/
double.pl
5154562
YES
3.87/1.70
Prolog/
Weinert_
15/
division.pl
5154563
MAYBE
17.23/5.38
Prolog/
Weinert_
15/
prime.pl
5154564
YES
4.27/1.84
Prolog/
Weinert_
15/
sumrecursive.pl
5154565
YES
8.75/2.96
Prolog/
Weinert_
15/
fibonacci.pl
5154566
YES
12.64/4.03
Prolog/
Weinert_
15/
extend.pl
5154567
YES
8.34/2.94
Prolog/
Weinert_
15/
fib-cut.pl
5154568
YES
4.51/1.91
Prolog/
Weinert_
15/
vector.pl
5154569
MAYBE
9.42/3.15
Prolog/
Weinert_
15/
descend-nonterm.pl
5154570
MAYBE
7.14/3.07
Prolog/
Weinert_
15/
sum.pl
5154571
YES
3.35/1.60
Prolog/
Weinert_
15/
get-from-list-cut.pl
5154572
MAYBE
15.57/5.19
Prolog/
Weinert_
15/
factorial_
and.pl
5154573
YES
7.63/2.80
Prolog/
Weinert_
15/
frac-reduce.pl
5154574
MAYBE
701.90/192.47
Prolog/
Weinert_
15/
get-from-list.pl
5154575
MAYBE
25.21/8.99
Prolog/
Weinert_
15/
factorial.pl
5154576
YES
6.78/2.49
Prolog/
talp_
maria/
serialize.pl
5154659
YES
12.79/4.07
Prolog/
talp_
maria/
mmatrix.pl
5154660
YES
5.18/2.07
Prolog/
talp_
maria/
read.pl
5154661
MAYBE
4.10/1.86
Prolog/
talp_
maria/
grammar2.pl
5154662
YES
3.89/1.72
Prolog/
talp_
maria/
bid.pl
5154663
MAYBE
5.90/2.21
Prolog/
talp_
maria/
grammar.pl
5154664
YES
3.97/1.72
Prolog/
talp_
maria/
qsortapp.pl
5154665
YES
9.47/3.36
Prolog/
talp_
maria/
progeom.pl
5154666
MAYBE
67.86/18.05
Prolog/
talp_
maria/
hanoiapp.pl
5154667
YES
7.00/2.64
Prolog/
talp_
maria/
fib.pl
5154668
YES
6.15/2.36
Prolog/
talp_
maria/
tak.pl
5154669
YES
4.68/1.90
Prolog/
talp_
maria/
deriv.pl
5154670
YES
3.50/1.59
Prolog/
talp_
maria/
boyer.pl
5154671
MAYBE
4.67/1.99
Prolog/
talp_
maria/
qplan.pl
5154672
YES
4.60/1.96
Prolog/
talp_
maria/
occur.pl
5154673
MAYBE
4.62/1.91
Prolog/
talp_
maria/
aiakl.pl
5154674
MAYBE
4.06/1.85
Prolog/
talp_
maria/
rdtok.pl
5154675
MAYBE
4.71/2.06
Prolog/
talp_
maria/
query.pl
5154676
YES
3.93/1.78
Prolog/
talp_
maria/
warplan.pl
5154677
run script error
[out]
Prolog/
talp_
maria/
deriv-oii.pl
5154678
YES
3.58/1.62
Prolog/
talp_
maria/
money.pl
5154679
YES
7.68/2.67
Prolog/
talp_
maria/
ann.pl
5154680
MAYBE
4.83/2.11
Prolog/
talp_
maria/
tictactoe.pl
5154681
MAYBE
5.25/2.21
Prolog/
talp_
maria/
peephole.pl
5154682
MAYBE
5.26/2.11
Prolog/
talp_
maria/
browse.pl
5154683
MAYBE
4.16/1.82
Logic_
Programming/
lpexamples/
ackermann.pl
5154399
YES
4.64/1.99
Logic_
Programming/
lpexamples/
log2a.pl
5154400
YES
7.64/3.36
Logic_
Programming/
lpexamples/
lategen.pl
5154401
YES
3.80/1.71
Logic_
Programming/
lpexamples/
log2a-oi.pl
5154402
MAYBE
9.80/3.70
Logic_
Programming/
lpexamples/
ackermann-ioi.pl
5154403
MAYBE
17.30/5.47
Logic_
Programming/
lpexamples/
mapcolor.pl
5154404
MAYBE
31.61/8.99
Logic_
Programming/
lpexamples/
shapes.pl
5154405
YES
10.30/3.43
Logic_
Programming/
lpexamples/
mergesort-oi.pl
5154406
MAYBE
19.13/5.71
Logic_
Programming/
lpexamples/
ts08.pl
5154407
YES
3.87/1.74
Logic_
Programming/
lpexamples/
log2b-oi.pl
5154408
MAYBE
63.57/19.83
Logic_
Programming/
lpexamples/
average.pl
5154409
YES
4.87/2.06
Logic_
Programming/
lpexamples/
average-ioi.pl
5154410
YES
3.96/1.73
Logic_
Programming/
lpexamples/
mergesort.pl
5154411
YES
13.10/4.25
Logic_
Programming/
lpexamples/
log2b.pl
5154412
YES
4.70/2.97
Logic_
Programming/
BCGGV05/
p_
nonlin.pl
5154227
YES
10.40/3.49
Logic_
Programming/
BCGGV05/
minimum-fb.pl
5154228
MAYBE
6.19/2.36
Logic_
Programming/
BCGGV05/
tree.pl
5154229
YES
3.72/1.70
Logic_
Programming/
BCGGV05/
insert-bbf.pl
5154230
YES
4.11/1.71
Logic_
Programming/
BCGGV05/
g.pl
5154231
YES
4.25/1.78
Logic_
Programming/
BCGGV05/
select-bff.pl
5154232
MAYBE
6.13/3.54
Logic_
Programming/
BCGGV05/
search_
tree.pl
5154233
YES
5.53/2.17
Logic_
Programming/
BCGGV05/
maximum-bff.pl
5154234
YES
3.81/1.67
Logic_
Programming/
BCGGV05/
frontier-fb.pl
5154235
MAYBE
9.38/3.20
Logic_
Programming/
BCGGV05/
member-fb.pl
5154236
YES
3.72/1.65
Logic_
Programming/
BCGGV05/
minimum-bf.pl
5154237
YES
4.11/1.82
Logic_
Programming/
BCGGV05/
delete-bbf.pl
5154238
YES
5.41/2.11
Logic_
Programming/
BCGGV05/
flatlength-ffb.pl
5154239
MAYBE
7.68/2.75
Logic_
Programming/
BCGGV05/
frontier-bf.pl
5154240
YES
4.39/1.98
Logic_
Programming/
BCGGV05/
slowsort-fb.pl
5154241
MAYBE
10.86/3.73
Logic_
Programming/
BCGGV05/
palindrome.pl
5154242
YES
4.01/1.72
Logic_
Programming/
BCGGV05/
suffix-bf.pl
5154243
MAYBE
6.35/2.71
Logic_
Programming/
BCGGV05/
insert-ffb.pl
5154244
YES
5.66/2.19
Logic_
Programming/
BCGGV05/
slowsort-bf.pl
5154245
YES
7.04/2.53
Logic_
Programming/
BCGGV05/
ackerman.pl
5154246
YES
3.93/1.71
Logic_
Programming/
BCGGV05/
tree_
member-fb.pl
5154247
YES
3.65/1.64
Logic_
Programming/
BCGGV05/
flatlength-bbf.pl
5154248
YES
4.07/1.77
Logic_
Programming/
BCGGV05/
delete-fbf.pl
5154249
YES
5.90/2.31
Logic_
Programming/
BCGGV05/
flatlength-fbf.pl
5154251
MAYBE
8.51/2.95
Logic_
Programming/
BCGGV05/
inorder-fb.pl
5154252
MAYBE
8.95/3.06
Logic_
Programming/
BCGGV05/
insert-bfb.pl
5154253
YES
4.74/1.98
Logic_
Programming/
BCGGV05/
prefix-bf.pl
5154254
YES
3.87/1.72
Logic_
Programming/
BCGGV05/
append-ffb.pl
5154255
YES
3.74/1.64
Logic_
Programming/
BCGGV05/
insert-bff.pl
5154256
MAYBE
28.06/10.44
Logic_
Programming/
BCGGV05/
permutation-fb.pl
5154257
MAYBE
8.05/2.87
Logic_
Programming/
BCGGV05/
in-fb.pl
5154258
YES
6.26/2.32
Logic_
Programming/
BCGGV05/
delete-ffb.pl
5154259
YES
5.76/2.21
Logic_
Programming/
BCGGV05/
subset-bf.pl
5154261
MAYBE
7.62/2.81
Logic_
Programming/
BCGGV05/
append-bff.pl
5154262
YES
3.65/1.66
Logic_
Programming/
BCGGV05/
mult.pl
5154263
YES
4.54/1.87
Logic_
Programming/
BCGGV05/
inorder-bf.pl
5154265
YES
4.48/1.88
Logic_
Programming/
BCGGV05/
transpose-bb.pl
5154266
YES
4.77/2.00
Logic_
Programming/
BCGGV05/
permutation-bf.pl
5154267
YES
5.11/2.06
Logic_
Programming/
BCGGV05/
reverse-bf.pl
5154268
YES
4.30/1.75
Logic_
Programming/
BCGGV05/
maximum-ffb.pl
5154269
YES
3.76/1.67
Logic_
Programming/
BCGGV05/
reverse-fb.pl
5154270
MAYBE
6.98/2.54
Logic_
Programming/
BCGGV05/
less-fb.pl
5154272
YES
3.68/1.64
Logic_
Programming/
BCGGV05/
map_
color.pl
5154274
YES
3.63/1.72
Logic_
Programming/
BCGGV05/
suffix-fb.pl
5154275
YES
3.71/1.67
Logic_
Programming/
BCGGV05/
flat-fb.pl
5154276
MAYBE
8.15/2.99
Logic_
Programming/
BCGGV05/
delmin-ffb.pl
5154277
YES
3.80/1.67
Logic_
Programming/
BCGGV05/
less-bf.pl
5154278
YES
3.56/1.63
Logic_
Programming/
BCGGV05/
delmin-bff.pl
5154279
YES
4.05/1.77
Logic_
Programming/
BCGGV05/
subset-fb.pl
5154280
MAYBE
8.61/3.02
Logic_
Programming/
BCGGV05/
der-fb.pl
5154281
MAYBE
70.04/18.55
Logic_
Programming/
BCGGV05/
list.pl
5154282
YES
3.77/1.70
Logic_
Programming/
BCGGV05/
select-fbf.pl
5154283
YES
3.87/1.73
Logic_
Programming/
BCGGV05/
quicksort-bf.pl
5154284
YES
8.33/2.98
Logic_
Programming/
BCGGV05/
sum-ffb.pl
5154285
YES
3.48/1.62
Logic_
Programming/
BCGGV05/
ordered.pl
5154287
YES
5.69/3.33
Logic_
Programming/
BCGGV05/
select-ffb.pl
5154288
YES
3.70/1.63
Logic_
Programming/
BCGGV05/
length1.pl
5154289
YES
4.22/2.11
Logic_
Programming/
BCGGV05/
flatlength-bfb.pl
5154291
YES
3.76/1.73
Logic_
Programming/
BCGGV05/
member-bf.pl
5154292
MAYBE
6.30/2.31
Logic_
Programming/
BCGGV05/
mergesort.pl
5154294
MAYBE
23.65/6.96
Logic_
Programming/
BCGGV05/
sublist-fb.pl
5154296
YES
4.02/1.77
Logic_
Programming/
BCGGV05/
t.pl
5154297
YES
5.33/2.09
Logic_
Programming/
BCGGV05/
naive_
reverse-fb.pl
5154298
MAYBE
6.34/2.40
Logic_
Programming/
BCGGV05/
permutation1-fb.pl
5154299
YES
4.91/1.95
Logic_
Programming/
BCGGV05/
transpose-fb.pl
5154300
YES
7.48/2.81
Logic_
Programming/
BCGGV05/
tree_
member-bf.pl
5154301
MAYBE
6.65/2.49
Logic_
Programming/
BCGGV05/
quicksort-fb.pl
5154302
MAYBE
59.74/16.05
Logic_
Programming/
BCGGV05/
parse.pl
5154303
YES
7.14/2.56
Logic_
Programming/
BCGGV05/
flatlength-bff.pl
5154304
YES
3.94/1.71
Logic_
Programming/
BCGGV05/
insert-fbf.pl
5154306
YES
5.48/2.23
Logic_
Programming/
BCGGV05/
transpose-bf.pl
5154307
YES
4.34/1.90
Logic_
Programming/
BCGGV05/
numeral.pl
5154308
YES
3.62/1.63
Logic_
Programming/
BCGGV05/
in-bf.pl
5154309
MAYBE
36.10/10.35
Logic_
Programming/
BCGGV05/
delete-bff.pl
5154310
MAYBE
32.46/9.15
Logic_
Programming/
BCGGV05/
slowsort-bb.pl
5154311
YES
6.16/2.32
Logic_
Programming/
talp_
apt/
map.pl
5154347
YES
3.75/1.66
Logic_
Programming/
talp_
apt/
append.pl
5154348
YES
3.79/1.67
Logic_
Programming/
talp_
apt/
map1.pl
5154349
YES
3.74/1.65
Logic_
Programming/
talp_
apt/
quicksort.pl
5154350
YES
8.98/3.18
Logic_
Programming/
talp_
apt/
naive_
rev-oi.pl
5154351
MAYBE
7.44/2.68
Logic_
Programming/
talp_
apt/
naive_
rev.pl
5154352
run script error
[out]
Logic_
Programming/
talp_
apt/
quicksort-oi.pl
5154353
timeout (wallclock)
[out]
Logic_
Programming/
talp_
apt/
select1.pl
5154354
YES
4.39/1.83
Logic_
Programming/
talp_
apt/
member.pl
5154355
YES
3.58/1.61
Logic_
Programming/
talp_
apt/
select.pl
5154356
YES
3.70/1.67
Logic_
Programming/
talp_
apt/
sum.pl
5154357
YES
3.91/1.75
Logic_
Programming/
talp_
apt/
SS_
map_
t.pl
5154358
MAYBE
27.99/7.94
Logic_
Programming/
talp_
apt/
SS_
map.pl
5154359
MAYBE
32.11/8.95
Logic_
Programming/
talp_
apt/
mergesort_
ap.pl
5154360
YES
18.84/5.53
Logic_
Programming/
talp_
apt/
subset1.pl
5154361
MAYBE
8.24/2.87
Logic_
Programming/
talp_
apt/
fold.pl
5154362
YES
3.99/1.77
Logic_
Programming/
talp_
apt/
list.pl
5154363
YES
3.90/1.79
Logic_
Programming/
talp_
apt/
SS_
map_
out.pl
5154364
MAYBE
27.68/7.93
Logic_
Programming/
talp_
apt/
overlap.pl
5154365
YES
4.26/1.85
Logic_
Programming/
talp_
apt/
subset.pl
5154366
YES
4.02/1.73
Logic_
Programming/
talp_
apt/
ordered.pl
5154367
YES
4.83/1.98
Logic_
Programming/
talp_
apt/
permutation.pl
5154368
YES
5.39/2.13
Logic_
Programming/
talp_
apt/
mergesort.pl
5154369
YES
18.44/5.71
Logic_
Programming/
SGST06/
ackermann.pl
5154413
YES
4.19/1.80
Logic_
Programming/
SGST06/
p_
nonlin.pl
5154414
YES
9.07/3.07
Logic_
Programming/
SGST06/
plus.pl
5154415
YES
3.85/1.69
Logic_
Programming/
SGST06/
transpose2.pl
5154416
MAYBE
6.80/2.57
Logic_
Programming/
SGST06/
snake.pl
5154417
timeout (wallclock)
[out]
Logic_
Programming/
SGST06/
giesl97.pl
5154418
YES
4.58/1.89
Logic_
Programming/
SGST06/
ifminus.pl
5154419
YES
5.26/2.06
Logic_
Programming/
SGST06/
avg-bfb.pl
5154420
YES
3.84/1.67
Logic_
Programming/
SGST06/
times.pl
5154421
YES
3.95/1.70
Logic_
Programming/
SGST06/
paper2.pl
5154422
YES
4.19/2.28
Logic_
Programming/
SGST06/
csnake.pl
5154423
timeout (wallclock)
[out]
Logic_
Programming/
SGST06/
flatten.pl
5154424
YES
4.62/1.98
Logic_
Programming/
SGST06/
toyama.pl
5154425
YES
3.39/1.70
Logic_
Programming/
SGST06/
palindrome.pl
5154426
run script error
[out]
Logic_
Programming/
SGST06/
weight.pl
5154427
YES
6.77/2.44
Logic_
Programming/
SGST06/
flatten_
phd.pl
5154428
YES
6.68/2.53
Logic_
Programming/
SGST06/
quot.pl
5154429
YES
4.16/1.77
Logic_
Programming/
SGST06/
pplus.pl
5154430
YES
3.63/1.65
Logic_
Programming/
SGST06/
log.pl
5154431
YES
4.79/1.97
Logic_
Programming/
SGST06/
p.pl
5154432
YES
11.28/3.65
Logic_
Programming/
SGST06/
at.pl
5154434
YES
3.26/1.59
Logic_
Programming/
SGST06/
prime.pl
5154436
YES
12.42/3.93
Logic_
Programming/
SGST06/
rev.pl
5154437
YES
9.14/3.25
Logic_
Programming/
SGST06/
preorder.pl
5154438
YES
3.95/1.72
Logic_
Programming/
SGST06/
countstack.pl
5154439
YES
4.59/1.90
Logic_
Programming/
SGST06/
mapcolor.pl
5154440
MAYBE
30.76/8.58
Logic_
Programming/
SGST06/
evenodd.pl
5154441
YES
3.83/1.75
Logic_
Programming/
SGST06/
avg.pl
5154443
YES
4.72/2.00
Logic_
Programming/
SGST06/
cconfdel.pl
5154445
YES
6.11/2.34
Logic_
Programming/
SGST06/
pplus2.pl
5154446
YES
4.79/1.95
Logic_
Programming/
SGST06/
factor.pl
5154447
YES
6.20/2.33
Logic_
Programming/
SGST06/
blist.pl
5154448
YES
4.12/1.78
Logic_
Programming/
SGST06/
incomplete.pl
5154449
YES
3.88/1.78
Logic_
Programming/
SGST06/
ag01.pl
5154450
YES
4.66/1.98
Logic_
Programming/
SGST06/
cnfequiv.pl
5154451
YES
8.75/2.98
Logic_
Programming/
SGST06/
ifdiv.pl
5154452
MAYBE
134.34/39.19
Logic_
Programming/
SGST06/
shuffle.pl
5154453
YES
5.41/2.18
Logic_
Programming/
SGST06/
incomplete2.pl
5154454
YES
3.75/1.66
Logic_
Programming/
SGST06/
hbal_
tree.pl
5154455
YES
5.77/2.24
Logic_
Programming/
SGST06/
intlist.pl
5154456
YES
4.10/1.71
Logic_
Programming/
SGST06/
paper1.pl
5154458
YES
4.06/1.78
Logic_
Programming/
SGST06/
btapplast.pl
5154459
YES
5.00/2.02
Logic_
Programming/
SGST06/
convert.pl
5154461
YES
5.52/2.11
Logic_
Programming/
SGST06/
psk09-maxsort-bool-nocut.pl
5154462
YES
493.42/130.17
Logic_
Programming/
SGST06/
psk09-append_
variant.pl
5154463
MAYBE
6.45/2.45
Logic_
Programming/
SGST06/
applast.pl
5154464
YES
4.82/2.02
Logic_
Programming/
SGST06/
bappend.pl
5154465
YES
4.09/1.80
Logic_
Programming/
SGST06/
transpose-fb.pl
5154466
YES
6.75/2.45
Logic_
Programming/
SGST06/
parse.pl
5154467
YES
5.66/2.20
Logic_
Programming/
SGST06/
lessleaves.pl
5154470
YES
5.44/2.18
Logic_
Programming/
SGST06/
times2.pl
5154471
YES
6.55/2.48
Logic_
Programming/
SGST06/
incomplete_
variant.pl
5154472
YES
3.34/1.56
Logic_
Programming/
terminweb_
old/
interleave.pl
5154209
YES
3.76/1.80
Logic_
Programming/
terminweb_
old/
permutation2.pl
5154210
YES
4.87/1.96
Logic_
Programming/
terminweb_
old/
subset-no.pl
5154211
MAYBE
8.75/3.12
Logic_
Programming/
terminweb_
old/
untupled_
bal_
tree.pl
5154212
YES
4.85/2.01
Logic_
Programming/
terminweb_
old/
sublist0.pl
5154213
YES
4.29/1.84
Logic_
Programming/
terminweb_
old/
ackerman.pl
5154214
YES
4.44/1.91
Logic_
Programming/
terminweb_
old/
inorder.pl
5154215
YES
4.44/1.97
Logic_
Programming/
terminweb_
old/
rotate.pl
5154216
YES
4.17/1.79
Logic_
Programming/
terminweb_
old/
sublist.pl
5154217
YES
3.80/1.70
Logic_
Programming/
terminweb_
old/
sameleaves.pl
5154218
YES
6.64/2.47
Logic_
Programming/
terminweb_
old/
reach.pl
5154219
YES
8.33/2.96
Logic_
Programming/
terminweb_
old/
subset.pl
5154220
YES
3.92/1.72
Logic_
Programming/
terminweb_
old/
append3-bis.pl
5154221
YES
3.87/1.73
Logic_
Programming/
terminweb_
old/
permutation1.pl
5154222
run script error
[out]
Logic_
Programming/
terminweb_
old/
balance_
tree.pl
5154223
YES
4.18/1.79
Logic_
Programming/
terminweb_
old/
balance_
tree2.pl
5154224
MAYBE
8.82/3.05
Logic_
Programming/
terminweb_
old/
sublist_
bad.pl
5154225
MAYBE
7.25/2.62
Logic_
Programming/
terminweb_
old/
append3.pl
5154226
YES
4.08/1.76
Logic_
Programming/
terminweb_
new/
NJ5.pl
5154313
YES
4.29/1.95
Logic_
Programming/
terminweb_
new/
type-based_
append.pl
5154314
YES
3.78/1.63
Logic_
Programming/
terminweb_
new/
preorder_
dl.pl
5154315
YES
3.94/1.76
Logic_
Programming/
terminweb_
new/
NJ6.pl
5154316
YES
4.33/1.83
Logic_
Programming/
terminweb_
new/
ways.pl
5154317
YES
17.45/5.48
Logic_
Programming/
terminweb_
new/
NJ3.pl
5154318
YES
4.09/1.74
Logic_
Programming/
terminweb_
new/
som.pl
5154319
YES
3.76/1.63
Logic_
Programming/
terminweb_
new/
transpose.pl
5154320
YES
4.78/1.93
Logic_
Programming/
terminweb_
new/
NJ1.pl
5154321
YES
4.04/1.74
Logic_
Programming/
terminweb_
new/
NJ2.pl
5154322
YES
3.57/1.66
Logic_
Programming/
terminweb_
new/
append-ooi.pl
5154323
YES
3.72/1.63
Logic_
Programming/
terminweb_
new/
backwards_
append.pl
5154324
YES
3.90/1.76
Logic_
Programming/
terminweb_
new/
NJ4.pl
5154325
YES
4.26/1.86
Logic_
Programming/
terminweb_
new/
basic_
append.pl
5154326
YES
3.89/1.70
Logic_
Programming/
terminweb_
new/
der.pl
5154327
YES
7.90/2.72
Logic_
Programming_
with_
Cut/
AProVE_
10_
cut/
lateinst.pl
5159267
YES
3.60/1.82
Logic_
Programming_
with_
Cut/
AProVE_
10_
cut/
latesplit.pl
5159268
YES
3.77/1.75
Logic_
Programming_
with_
Cut/
AProVE_
10_
cut/
ts10.pl
5159269
MAYBE
6.01/2.30
Logic_
Programming_
with_
Cut/
AProVE_
10_
cut/
ts06.pl
5159270
MAYBE
5.23/2.12
Logic_
Programming_
with_
Cut/
AProVE_
10_
cut/
ts09.pl
5159271
YES
3.59/1.63
Logic_
Programming_
with_
Cut/
AProVE_
10_
cut/
ts07.pl
5159272
MAYBE
4.96/2.05
Logic_
Programming_
with_
Cut/
AProVE_
10_
cut/
ts04.pl
5159273
YES
4.13/1.82
Logic_
Programming_
with_
Cut/
AProVE_
10_
cut/
ts05.pl
5159274
YES
3.42/1.56
Logic_
Programming/
talp_
mixed/
flat.pl
5154328
YES
5.38/2.11
Logic_
Programming/
talp_
mixed/
hanoiapp.suc.pl
5154329
YES
8.59/2.93
Logic_
Programming/
talp_
mixed/
permute1.pl
5154330
YES
4.95/2.03
Logic_
Programming/
talp_
mixed/
reverse.pl
5154331
YES
4.12/1.78
Logic_
Programming/
talp_
mixed/
sicstus1.pl
5154332
YES
3.80/1.68
Logic_
Programming/
talp_
mixed/
p.pl
5154333
YES
3.90/1.70
Logic_
Programming/
talp_
mixed/
queens.pl
5154334
YES
8.68/3.12
Logic_
Programming/
talp_
mixed/
sublist1.pl
5154335
YES
4.03/1.78
Logic_
Programming/
talp_
mixed/
flat-oi.pl
5154336
MAYBE
7.64/2.75
Logic_
Programming/
talp_
mixed/
rotate.pl
5154337
YES
4.02/1.74
Logic_
Programming/
talp_
mixed/
qicksort.pl
5154338
YES
9.46/3.28
Logic_
Programming/
talp_
mixed/
sublist.pl
5154339
YES
4.21/1.84
Logic_
Programming/
talp_
mixed/
sameleaves.pl
5154340
YES
5.58/2.17
Logic_
Programming/
talp_
mixed/
zebra.pl
5154341
YES
5.87/2.36
Logic_
Programming/
talp_
mixed/
bad_
sublist.pl
5154342
MAYBE
7.04/3.13
Logic_
Programming/
talp_
mixed/
fib_
t.pl
5154343
YES
4.11/1.79
Logic_
Programming/
talp_
mixed/
mergesort.pl
5154344
YES
16.31/4.95
Logic_
Programming/
talp_
mixed/
ack.pl
5154345
YES
4.12/1.73
Logic_
Programming/
talp_
mixed/
perm.pl
5154346
YES
5.47/2.13
Logic_
Programming/
talp_
dds/
append.pl
5154499
YES
3.72/1.64
Logic_
Programming/
talp_
dds/
duplicate.pl
5154500
YES
3.97/1.74
Logic_
Programming/
talp_
dds/
reverse.pl
5154501
run script error
[out]
Logic_
Programming/
talp_
dds/
permute.pl
5154502
YES
4.88/2.06
Logic_
Programming/
talp_
dds/
reverse-iio.pl
5154503
YES
3.88/1.74
Logic_
Programming/
talp_
dds/
dis_
con.pl
5154504
YES
4.02/1.75
Logic_
Programming/
talp_
dds/
sum.pl
5154505
YES
4.65/1.93
Logic_
Programming/
talp_
dds/
dis_
con-bis.pl
5154506
YES
4.28/1.87
Logic_
Programming/
talp_
dds/
merge.pl
5154507
YES
6.82/2.66
Logic_
Programming/
talp_
dds/
sum-ioi.pl
5154508
YES
3.92/1.74
Logic_
Programming/
talp_
talp/
binary3.pl
5154474
YES
7.12/2.58
Logic_
Programming/
talp_
talp/
binary4.pl
5154475
MAYBE
18.98/5.92
Logic_
Programming/
talp_
talp/
flat.pl
5154476
YES
4.31/1.84
Logic_
Programming/
talp_
talp/
binary.pl
5154477
YES
6.64/2.48
Logic_
Programming/
talp_
talp/
append.pl
5154478
YES
3.77/1.65
Logic_
Programming/
talp_
talp/
normal.pl
5154479
YES
5.07/2.04
Logic_
Programming/
talp_
talp/
transitive_
closure.pl
5154480
YES
3.75/1.71
Logic_
Programming/
talp_
talp/
palindrome.pl
5154481
YES
3.89/1.68
Logic_
Programming/
talp_
talp/
example4-2.pl
5154482
MAYBE
6.39/2.35
Logic_
Programming/
talp_
talp/
evaluate.pl
5154483
YES
6.64/2.43
Logic_
Programming/
talp_
talp/
reminder-ioi.pl
5154484
YES
8.64/2.97
Logic_
Programming/
talp_
talp/
permute.pl
5154485
YES
5.26/2.06
Logic_
Programming/
talp_
talp/
example4.pl
5154486
YES
3.95/1.88
Logic_
Programming/
talp_
talp/
simple.pl
5154487
YES
3.41/1.84
Logic_
Programming/
talp_
talp/
slowsort.pl
5154488
YES
6.62/2.44
Logic_
Programming/
talp_
talp/
slowsort-oi.pl
5154489
MAYBE
10.15/3.46
Logic_
Programming/
talp_
talp/
qsort.pl
5154490
YES
10.95/3.88
Logic_
Programming/
talp_
talp/
example1.pl
5154491
YES
3.36/1.56
Logic_
Programming/
talp_
talp/
gcd.pl
5154492
YES
7.26/2.62
Logic_
Programming/
talp_
talp/
reminder.pl
5154493
YES
6.56/2.46
Logic_
Programming/
talp_
talp/
div.pl
5154495
YES
6.01/2.28
Logic_
Programming/
talp_
talp/
binary2.pl
5154497
YES
6.90/2.53
Logic_
Programming/
talp_
talp/
perm.pl
5154498
YES
5.86/2.32
Logic_
Programming/
talp_
plumer/
pl6.1.1.pl
5154371
YES
10.82/3.50
Logic_
Programming/
talp_
plumer/
pl5.2.2.pl
5154372
run script error
[out]
Logic_
Programming/
talp_
plumer/
pl1.2.pl
5154373
YES
5.98/2.29
Logic_
Programming/
talp_
plumer/
pl7.6.2b.pl
5154374
MAYBE
167.71/42.88
Logic_
Programming/
talp_
plumer/
pl8.3.1.pl
5154375
run script error
[out]
Logic_
Programming/
talp_
plumer/
mergesort_
t.pl
5154376
YES
12.58/3.95
Logic_
Programming/
talp_
plumer/
pl4.4.6a.pl
5154377
YES
4.52/1.87
Logic_
Programming/
talp_
plumer/
pl2.3.1.pl
5154378
YES
3.55/1.62
Logic_
Programming/
talp_
plumer/
pl7.2.9.pl
5154379
YES
4.83/2.01
Logic_
Programming/
talp_
plumer/
pl8.4.2.pl
5154380
YES
5.65/2.18
Logic_
Programming/
talp_
plumer/
pl3.1.1.pl
5154381
MAYBE
9.35/3.22
Logic_
Programming/
talp_
plumer/
pl1.2_
t.pl
5154382
YES
6.60/2.50
Logic_
Programming/
talp_
plumer/
pl8.2.1.pl
5154383
YES
14.54/4.43
Logic_
Programming/
talp_
plumer/
pl4.0.1-oooi.pl
5154384
MAYBE
6.08/2.32
Logic_
Programming/
talp_
plumer/
pl4.5.3c.pl
5154385
MAYBE
6.44/2.48
Logic_
Programming/
talp_
plumer/
pl4.5.2.pl
5154386
MAYBE
36.33/10.71
Logic_
Programming/
talp_
plumer/
pl3.5.6a.pl
5154387
YES
3.43/1.59
Logic_
Programming/
talp_
plumer/
pl7.6.2c.pl
5154388
YES
8.27/2.99
Logic_
Programming/
talp_
plumer/
pl4.5.3b.pl
5154389
MAYBE
9.52/3.42
Logic_
Programming/
talp_
plumer/
pl3.5.6.pl
5154390
MAYBE
6.17/2.36
Logic_
Programming/
talp_
plumer/
pl1.1.pl
5154391
MAYBE
5.50/2.22
Logic_
Programming/
talp_
plumer/
pl4.4.3.pl
5154392
YES
6.50/2.36
Logic_
Programming/
talp_
plumer/
pl8.3.1a.pl
5154393
YES
8.44/2.97
Logic_
Programming/
talp_
plumer/
pl7.6.2a.pl
5154395
MAYBE
18.46/5.68
Logic_
Programming/
talp_
plumer/
pl4.5.3a.pl
5154396
MAYBE
6.02/2.34
Logic_
Programming/
talp_
plumer/
pl4.0.1.pl
5154397
YES
4.27/1.76
Logic_
Programming/
talp_
plumer/
pl8.4.1.pl
5154398
YES
3.79/1.65
443