Logic_Programming/BCGGV05/ackerman.pl |
2.1 /
0.9 s
|
Logic_Programming/BCGGV05/append-bff.pl |
1.5 /
0.7 s
|
Logic_Programming/BCGGV05/append-ffb.pl |
1.6 /
0.8 s
|
Logic_Programming/BCGGV05/delete-bbf.pl |
3.0 /
1.2 s
|
Logic_Programming/BCGGV05/delete-bfb.pl |
2.6 /
1.1 s
|
Logic_Programming/BCGGV05/delete-bff.pl |
29.1 /
8.2 s
|
Logic_Programming/BCGGV05/delete-fbf.pl |
4.4 /
1.6 s
|
Logic_Programming/BCGGV05/delete-ffb.pl |
3.9 /
1.4 s
|
Logic_Programming/BCGGV05/delmin-bff.pl |
1.6 /
0.8 s
|
Logic_Programming/BCGGV05/delmin-ffb.pl |
1.7 /
0.8 s
|
Logic_Programming/BCGGV05/der-bf.pl |
10.5 /
3.1 s
|
Logic_Programming/BCGGV05/der-fb.pl |
101.2 /
26.7 s
|
Logic_Programming/BCGGV05/factor.pl |
4.9 /
1.7 s
|
Logic_Programming/BCGGV05/flat-bf.pl |
2.3 /
1.0 s
|
Logic_Programming/BCGGV05/flat-fb.pl |
5.0 /
1.8 s
|
Logic_Programming/BCGGV05/flatlength-bbf.pl |
1.7 /
0.8 s
|
Logic_Programming/BCGGV05/flatlength-bfb.pl |
1.5 /
0.8 s
|
Logic_Programming/BCGGV05/flatlength-bff.pl |
1.6 /
0.8 s
|
Logic_Programming/BCGGV05/flatlength-fbf.pl |
10.8 /
3.5 s
|
Logic_Programming/BCGGV05/flatlength-ffb.pl |
5.0 /
2.0 s
|
Logic_Programming/BCGGV05/frontier-bf.pl |
2.3 /
1.0 s
|
Logic_Programming/BCGGV05/frontier-fb.pl |
45.4 /
12.6 s
|
Logic_Programming/BCGGV05/g.pl |
6.5 /
2.2 s
|
Logic_Programming/BCGGV05/in-bf.pl |
27.5 /
7.8 s
|
Logic_Programming/BCGGV05/in-fb.pl |
3.6 /
1.3 s
|
Logic_Programming/BCGGV05/inorder-bf.pl |
2.2 /
1.0 s
|
Logic_Programming/BCGGV05/inorder-fb.pl |
46.9 /
13.0 s
|
Logic_Programming/BCGGV05/insert-bbf.pl |
2.6 /
1.0 s
|
Logic_Programming/BCGGV05/insert-bfb.pl |
2.5 /
1.0 s
|
Logic_Programming/BCGGV05/insert-bff.pl |
29.2 /
8.1 s
|
Logic_Programming/BCGGV05/insert-fbf.pl |
3.4 /
1.3 s
|
Logic_Programming/BCGGV05/insert-ffb.pl |
3.5 /
1.3 s
|
Logic_Programming/BCGGV05/length.pl |
1.5 /
0.8 s
|
Logic_Programming/BCGGV05/length1.pl |
1.5 /
0.8 s
|
Logic_Programming/BCGGV05/less-bf.pl |
1.5 /
0.8 s
|
Logic_Programming/BCGGV05/less-fb.pl |
1.5 /
0.8 s
|
Logic_Programming/BCGGV05/list.pl |
1.4 /
0.7 s
|
Logic_Programming/BCGGV05/map_color.pl |
1.3 /
0.7 s
|
Logic_Programming/BCGGV05/maximum-bff.pl |
1.8 /
0.8 s
|
Logic_Programming/BCGGV05/maximum-fbf.pl |
1.9 /
0.9 s
|
Logic_Programming/BCGGV05/maximum-ffb.pl |
1.7 /
0.8 s
|
Logic_Programming/BCGGV05/member-bf.pl |
4.4 /
1.6 s
|
Logic_Programming/BCGGV05/member-fb.pl |
1.5 /
0.8 s
|
Logic_Programming/BCGGV05/mergesort.pl |
80.4 /
22.2 s
|
Logic_Programming/BCGGV05/minimum-bf.pl |
1.6 /
0.8 s
|
Logic_Programming/BCGGV05/minimum-fb.pl |
4.1 /
1.6 s
|
Logic_Programming/BCGGV05/mult.pl |
2.2 /
1.0 s
|
Logic_Programming/BCGGV05/naive_reverse-bf.pl |
1.8 /
0.9 s
|
Logic_Programming/BCGGV05/naive_reverse-fb.pl |
7.6 /
2.6 s
|
Logic_Programming/BCGGV05/numeral.pl |
1.4 /
0.7 s
|
Logic_Programming/BCGGV05/ordered.pl |
2.5 /
1.0 s
|
Logic_Programming/BCGGV05/p.pl |
7.2 /
2.3 s
|
Logic_Programming/BCGGV05/p_nonlin.pl |
9.4 /
2.9 s
|
Logic_Programming/BCGGV05/palindrome.pl |
1.6 /
0.8 s
|
Logic_Programming/BCGGV05/parse.pl |
4.0 /
1.4 s
|
Logic_Programming/BCGGV05/permutation-bf.pl |
2.7 /
1.1 s
|
Logic_Programming/BCGGV05/permutation-fb.pl |
6.7 /
2.3 s
|
Logic_Programming/BCGGV05/permutation1-fb.pl |
2.3 /
1.0 s
|
Logic_Programming/BCGGV05/prefix-bf.pl |
1.5 /
0.8 s
|
Logic_Programming/BCGGV05/prefix-fb.pl |
1.5 /
0.8 s
|
Logic_Programming/BCGGV05/quicksort-bf.pl |
9.1 /
2.8 s
|
Logic_Programming/BCGGV05/quicksort-fb.pl |
62.0 /
17.3 s
|
Logic_Programming/BCGGV05/reverse-bf.pl |
1.6 /
0.8 s
|
Logic_Programming/BCGGV05/reverse-fb.pl |
6.9 /
2.5 s
|
Logic_Programming/BCGGV05/search_tree.pl |
3.0 /
1.2 s
|
Logic_Programming/BCGGV05/select-bff.pl |
4.0 /
1.5 s
|
Logic_Programming/BCGGV05/select-fbf.pl |
1.7 /
0.8 s
|
Logic_Programming/BCGGV05/select-ffb.pl |
1.6 /
0.8 s
|
Logic_Programming/BCGGV05/slowsort-bb.pl |
3.5 /
1.3 s
|
Logic_Programming/BCGGV05/slowsort-bf.pl |
4.5 /
1.6 s
|
Logic_Programming/BCGGV05/slowsort-fb.pl |
10.3 /
3.3 s
|
Logic_Programming/BCGGV05/sublist-bf.pl |
5.1 /
1.8 s
|
Logic_Programming/BCGGV05/sublist-fb.pl |
1.7 /
0.8 s
|
Logic_Programming/BCGGV05/subset-bf.pl |
4.7 /
1.7 s
|
Logic_Programming/BCGGV05/subset-fb.pl |
10.6 /
3.3 s
|
Logic_Programming/BCGGV05/suffix-bf.pl |
4.2 /
1.6 s
|
Logic_Programming/BCGGV05/suffix-fb.pl |
1.5 /
0.8 s
|
Logic_Programming/BCGGV05/sum-fbf.pl |
1.5 /
0.8 s
|
Logic_Programming/BCGGV05/sum-ffb.pl |
1.5 /
0.8 s
|
Logic_Programming/BCGGV05/t.pl |
3.2 /
1.2 s
|
Logic_Programming/BCGGV05/transpose-bb.pl |
2.4 /
1.0 s
|
Logic_Programming/BCGGV05/transpose-bf.pl |
2.2 /
1.0 s
|
Logic_Programming/BCGGV05/transpose-fb.pl |
6.5 /
2.1 s
|
Logic_Programming/BCGGV05/tree.pl |
1.7 /
0.8 s
|
Logic_Programming/BCGGV05/tree_member-bf.pl |
4.3 /
1.6 s
|
Logic_Programming/BCGGV05/tree_member-fb.pl |
1.7 /
0.8 s
|
Logic_Programming/SGST06/ackermann.pl |
1.9 /
0.9 s
|
Logic_Programming/SGST06/ag01.pl |
2.0 /
0.9 s
|
Logic_Programming/SGST06/applast.pl |
2.3 /
1.0 s
|
Logic_Programming/SGST06/at.pl |
1.1 /
0.6 s
|
Logic_Programming/SGST06/avg-bfb.pl |
1.9 /
0.9 s
|
Logic_Programming/SGST06/avg.pl |
2.4 /
1.0 s
|
Logic_Programming/SGST06/baby91.pl |
1167.8 /
300.0 s
|
Logic_Programming/SGST06/bappend.pl |
1.9 /
0.8 s
|
Logic_Programming/SGST06/blist.pl |
1.6 /
0.8 s
|
Logic_Programming/SGST06/btappend.pl |
2.6 /
1.1 s
|
Logic_Programming/SGST06/btapplast.pl |
3.2 /
1.2 s
|
Logic_Programming/SGST06/btree.pl |
2.3 /
1.0 s
|
Logic_Programming/SGST06/cconfdel.pl |
3.0 /
1.2 s
|
Logic_Programming/SGST06/cnfequiv.pl |
15.2 /
4.3 s
|
Logic_Programming/SGST06/confdel.pl |
3.2 /
1.2 s
|
Logic_Programming/SGST06/convert.pl |
3.1 /
1.2 s
|
Logic_Programming/SGST06/countstack.pl |
2.2 /
1.0 s
|
Logic_Programming/SGST06/csnake.pl |
620.7 /
300.0 s
|
Logic_Programming/SGST06/d.pl |
9.4 /
2.9 s
|
Logic_Programming/SGST06/doublehalfpred.pl |
390.8 /
94.3 s
|
Logic_Programming/SGST06/evenodd.pl |
1.6 /
0.8 s
|
Logic_Programming/SGST06/factor.pl |
7.1 /
2.3 s
|
Logic_Programming/SGST06/flatten.pl |
2.2 /
1.0 s
|
Logic_Programming/SGST06/flatten_phd.pl |
3.9 /
1.4 s
|
Logic_Programming/SGST06/giesl97.pl |
2.2 /
0.9 s
|
Logic_Programming/SGST06/gopher.pl |
1.8 /
0.9 s
|
Logic_Programming/SGST06/hbal_tree.pl |
3.2 /
1.2 s
|
Logic_Programming/SGST06/ifdiv.pl |
138.7 /
41.3 s
|
Logic_Programming/SGST06/ifminus.pl |
2.8 /
1.2 s
|
Logic_Programming/SGST06/incomplete.pl |
1.5 /
0.8 s
|
Logic_Programming/SGST06/incomplete2.pl |
1.5 /
0.8 s
|
Logic_Programming/SGST06/incomplete_variant.pl |
1.0 /
0.6 s
|
Logic_Programming/SGST06/intlist.pl |
2.3 /
1.0 s
|
Logic_Programming/SGST06/lessleaves.pl |
3.3 /
1.3 s
|
Logic_Programming/SGST06/log.pl |
2.4 /
1.0 s
|
Logic_Programming/SGST06/mapcolor.pl |
32.0 /
8.9 s
|
Logic_Programming/SGST06/p.pl |
8.8 /
2.7 s
|
Logic_Programming/SGST06/p_nonlin.pl |
10.3 /
3.1 s
|
Logic_Programming/SGST06/palindrome.pl |
3.5 /
1.3 s
|
Logic_Programming/SGST06/paper1.pl |
1.7 /
0.8 s
|
Logic_Programming/SGST06/paper2.pl |
1.7 /
0.8 s
|
Logic_Programming/SGST06/parse.pl |
3.9 /
1.4 s
|
Logic_Programming/SGST06/perm.pl |
2.5 /
1.0 s
|
Logic_Programming/SGST06/plus.pl |
1.4 /
0.7 s
|
Logic_Programming/SGST06/pplus.pl |
1.6 /
0.8 s
|
Logic_Programming/SGST06/pplus2.pl |
2.2 /
1.0 s
|
Logic_Programming/SGST06/preorder.pl |
2.1 /
0.9 s
|
Logic_Programming/SGST06/prime.pl |
10.0 /
3.0 s
|
Logic_Programming/SGST06/psk09-append_variant.pl |
4.5 /
1.7 s
|
gic_Programming/SGST06/psk09-maxsort-bool-nocut.pl |
85.9 /
22.3 s
|
Logic_Programming/SGST06/quot.pl |
1.6 /
0.8 s
|
Logic_Programming/SGST06/rev.pl |
12.1 /
3.5 s
|
Logic_Programming/SGST06/samefringe.pl |
3.1 /
1.2 s
|
Logic_Programming/SGST06/shuffle.pl |
3.0 /
1.2 s
|
Logic_Programming/SGST06/snake.pl |
620.4 /
300.0 s
|
Logic_Programming/SGST06/times.pl |
1.7 /
0.8 s
|
Logic_Programming/SGST06/times2.pl |
4.1 /
1.5 s
|
Logic_Programming/SGST06/toyama.pl |
1.0 /
0.6 s
|
Logic_Programming/SGST06/transpose-fb.pl |
5.6 /
1.9 s
|
Logic_Programming/SGST06/transpose2.pl |
5.1 /
1.9 s
|
Logic_Programming/SGST06/weight.pl |
3.6 /
1.3 s
|
Logic_Programming/lpexamples/ackermann-ioi.pl |
19.3 /
5.6 s
|
Logic_Programming/lpexamples/ackermann.pl |
1.7 /
0.8 s
|
Logic_Programming/lpexamples/average-ioi.pl |
1.9 /
0.8 s
|
Logic_Programming/lpexamples/average.pl |
2.4 /
1.0 s
|
Logic_Programming/lpexamples/lategen.pl |
1.1 /
0.6 s
|
Logic_Programming/lpexamples/log2a-oi.pl |
15.8 /
4.9 s
|
Logic_Programming/lpexamples/log2a.pl |
3.4 /
1.3 s
|
Logic_Programming/lpexamples/log2b-oi.pl |
50.2 /
20.4 s
|
Logic_Programming/lpexamples/log2b.pl |
2.8 /
1.1 s
|
Logic_Programming/lpexamples/mapcolor.pl |
32.3 /
9.0 s
|
Logic_Programming/lpexamples/mergesort-oi.pl |
45.2 /
13.5 s
|
Logic_Programming/lpexamples/mergesort.pl |
25.6 /
7.1 s
|
Logic_Programming/lpexamples/shapes.pl |
13.9 /
4.1 s
|
Logic_Programming/lpexamples/ts08.pl |
1.6 /
0.8 s
|
Logic_Programming/talp_apt/SS_map.pl |
32.3 /
9.0 s
|
Logic_Programming/talp_apt/SS_map_out.pl |
31.5 /
8.9 s
|
Logic_Programming/talp_apt/SS_map_t.pl |
32.4 /
9.1 s
|
Logic_Programming/talp_apt/append.pl |
1.5 /
0.8 s
|
Logic_Programming/talp_apt/fold.pl |
1.2 /
0.7 s
|
Logic_Programming/talp_apt/list.pl |
1.3 /
0.7 s
|
Logic_Programming/talp_apt/lte.pl |
1.7 /
0.8 s
|
Logic_Programming/talp_apt/map.pl |
1.5 /
0.8 s
|
Logic_Programming/talp_apt/map1.pl |
1.5 /
0.8 s
|
Logic_Programming/talp_apt/member.pl |
1.4 /
0.7 s
|
Logic_Programming/talp_apt/mergesort.pl |
29.0 /
8.2 s
|
Logic_Programming/talp_apt/mergesort_ap.pl |
32.0 /
8.8 s
|
Logic_Programming/talp_apt/naive_rev-oi.pl |
7.8 /
2.6 s
|
Logic_Programming/talp_apt/naive_rev.pl |
1.8 /
0.8 s
|
Logic_Programming/talp_apt/ordered.pl |
2.5 /
1.1 s
|
Logic_Programming/talp_apt/overlap.pl |
1.7 /
0.8 s
|
Logic_Programming/talp_apt/permutation.pl |
3.0 /
1.2 s
|
Logic_Programming/talp_apt/quicksort-oi.pl |
476.9 /
300.0 s
|
Logic_Programming/talp_apt/quicksort.pl |
9.5 /
2.8 s
|
Logic_Programming/talp_apt/select.pl |
1.6 /
0.8 s
|
Logic_Programming/talp_apt/select1.pl |
1.5 /
0.8 s
|
Logic_Programming/talp_apt/subset.pl |
1.9 /
0.9 s
|
Logic_Programming/talp_apt/subset1.pl |
9.1 /
2.9 s
|
Logic_Programming/talp_apt/sum.pl |
1.4 /
0.7 s
|
Logic_Programming/talp_dds/append.pl |
1.6 /
0.8 s
|
Logic_Programming/talp_dds/dis_con-bis.pl |
1.9 /
0.9 s
|
Logic_Programming/talp_dds/dis_con.pl |
2.1 /
0.9 s
|
Logic_Programming/talp_dds/duplicate.pl |
1.5 /
0.7 s
|
Logic_Programming/talp_dds/merge.pl |
4.6 /
1.6 s
|
Logic_Programming/talp_dds/permute.pl |
2.3 /
1.0 s
|
Logic_Programming/talp_dds/reverse-iio.pl |
1.5 /
0.8 s
|
Logic_Programming/talp_dds/reverse.pl |
1.5 /
0.8 s
|
Logic_Programming/talp_dds/sum-ioi.pl |
1.6 /
0.8 s
|
Logic_Programming/talp_dds/sum.pl |
1.6 /
0.8 s
|
Logic_Programming/talp_mixed/ack.pl |
2.1 /
1.0 s
|
Logic_Programming/talp_mixed/bad_sublist.pl |
5.3 /
1.9 s
|
Logic_Programming/talp_mixed/fib_t.pl |
2.1 /
0.9 s
|
Logic_Programming/talp_mixed/flat-oi.pl |
5.0 /
1.8 s
|
Logic_Programming/talp_mixed/flat.pl |
2.8 /
1.1 s
|
Logic_Programming/talp_mixed/hanoiapp.suc.pl |
3.0 /
1.2 s
|
Logic_Programming/talp_mixed/mergesort.pl |
31.8 /
9.0 s
|
Logic_Programming/talp_mixed/p.pl |
1.7 /
0.8 s
|
Logic_Programming/talp_mixed/perm.pl |
3.0 /
1.2 s
|
Logic_Programming/talp_mixed/permute1.pl |
3.0 /
1.2 s
|
Logic_Programming/talp_mixed/qicksort.pl |
10.9 /
3.2 s
|
Logic_Programming/talp_mixed/queens.pl |
5.0 /
1.7 s
|
Logic_Programming/talp_mixed/reverse.pl |
1.6 /
0.8 s
|
Logic_Programming/talp_mixed/rotate.pl |
2.1 /
0.9 s
|
Logic_Programming/talp_mixed/sameleaves.pl |
3.6 /
1.3 s
|
Logic_Programming/talp_mixed/sicstus1.pl |
1.6 /
0.8 s
|
Logic_Programming/talp_mixed/sublist.pl |
2.0 /
0.9 s
|
Logic_Programming/talp_mixed/sublist1.pl |
1.7 /
0.8 s
|
Logic_Programming/talp_mixed/zebra.pl |
6.0 /
1.9 s
|
Logic_Programming/talp_plumer/mergesort_t.pl |
22.0 /
6.1 s
|
Logic_Programming/talp_plumer/pl1.1.pl |
4.5 /
1.7 s
|
Logic_Programming/talp_plumer/pl1.2.pl |
2.8 /
1.1 s
|
Logic_Programming/talp_plumer/pl1.2_t.pl |
3.9 /
1.4 s
|
Logic_Programming/talp_plumer/pl2.3.1.pl |
1.1 /
0.6 s
|
Logic_Programming/talp_plumer/pl3.1.1.pl |
5.5 /
2.0 s
|
Logic_Programming/talp_plumer/pl3.5.6.pl |
8.4 /
3.0 s
|
Logic_Programming/talp_plumer/pl3.5.6a.pl |
1.1 /
0.7 s
|
Logic_Programming/talp_plumer/pl4.0.1-oooi.pl |
5.7 /
2.0 s
|
Logic_Programming/talp_plumer/pl4.0.1.pl |
1.8 /
0.8 s
|
Logic_Programming/talp_plumer/pl4.4.3.pl |
4.2 /
1.5 s
|
Logic_Programming/talp_plumer/pl4.4.6a.pl |
2.0 /
0.9 s
|
Logic_Programming/talp_plumer/pl4.5.2.pl |
31.9 /
8.9 s
|
Logic_Programming/talp_plumer/pl4.5.3a.pl |
4.7 /
1.8 s
|
Logic_Programming/talp_plumer/pl4.5.3b.pl |
6.1 /
2.2 s
|
Logic_Programming/talp_plumer/pl4.5.3c.pl |
5.2 /
2.0 s
|
Logic_Programming/talp_plumer/pl5.2.2.pl |
190.2 /
48.2 s
|
Logic_Programming/talp_plumer/pl6.1.1.pl |
11.0 /
3.2 s
|
Logic_Programming/talp_plumer/pl7.2.9.pl |
2.0 /
0.9 s
|
Logic_Programming/talp_plumer/pl7.6.2a.pl |
40.7 /
11.1 s
|
Logic_Programming/talp_plumer/pl7.6.2b.pl |
181.8 /
46.7 s
|
Logic_Programming/talp_plumer/pl7.6.2c.pl |
8.0 /
2.5 s
|
Logic_Programming/talp_plumer/pl8.2.1.pl |
33.8 /
9.5 s
|
Logic_Programming/talp_plumer/pl8.2.1a.pl |
13.5 /
4.0 s
|
Logic_Programming/talp_plumer/pl8.3.1.pl |
1185.9 /
300.1 s
|
Logic_Programming/talp_plumer/pl8.3.1a.pl |
12.1 /
3.5 s
|
Logic_Programming/talp_plumer/pl8.4.1.pl |
1.5 /
0.8 s
|
Logic_Programming/talp_plumer/pl8.4.2.pl |
3.4 /
1.3 s
|
Logic_Programming/talp_talp/append.pl |
1.6 /
0.8 s
|
Logic_Programming/talp_talp/binary.pl |
5.3 /
1.8 s
|
Logic_Programming/talp_talp/binary2.pl |
5.6 /
1.9 s
|
Logic_Programming/talp_talp/binary3.pl |
6.5 /
2.1 s
|
Logic_Programming/talp_talp/binary4.pl |
34.5 /
10.3 s
|
Logic_Programming/talp_talp/div.pl |
4.1 /
1.5 s
|
Logic_Programming/talp_talp/evaluate.pl |
4.1 /
1.5 s
|
Logic_Programming/talp_talp/example1.pl |
1.1 /
0.7 s
|
Logic_Programming/talp_talp/example4-2.pl |
4.2 /
1.6 s
|
Logic_Programming/talp_talp/example4.pl |
1.4 /
0.7 s
|
Logic_Programming/talp_talp/flat.pl |
2.2 /
1.0 s
|
Logic_Programming/talp_talp/gcd.pl |
8.0 /
2.6 s
|
Logic_Programming/talp_talp/nat.pl |
2.4 /
1.0 s
|
Logic_Programming/talp_talp/normal.pl |
2.6 /
1.1 s
|
Logic_Programming/talp_talp/palindrome.pl |
1.7 /
0.8 s
|
Logic_Programming/talp_talp/perm.pl |
3.3 /
1.2 s
|
Logic_Programming/talp_talp/permute.pl |
2.4 /
1.0 s
|
Logic_Programming/talp_talp/qsort.pl |
10.6 /
3.2 s
|
Logic_Programming/talp_talp/reminder-ioi.pl |
5.7 /
1.9 s
|
Logic_Programming/talp_talp/reminder.pl |
4.6 /
1.6 s
|
Logic_Programming/talp_talp/simple.pl |
1.1 /
0.6 s
|
Logic_Programming/talp_talp/slowsort-oi.pl |
8.6 /
2.8 s
|
Logic_Programming/talp_talp/slowsort.pl |
3.7 /
1.4 s
|
Logic_Programming/talp_talp/transitive_closure.pl |
1.2 /
0.7 s
|
Logic_Programming/talp_talp/vangelder.pl |
15.5 /
4.4 s
|
Logic_Programming/terminweb_new/NJ1.pl |
1.7 /
0.8 s
|
Logic_Programming/terminweb_new/NJ2.pl |
1.5 /
0.8 s
|
Logic_Programming/terminweb_new/NJ3.pl |
2.1 /
0.9 s
|
Logic_Programming/terminweb_new/NJ4.pl |
1.9 /
0.9 s
|
Logic_Programming/terminweb_new/NJ5.pl |
1.8 /
0.8 s
|
Logic_Programming/terminweb_new/NJ6.pl |
1.9 /
0.9 s
|
Logic_Programming/terminweb_new/append-ooi.pl |
1.5 /
0.8 s
|
ogic_Programming/terminweb_new/backwards_append.pl |
1.5 /
0.8 s
|
Logic_Programming/terminweb_new/basic_append.pl |
1.5 /
0.8 s
|
Logic_Programming/terminweb_new/der.pl |
7.8 /
2.4 s
|
Logic_Programming/terminweb_new/preorder_dl.pl |
1.9 /
0.8 s
|
Logic_Programming/terminweb_new/som.pl |
1.7 /
0.8 s
|
Logic_Programming/terminweb_new/transpose.pl |
2.2 /
0.9 s
|
gic_Programming/terminweb_new/type-based_append.pl |
1.5 /
0.8 s
|
Logic_Programming/terminweb_new/ways.pl |
25.0 /
7.0 s
|
Logic_Programming/terminweb_old/ackerman.pl |
2.0 /
0.9 s
|
Logic_Programming/terminweb_old/append3-bis.pl |
1.7 /
0.8 s
|
Logic_Programming/terminweb_old/append3.pl |
1.6 /
0.8 s
|
Logic_Programming/terminweb_old/balance_tree.pl |
2.3 /
1.0 s
|
Logic_Programming/terminweb_old/balance_tree2.pl |
20.4 /
6.3 s
|
Logic_Programming/terminweb_old/inorder.pl |
2.1 /
0.9 s
|
Logic_Programming/terminweb_old/interleave.pl |
1.6 /
0.8 s
|
Logic_Programming/terminweb_old/permutation1.pl |
2.6 /
1.1 s
|
Logic_Programming/terminweb_old/permutation2.pl |
2.3 /
1.0 s
|
Logic_Programming/terminweb_old/reach.pl |
9.0 /
2.8 s
|
Logic_Programming/terminweb_old/rotate.pl |
1.9 /
0.9 s
|
Logic_Programming/terminweb_old/sameleaves.pl |
3.3 /
1.3 s
|
Logic_Programming/terminweb_old/sublist.pl |
1.7 /
0.8 s
|
Logic_Programming/terminweb_old/sublist0.pl |
2.1 /
0.9 s
|
Logic_Programming/terminweb_old/sublist_bad.pl |
5.8 /
2.0 s
|
Logic_Programming/terminweb_old/subset-no.pl |
10.4 /
3.3 s
|
Logic_Programming/terminweb_old/subset.pl |
1.7 /
0.8 s
|
gic_Programming/terminweb_old/untupled_bal_tree.pl |
3.2 /
1.2 s
|