We provide benchmarks comparing old LattE (version 1.2; shown in column A) and LattE macchiato (version 1.2-mk-0.9; column B; various "flavors" shown in the remaining columns). The running time is given in CPU seconds on an Intel Core Duo running at 2 GHz.
Key to test runs:
A /home/mkoeppe/w/latte/results/log-2007-10-31-latte-1.1-count -pid24980@moose/summaryB /home/mkoeppe/w/latte/results/log-2007-10-31-count -pid5822@moose/summaryC /home/mkoeppe/w/latte/results/log-2007-11-01-count --irr --exp --maxdet=1000-pid7391@moose/summaryD /home/mkoeppe/w/latte/results/log-2007-11-01-count --all-primal --exp --maxdet=1000-pid5352@moose/summaryE /home/mkoeppe/w/latte/results/log-2007-11-01-count --triangulation=4ti2 --dualization=4ti2 --compute-vertex-cones=4ti2-pid8371@moose/summaryF /home/mkoeppe/w/latte/results/log-2007-11-01-count --irr --exp --maxdet=1000 --triangulation=4ti2 --dualization=4ti2 --compute-vertex-cones=4ti2-pid10754@moose/summaryG /home/mkoeppe/w/latte/results/log-2007-11-01-count --all-primal --exp --maxdet=1000 --triangulation=4ti2 --dualization=4ti2 --compute-vertex-cones=4ti2-pid11951@moose/summaryExample | m | n | A | B | C | D | E | F | G |
24_cell | 24 | 5 | 1.07 | 0.63 | 0.62 | 1.17 | 0.30 | 0.17 | 0.60 |
crosspolytope/cross-polytope-10.vrep | 20 | 11 | 37.08 | 26.99 | |||||
crosspolytope/cross-polytope-11.vrep | 22 | 12 | 95.67 | 70.47 | |||||
crosspolytope/cross-polytope-12.vrep | 24 | 13 | 184.73 | ||||||
crosspolytope/cross-polytope-2.vrep | 4 | 3 | 0.01 | 0.01 | 0.01 | 0.01 | 0.00 | 0.01 | |
crosspolytope/cross-polytope-3.vrep | 6 | 4 | 0.10 | 0.11 | 0.15 | 0.03 | 0.03 | 0.08 | |
crosspolytope/cross-polytope-4.vrep | 8 | 5 | 0.29 | 0.24 | 0.26 | 0.19 | 0.10 | 0.14 | |
crosspolytope/cross-polytope-5.vrep | 10 | 6 | 2.51 | 0.95 | 0.51 | 2.17 | 0.40 | 0.31 | |
crosspolytope/cross-polytope-6.vrep | 12 | 7 | 37.21 | 8.96 | 1.01 | 34.68 | 2.56 | 0.68 | |
crosspolytope/cross-polytope-7.vrep | 14 | 8 | 705.26 | 141.60 | 2.36 | 673.65 | 26.32 | 1.58 | |
crosspolytope/cross-polytope-8.vrep | 16 | 9 | 5.72 | 534.27 | 4.00 | ||||
crosspolytope/cross-polytope-9.vrep | 18 | 10 | 14.26 | 10.20 | |||||
cuww1 | 1 | 6 | 0.24 | 0.11 | 0.18 | 0.25 | 0.09 | 0.12 | 0.15 |
example1 | 5 | 3 | 0.09 | 0.07 | 0.06 | 0.07 | 0.01 | 0.02 | 0.04 |
example2 | 5 | 3 | 0.08 | 0.06 | 0.06 | 0.06 | 0.00 | 0.01 | 0.04 |
example3 | 3 | 3 | 0.09 | 0.06 | 0.06 | 0.06 | 0.02 | 0.00 | 0.04 |
hickerson/hickerson-10 | 6 | 6 | 2.54 | 1.75 | 0.20 | 0.31 | 1.75 | 0.14 | 0.08 |
hickerson/hickerson-11 | 6 | 6 | 15.74 | 8.47 | 1.76 | 2.09 | 8.57 | 0.87 | 0.93 |
hickerson/hickerson-12 | 7 | 7 | 13.41 | 6.83 | 0.15 | 0.44 | 6.78 | 0.12 | 0.14 |
hickerson/hickerson-13 | 7 | 7 | 286.30 | 13.43 | 13.59 | 288.05 | 12.21 | 13.23 | |
hickerson/hickerson-14 | 8 | 8 | 19.14 | 19.56 | 17.51 | 18.90 | |||
hickerson/hickerson-15 | 8 | 8 | 12.37 | 12.38 | 11.05 | 11.99 | |||
hickerson/hickerson-16 | 9 | 9 | 131.55 | 132.03 | 126.74 | 130.61 | |||
hickerson/hickerson-7 | 4 | 4 | 0.10 | 0.08 | 0.05 | 0.11 | 0.06 | 0.03 | 0.00 |
hickerson/hickerson-8 | 5 | 5 | 0.19 | 0.20 | 0.06 | 0.14 | 0.19 | 0.02 | 0.01 |
hickerson/hickerson-9 | 5 | 5 | 0.19 | 0.19 | 0.06 | 0.13 | 0.16 | 0.03 | 0.01 |
magic4x4 | 10 | 17 | 3.16 | 1.56 | 1.78 | 3.25 | 0.68 | 0.79 | 2.19 |
mcallister/HivePolytopeMinutes1 | 64 | 29 | 29.66 | 19.95 | 22.47 | 48.34 | 3.93 | 6.33 | 18.58 |
mcallister/HivePolytopeMinutes2 | 64 | 29 | 87.33 | 47.50 | 55.54 | 174.50 | 10.19 | 18.53 | 70.07 |
mcallister/HivePolytopeMinutes3 | 64 | 29 | 92.32 | 58.56 | 66.23 | 175.15 | 9.80 | 17.02 | 62.07 |
mcallister/HivePolytopeMinutes4 | 64 | 29 | 0.25 | 58.56 | 66.23 | 175.15 | 9.80 | 17.02 | 62.07 |
mcallister/HivePolytopeMinutes5 | 85 | 37 | 195.41 | 53.89 | 72.38 | 312.32 | |||
mcallister/HivePolytopeSeconds | 46 | 22 | 3.85 | 1.45 | 1.62 | 3.28 | 0.40 | 0.59 | 1.48 |
yoshida/24_cell_latte | 24 | 5 | 0.56 | 0.31 | 0.33 | 0.61 | 0.14 | 0.10 | 0.33 |
yoshida/3x3x3_semi_1.equ | 54 | 28 | 14.16 | 6.36 | 7.70 | 2.80 | 4.15 | 55.70 | |
yoshida/3x3x3_semi_10.equ | 54 | 28 | 14.27 | 6.32 | 7.66 | 2.83 | 4.14 | 56.01 | |
yoshida/3x3x3_semi_11.equ | 54 | 28 | 14.13 | 6.33 | 7.70 | 3.27 | 4.16 | 55.85 | |
yoshida/3x3x3_semi_12.equ | 54 | 28 | 14.26 | 6.37 | 7.71 | 2.90 | 4.15 | 55.83 | |
yoshida/3x3x3_semi_13.equ | 54 | 28 | 14.28 | 6.30 | 7.65 | 2.83 | 4.17 | 55.83 | |
yoshida/3x3x3_semi_14.equ | 54 | 28 | 14.28 | 6.36 | 7.73 | 2.82 | 4.16 | 55.76 | |
yoshida/3x3x3_semi_15.equ | 54 | 28 | 14.09 | 6.29 | 7.68 | 2.82 | 4.30 | 56.01 | |
yoshida/3x3x3_semi_16.equ | 54 | 28 | 14.25 | 6.34 | 7.69 | 2.85 | 4.14 | 55.67 | |
yoshida/3x3x3_semi_17.equ | 54 | 28 | 14.19 | 6.32 | 7.68 | 2.82 | 4.15 | 55.72 | |
yoshida/3x3x3_semi_18.equ | 54 | 28 | 14.26 | 6.29 | 7.73 | 2.82 | 4.15 | 55.84 | |
yoshida/3x3x3_semi_2.equ | 54 | 28 | 14.20 | 6.28 | 7.73 | 2.90 | 4.14 | 55.90 | |
yoshida/3x3x3_semi_3.equ | 54 | 28 | 14.23 | 6.33 | 7.69 | 2.82 | 4.18 | 56.41 | |
yoshida/3x3x3_semi_4.equ | 54 | 28 | 14.20 | 6.02 | 7.72 | 2.83 | 4.17 | 56.26 | |
yoshida/3x3x3_semi_5.equ | 54 | 28 | 14.21 | 5.88 | 7.63 | 2.86 | 4.16 | 55.71 | |
yoshida/3x3x3_semi_6.equ | 54 | 28 | 14.19 | 5.76 | 7.70 | 2.80 | 4.16 | 55.59 | |
yoshida/3x3x3_semi_7.equ | 54 | 28 | 14.26 | 5.83 | 7.66 | 2.82 | 4.17 | 55.63 | |
yoshida/3x3x3_semi_8.equ | 54 | 28 | 14.24 | 5.87 | 7.71 | 2.87 | 4.14 | 55.75 | |
yoshida/3x3x3_semi_9.equ | 54 | 28 | 14.19 | 5.92 | 7.69 | 2.83 | 4.16 | 56.19 | |
yoshida/3x3x4_1.equ | 69 | 37 | 322.47 | 443.11 | 182.84 | 322.67 | |||
yoshida/4flow_1.equ | 10 | 7 | 0.10 | 0.02 | 0.02 | 0.09 | 0.00 | 0.01 | 0.01 |
yoshida/4flow_2.equ | 10 | 7 | 0.10 | 0.02 | 0.03 | 0.08 | 0.00 | 0.00 | 0.00 |
yoshida/4flow_3.equ | 10 | 7 | 0.09 | 0.01 | 0.03 | 0.07 | 0.01 | 0.01 | 0.01 |
yoshida/4x4Table1 | 16 | 10 | 3.31 | 0.49 | 0.85 | 5.37 | 0.27 | 0.59 | 0.64 |
yoshida/4x4Table10 | 16 | 10 | 5.12 | 0.72 | 1.29 | 8.48 | 0.41 | 0.88 | 1.01 |
yoshida/4x4Table11 | 24 | 17 | 2.50 | 1.20 | 1.80 | 12.25 | 0.47 | 0.96 | 10.55 |
yoshida/4x4Table2 | 16 | 10 | 5.07 | 0.69 | 1.24 | 8.24 | 0.41 | 0.90 | 1.00 |
yoshida/4x4Table3 | 16 | 10 | 5.02 | 0.67 | 1.19 | 8.13 | 0.41 | 0.88 | 0.97 |
yoshida/4x4Table4 | 16 | 10 | 4.80 | 0.70 | 1.25 | 7.93 | 0.39 | 0.85 | 0.93 |
yoshida/4x4Table5 | 16 | 10 | 5.06 | 0.68 | 1.23 | 8.21 | 0.43 | 0.91 | 1.00 |
yoshida/4x4Table6 | 16 | 10 | 5.10 | 0.70 | 1.26 | 8.36 | 0.40 | 0.90 | 1.00 |
yoshida/4x4Table7 | 16 | 10 | 5.08 | 0.69 | 1.24 | 8.16 | 0.40 | 0.90 | 1.00 |
yoshida/4x4Table8 | 16 | 10 | 4.25 | 0.58 | 1.03 | 6.87 | 0.33 | 0.73 | 0.82 |
yoshida/4x4Table9 | 16 | 10 | 5.11 | 0.69 | 1.25 | 8.29 | 0.40 | 0.89 | 0.99 |
yoshida/4x5_1 | 20 | 13 | 23.42 | 3.28 | 5.55 | 42.53 | 2.23 | 4.24 | 4.69 |
yoshida/4x5_2 | 20 | 13 | 21.62 | 3.07 | 5.18 | 39.10 | 2.04 | 3.99 | 4.37 |
yoshida/4x5_3 | 20 | 13 | 21.58 | 3.02 | 5.21 | 38.82 | 2.05 | 4.19 | 4.40 |
yoshida/5flow_1.equ | 15 | 11 | 0.42 | 0.06 | 0.09 | 0.49 | 0.04 | 0.06 | 0.07 |
yoshida/5flow_2.equ | 15 | 11 | 0.42 | 0.07 | 0.10 | 0.48 | 0.03 | 0.08 | 0.06 |
yoshida/5flow_3.equ | 15 | 11 | 0.43 | 0.05 | 0.11 | 0.49 | 0.04 | 0.07 | 0.07 |
yoshida/HD1 | 4 | 4 | 0.09 | ||||||
yoshida/HD2 | 5 | 5 | 0.20 | ||||||
yoshida/HD3 | 5 | 5 | 0.18 | ||||||
yoshida/HD4 | 6 | 6 | 2.55 | ||||||
yoshida/HD5 | 6 | 6 | 15.80 | ||||||
yoshida/HD6 | 7 | 7 | 13.13 | ||||||
yoshida/aardallenstra.equ | 4 | 4 | 0.05 | 0.02 | 0.01 | 0.04 | 0.00 | 0.00 | |
yoshida/cube | 6 | 4 | 0.09 | 0.01 | 0.01 | 0.07 | 0.00 | 0.01 | 0.00 |
yoshida/cube2 | 6 | 4 | 0.09 | 0.00 | 0.02 | 0.08 | 0.01 | 0.01 | 0.00 |
yoshida/cuww1_1.equ | 6 | 6 | 0.12 | 0.05 | 0.08 | 0.13 | 0.03 | 0.07 | 0.07 |
yoshida/cuww2_1.equ | 7 | 7 | 0.38 | 0.15 | 0.62 | 0.62 | 0.16 | 0.52 | 0.56 |
yoshida/cuww3_1.equ | 7 | 7 | 0.37 | 0.15 | 0.43 | 0.40 | 0.14 | 0.32 | 0.34 |
yoshida/cuww4_1.equ | 8 | 8 | 0.53 | 0.21 | 0.72 | 0.64 | 0.22 | 0.59 | |
yoshida/cuww5_1.equ | 9 | 9 | 4.34 | 1.65 | 14.77 | 14.68 | 1.78 | 14.61 | 14.61 |
yoshida/dean1 | 4 | 4 | 0.07 | 0.02 | 0.02 | 0.04 | 0.01 | 0.00 | 0.00 |
yoshida/digraph4_1.equ | 10 | 7 | 0.09 | 0.02 | 0.02 | 0.09 | 0.01 | 0.01 | 0.02 |
yoshida/digraph4_10.equ | 10 | 7 | 0.09 | 0.02 | 0.03 | 0.07 | 0.01 | 0.00 | 0.00 |
yoshida/digraph4_2.equ | 10 | 7 | 0.08 | 0.02 | 0.02 | 0.07 | 0.01 | 0.01 | 0.01 |
yoshida/digraph4_3.equ | 10 | 7 | 0.08 | 0.03 | 0.02 | 0.06 | 0.01 | 0.01 | 0.02 |
yoshida/digraph4_4.equ | 10 | 7 | 0.09 | 0.02 | 0.01 | 0.06 | 0.01 | 0.01 | 0.01 |
yoshida/digraph4_5.equ | 10 | 7 | 0.09 | 0.02 | 0.04 | 0.09 | 0.01 | 0.01 | 0.00 |
yoshida/digraph4_6.equ | 10 | 7 | 0.10 | 0.01 | 0.02 | 0.09 | 0.01 | 0.00 | 0.00 |
yoshida/digraph4_7.equ | 10 | 7 | 0.07 | 0.02 | 0.02 | 0.06 | 0.01 | 0.01 | 0.00 |
yoshida/digraph4_8.equ | 10 | 7 | 0.10 | 0.02 | 0.02 | 0.07 | 0.01 | 0.00 | 0.01 |
yoshida/digraph4_9.equ | 10 | 7 | 0.09 | 0.02 | 0.02 | 0.08 | 0.00 | 0.01 | 0.01 |
yoshida/digraph5_1.equ | 15 | 11 | 0.37 | 0.05 | 0.11 | 0.40 | 0.04 | 0.05 | 0.05 |
yoshida/digraph5_10.equ | 15 | 11 | 0.36 | 0.05 | 0.07 | 0.39 | 0.04 | 0.06 | 0.06 |
yoshida/digraph5_2.equ | 15 | 11 | 0.40 | 0.06 | 0.09 | 0.43 | 0.04 | 0.05 | 0.07 |
yoshida/digraph5_3.equ | 15 | 11 | 0.40 | 0.07 | 0.10 | 0.44 | 0.03 | 0.05 | 0.07 |
yoshida/digraph5_4.equ | 15 | 11 | 0.30 | 0.05 | 0.08 | 0.31 | 0.04 | 0.06 | 0.06 |
yoshida/digraph5_5.equ | 15 | 11 | 0.44 | 0.06 | 0.08 | 0.48 | 0.03 | 0.05 | 0.06 |
yoshida/digraph5_6.equ | 15 | 11 | 0.37 | 0.06 | 0.08 | 0.39 | 0.04 | 0.05 | 0.04 |
yoshida/digraph5_7.equ | 15 | 11 | 0.29 | 0.05 | 0.07 | 0.30 | 0.04 | 0.05 | 0.05 |
yoshida/digraph5_8.equ | 15 | 11 | 0.36 | 0.05 | 0.08 | 0.40 | 0.04 | 0.05 | 0.07 |
yoshida/digraph5_9.equ | 15 | 11 | 0.29 | 0.04 | 0.07 | 0.32 | 0.04 | 0.04 | 0.05 |
yoshida/hyp_simp_4_1.equ | 9 | 5 | 0.08 | 0.03 | 0.05 | 0.06 | 0.00 | 0.02 | 0.03 |
yoshida/hyp_simp_4_2.equ | 9 | 5 | 0.13 | 0.06 | 0.06 | 0.11 | 0.01 | 0.01 | 0.05 |
yoshida/hyp_simp_4_3.equ | 9 | 5 | 0.06 | 0.04 | 0.05 | 0.05 | 0.00 | 0.00 | 0.04 |
yoshida/hyp_simp_5_1.equ | 11 | 6 | 0.08 | 0.05 | 0.07 | 0.07 | 0.00 | 0.02 | 0.04 |
yoshida/hyp_simp_5_2.equ | 11 | 6 | 0.19 | 0.10 | 0.12 | 0.20 | 0.01 | 0.03 | 0.10 |
yoshida/hyp_simp_5_3.equ | 11 | 6 | 0.20 | 0.10 | 0.11 | 0.20 | 0.01 | 0.02 | 0.11 |
yoshida/hyp_simp_5_4.equ | 11 | 6 | 0.07 | 0.07 | 0.06 | 0.07 | 0.01 | 0.02 | 0.04 |
yoshida/hyp_simp_6_1.equ | 13 | 7 | 0.10 | 0.06 | 0.08 | 0.08 | 0.02 | 0.03 | 0.07 |
yoshida/hyp_simp_6_2.equ | 13 | 7 | 0.32 | 0.15 | 0.19 | 0.37 | 0.02 | 0.05 | 0.18 |
yoshida/hyp_simp_6_3.equ | 13 | 7 | 0.43 | 0.20 | 0.24 | 0.56 | 0.03 | 0.06 | 0.27 |
yoshida/hyp_simp_6_4.equ | 13 | 7 | 0.33 | 0.16 | 0.19 | 0.36 | 0.02 | 0.05 | 0.18 |
yoshida/hyp_simp_6_5.equ | 13 | 7 | 0.09 | 0.08 | 0.08 | 0.09 | 0.01 | 0.02 | 0.06 |
yoshida/hyp_simp_7_1.equ | 15 | 8 | 0.12 | 0.09 | 0.10 | 0.10 | 0.03 | 0.06 | 0.09 |
yoshida/hyp_simp_7_2.equ | 15 | 8 | 0.51 | 0.26 | 0.31 | 0.66 | 0.06 | 0.12 | 0.34 |
yoshida/hyp_simp_7_3.equ | 15 | 8 | 0.84 | 0.40 | 0.54 | 1.50 | 0.08 | 0.16 | 0.73 |
yoshida/hyp_simp_7_4.equ | 15 | 8 | 0.84 | 0.41 | 0.59 | 1.49 | 0.08 | 0.15 | 0.70 |
yoshida/hyp_simp_7_5.equ | 15 | 8 | 0.51 | 0.25 | 0.31 | 0.64 | 0.07 | 0.12 | 0.32 |
yoshida/hyp_simp_7_6.equ | 15 | 8 | 0.12 | 0.10 | 0.13 | 0.13 | 0.04 | 0.06 | 0.08 |
yoshida/knapsack1.equ | 11 | 11 | 1.00 | 0.35 | 1.22 | 1.36 | 0.38 | 1.14 | 1.16 |
yoshida/knapsack2.equ | 11 | 11 | 0.24 | 0.05 | 0.07 | 0.24 | 0.02 | 0.04 | 0.04 |
yoshida/knapsackbaby1.equ | 4 | 4 | 0.05 | 0.02 | 0.01 | 0.04 | 0.00 | 0.00 | 0.00 |
yoshida/knapsackbaby2.equ | 3 | 3 | 0.04 | 0.01 | 0.01 | 0.04 | 0.01 | 0.01 | |
yoshida/mountExample1 | 18 | 9 | 2.53 | 0.45 | 0.75 | 3.87 | 0.23 | 0.47 | 0.59 |
yoshida/mountExample2 | 20 | 13 | 35.66 | 11.55 | 16.82 | 186.41 | 5.38 | 10.26 | 93.15 |
yoshida/mountExample3 | 24 | 16 | 346.71 | 77.65 | 104.85 | 1577.08 | 40.51 | 66.07 | 465.91 |
yoshida/mountExample4 | 27 | 17 | 532.54 | 133.58 | 165.47 | 50.92 | 77.23 | ||
yoshida/mountExample5 | 30 | 21 | 245.59 | ||||||
yoshida/prob10_1.equ | 11 | 11 | 135.77 | ||||||
yoshida/prob1_1.equ | 9 | 9 | 20.41 | 7.99 | 41.84 | 42.22 | 8.76 | 41.59 | 42.04 |
yoshida/prob2_1.equ | 9 | 9 | 12.51 | 5.02 | 22.98 | 23.29 | 5.20 | 22.77 | 23.25 |
yoshida/prob3_1.equ | 9 | 9 | 25.19 | 10.01 | 53.28 | 53.80 | 10.80 | 52.87 | 53.72 |
yoshida/prob4_1.equ | 9 | 9 | 18.33 | 7.07 | 52.10 | 52.04 | 7.62 | 51.49 | 52.10 |
yoshida/prob5_1.equ | 9 | 9 | 18.15 | 6.87 | 29.99 | 30.05 | 7.43 | 29.58 | 30.13 |
yoshida/prob6_1.equ | 11 | 11 | 88.18 | ||||||
yoshida/prob7_1.equ | 11 | 11 | 76.35 | ||||||
yoshida/test4x4_1 | 16 | 10 | 5.17 | 0.70 | 1.25 | 15.84 | 0.41 | 0.90 | 1.02 |
yoshida/test4x4_2 | 16 | 10 | 5.18 | 0.71 | 1.23 | 8.25 | 0.42 | 0.90 | 1.06 |
yoshida/test4x4_3 | 16 | 10 | 5.15 | 0.69 | 1.22 | 9.64 | 0.41 | 0.89 | 1.04 |
yoshida/tru_cube_latte | 14 | 4 | 0.17 | 0.02 | 0.04 | 0.25 | 0.00 | 0.01 | |
yoshida/tru_simplex_latte | 8 | 4 | 0.11 | 0.02 | 0.03 | 0.14 | 0.02 | 0.01 |