Logic_Programming/BCGGV05/ackerman.pl
|
YES
2.9 /
4.6
|
|
|
Logic_Programming/BCGGV05/append-bff.pl
|
YES
2.6 /
2.0
|
|
|
Logic_Programming/BCGGV05/append-ffb.pl
|
YES
2.9 /
2.4
|
|
|
Logic_Programming/BCGGV05/delete-bbf.pl
|
YES
3.7 /
2.3
|
|
|
Logic_Programming/BCGGV05/delete-bfb.pl
|
YES
3.8 /
2.4
|
|
|
Logic_Programming/BCGGV05/delete-bff.pl
|
.
32.7 /
17.2
|
|
|
Logic_Programming/BCGGV05/delete-fbf.pl
|
YES
5.7 /
3.5
|
|
|
Logic_Programming/BCGGV05/delete-ffb.pl
|
YES
5.5 /
3.3
|
|
|
Logic_Programming/BCGGV05/delmin-bff.pl
|
YES
2.8 /
4.1
|
|
|
Logic_Programming/BCGGV05/delmin-ffb.pl
|
YES
3.0 /
2.0
|
|
|
Logic_Programming/BCGGV05/der-bf.pl
|
YES
13.7 /
7.9
|
|
|
Logic_Programming/BCGGV05/der-fb.pl
|
.
101.3 /
42.0
|
|
|
Logic_Programming/BCGGV05/factor.pl
|
YES
8.1 /
3.9
|
|
|
Logic_Programming/BCGGV05/flat-bf.pl
|
YES
3.9 /
2.3
|
|
|
Logic_Programming/BCGGV05/flat-fb.pl
|
.
7.4 /
4.0
|
|
|
Logic_Programming/BCGGV05/flatlength-bbf.pl
|
YES
2.8 /
2.1
|
|
|
Logic_Programming/BCGGV05/flatlength-bfb.pl
|
YES
2.8 /
2.1
|
|
|
Logic_Programming/BCGGV05/flatlength-bff.pl
|
YES
2.9 /
1.8
|
|
|
Logic_Programming/BCGGV05/flatlength-fbf.pl
|
.
13.6 /
6.9
|
|
|
Logic_Programming/BCGGV05/flatlength-ffb.pl
|
.
7.5 /
3.2
|
|
|
Logic_Programming/BCGGV05/frontier-bf.pl
|
YES
3.7 /
2.2
|
|
|
Logic_Programming/BCGGV05/frontier-fb.pl
|
.
8.3 /
3.8
|
|
|
Logic_Programming/BCGGV05/g.pl
|
YES
4.0 /
4.2
|
|
|
Logic_Programming/BCGGV05/in-bf.pl
|
.
31.6 /
14.9
|
|
|
Logic_Programming/BCGGV05/in-fb.pl
|
YES
5.1 /
2.6
|
|
|
Logic_Programming/BCGGV05/inorder-bf.pl
|
YES
3.3 /
2.0
|
|
|
Logic_Programming/BCGGV05/inorder-fb.pl
|
.
14.4 /
7.1
|
|
|
Logic_Programming/BCGGV05/insert-bbf.pl
|
YES
4.0 /
3.0
|
|
|
Logic_Programming/BCGGV05/insert-bfb.pl
|
YES
3.5 /
2.0
|
|
|
Logic_Programming/BCGGV05/insert-bff.pl
|
.
33.8 /
16.2
|
|
|
Logic_Programming/BCGGV05/insert-fbf.pl
|
YES
6.2 /
8.0
|
|
|
Logic_Programming/BCGGV05/insert-ffb.pl
|
YES
5.3 /
4.2
|
|
|
Logic_Programming/BCGGV05/length.pl
|
YES
2.6 /
1.8
|
|
|
Logic_Programming/BCGGV05/length1.pl
|
YES
2.6 /
2.2
|
|
|
Logic_Programming/BCGGV05/less-bf.pl
|
YES
2.7 /
1.8
|
|
|
Logic_Programming/BCGGV05/less-fb.pl
|
YES
2.6 /
1.9
|
|
|
Logic_Programming/BCGGV05/list.pl
|
YES
2.7 /
1.9
|
|
|
Logic_Programming/BCGGV05/map_color.pl
|
YES
2.6 /
1.6
|
|
|
Logic_Programming/BCGGV05/maximum-bff.pl
|
YES
3.1 /
1.9
|
|
|
Logic_Programming/BCGGV05/maximum-fbf.pl
|
YES
3.4 /
6.0
|
|
|
Logic_Programming/BCGGV05/maximum-ffb.pl
|
YES
3.0 /
2.5
|
|
|
Logic_Programming/BCGGV05/member-bf.pl
|
.
5.3 /
3.5
|
|
|
Logic_Programming/BCGGV05/member-fb.pl
|
YES
2.8 /
1.8
|
|
|
Logic_Programming/BCGGV05/mergesort.pl
|
.
26.8 /
13.0
|
|
|
Logic_Programming/BCGGV05/minimum-bf.pl
|
YES
2.6 /
2.4
|
|
|
Logic_Programming/BCGGV05/minimum-fb.pl
|
.
6.1 /
4.9
|
|
|
Logic_Programming/BCGGV05/mult.pl
|
YES
3.0 /
2.1
|
|
|
Logic_Programming/BCGGV05/naive_reverse-bf.pl
|
YES
3.1 /
2.8
|
|
|
Logic_Programming/BCGGV05/naive_reverse-fb.pl
|
.
6.2 /
3.7
|
|
|
Logic_Programming/BCGGV05/numeral.pl
|
YES
2.5 /
2.9
|
|
|
Logic_Programming/BCGGV05/ordered.pl
|
YES
4.9 /
6.8
|
|
|
Logic_Programming/BCGGV05/p.pl
|
YES
11.0 /
9.9
|
|
|
Logic_Programming/BCGGV05/p_nonlin.pl
|
YES
10.9 /
6.0
|
|
|
Logic_Programming/BCGGV05/palindrome.pl
|
YES
2.6 /
1.8
|
|
|
Logic_Programming/BCGGV05/parse.pl
|
YES
6.3 /
2.9
|
|
|
Logic_Programming/BCGGV05/permutation-bf.pl
|
YES
4.1 /
2.3
|
|
|
Logic_Programming/BCGGV05/permutation-fb.pl
|
.
8.3 /
4.7
|
|
|
Logic_Programming/BCGGV05/permutation1-fb.pl
|
YES
3.9 /
2.2
|
|
|
Logic_Programming/BCGGV05/prefix-bf.pl
|
YES
2.8 /
2.7
|
|
|
Logic_Programming/BCGGV05/prefix-fb.pl
|
YES
3.0 /
2.0
|
|
|
Logic_Programming/BCGGV05/quicksort-bf.pl
|
YES
10.6 /
5.0
|
|
|
Logic_Programming/BCGGV05/quicksort-fb.pl
|
.
71.4 /
33.1
|
|
|
Logic_Programming/BCGGV05/reverse-bf.pl
|
YES
2.8 /
1.7
|
|
|
Logic_Programming/BCGGV05/reverse-fb.pl
|
.
7.4 /
6.7
|
|
|
Logic_Programming/BCGGV05/search_tree.pl
|
YES
4.7 /
3.5
|
|
|
Logic_Programming/BCGGV05/select-bff.pl
|
.
5.5 /
2.9
|
|
|
Logic_Programming/BCGGV05/select-fbf.pl
|
YES
2.7 /
1.8
|
|
|
Logic_Programming/BCGGV05/select-ffb.pl
|
YES
3.0 /
2.8
|
|
|
Logic_Programming/BCGGV05/slowsort-bb.pl
|
YES
5.1 /
3.2
|
|
|
Logic_Programming/BCGGV05/slowsort-bf.pl
|
YES
6.7 /
3.9
|
|
|
Logic_Programming/BCGGV05/slowsort-fb.pl
|
.
12.5 /
5.4
|
|
|
Logic_Programming/BCGGV05/sublist-bf.pl
|
.
6.3 /
3.8
|
|
|
Logic_Programming/BCGGV05/sublist-fb.pl
|
YES
3.0 /
2.3
|
|
|
Logic_Programming/BCGGV05/subset-bf.pl
|
.
7.1 /
4.1
|
|
|
Logic_Programming/BCGGV05/subset-fb.pl
|
.
12.2 /
5.4
|
|
|
Logic_Programming/BCGGV05/suffix-bf.pl
|
.
4.9 /
2.3
|
|
|
Logic_Programming/BCGGV05/suffix-fb.pl
|
YES
2.6 /
1.7
|
|
|
Logic_Programming/BCGGV05/sum-fbf.pl
|
YES
2.6 /
1.8
|
|
|
Logic_Programming/BCGGV05/sum-ffb.pl
|
YES
2.6 /
2.1
|
|
|
Logic_Programming/BCGGV05/t.pl
|
YES
4.6 /
2.9
|
|
|
Logic_Programming/BCGGV05/transpose-bb.pl
|
YES
3.2 /
2.2
|
|
|
Logic_Programming/BCGGV05/transpose-bf.pl
|
YES
4.3 /
6.7
|
|
|
Logic_Programming/BCGGV05/transpose-fb.pl
|
YES
6.5 /
3.7
|
|
|
Logic_Programming/BCGGV05/tree.pl
|
YES
2.9 /
1.8
|
|
|
Logic_Programming/BCGGV05/tree_member-bf.pl
|
.
6.0 /
3.3
|
|
|
Logic_Programming/BCGGV05/tree_member-fb.pl
|
YES
3.1 /
2.4
|
|
|
Logic_Programming/SGST06/ackermann.pl
|
YES
3.5 /
2.3
|
|
|
Logic_Programming/SGST06/ag01.pl
|
YES
3.0 /
2.1
|
|
|
Logic_Programming/SGST06/applast.pl
|
YES
3.7 /
2.5
|
|
|
Logic_Programming/SGST06/at.pl
|
YES
2.5 /
1.8
|
|
|
Logic_Programming/SGST06/avg-bfb.pl
|
YES
3.1 /
1.8
|
|
|
Logic_Programming/SGST06/avg.pl
|
YES
4.1 /
2.6
|
|
|
Logic_Programming/SGST06/baby91.pl
|
.
797.8 /
300.0
|
|
|
Logic_Programming/SGST06/bappend.pl
|
YES
3.2 /
2.2
|
|
|
Logic_Programming/SGST06/blist.pl
|
YES
2.9 /
2.1
|
|
|
Logic_Programming/SGST06/btappend.pl
|
YES
3.9 /
2.2
|
|
|
Logic_Programming/SGST06/btapplast.pl
|
YES
4.5 /
2.9
|
|
|
Logic_Programming/SGST06/btree.pl
|
YES
3.6 /
2.1
|
|
|
Logic_Programming/SGST06/cconfdel.pl
|
YES
4.7 /
5.4
|
|
|
Logic_Programming/SGST06/cnfequiv.pl
|
YES
12.1 /
6.8
|
|
|
Logic_Programming/SGST06/confdel.pl
|
YES
4.5 /
3.2
|
|
|
Logic_Programming/SGST06/convert.pl
|
YES
4.4 /
3.0
|
|
|
Logic_Programming/SGST06/countstack.pl
|
YES
3.5 /
2.6
|
|
|
Logic_Programming/SGST06/csnake.pl
|
.
497.6 /
300.0
|
|
|
Logic_Programming/SGST06/d.pl
|
YES
10.8 /
5.5
|
|
|
Logic_Programming/SGST06/doublehalfpred.pl
|
.
370.9 /
122.6
|
|
|
Logic_Programming/SGST06/evenodd.pl
|
YES
2.8 /
2.2
|
|
|
Logic_Programming/SGST06/factor.pl
|
YES
6.5 /
3.1
|
|
|
Logic_Programming/SGST06/flatten.pl
|
YES
3.4 /
2.3
|
|
|
Logic_Programming/SGST06/flatten_phd.pl
|
YES
5.5 /
3.1
|
|
|
Logic_Programming/SGST06/giesl97.pl
|
YES
3.5 /
2.3
|
|
|
Logic_Programming/SGST06/gopher.pl
|
YES
3.6 /
2.4
|
|
|
Logic_Programming/SGST06/hbal_tree.pl
|
YES
4.8 /
3.0
|
|
|
Logic_Programming/SGST06/ifdiv.pl
|
.
153.2 /
57.7
|
|
|
Logic_Programming/SGST06/ifminus.pl
|
YES
4.2 /
2.7
|
|
|
Logic_Programming/SGST06/incomplete.pl
|
YES
2.9 /
1.8
|
|
|
Logic_Programming/SGST06/incomplete2.pl
|
YES
2.8 /
1.8
|
|
|
Logic_Programming/SGST06/incomplete_variant.pl
|
YES
2.4 /
1.7
|
|
|
Logic_Programming/SGST06/intlist.pl
|
YES
3.4 /
2.7
|
|
|
Logic_Programming/SGST06/lessleaves.pl
|
YES
4.9 /
2.9
|
|
|
Logic_Programming/SGST06/log.pl
|
YES
4.2 /
2.5
|
|
|
Logic_Programming/SGST06/mapcolor.pl
|
.
39.9 /
15.8
|
|
|
Logic_Programming/SGST06/p.pl
|
YES
9.2 /
4.4
|
|
|
Logic_Programming/SGST06/p_nonlin.pl
|
YES
12.7 /
6.0
|
|
|
Logic_Programming/SGST06/palindrome.pl
|
YES
5.0 /
2.8
|
|
|
Logic_Programming/SGST06/paper1.pl
|
YES
6.1 /
2.1
|
|
|
Logic_Programming/SGST06/paper2.pl
|
YES
3.1 /
2.4
|
|
|
Logic_Programming/SGST06/parse.pl
|
YES
5.7 /
4.0
|
|
|
Logic_Programming/SGST06/perm.pl
|
YES
3.7 /
2.7
|
|
|
Logic_Programming/SGST06/plus.pl
|
YES
2.7 /
1.7
|
|
|
Logic_Programming/SGST06/pplus.pl
|
YES
2.7 /
2.3
|
|
|
Logic_Programming/SGST06/pplus2.pl
|
YES
4.0 /
3.4
|
|
|
Logic_Programming/SGST06/preorder.pl
|
YES
3.5 /
3.1
|
|
|
Logic_Programming/SGST06/prime.pl
|
YES
14.4 /
6.3
|
|
|
Logic_Programming/SGST06/psk09-append_variant.pl
|
.
5.2 /
2.9
|
|
|
gic_Programming/SGST06/psk09-maxsort-bool-nocut.pl
|
YES
131.1 /
49.3
|
|
|
Logic_Programming/SGST06/quot.pl
|
YES
2.9 /
2.1
|
|
|
Logic_Programming/SGST06/rev.pl
|
YES
9.4 /
4.1
|
|
|
Logic_Programming/SGST06/samefringe.pl
|
YES
4.9 /
2.5
|
|
|
Logic_Programming/SGST06/shuffle.pl
|
YES
5.2 /
4.8
|
|
|
Logic_Programming/SGST06/snake.pl
|
.
729.4 /
300.0
|
|
|
Logic_Programming/SGST06/times.pl
|
YES
2.8 /
1.9
|
|
|
Logic_Programming/SGST06/times2.pl
|
YES
6.0 /
2.8
|
|
|
Logic_Programming/SGST06/toyama.pl
|
YES
2.4 /
1.9
|
|
|
Logic_Programming/SGST06/transpose-fb.pl
|
YES
8.0 /
5.0
|
|
|
Logic_Programming/SGST06/transpose2.pl
|
.
7.5 /
4.1
|
|
|
Logic_Programming/SGST06/weight.pl
|
YES
4.6 /
3.1
|
|
|
Logic_Programming/lpexamples/ackermann-ioi.pl
|
.
23.9 /
10.4
|
|
|
Logic_Programming/lpexamples/ackermann.pl
|
YES
2.9 /
1.7
|
|
|
Logic_Programming/lpexamples/average-ioi.pl
|
YES
3.0 /
2.0
|
|
|
Logic_Programming/lpexamples/average.pl
|
YES
3.3 /
2.2
|
|
|
Logic_Programming/lpexamples/lategen.pl
|
YES
2.4 /
1.8
|
|
|
Logic_Programming/lpexamples/log2a-oi.pl
|
.
11.8 /
4.9
|
|
|
Logic_Programming/lpexamples/log2a.pl
|
YES
4.4 /
2.8
|
|
|
Logic_Programming/lpexamples/log2b-oi.pl
|
.
78.8 /
28.6
|
|
|
Logic_Programming/lpexamples/log2b.pl
|
YES
5.0 /
3.2
|
|
|
Logic_Programming/lpexamples/mapcolor.pl
|
.
40.3 /
20.5
|
|
|
Logic_Programming/lpexamples/mergesort-oi.pl
|
.
29.0 /
10.9
|
|
|
Logic_Programming/lpexamples/mergesort.pl
|
YES
19.8 /
8.3
|
|
|
Logic_Programming/lpexamples/shapes.pl
|
YES
12.8 /
5.5
|
|
|
Logic_Programming/lpexamples/ts08.pl
|
YES
3.0 /
1.9
|
|
|
Logic_Programming/talp_apt/SS_map.pl
|
.
37.7 /
17.5
|
|
|
Logic_Programming/talp_apt/SS_map_out.pl
|
.
37.6 /
13.9
|
|
|
Logic_Programming/talp_apt/SS_map_t.pl
|
.
36.5 /
13.5
|
|
|
Logic_Programming/talp_apt/append.pl
|
YES
2.8 /
2.2
|
|
|
Logic_Programming/talp_apt/fold.pl
|
YES
2.6 /
2.2
|
|
|
Logic_Programming/talp_apt/list.pl
|
YES
2.7 /
1.7
|
|
|
Logic_Programming/talp_apt/lte.pl
|
YES
3.0 /
2.6
|
|
|
Logic_Programming/talp_apt/map.pl
|
YES
3.2 /
2.0
|
|
|
Logic_Programming/talp_apt/map1.pl
|
YES
2.9 /
1.8
|
|
|
Logic_Programming/talp_apt/member.pl
|
YES
2.9 /
1.8
|
|
|
Logic_Programming/talp_apt/mergesort.pl
|
YES
30.1 /
15.1
|
|
|
Logic_Programming/talp_apt/mergesort_ap.pl
|
YES
46.5 /
18.2
|
|
|
Logic_Programming/talp_apt/naive_rev-oi.pl
|
.
8.4 /
9.4
|
|
|
Logic_Programming/talp_apt/naive_rev.pl
|
YES
2.9 /
3.1
|
|
|
Logic_Programming/talp_apt/ordered.pl
|
YES
4.5 /
3.2
|
|
|
Logic_Programming/talp_apt/overlap.pl
|
YES
2.9 /
2.3
|
|
|
Logic_Programming/talp_apt/permutation.pl
|
YES
4.3 /
2.3
|
|
|
Logic_Programming/talp_apt/quicksort-oi.pl
|
.
422.3 /
300.0
|
|
|
Logic_Programming/talp_apt/quicksort.pl
|
YES
11.3 /
5.7
|
|
|
Logic_Programming/talp_apt/select.pl
|
YES
2.7 /
2.2
|
|
|
Logic_Programming/talp_apt/select1.pl
|
YES
2.5 /
2.1
|
|
|
Logic_Programming/talp_apt/subset.pl
|
YES
3.4 /
2.7
|
|
|
Logic_Programming/talp_apt/subset1.pl
|
.
13.0 /
7.8
|
|
|
Logic_Programming/talp_apt/sum.pl
|
YES
2.7 /
1.7
|
|
|
Logic_Programming/talp_dds/append.pl
|
YES
2.7 /
1.7
|
|
|
Logic_Programming/talp_dds/dis_con-bis.pl
|
YES
2.8 /
1.8
|
|
|
Logic_Programming/talp_dds/dis_con.pl
|
YES
3.5 /
2.0
|
|
|
Logic_Programming/talp_dds/duplicate.pl
|
YES
2.5 /
1.8
|
|
|
Logic_Programming/talp_dds/merge.pl
|
YES
6.0 /
2.7
|
|
|
Logic_Programming/talp_dds/permute.pl
|
YES
3.9 /
2.1
|
|
|
Logic_Programming/talp_dds/reverse-iio.pl
|
YES
3.0 /
2.9
|
|
|
Logic_Programming/talp_dds/reverse.pl
|
YES
2.9 /
3.3
|
|
|
Logic_Programming/talp_dds/sum-ioi.pl
|
YES
2.9 /
2.0
|
|
|
Logic_Programming/talp_dds/sum.pl
|
YES
3.2 /
1.9
|
|
|
Logic_Programming/talp_mixed/ack.pl
|
YES
3.1 /
1.9
|
|
|
Logic_Programming/talp_mixed/bad_sublist.pl
|
.
6.3 /
3.7
|
|
|
Logic_Programming/talp_mixed/fib_t.pl
|
YES
3.6 /
2.0
|
|
|
Logic_Programming/talp_mixed/flat-oi.pl
|
.
7.4 /
4.5
|
|
|
Logic_Programming/talp_mixed/flat.pl
|
YES
4.5 /
2.4
|
|
|
Logic_Programming/talp_mixed/hanoiapp.suc.pl
|
YES
6.1 /
2.9
|
|
|
Logic_Programming/talp_mixed/mergesort.pl
|
YES
29.7 /
17.5
|
|
|
Logic_Programming/talp_mixed/p.pl
|
YES
2.9 /
2.4
|
|
|
Logic_Programming/talp_mixed/perm.pl
|
YES
4.2 /
2.6
|
|
|
Logic_Programming/talp_mixed/permute1.pl
|
YES
4.0 /
2.1
|
|
|
Logic_Programming/talp_mixed/qicksort.pl
|
YES
9.7 /
3.6
|
|
|
Logic_Programming/talp_mixed/queens.pl
|
YES
8.1 /
4.9
|
|
|
Logic_Programming/talp_mixed/reverse.pl
|
YES
3.1 /
2.1
|
|
|
Logic_Programming/talp_mixed/rotate.pl
|
YES
3.3 /
2.0
|
|
|
Logic_Programming/talp_mixed/sameleaves.pl
|
YES
5.1 /
2.4
|
|
|
Logic_Programming/talp_mixed/sicstus1.pl
|
YES
2.9 /
1.8
|
|
|
Logic_Programming/talp_mixed/sublist.pl
|
YES
4.7 /
9.7
|
|
|
Logic_Programming/talp_mixed/sublist1.pl
|
YES
3.3 /
2.0
|
|
|
Logic_Programming/talp_mixed/zebra.pl
|
YES
7.6 /
4.2
|
|
|
Logic_Programming/talp_plumer/mergesort_t.pl
|
YES
22.5 /
11.6
|
|
|
Logic_Programming/talp_plumer/pl1.1.pl
|
.
5.5 /
2.8
|
|
|
Logic_Programming/talp_plumer/pl1.2.pl
|
YES
4.6 /
2.5
|
|
|
Logic_Programming/talp_plumer/pl1.2_t.pl
|
YES
5.7 /
2.8
|
|
|
Logic_Programming/talp_plumer/pl2.3.1.pl
|
YES
2.9 /
2.7
|
|
|
Logic_Programming/talp_plumer/pl3.1.1.pl
|
.
6.3 /
4.0
|
|
|
Logic_Programming/talp_plumer/pl3.5.6.pl
|
.
5.3 /
4.5
|
|
|
Logic_Programming/talp_plumer/pl3.5.6a.pl
|
YES
2.5 /
1.6
|
|
|
Logic_Programming/talp_plumer/pl4.0.1-oooi.pl
|
.
6.5 /
3.8
|
|
|
Logic_Programming/talp_plumer/pl4.0.1.pl
|
YES
2.9 /
1.8
|
|
|
Logic_Programming/talp_plumer/pl4.4.3.pl
|
YES
7.6 /
7.1
|
|
|
Logic_Programming/talp_plumer/pl4.4.6a.pl
|
YES
3.3 /
1.9
|
|
|
Logic_Programming/talp_plumer/pl4.5.2.pl
|
.
31.0 /
10.9
|
|
|
Logic_Programming/talp_plumer/pl4.5.3a.pl
|
.
6.0 /
3.3
|
|
|
Logic_Programming/talp_plumer/pl4.5.3b.pl
|
.
9.7 /
3.9
|
|
|
Logic_Programming/talp_plumer/pl4.5.3c.pl
|
.
5.8 /
4.0
|
|
|
Logic_Programming/talp_plumer/pl5.2.2.pl
|
.
876.8 /
300.1
|
|
|
Logic_Programming/talp_plumer/pl6.1.1.pl
|
YES
11.3 /
5.5
|
|
|
Logic_Programming/talp_plumer/pl7.2.9.pl
|
YES
3.1 /
1.9
|
|
|
Logic_Programming/talp_plumer/pl7.6.2a.pl
|
.
40.9 /
19.6
|
|
|
Logic_Programming/talp_plumer/pl7.6.2b.pl
|
.
210.5 /
67.5
|
|
|
Logic_Programming/talp_plumer/pl7.6.2c.pl
|
YES
9.6 /
3.6
|
|
|
Logic_Programming/talp_plumer/pl8.2.1.pl
|
YES
27.1 /
10.2
|
|
|
Logic_Programming/talp_plumer/pl8.2.1a.pl
|
YES
16.1 /
8.3
|
|
|
Logic_Programming/talp_plumer/pl8.3.1.pl
|
.
902.4 /
300.0
|
|
|
Logic_Programming/talp_plumer/pl8.3.1a.pl
|
YES
10.4 /
5.9
|
|
|
Logic_Programming/talp_plumer/pl8.4.1.pl
|
YES
2.8 /
1.8
|
|
|
Logic_Programming/talp_plumer/pl8.4.2.pl
|
YES
5.5 /
2.6
|
|
|
Logic_Programming/talp_talp/append.pl
|
YES
2.7 /
1.9
|
|
|
Logic_Programming/talp_talp/binary.pl
|
YES
7.7 /
3.9
|
|
|
Logic_Programming/talp_talp/binary2.pl
|
YES
7.8 /
4.3
|
|
|
Logic_Programming/talp_talp/binary3.pl
|
YES
8.5 /
7.5
|
|
|
Logic_Programming/talp_talp/binary4.pl
|
.
20.3 /
8.5
|
|
|
Logic_Programming/talp_talp/div.pl
|
YES
6.4 /
2.7
|
|
|
Logic_Programming/talp_talp/evaluate.pl
|
YES
6.0 /
3.0
|
|
|
Logic_Programming/talp_talp/example1.pl
|
YES
2.5 /
2.4
|
|
|
Logic_Programming/talp_talp/example4-2.pl
|
.
4.6 /
2.2
|
|
|
Logic_Programming/talp_talp/example4.pl
|
YES
2.9 /
4.2
|
|
|
Logic_Programming/talp_talp/flat.pl
|
YES
3.8 /
2.8
|
|
|
Logic_Programming/talp_talp/gcd.pl
|
YES
9.6 /
4.5
|
|
|
Logic_Programming/talp_talp/nat.pl
|
YES
3.6 /
2.5
|
|
|
Logic_Programming/talp_talp/normal.pl
|
YES
4.6 /
2.7
|
|
|
Logic_Programming/talp_talp/palindrome.pl
|
YES
2.9 /
3.0
|
|
|
Logic_Programming/talp_talp/perm.pl
|
YES
4.2 /
2.6
|
|
|
Logic_Programming/talp_talp/permute.pl
|
YES
4.3 /
2.7
|
|
|
Logic_Programming/talp_talp/qsort.pl
|
YES
13.0 /
7.6
|
|
|
Logic_Programming/talp_talp/reminder-ioi.pl
|
YES
7.5 /
3.8
|
|
|
Logic_Programming/talp_talp/reminder.pl
|
YES
7.6 /
4.8
|
|
|
Logic_Programming/talp_talp/simple.pl
|
YES
2.8 /
2.6
|
|
|
Logic_Programming/talp_talp/slowsort-oi.pl
|
.
11.6 /
5.7
|
|
|
Logic_Programming/talp_talp/slowsort.pl
|
YES
6.0 /
2.6
|
|
|
Logic_Programming/talp_talp/transitive_closure.pl
|
YES
3.0 /
2.4
|
|
|
Logic_Programming/talp_talp/vangelder.pl
|
YES
18.8 /
17.4
|
|
|
Logic_Programming/terminweb_new/NJ1.pl
|
YES
3.1 /
1.7
|
|
|
Logic_Programming/terminweb_new/NJ2.pl
|
YES
2.9 /
2.1
|
|
|
Logic_Programming/terminweb_new/NJ3.pl
|
YES
3.5 /
2.6
|
|
|
Logic_Programming/terminweb_new/NJ4.pl
|
YES
2.9 /
1.9
|
|
|
Logic_Programming/terminweb_new/NJ5.pl
|
YES
3.2 /
2.0
|
|
|
Logic_Programming/terminweb_new/NJ6.pl
|
YES
3.1 /
2.0
|
|
|
Logic_Programming/terminweb_new/append-ooi.pl
|
YES
3.1 /
2.9
|
|
|
ogic_Programming/terminweb_new/backwards_append.pl
|
YES
2.5 /
1.6
|
|
|
Logic_Programming/terminweb_new/basic_append.pl
|
YES
2.6 /
1.9
|
|
|
Logic_Programming/terminweb_new/der.pl
|
YES
14.9 /
7.1
|
|
|
Logic_Programming/terminweb_new/preorder_dl.pl
|
YES
3.1 /
1.9
|
|
|
Logic_Programming/terminweb_new/som.pl
|
YES
2.5 /
2.1
|
|
|
Logic_Programming/terminweb_new/transpose.pl
|
YES
4.1 /
3.5
|
|
|
gic_Programming/terminweb_new/type-based_append.pl
|
YES
2.8 /
1.8
|
|
|
Logic_Programming/terminweb_new/ways.pl
|
YES
31.8 /
14.5
|
|
|
Logic_Programming/terminweb_old/ackerman.pl
|
YES
3.4 /
2.2
|
|
|
Logic_Programming/terminweb_old/append3-bis.pl
|
YES
2.8 /
2.7
|
|
|
Logic_Programming/terminweb_old/append3.pl
|
YES
2.9 /
1.8
|
|
|
Logic_Programming/terminweb_old/balance_tree.pl
|
YES
3.5 /
2.0
|
|
|
Logic_Programming/terminweb_old/balance_tree2.pl
|
.
7.5 /
4.2
|
|
|
Logic_Programming/terminweb_old/inorder.pl
|
YES
2.9 /
2.2
|
|
|
Logic_Programming/terminweb_old/interleave.pl
|
YES
2.8 /
4.5
|
|
|
Logic_Programming/terminweb_old/permutation1.pl
|
YES
4.5 /
2.8
|
|
|
Logic_Programming/terminweb_old/permutation2.pl
|
YES
3.7 /
2.0
|
|
|
Logic_Programming/terminweb_old/reach.pl
|
YES
10.6 /
4.9
|
|
|
Logic_Programming/terminweb_old/rotate.pl
|
YES
3.4 /
2.0
|
|
|
Logic_Programming/terminweb_old/sameleaves.pl
|
YES
5.4 /
3.5
|
|
|
Logic_Programming/terminweb_old/sublist.pl
|
YES
3.0 /
1.8
|
|
|
Logic_Programming/terminweb_old/sublist0.pl
|
YES
3.2 /
1.8
|
|
|
Logic_Programming/terminweb_old/sublist_bad.pl
|
.
7.2 /
4.7
|
|
|
Logic_Programming/terminweb_old/subset-no.pl
|
.
14.1 /
8.5
|
|
|
Logic_Programming/terminweb_old/subset.pl
|
YES
3.0 /
1.9
|
|
|
gic_Programming/terminweb_old/untupled_bal_tree.pl
|
YES
5.2 /
4.5
|
|
|
gic_Programming_with_Cut/AProVE_10_cut/lateinst.pl
|
|
YES
2.5 /
2.1
|
|
ic_Programming_with_Cut/AProVE_10_cut/latesplit.pl
|
|
YES
2.7 /
1.8
|
|
Logic_Programming_with_Cut/AProVE_10_cut/ts04.pl
|
|
YES
3.0 /
2.0
|
|
Logic_Programming_with_Cut/AProVE_10_cut/ts05.pl
|
|
YES
2.8 /
2.7
|
|
Logic_Programming_with_Cut/AProVE_10_cut/ts06.pl
|
|
.
5.1 /
3.2
|
|
Logic_Programming_with_Cut/AProVE_10_cut/ts07.pl
|
|
.
3.4 /
1.9
|
|
Logic_Programming_with_Cut/AProVE_10_cut/ts09.pl
|
|
YES
2.7 /
3.4
|
|
Logic_Programming_with_Cut/AProVE_10_cut/ts10.pl
|
|
.
5.6 /
3.2
|
|
Programming_with_Cut/Schneider_Kamp_08/appendex.pl
|
|
.
5.8 /
4.1
|
|
Programming_with_Cut/Schneider_Kamp_08/divminus.pl
|
|
YES
17.6 /
4.0
|
|
mming_with_Cut/Schneider_Kamp_08/divminuslinear.pl
|
|
YES
6.7 /
3.0
|
|
c_Programming_with_Cut/Schneider_Kamp_08/minus1.pl
|
|
YES
3.3 /
2.2
|
|
c_Programming_with_Cut/Schneider_Kamp_08/minus2.pl
|
|
YES
8.7 /
4.2
|
|
c_Programming_with_Cut/Schneider_Kamp_08/minus3.pl
|
|
YES
3.1 /
2.1
|
|
c_Programming_with_Cut/Schneider_Kamp_08/minus4.pl
|
|
YES
2.5 /
1.7
|
|
ng_with_Cut/Schneider_Kamp_08/negationasfailure.pl
|
|
YES
3.0 /
3.8
|
|
c_Programming_with_Cut/Schneider_Kamp_08/short1.pl
|
|
YES
3.3 /
3.4
|
|
c_Programming_with_Cut/Schneider_Kamp_08/short2.pl
|
|
YES
2.5 /
1.7
|
|
amming_with_Cut/Schneider_Kamp_09/append_linear.pl
|
|
YES
3.0 /
1.7
|
|
gramming_with_Cut/Schneider_Kamp_09/existential.pl
|
|
.
5.2 /
3.5
|
|
mming_with_Cut/Schneider_Kamp_09/hidden_flatten.pl
|
|
YES
4.3 /
3.2
|
|
ogic_Programming_with_Cut/Schneider_Kamp_09/len.pl
|
|
.
9.2 /
4.8
|
|
ic_Programming_with_Cut/Schneider_Kamp_09/less1.pl
|
|
YES
37.0 /
18.2
|
|
ic_Programming_with_Cut/Schneider_Kamp_09/less2.pl
|
|
YES
3.4 /
2.8
|
|
ogramming_with_Cut/Schneider_Kamp_09/max_valued.pl
|
|
YES
2.5 /
1.8
|
|
ng_with_Cut/Schneider_Kamp_09/negationasfailure.pl
|
|
YES
2.8 /
1.8
|
|
ic_Programming_with_Cut/Schneider_Kamp_09/psk01.pl
|
|
.
5.5 /
3.8
|
|
ic_Programming_with_Cut/Schneider_Kamp_09/psk02.pl
|
|
YES
2.5 /
1.6
|
|
ic_Programming_with_Cut/Schneider_Kamp_09/psk03.pl
|
|
.
5.5 /
2.9
|
|
ic_Programming_with_Cut/Schneider_Kamp_09/shape.pl
|
|
YES
3.1 /
3.4
|
|
_Programming_with_Cut/Schneider_Kamp_09/shuffle.pl
|
|
YES
2.9 /
2.3
|
|
_Programming_with_Cut/Schneider_Kamp_09/soundex.pl
|
|
YES
4.5 /
2.1
|
|
ic_Programming_with_Cut/Schneider_Kamp_09/star1.pl
|
|
YES
6.5 /
4.0
|
|
ic_Programming_with_Cut/Schneider_Kamp_09/star2.pl
|
|
YES
3.3 /
1.9
|
|
c_Programming_with_Cut/Schneider_Kamp_09/thief1.pl
|
|
.
5.3 /
2.4
|
|
c_Programming_with_Cut/Schneider_Kamp_09/thief2.pl
|
|
YES
2.6 /
1.8
|
|
Logic_Programming_with_Cut/Stroeder_09/add1.pl
|
|
YES
3.0 /
2.8
|
|
Logic_Programming_with_Cut/Stroeder_09/add2.pl
|
|
.
9.1 /
5.8
|
|
Logic_Programming_with_Cut/Stroeder_09/add3.pl
|
|
YES
2.9 /
1.8
|
|
Logic_Programming_with_Cut/Stroeder_09/app1.pl
|
|
YES
3.2 /
3.1
|
|
Logic_Programming_with_Cut/Stroeder_09/app2.pl
|
|
.
11.2 /
6.5
|
|
Logic_Programming_with_Cut/Stroeder_09/app3.pl
|
|
YES
2.9 /
1.8
|
|
Logic_Programming_with_Cut/Stroeder_09/applast.pl
|
|
YES
5.3 /
2.9
|
|
Logic_Programming_with_Cut/Stroeder_09/average1.pl
|
|
.
34.3 /
16.3
|
|
Logic_Programming_with_Cut/Stroeder_09/bappend.pl
|
|
YES
3.5 /
1.9
|
|
Logic_Programming_with_Cut/Stroeder_09/blist.pl
|
|
YES
3.3 /
2.0
|
|
Logic_Programming_with_Cut/Stroeder_09/blist2.pl
|
|
YES
3.3 /
2.0
|
|
Logic_Programming_with_Cut/Stroeder_09/btappend.pl
|
|
YES
8.6 /
8.5
|
|
ogic_Programming_with_Cut/Stroeder_09/btapplast.pl
|
|
YES
9.4 /
4.3
|
|
Logic_Programming_with_Cut/Stroeder_09/btree.pl
|
|
YES
4.2 /
2.3
|
|
Logic_Programming_with_Cut/Stroeder_09/btree2.pl
|
|
YES
4.1 /
2.6
|
|
Logic_Programming_with_Cut/Stroeder_09/confdel.pl
|
|
YES
5.2 /
3.0
|
|
Logic_Programming_with_Cut/Stroeder_09/convert.pl
|
|
YES
6.0 /
3.3
|
|
gic_Programming_with_Cut/Stroeder_09/countstack.pl
|
|
YES
4.7 /
4.5
|
|
ic_Programming_with_Cut/Stroeder_09/countstack2.pl
|
|
YES
3.8 /
2.4
|
|
Logic_Programming_with_Cut/Stroeder_09/cutpos1.pl
|
|
YES
2.5 /
1.6
|
|
Logic_Programming_with_Cut/Stroeder_09/cutpos2.pl
|
|
.
5.9 /
5.6
|
|
gic_Programming_with_Cut/Stroeder_09/dependency.pl
|
|
YES
4.0 /
3.5
|
|
ic_Programming_with_Cut/Stroeder_09/dependency2.pl
|
|
YES
3.8 /
2.2
|
|
ogic_Programming_with_Cut/Stroeder_09/divminus2.pl
|
|
YES
5.0 /
2.9
|
|
ogic_Programming_with_Cut/Stroeder_09/divremain.pl
|
|
YES
7.6 /
3.7
|
|
gic_Programming_with_Cut/Stroeder_09/divremain2.pl
|
|
YES
5.5 /
2.7
|
|
gic_Programming_with_Cut/Stroeder_09/duplicate1.pl
|
|
YES
3.1 /
1.9
|
|
gic_Programming_with_Cut/Stroeder_09/duplicate2.pl
|
|
YES
3.0 /
1.9
|
|
Logic_Programming_with_Cut/Stroeder_09/evenodd1.pl
|
|
YES
2.5 /
1.8
|
|
Logic_Programming_with_Cut/Stroeder_09/evenodd2.pl
|
|
YES
2.6 /
1.7
|
|
Logic_Programming_with_Cut/Stroeder_09/flatten.pl
|
|
.
8.6 /
3.4
|
|
Logic_Programming_with_Cut/Stroeder_09/fold1.pl
|
|
YES
2.8 /
1.8
|
|
Logic_Programming_with_Cut/Stroeder_09/fold2.pl
|
|
YES
3.0 /
2.2
|
|
Logic_Programming_with_Cut/Stroeder_09/fold3.pl
|
|
YES
3.3 /
2.5
|
|
Logic_Programming_with_Cut/Stroeder_09/giesl97.pl
|
|
YES
3.9 /
2.4
|
|
Logic_Programming_with_Cut/Stroeder_09/gopher1.pl
|
|
YES
3.7 /
3.1
|
|
Logic_Programming_with_Cut/Stroeder_09/gopher2.pl
|
|
YES
3.4 /
2.6
|
|
gic_Programming_with_Cut/Stroeder_09/inorder-oi.pl
|
|
YES
5.2 /
2.6
|
|
Logic_Programming_with_Cut/Stroeder_09/len.pl
|
|
YES
2.7 /
1.7
|
|
Logic_Programming_with_Cut/Stroeder_09/len2.pl
|
|
YES
3.4 /
3.3
|
|
Logic_Programming_with_Cut/Stroeder_09/less.pl
|
|
YES
3.0 /
2.1
|
|
gic_Programming_with_Cut/Stroeder_09/lessleaves.pl
|
|
.
18.9 /
10.4
|
|
Logic_Programming_with_Cut/Stroeder_09/list.pl
|
|
YES
3.1 /
3.2
|
|
Logic_Programming_with_Cut/Stroeder_09/list2.pl
|
|
YES
2.5 /
1.6
|
|
Logic_Programming_with_Cut/Stroeder_09/lte1.pl
|
|
YES
2.7 /
1.8
|
|
Logic_Programming_with_Cut/Stroeder_09/lte2.pl
|
|
YES
2.7 /
1.7
|
|
Logic_Programming_with_Cut/Stroeder_09/map.pl
|
|
YES
3.1 /
2.0
|
|
Logic_Programming_with_Cut/Stroeder_09/mul1.pl
|
|
YES
4.0 /
3.1
|
|
Logic_Programming_with_Cut/Stroeder_09/num.pl
|
|
YES
2.9 /
1.9
|
|
Logic_Programming_with_Cut/Stroeder_09/num2.pl
|
|
YES
2.4 /
1.6
|
|
Logic_Programming_with_Cut/Stroeder_09/ordered.pl
|
|
YES
5.7 /
2.8
|
|
Logic_Programming_with_Cut/Stroeder_09/ordered2.pl
|
|
.
12.9 /
7.9
|
|
Logic_Programming_with_Cut/Stroeder_09/ordered3.pl
|
|
YES
4.8 /
3.7
|
|
Logic_Programming_with_Cut/Stroeder_09/overlap1.pl
|
|
YES
3.3 /
2.4
|
|
Logic_Programming_with_Cut/Stroeder_09/overlap2.pl
|
|
YES
3.8 /
2.3
|
|
ogic_Programming_with_Cut/Stroeder_09/plumer356.pl
|
|
.
5.4 /
2.8
|
|
gic_Programming_with_Cut/Stroeder_09/plumer453a.pl
|
|
YES
2.4 /
1.8
|
|
gic_Programming_with_Cut/Stroeder_09/plumer453b.pl
|
|
YES
2.8 /
2.6
|
|
gic_Programming_with_Cut/Stroeder_09/plumer453c.pl
|
|
YES
2.6 /
2.0
|
|
Logic_Programming_with_Cut/Stroeder_09/preorder.pl
|
|
YES
4.2 /
4.2
|
|
gic_Programming_with_Cut/Stroeder_09/prime_fact.pl
|
|
.
857.5 /
300.0
|
|
Logic_Programming_with_Cut/Stroeder_09/quot1.pl
|
|
YES
10.9 /
5.2
|
|
Logic_Programming_with_Cut/Stroeder_09/quot2.pl
|
|
YES
6.8 /
3.5
|
|
Logic_Programming_with_Cut/Stroeder_09/rev.pl
|
|
YES
4.7 /
3.1
|
|
Logic_Programming_with_Cut/Stroeder_09/rev2.pl
|
|
YES
4.4 /
2.3
|
|
Logic_Programming_with_Cut/Stroeder_09/select1.pl
|
|
YES
3.6 /
2.3
|
|
Logic_Programming_with_Cut/Stroeder_09/select2.pl
|
|
YES
3.4 /
2.0
|
|
ogic_Programming_with_Cut/Stroeder_09/subset-oi.pl
|
|
.
400.0 /
193.1
|
|
Logic_Programming_with_Cut/Stroeder_09/times1.pl
|
|
.
30.6 /
27.8
|
|
gic_Programming_with_Cut/Stroeder_09/transpose1.pl
|
|
YES
43.3 /
19.1
|
|
Logic_Programming_with_Cut/Stroeder_09/tree.pl
|
|
YES
3.1 /
1.9
|
|
Logic_Programming_with_Cut/Stroeder_09/tree2.pl
|
|
YES
3.0 /
1.9
|
|
Logic_Programming_with_Cut/Stroeder_09/ts01.pl
|
|
YES
3.0 /
2.8
|
|
Logic_Programming_with_Cut/Stroeder_09/ts02.pl
|
|
YES
2.5 /
1.7
|
|
Logic_Programming_with_Cut/Stroeder_09/ts03.pl
|
|
.
4.4 /
2.6
|
|
Logic_Programming_with_Cut/Stroeder_09/vlcnd.pl
|
|
.
95.7 /
40.5
|
|
Prolog/AProVE_10_prolog/addneg.pl
|
|
|
YES
3.2 /
2.4
|
Prolog/AProVE_10_prolog/and1.pl
|
|
|
YES
2.6 /
1.8
|
Prolog/AProVE_10_prolog/and2.pl
|
|
|
.
4.5 /
4.3
|
Prolog/AProVE_10_prolog/divrempredef.pl
|
|
|
YES
7.5 /
6.7
|
Prolog/AProVE_10_prolog/dyck.pl
|
|
|
YES
2.6 /
1.8
|
Prolog/AProVE_10_prolog/equality1.pl
|
|
|
.
4.5 /
2.5
|
Prolog/AProVE_10_prolog/equality2.pl
|
|
|
.
4.1 /
2.4
|
Prolog/AProVE_10_prolog/even.pl
|
|
|
YES
2.5 /
2.3
|
Prolog/AProVE_10_prolog/even2.pl
|
|
|
.
5.6 /
3.0
|
Prolog/AProVE_10_prolog/even3.pl
|
|
|
YES
2.7 /
1.7
|
Prolog/AProVE_10_prolog/existpredef.pl
|
|
|
.
2.4 /
1.6
|
Prolog/AProVE_10_prolog/grammar.pl
|
|
|
YES
2.8 /
2.6
|
Prolog/AProVE_10_prolog/inequality1.pl
|
|
|
.
4.2 /
2.6
|
Prolog/AProVE_10_prolog/inequality2.pl
|
|
|
.
6.1 /
4.2
|
Prolog/AProVE_10_prolog/lateinstance.pl
|
|
|
YES
2.5 /
1.6
|
Prolog/AProVE_10_prolog/nonterm.pl
|
|
|
YES
2.7 /
2.3
|
Prolog/AProVE_10_prolog/nounify.pl
|
|
|
.
4.3 /
3.4
|
Prolog/AProVE_10_prolog/term.pl
|
|
|
YES
2.5 /
1.6
|
Prolog/AProVE_10_prolog/term2.pl
|
|
|
.
4.6 /
2.5
|
Prolog/AProVE_10_prolog/terminate.pl
|
|
|
.
5.5 /
2.6
|
Prolog/AProVE_numeric/avg-true-c.pl
|
|
|
YES
39.2 /
31.0
|
Prolog/AProVE_numeric/binomial-true-c.pl
|
|
|
YES
20.9 /
12.0
|
Prolog/AProVE_numeric/et1-true-c.pl
|
|
|
.
11.5 /
4.8
|
Prolog/AProVE_numeric/et2-true-c.pl
|
|
|
YES
10.8 /
7.4
|
Prolog/AProVE_numeric/et3-true-c.pl
|
|
|
YES
19.4 /
9.1
|
Prolog/AProVE_numeric/et4-true-c.pl
|
|
|
YES
36.7 /
18.1
|
Prolog/AProVE_numeric/ex2-c.pl
|
|
|
YES
3.8 /
2.4
|
Prolog/AProVE_numeric/ex3-c.pl
|
|
|
YES
6.7 /
3.0
|
Prolog/AProVE_numeric/le-user-def-rec-true.pl
|
|
|
YES
13.5 /
7.4
|
Prolog/AProVE_numeric/log-recursive-c-true.pl
|
|
|
YES
5.1 /
3.9
|
Prolog/AProVE_numeric/parts-true-c.pl
|
|
|
YES
11.9 /
5.9
|
Prolog/AProVE_numeric/rec-counter1-c.pl
|
|
|
.
19.3 /
9.2
|
Prolog/AProVE_numeric/svcomp-a-01-c.pl
|
|
|
YES
13.7 /
6.4
|
Prolog/AProVE_numeric/svcomp-a-04-c.pl
|
|
|
YES
12.0 /
6.4
|
Prolog/AProVE_numeric/svcomp-a-05-c.pl
|
|
|
YES
10.9 /
6.2
|
Prolog/AProVE_numeric/svcomp-a-06-c.pl
|
|
|
YES
13.4 /
18.9
|
Prolog/AProVE_numeric/svcomp-a-07-c.pl
|
|
|
YES
15.5 /
6.6
|
Prolog/AProVE_numeric/svcomp-a-08-c.pl
|
|
|
YES
14.8 /
8.4
|
Prolog/AProVE_numeric/svcomp-a-09-assume-c.pl
|
|
|
YES
10.9 /
4.9
|
Prolog/AProVE_numeric/svcomp-a-10-c.pl
|
|
|
.
732.1 /
300.0
|
kermann01-true-unreach-call-modified-modified-c.pl
|
|
|
.
102.2 /
33.1
|
1-true-unreach-call-true-termination-modified-c.pl
|
|
|
YES
10.0 /
9.3
|
Prolog/AProVE_numeric/svcomp-b-01-c.pl
|
|
|
YES
14.0 /
6.3
|
Prolog/AProVE_numeric/svcomp-b-02-c.pl
|
|
|
YES
12.7 /
6.7
|
Prolog/AProVE_numeric/svcomp-b-03-assume-c.pl
|
|
|
YES
10.4 /
4.6
|
olog/AProVE_numeric/svcomp-b-03-no-inv-assume-c.pl
|
|
|
.
11.3 /
5.4
|
Prolog/AProVE_numeric/svcomp-b-04-c.pl
|
|
|
YES
5.0 /
2.7
|
Prolog/AProVE_numeric/svcomp-b-05-c.pl
|
|
|
YES
7.3 /
3.7
|
Prolog/AProVE_numeric/svcomp-b-06-c.pl
|
|
|
YES
15.0 /
13.8
|
Prolog/AProVE_numeric/svcomp-b-07-c.pl
|
|
|
YES
13.9 /
8.0
|
Prolog/AProVE_numeric/svcomp-b-09-assume-c.pl
|
|
|
.
694.9 /
300.1
|
olog/AProVE_numeric/svcomp-b-09-no-inv-assume-c.pl
|
|
|
.
784.9 /
300.1
|
Prolog/AProVE_numeric/svcomp-b-10-c.pl
|
|
|
YES
21.1 /
10.8
|
Prolog/AProVE_numeric/svcomp-b-11-c.pl
|
|
|
YES
49.7 /
21.4
|
Prolog/AProVE_numeric/svcomp-b-12-c.pl
|
|
|
YES
107.9 /
42.5
|
Prolog/AProVE_numeric/svcomp-b-13-c.pl
|
|
|
YES
113.8 /
62.9
|
Prolog/AProVE_numeric/svcomp-b-14-c.pl
|
|
|
YES
14.8 /
6.1
|
Prolog/AProVE_numeric/svcomp-b-15-c.pl
|
|
|
YES
12.5 /
7.2
|
Prolog/AProVE_numeric/svcomp-b-16-c.pl
|
|
|
YES
38.7 /
17.8
|
Prolog/AProVE_numeric/svcomp-b-17-c.pl
|
|
|
YES
31.4 /
15.8
|
Prolog/AProVE_numeric/svcomp-b-18-c.pl
|
|
|
YES
22.1 /
8.7
|
Prolog/AProVE_numeric/svcomp-c-01-assume-c.pl
|
|
|
YES
32.4 /
10.9
|
Prolog/AProVE_numeric/svcomp-c-01-no-inv-c.pl
|
|
|
.
39.3 /
15.8
|
Prolog/AProVE_numeric/svcomp-c-02-c.pl
|
|
|
YES
30.1 /
10.6
|
Prolog/AProVE_numeric/svcomp-c-03-c.pl
|
|
|
YES
37.0 /
11.9
|
Prolog/AProVE_numeric/svcomp-c-07-c.pl
|
|
|
YES
37.3 /
12.3
|
Prolog/AProVE_numeric/svcomp-c-08-c.pl
|
|
|
YES
18.5 /
8.3
|
Prolog/AProVE_numeric/svcomp-easy-sum-c.pl
|
|
|
YES
12.9 /
19.9
|
01-true-unrech-call-true-termination-modified-c.pl
|
|
|
YES
7.6 /
4.2
|
Prolog/AProVE_numeric/svcomp-ex1-c.pl
|
|
|
YES
50.6 /
22.2
|
Prolog/AProVE_numeric/svcomp-ex2-c.pl
|
|
|
.
763.1 /
300.0
|
Prolog/AProVE_numeric/svcomp-ex3a-c.pl
|
|
|
.
744.7 /
300.0
|
Prolog/AProVE_numeric/svcomp-ex3b-c.pl
|
|
|
YES
3.4 /
5.3
|
Prolog/AProVE_numeric/svcomp-fermat-c.pl
|
|
|
.
705.2 /
300.1
|
vcomp-fibonacci-01-true-unreach-call-modified-c.pl
|
|
|
YES
15.8 /
9.3
|
Prolog/AProVE_numeric/svcomp-flag-c.pl
|
|
|
YES
10.6 /
4.0
|
1-true-unreach-call-true-termination-modified-c.pl
|
|
|
YES
17.0 /
8.3
|
Prolog/AProVE_numeric/svcomp-java-ag313-c.pl
|
|
|
.
758.1 /
300.1
|
Prolog/AProVE_numeric/svcomp-java-break-c.pl
|
|
|
YES
10.1 /
5.0
|
Prolog/AProVE_numeric/svcomp-java-continue-c.pl
|
|
|
YES
10.3 /
4.9
|
rolog/AProVE_numeric/svcomp-java-log-built-in-c.pl
|
|
|
YES
6.8 /
3.2
|
Prolog/AProVE_numeric/svcomp-java-nested-c.pl
|
|
|
YES
13.0 /
19.0
|
Prolog/AProVE_numeric/svcomp-java-sequence-c.pl
|
|
|
YES
9.2 /
4.1
|
e-true-unreach-call-true-termination-modified-c.pl
|
|
|
.
93.8 /
39.8
|
i02-true-unreach-call-true-termination-modified.pl
|
|
|
.
11.5 /
8.3
|
Prolog/AProVE_numeric/svcomp-twisted-c.pl
|
|
|
YES
237.1 /
101.5
|
Prolog/AProVE_numeric/terminator-rec-02-true.pl
|
|
|
YES
8.1 /
4.1
|
Prolog/AProVE_numeric/two-way-true.pl
|
|
|
.
18.4 /
7.0
|
Prolog/Art-of-prolog/exercise_area.pl
|
|
|
YES
4.8 /
2.9
|
Prolog/Art-of-prolog/exercise_between.pl
|
|
|
YES
7.4 /
4.7
|
Prolog/Art-of-prolog/exercise_hanoi.pl
|
|
|
YES
8.4 /
4.1
|
Prolog/Art-of-prolog/exercise_length.pl
|
|
|
YES
3.1 /
1.9
|
Prolog/Art-of-prolog/exercise_min.pl
|
|
|
YES
3.5 /
2.0
|
Prolog/Art-of-prolog/exercise_power.pl
|
|
|
YES
9.6 /
3.6
|
Prolog/Art-of-prolog/exercise_power2.pl
|
|
|
YES
48.5 /
20.7
|
Prolog/Art-of-prolog/exercise_range.pl
|
|
|
YES
82.9 /
36.5
|
Prolog/Art-of-prolog/exercise_squareroot.pl
|
|
|
YES
13.6 /
5.9
|
Prolog/Art-of-prolog/exercise_timeslist.pl
|
|
|
YES
3.8 /
2.1
|
Prolog/Art-of-prolog/exercise_triangle.pl
|
|
|
YES
7.2 /
5.0
|
Prolog/Art-of-prolog/exercise_triangle2.pl
|
|
|
YES
13.2 /
6.9
|
Prolog/Art-of-prolog/program-8-1.pl
|
|
|
YES
4.1 /
2.2
|
Prolog/Art-of-prolog/program-8-10.pl
|
|
|
YES
3.7 /
2.2
|
Prolog/Art-of-prolog/program-8-11.pl
|
|
|
YES
3.1 /
1.9
|
Prolog/Art-of-prolog/program-8-12.pl
|
|
|
YES
7.6 /
4.1
|
Prolog/Art-of-prolog/program-8-2.pl
|
|
|
YES
7.6 /
3.6
|
Prolog/Art-of-prolog/program-8-3.pl
|
|
|
.
666.7 /
300.1
|
Prolog/Art-of-prolog/program-8-4.pl
|
|
|
YES
57.2 /
23.7
|
Prolog/Art-of-prolog/program-8-5.pl
|
|
|
YES
7.1 /
3.8
|
Prolog/Art-of-prolog/program-8-6-a.pl
|
|
|
YES
3.2 /
2.7
|
Prolog/Art-of-prolog/program-8-6-b.pl
|
|
|
YES
3.5 /
2.0
|
Prolog/Art-of-prolog/program-8-7-a.pl
|
|
|
YES
3.7 /
2.2
|
Prolog/Art-of-prolog/program-8-7-b.pl
|
|
|
YES
3.6 /
2.8
|
Prolog/Art-of-prolog/program-8-8.pl
|
|
|
YES
3.1 /
1.9
|
Prolog/Art-of-prolog/program-8-9.pl
|
|
|
YES
3.4 /
1.9
|
Prolog/Euler_queensu-cs260/count.pl
|
|
|
.
3.4 /
2.0
|
Prolog/Euler_queensu-cs260/countall.pl
|
|
|
.
3.5 /
1.9
|
Prolog/Euler_queensu-cs260/euler-01.pl
|
|
|
YES
30.5 /
15.9
|
Prolog/Euler_queensu-cs260/euler-02-nonterm.pl
|
|
|
.
30.8 /
14.7
|
Prolog/Euler_queensu-cs260/euler-02.pl
|
|
|
YES
94.7 /
41.4
|
Prolog/Euler_queensu-cs260/euler-03.pl
|
|
|
.
631.4 /
300.0
|
Prolog/Euler_queensu-cs260/euler-04.pl
|
|
|
.
0.3 /
0.3
|
Prolog/Euler_queensu-cs260/evenspaced.pl
|
|
|
YES
4.4 /
2.4
|
Prolog/Euler_queensu-cs260/evenspaced2.pl
|
|
|
YES
5.0 /
2.6
|
Prolog/Euler_queensu-cs260/evenspacedwithdiff.pl
|
|
|
YES
5.0 /
2.8
|
Prolog/Euler_queensu-cs260/gcd.pl
|
|
|
.
673.4 /
300.1
|
Prolog/Euler_queensu-cs260/insert.pl
|
|
|
YES
3.3 /
2.3
|
Prolog/Euler_queensu-cs260/isort.pl
|
|
|
YES
4.1 /
2.2
|
Prolog/Euler_queensu-cs260/prime.pl
|
|
|
.
684.9 /
300.1
|
Prolog/Hett/p1_03.pl
|
|
|
YES
3.9 /
2.6
|
Prolog/Hett/p1_04.pl
|
|
|
YES
2.9 /
1.7
|
Prolog/Hett/p1_11.pl
|
|
|
.
33.4 /
17.9
|
Prolog/Hett/p1_12.pl
|
|
|
YES
26.7 /
10.5
|
Prolog/Hett/p1_13.pl
|
|
|
.
7.3 /
3.3
|
Prolog/Hett/p1_15.pl
|
|
|
YES
21.3 /
10.4
|
Prolog/Hett/p1_16.pl
|
|
|
YES
4.8 /
3.0
|
Prolog/Hett/p1_17.pl
|
|
|
YES
4.0 /
3.3
|
Prolog/Hett/p1_18.pl
|
|
|
YES
6.5 /
2.7
|
Prolog/Hett/p1_19.pl
|
|
|
YES
2.7 /
1.7
|
Prolog/Hett/p1_20.pl
|
|
|
YES
3.9 /
2.6
|
Prolog/Hett/p1_21.pl
|
|
|
YES
3.9 /
2.4
|
Prolog/Hett/p1_22.pl
|
|
|
YES
5.7 /
2.5
|
Prolog/Hett/p1_27_a.pl
|
|
|
YES
10.2 /
4.3
|
Prolog/Hett/p1_27_b.pl
|
|
|
YES
20.9 /
8.3
|
Prolog/Hett/p1_28_a.pl
|
|
|
YES
4.2 /
2.3
|
Prolog/Hett/p2_01.pl
|
|
|
YES
2.4 /
1.7
|
Prolog/Hett/p2_02.pl
|
|
|
.
731.6 /
300.0
|
Prolog/Hett/p2_03.pl
|
|
|
.
583.1 /
300.0
|
Prolog/Hett/p2_04.pl
|
|
|
.
490.3 /
300.0
|
Prolog/Hett/p2_05.pl
|
|
|
.
600.3 /
300.1
|
Prolog/Hett/p2_06.pl
|
|
|
.
673.4 /
300.0
|
Prolog/Hett/p2_07.pl
|
|
|
YES
5.8 /
5.6
|
Prolog/Hett/p2_08.pl
|
|
|
YES
5.4 /
3.6
|
Prolog/Hett/p2_09.pl
|
|
|
.
740.5 /
300.1
|
Prolog/Hett/p2_10.pl
|
|
|
YES
12.4 /
5.6
|
Prolog/Weinert_15/ackermann-cut.pl
|
|
|
YES
18.3 /
7.7
|
Prolog/Weinert_15/ackermann.pl
|
|
|
YES
12.4 /
6.3
|
Prolog/Weinert_15/descend-nonterm.pl
|
|
|
.
5.0 /
4.0
|
Prolog/Weinert_15/descend.pl
|
|
|
YES
6.6 /
3.0
|
Prolog/Weinert_15/division-nonterm.pl
|
|
|
.
11.7 /
8.8
|
Prolog/Weinert_15/division.pl
|
|
|
.
8.1 /
4.6
|
Prolog/Weinert_15/double-is.pl
|
|
|
YES
9.0 /
7.7
|
Prolog/Weinert_15/double.pl
|
|
|
YES
8.5 /
4.0
|
Prolog/Weinert_15/extend.pl
|
|
|
YES
11.1 /
5.2
|
Prolog/Weinert_15/factorial.pl
|
|
|
YES
10.1 /
5.9
|
Prolog/Weinert_15/factorial_and.pl
|
|
|
YES
12.1 /
5.9
|
Prolog/Weinert_15/factorial_or.pl
|
|
|
.
27.0 /
14.1
|
Prolog/Weinert_15/fib-cut.pl
|
|
|
YES
11.2 /
5.4
|
Prolog/Weinert_15/fibonacci.pl
|
|
|
YES
27.0 /
17.7
|
Prolog/Weinert_15/frac-reduce.pl
|
|
|
.
55.0 /
21.3
|
Prolog/Weinert_15/get-from-list-cut.pl
|
|
|
.
9.5 /
5.0
|
Prolog/Weinert_15/get-from-list.pl
|
|
|
.
9.1 /
4.9
|
Prolog/Weinert_15/is.pl
|
|
|
.
11.7 /
6.8
|
Prolog/Weinert_15/prime.pl
|
|
|
YES
98.2 /
35.7
|
Prolog/Weinert_15/sum.pl
|
|
|
YES
2.5 /
1.8
|
Prolog/Weinert_15/sumrecursive.pl
|
|
|
YES
16.7 /
11.0
|
Prolog/Weinert_15/vector.pl
|
|
|
.
699.0 /
300.0
|
Prolog/prolog_mixed/curry_ap.pl
|
|
|
.
6.4 /
3.1
|
Prolog/prolog_mixed/dc_schema.pl
|
|
|
YES
2.4 /
1.6
|
Prolog/prolog_mixed/factorial.pl
|
|
|
YES
2.6 /
2.5
|
Prolog/prolog_mixed/fib-oi.pl
|
|
|
YES
14.4 /
5.0
|
Prolog/prolog_mixed/fib.pl
|
|
|
YES
15.3 /
9.1
|
Prolog/prolog_mixed/gtsolve.pl
|
|
|
YES
2.5 /
1.8
|
Prolog/prolog_mixed/hanoi.pl
|
|
|
.
840.8 /
300.0
|
Prolog/prolog_mixed/kay4.pl
|
|
|
YES
2.5 /
1.9
|
Prolog/prolog_mixed/mergesort.pl
|
|
|
YES
21.6 /
9.3
|
Prolog/prolog_mixed/mergesort_ap_variant.pl
|
|
|
.
101.6 /
40.1
|
Prolog/prolog_mixed/numbervars.pl
|
|
|
.
2.5 /
2.3
|
Prolog/prolog_mixed/permute2.pl
|
|
|
YES
4.4 /
2.4
|
Prolog/prolog_mixed/primes.pl
|
|
|
.
478.9 /
300.1
|
Prolog/prolog_mixed/psk09-cycle.pl
|
|
|
.
704.8 /
300.0
|
Prolog/prolog_mixed/psk09-distance.pl
|
|
|
.
10.9 /
5.8
|
Prolog/prolog_mixed/quicksort.pl
|
|
|
YES
13.4 /
7.3
|
Prolog/prolog_mixed/taboch_queens.pl
|
|
|
YES
8.2 /
4.2
|
Prolog/prolog_mixed/tautology.pl
|
|
|
YES
63.3 /
23.7
|
Prolog/prolog_mixed/terminweb_queens.pl
|
|
|
YES
7.4 /
3.6
|
Prolog/prolog_mixed/totient.pl
|
|
|
.
715.7 /
300.1
|
Prolog/talp_maria/aiakl.pl
|
|
|
.
3.5 /
2.1
|
Prolog/talp_maria/ann.pl
|
|
|
.
5.0 /
6.3
|
Prolog/talp_maria/bid.pl
|
|
|
.
7.7 /
3.3
|
Prolog/talp_maria/boyer.pl
|
|
|
.
3.8 /
2.1
|
Prolog/talp_maria/browse.pl
|
|
|
.
3.0 /
2.0
|
Prolog/talp_maria/deriv-oii.pl
|
|
|
YES
2.7 /
1.8
|
Prolog/talp_maria/deriv.pl
|
|
|
YES
2.6 /
1.7
|
Prolog/talp_maria/fib.pl
|
|
|
YES
6.7 /
4.1
|
Prolog/talp_maria/grammar.pl
|
|
|
YES
3.2 /
1.8
|
Prolog/talp_maria/grammar2.pl
|
|
|
YES
3.4 /
2.0
|
Prolog/talp_maria/hanoiapp.pl
|
|
|
YES
8.7 /
4.8
|
Prolog/talp_maria/mmatrix.pl
|
|
|
YES
5.7 /
3.4
|
Prolog/talp_maria/money.pl
|
|
|
YES
9.4 /
4.7
|
Prolog/talp_maria/occur.pl
|
|
|
.
5.9 /
3.4
|
Prolog/talp_maria/peephole.pl
|
|
|
.
4.3 /
2.4
|
Prolog/talp_maria/progeom.pl
|
|
|
.
596.3 /
300.0
|
Prolog/talp_maria/qplan.pl
|
|
|
YES
3.6 /
2.1
|
Prolog/talp_maria/qsortapp.pl
|
|
|
YES
21.4 /
6.7
|
Prolog/talp_maria/query.pl
|
|
|
YES
3.7 /
2.5
|
Prolog/talp_maria/rdtok.pl
|
|
|
.
3.7 /
2.1
|
Prolog/talp_maria/read.pl
|
|
|
.
3.6 /
2.3
|
Prolog/talp_maria/serialize.pl
|
|
|
.
544.5 /
300.0
|
Prolog/talp_maria/tak.pl
|
|
|
YES
17.5 /
6.8
|
Prolog/talp_maria/tictactoe.pl
|
|
|
.
5.1 /
7.7
|
Prolog/talp_maria/warplan.pl
|
|
|
.
3.3 /
2.1
|