WST competition 2004 - LP category

Short legend (help page for more):
Tool id
Problem id YES, it is terminating I don't know NO, it is NOT terminating
Times for giving answers are in seconds

AProVE TALP
lpexamples1 - ackermann-ioi 0.550.01
lpexamples1 - ackermann 0.850.12
lpexamples1 - average-ioi 0.800.04
lpexamples1 - average 0.840.05
lpexamples1 - kay4 0.550.01
lpexamples1 - log2a-oi 0.933.71
lpexamples1 - log2a 0.920.98
lpexamples1 - log2b-oi 1.240.04
lpexamples1 - log2b 0.960.03
lpexamples1 - mapcolor 0.670.02
lpexamples1 - mergesort-oi 0.580.01
lpexamples1 - mergesort 4.75(timeout)
lpexamples1 - shapes 0.660.02
lpexamples1 - tautology (timeout)12.67
lpexamples2 - factorial 0.590.03
lpexamples2 - fib-oi 0.740.02
lpexamples2 - fib 0.6824.20
lpexamples2 - hanoi 0.450.01
lpexamples2 - totient 0.778.28
qualif - append-iio 0.680.02
qualif - append-oio 0.540.01
qualif - append-ooi 0.670.03
qualif - syr 3.33(timeout)
talp - append 0.720.04
talp - evaluate 2.440.06
talp - flat 0.940.05
talp - qsort 1.1836.19
talp - slowsort 0.900.06
talp - transitive_closure 0.810.01
talp-bench/apt - append 0.730.04
talp-bench/apt - curry_ap 0.460.02
talp-bench/apt - dc_schema 0.730.01
talp-bench/apt - fold 0.850.01
talp-bench/apt - gtsolve 0.520.00
talp-bench/apt - list 0.790.03
talp-bench/apt - lte 0.360.01
talp-bench/apt - map1 0.510.01
talp-bench/apt - map 0.700.01
talp-bench/apt - member 0.670.03
talp-bench/apt - mergesort_ap 0.470.02
talp-bench/apt - mergesort_ap_variant 0.510.02
talp-bench/apt - mergesort 5.52(timeout)
talp-bench/apt - naive_rev-oi 0.530.02
talp-bench/apt - naive_rev 0.860.02
talp-bench/apt - ordered 0.880.02
talp-bench/apt - overlap 0.860.02
talp-bench/apt - permutation 0.930.05
talp-bench/apt - quicksort-oi 0.590.01
talp-bench/apt - quicksort 1.1830.60
talp-bench/apt - select1 0.750.01
talp-bench/apt - select 0.730.03
talp-bench/apt - SS_map_out 1.582.44
talp-bench/apt - SS_map 0.670.02
talp-bench/apt - SS_map_t 0.740.02
talp-bench/apt - subset1 0.812.47
talp-bench/apt - subset 0.760.04
talp-bench/apt - sum 0.670.01
talp-bench/az - flat-oi 0.470.01
talp-bench/az - flat 0.970.04
talp-bench/az - perm 0.910.03
talp-bench/az - p 0.730.02
talp-bench/dds - append 0.610.02
talp-bench/dds - dis_con-bis 0.880.05
talp-bench/dds - dis_con 0.890.04
talp-bench/dds - duplicate 0.740.02
talp-bench/dds - merge 0.930.11
talp-bench/dds - permute 0.890.04
talp-bench/dds - reverse-iio 0.670.00
talp-bench/dds - reverse 0.700.03
talp-bench/dds - sum-ioi 0.840.01
talp-bench/dds - sum 0.860.03
talp-bench/maria - bid 1.630.04
talp-bench/maria - deriv-oii 0.730.03
talp-bench/maria - deriv 0.640.02
talp-bench/maria - fib 0.8424.25
talp-bench/maria - fib_t 36.960.03
talp-bench/maria - grammar2 0.540.03
talp-bench/maria - grammar 0.510.02
talp-bench/maria - hanoiapp 0.8718.55
talp-bench/maria - hanoiapp.suc 0.826.93
talp-bench/maria - mmatrix 1.030.04
talp-bench/maria - money 1.200.06
talp-bench/maria - progeom (timeout)(timeout)
talp-bench/maria - qsortapp 1.120.06
talp-bench/maria - query 0.590.06
talp-bench/maria - tak 0.87(timeout)
talp-bench/maria - zebra 1.660.04
talp-bench/naomil - ack 0.940.13
talp-bench/naomil - queens 1.380.21
talp-bench/naomil - reverse 0.700.03
talp-bench/naomil - sicstus1 0.780.02
talp-bench/plumer - mergesort_t (timeout)(timeout)
talp-bench/plumer - pl1.1 0.500.00
talp-bench/plumer - pl1.2 0.920.04
talp-bench/plumer - pl1.2_t 1.0112.70
talp-bench/plumer - pl2.3.1 0.820.03
talp-bench/plumer - pl3.1.1 0.300.01
talp-bench/plumer - pl3.5.6a 0.771.14
talp-bench/plumer - pl3.5.6 0.851.16
talp-bench/plumer - pl4.0.1-oooi 0.570.01
talp-bench/plumer - pl4.0.1 0.780.01
talp-bench/plumer - pl4.4.3 0.890.07
talp-bench/plumer - pl4.4.6a 0.750.03
talp-bench/plumer - pl4.5.2 1.3024.12
talp-bench/plumer - pl4.5.3a 0.710.01
talp-bench/plumer - pl4.5.3b 0.740.02
talp-bench/plumer - pl4.5.3c 0.520.01
talp-bench/plumer - pl5.2.2 4.50(timeout)
talp-bench/plumer - pl6.1.1 1.1930.25
talp-bench/plumer - pl7.2.9 0.780.02
talp-bench/plumer - pl7.6.2a 0.8312.37
talp-bench/plumer - pl7.6.2b 0.8842.95
talp-bench/plumer - pl7.6.2c 0.932.50
talp-bench/plumer - pl8.2.1a 2.20(timeout)
talp-bench/plumer - pl8.2.1 5.10(timeout)
talp-bench/plumer - pl8.3.1a 1.120.13
talp-bench/plumer - pl8.3.1 (timeout)(timeout)
talp-bench/plumer - pl8.4.1 0.720.04
talp-bench/plumer - pl8.4.2 0.820.07
talp-bench/taboch - bad_sublist 0.510.01
talp-bench/taboch - mergesort 4.94(timeout)
talp-bench/taboch - permute1 1.080.03
talp-bench/taboch - permute2 0.800.04
talp-bench/taboch - qicksort 1.2130.77
talp-bench/taboch - queens 1.070.06
talp-bench/taboch - rotate 0.820.03
talp-bench/taboch - sameleaves 1.050.04
talp-bench/taboch - sublist1 0.750.01
talp-bench/taboch - sublist 0.760.01
talp-bench/talp - append 0.700.04
talp-bench/talp - binary2 1.200.16
talp-bench/talp - binary3 1.290.20
talp-bench/talp - binary4 0.540.02
talp-bench/talp - binary 1.260.12
talp-bench/talp - div 0.850.08
talp-bench/talp - evaluate 2.030.07
talp-bench/talp - example1 0.710.01
talp-bench/talp - example4-2 0.690.01
talp-bench/talp - example4 0.780.02
talp-bench/talp - flat 0.770.03
talp-bench/talp - gcd 1.25(timeout)
talp-bench/talp - nat 0.870.04
talp-bench/talp - normal 1.010.04
talp-bench/talp - palindrome 0.770.02
talp-bench/talp - perm 0.930.04
talp-bench/talp - permute 0.850.04
talp-bench/talp - qsort 1.1436.19
talp-bench/talp - reminder-ioi 0.600.02
talp-bench/talp - reminder 0.8644.94
talp-bench/talp - simple 0.680.00
talp-bench/talp - slowsort-oi 0.600.02
talp-bench/talp - slowsort 0.880.06
talp-bench/talp - transitive_closure 0.810.02
talp-bench/talp - vangelder (timeout)(timeout)
terminweb/backwards - append 0.780.02
terminweb/basic - append-ooi 0.700.03
terminweb/basic - append 0.720.03
terminweb/basic - ways 0.92(timeout)
terminweb/combination - der 0.610.01
terminweb/cti - som 0.560.02
terminweb/old-terminweb - ackerman 0.940.12
terminweb/old-terminweb - append3-bis 0.850.03
terminweb/old-terminweb - append3 0.760.02
terminweb/old-terminweb - balance_tree2 0.470.01
terminweb/old-terminweb - balance_tree 0.500.02
terminweb/old-terminweb - inorder 0.890.12
terminweb/old-terminweb - interleave 0.740.03
terminweb/old-terminweb - mergesort 4.87(timeout)
terminweb/old-terminweb - permutation1 0.930.04
terminweb/old-terminweb - permutation2 0.910.03
terminweb/old-terminweb - queens 1.010.07
terminweb/old-terminweb - quicksort 0.970.06
terminweb/old-terminweb - reach 0.952.33
terminweb/old-terminweb - rotate 0.710.03
terminweb/old-terminweb - sameleaves 0.940.05
terminweb/old-terminweb - sublist0 0.730.02
terminweb/old-terminweb - sublist_bad 0.500.01
terminweb/old-terminweb - sublist 0.700.03
terminweb/old-terminweb - subset-no 0.782.45
terminweb/old-terminweb - subset 0.790.03
terminweb/old-terminweb - untupled_bal_tree 0.660.03
terminweb/Size-Change:NJ - NJ1 0.510.01
terminweb/Size-Change:NJ - NJ2 0.790.03
terminweb/Size-Change:NJ - NJ3 0.930.14
terminweb/Size-Change:NJ - NJ4 0.740.02
terminweb/Size-Change:NJ - NJ5 0.760.05
terminweb/Size-Change:NJ - NJ6 0.780.02
terminweb/type-based - append 0.700.01
terminweb/type-based - transpose 0.540.02
terminweb/untupling - preorder_dl 0.510.02
AProVE TALP
YES score 120 111
NO score 2 0
This script has been written in the Objective CAML language using the CGI Library