0.00/0.00 c cpHydra_k_40 version 0.0
6.62/6.80 c CASE TO CLASSIFY:
6.62/6.80 c Case: 0
6.71/6.80 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.140500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.986000 | c 14 > 13.716800 | c 11 > 5.321930 | c 12 > 11.759700 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.71/6.81 c choco : 1801.0
6.71/6.81 c mistral : 1801.0
6.71/6.81 c abscon : 1801.0
6.71/6.81 c
6.71/6.81 c
6.71/6.88 c List of same ones: 40
6.71/6.88 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-31_ext.xml
6.71/6.88 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.883100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.733700 | c 14 > 13.539400 | c 11 > 5.321930 | c 12 > 11.492300 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.71/6.89 c choco : 60.5
6.71/6.89 c mistral : 12.57
6.71/6.89 c abscon : 8.16776
6.71/6.89 c
6.71/6.89 c
6.71/6.89 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-43_ext.xml
6.71/6.89 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.757900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.909100 | c 14 > 13.419800 | c 11 > 5.321930 | c 12 > 11.585900 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.80/6.90 c choco : 1801.0
6.80/6.90 c mistral : 23.03
6.80/6.90 c abscon : 25.1432
6.80/6.90 c
6.80/6.90 c
6.80/6.90 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-29_ext.xml
6.80/6.90 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.862300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.714500 | c 14 > 13.455700 | c 11 > 5.321930 | c 12 > 11.525900 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.80/6.91 c choco : 1801.0
6.80/6.91 c mistral : 25.88
6.80/6.91 c abscon : 28.1027
6.80/6.91 c
6.80/6.91 c
6.80/6.91 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-15_ext.xml
6.80/6.91 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.769400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.841500 | c 14 > 13.379900 | c 11 > 5.321930 | c 12 > 11.457000 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.80/6.92 c choco : 64.19
6.80/6.92 c mistral : 14.85
6.80/6.92 c abscon : 3.51547
6.80/6.92 c
6.80/6.92 c
6.80/6.92 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-75_ext.xml
6.80/6.92 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.836200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.726700 | c 14 > 13.417100 | c 11 > 5.321930 | c 12 > 11.410200 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.80/6.93 c choco : 40.54
6.80/6.93 c mistral : 7.05
6.80/6.93 c abscon : 7.43887
6.80/6.93 c
6.80/6.93 c
6.80/6.93 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-69_ext.xml
6.80/6.93 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.786700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.664000 | c 14 > 13.372700 | c 11 > 5.321930 | c 12 > 11.534300 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.80/6.94 c choco : 58.34
6.80/6.94 c mistral : 7.02
6.80/6.94 c abscon : 5.48817
6.80/6.94 c
6.80/6.94 c
6.80/6.94 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-5_ext.xml
6.80/6.94 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.794700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.484800 | c 14 > 13.533800 | c 11 > 5.321930 | c 12 > 11.516900 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.80/6.94 c choco : 1801.0
6.80/6.94 c mistral : 6.69
6.80/6.94 c abscon : 14.9237
6.80/6.94 c
6.80/6.94 c
6.80/6.94 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-17_ext.xml
6.80/6.94 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.678000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.763500 | c 14 > 13.354900 | c 11 > 5.321930 | c 12 > 11.491400 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.80/6.95 c choco : 18.84
6.80/6.95 c mistral : 3.25
6.80/6.95 c abscon : 2.86956
6.80/6.95 c
6.80/6.95 c
6.80/6.95 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-65_ext.xml
6.80/6.95 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.751000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.614300 | c 14 > 13.346700 | c 11 > 5.321930 | c 12 > 11.306600 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.80/6.96 c choco : 1801.0
6.80/6.96 c mistral : 8.61
6.80/6.96 c abscon : 11.4753
6.80/6.96 c
6.80/6.96 c
6.80/6.96 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-35_ext.xml
6.80/6.96 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.659400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.507700 | c 14 > 13.285000 | c 11 > 5.321930 | c 12 > 11.491400 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.80/6.97 c choco : 35.37
6.80/6.97 c mistral : 3.82842
6.80/6.97 c abscon : 7.83981
6.80/6.97 c
6.80/6.97 c
6.80/6.97 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-59_ext.xml
6.80/6.97 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.777600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.629900 | c 14 > 13.309800 | c 11 > 5.321930 | c 12 > 11.205400 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.97/7.15 c choco : 43.48
6.97/7.15 c mistral : 7.1
6.97/7.15 c abscon : 8.36973
6.97/7.15 c
6.97/7.15 c
6.97/7.15 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-53_ext.xml
6.97/7.15 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.720100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.485900 | c 14 > 13.312600 | c 11 > 5.321930 | c 12 > 11.376600 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.97/7.16 c choco : 1801.0
6.97/7.16 c mistral : 32.0
6.97/7.17 c abscon : 34.0228
6.97/7.17 c
6.97/7.17 c
6.97/7.17 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-37_ext.xml
6.97/7.17 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.658500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.525500 | c 14 > 13.362200 | c 11 > 5.321930 | c 12 > 11.309100 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.97/7.17 c choco : 1801.0
6.97/7.17 c mistral : 47.03
6.97/7.17 c abscon : 58.995
6.97/7.17 c
6.97/7.17 c
6.97/7.17 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-25_ext.xml
6.97/7.17 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.659600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.558900 | c 14 > 13.256400 | c 11 > 5.321930 | c 12 > 11.284800 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.97/7.18 c choco : 39.98
6.97/7.18 c mistral : 9.94
6.97/7.18 c abscon : 3.04653
6.97/7.18 c
6.97/7.18 c
6.97/7.18 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-33_ext.xml
6.97/7.18 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.698300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.644400 | c 14 > 13.249300 | c 11 > 5.321930 | c 12 > 11.186400 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.97/7.18 c choco : 75.44
6.97/7.18 c mistral : 10.98
6.97/7.18 c abscon : 15.8256
6.97/7.18 c
6.97/7.18 c
6.97/7.18 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-77_ext.xml
6.97/7.19 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.747800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.480600 | c 14 > 13.305900 | c 11 > 5.321930 | c 12 > 11.224300 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.97/7.19 c choco : 1801.0
6.97/7.19 c mistral : 18.65
6.97/7.19 c abscon : 20.1049
6.97/7.19 c
6.97/7.19 c
6.97/7.19 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-63_ext.xml
6.97/7.19 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.664500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.420500 | c 14 > 13.287400 | c 11 > 5.321930 | c 12 > 11.365700 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.97/7.20 c choco : 95.41
6.97/7.20 c mistral : 13.46
6.97/7.20 c abscon : 2.44663
6.97/7.20 c
6.97/7.20 c
6.97/7.20 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-73_ext.xml
6.97/7.20 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.715900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.335400 | c 14 > 13.259300 | c 11 > 5.321930 | c 12 > 11.383700 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.20 c choco : 110.59
7.06/7.20 c mistral : 8.35
7.06/7.20 c abscon : 1.61075
7.06/7.20 c
7.06/7.20 c
7.06/7.20 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-67_ext.xml
7.06/7.20 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.679600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.446400 | c 14 > 13.252800 | c 11 > 5.321930 | c 12 > 11.249400 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.21 c choco : 106.5
7.06/7.21 c mistral : 21.44
7.06/7.21 c abscon : 23.7804
7.06/7.21 c
7.06/7.21 c
7.06/7.21 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-49_ext.xml
7.06/7.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.609000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.468100 | c 14 > 13.254100 | c 11 > 5.321930 | c 12 > 11.296500 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.22 c choco : 9.03
7.06/7.22 c mistral : 5.29
7.06/7.22 c abscon : 17.4743
7.06/7.22 c
7.06/7.22 c
7.06/7.22 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-41_ext.xml
7.06/7.22 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.665900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.596600 | c 14 > 13.208400 | c 11 > 5.321930 | c 12 > 11.128600 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.23 c choco : 113.11
7.06/7.23 c mistral : 12.51
7.06/7.23 c abscon : 16.0916
7.06/7.23 c
7.06/7.23 c
7.06/7.23 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-11_ext.xml
7.06/7.23 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.621400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.498700 | c 14 > 13.231200 | c 11 > 5.321930 | c 12 > 11.217300 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.24 c choco : 107.74
7.06/7.24 c mistral : 12.15
7.06/7.24 c abscon : 14.1808
7.06/7.24 c
7.06/7.24 c
7.06/7.24 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-51_ext.xml
7.06/7.24 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.596800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.271900 | c 14 > 13.335900 | c 11 > 5.321930 | c 12 > 11.428700 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.24 c choco : 22.54
7.06/7.24 c mistral : 8.69
7.06/7.24 c abscon : 1.27181
7.06/7.24 c
7.06/7.24 c
7.06/7.24 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-3_ext.xml
7.06/7.24 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.626600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.897600 | c 14 > 13.132000 | c 11 > 5.321930 | c 12 > 10.947700 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.25 c choco : 16.3
7.06/7.25 c mistral : 2.19
7.06/7.25 c abscon : 3.01054
7.06/7.25 c
7.06/7.25 c
7.06/7.25 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-61_ext.xml
7.06/7.25 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.518000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.318500 | c 14 > 13.183000 | c 11 > 5.321930 | c 12 > 11.277500 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.25 c choco : 1801.0
7.06/7.25 c mistral : 19.89
7.06/7.25 c abscon : 26.622
7.06/7.25 c
7.06/7.25 c
7.06/7.25 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-9_ext.xml
7.06/7.25 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.480000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.464100 | c 14 > 13.079300 | c 11 > 5.321930 | c 12 > 11.272500 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.26 c choco : 13.6
7.06/7.26 c mistral : 2.19
7.06/7.26 c abscon : 4.18936
7.06/7.26 c
7.06/7.26 c
7.06/7.26 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-55_ext.xml
7.06/7.26 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.409800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.498800 | c 14 > 13.057100 | c 11 > 5.321930 | c 12 > 11.178100 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.26 c choco : 104.53
7.06/7.26 c mistral : 4.21836
7.06/7.26 c abscon : 4.71728
7.06/7.26 c
7.06/7.26 c
7.06/7.26 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-27_ext.xml
7.06/7.26 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.573100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.295200 | c 14 > 13.125700 | c 11 > 5.321930 | c 12 > 11.120100 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.27 c choco : 1801.0
7.06/7.27 c mistral : 6.06
7.06/7.27 c abscon : 7.2499
7.06/7.27 c
7.06/7.27 c
7.06/7.27 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-45_ext.xml
7.06/7.27 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.584000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.307300 | c 14 > 13.069800 | c 11 > 5.321930 | c 12 > 11.028100 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.27 c choco : 51.2
7.06/7.27 c mistral : 7.76
7.06/7.27 c abscon : 9.74752
7.06/7.27 c
7.06/7.27 c
7.06/7.27 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-1_ext.xml
7.06/7.27 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.392800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.615200 | c 14 > 13.077800 | c 11 > 5.321930 | c 12 > 10.972000 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.28 c choco : 89.71
7.06/7.28 c mistral : 4.5
7.06/7.28 c abscon : 5.58415
7.06/7.28 c
7.06/7.28 c
7.06/7.28 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-47_ext.xml
7.06/7.28 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.400500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.396200 | c 14 > 12.948900 | c 11 > 5.321930 | c 12 > 10.965500 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.28 c choco : 61.4
7.06/7.28 c mistral : 8.58
7.06/7.28 c abscon : 10.1775
7.06/7.28 c
7.06/7.28 c
7.06/7.28 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-21_ext.xml
7.06/7.28 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.352000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.124500 | c 14 > 13.061200 | c 11 > 5.321930 | c 12 > 10.887600 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.29 c choco : 1801.0
7.06/7.29 c mistral : 7.87
7.06/7.29 c abscon : 3.43448
7.06/7.29 c
7.06/7.29 c
7.06/7.29 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-57_ext.xml
7.06/7.29 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.349900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.183600 | c 14 > 12.868800 | c 11 > 5.321930 | c 12 > 10.869100 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.30 c choco : 68.9
7.06/7.30 c mistral : 9.3
7.06/7.30 c abscon : 11.0943
7.06/7.30 c
7.06/7.30 c
7.06/7.30 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-13_ext.xml
7.06/7.30 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.362600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.067900 | c 14 > 12.898600 | c 11 > 5.321930 | c 12 > 10.941400 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.965780 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.12/7.30 c choco : 26.89
7.12/7.30 c mistral : 9.44
7.12/7.30 c abscon : 15.7026
7.12/7.30 c
7.12/7.30 c
7.12/7.30 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-43_ext.xml
7.12/7.31 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.177900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.614500 | c 14 > 13.581300 | c 11 > 5.321930 | c 12 > 11.645700 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.12/7.31 c choco : 1801.0
7.12/7.31 c mistral : 29.08
7.12/7.31 c abscon : 40.2689
7.12/7.31 c
7.12/7.31 c
7.12/7.31 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-49_ext.xml
7.12/7.31 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.187900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.588700 | c 14 > 13.515800 | c 11 > 5.321930 | c 12 > 11.687400 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.12/7.32 c choco : 75.11
7.12/7.32 c mistral : 11.29
7.12/7.32 c abscon : 17.3174
7.12/7.32 c
7.12/7.32 c
7.12/7.32 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-47_ext.xml
7.12/7.32 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.134300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.544800 | c 14 > 13.501000 | c 11 > 5.321930 | c 12 > 11.662700 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.12/7.32 c choco : 88.64
7.12/7.32 c mistral : 16.37
7.12/7.32 c abscon : 21.6117
7.12/7.32 c
7.12/7.32 c
7.12/7.32 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-41_ext.xml
7.12/7.32 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.017700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.651400 | c 14 > 13.344300 | c 11 > 5.321930 | c 12 > 11.676700 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.12/7.33 c choco : 44.86
7.12/7.33 c mistral : 7.36
7.12/7.33 c abscon : 9.11261
7.12/7.33 c
7.12/7.33 c
7.12/7.33 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-53_ext.xml
7.12/7.33 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.267000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.534600 | c 14 > 13.735500 | c 11 > 5.321930 | c 12 > 12.002200 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.12/7.33 c choco : 1801.0
7.12/7.33 c mistral : 29.78
7.12/7.33 c abscon : 45.5191
7.12/7.33 c
7.12/7.33 c
7.12/7.33 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-15_ext.xml
7.12/7.33 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.116100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.585400 | c 14 > 13.438900 | c 11 > 5.321930 | c 12 > 11.522900 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.321930 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.12/7.34 c choco : 44.45
7.12/7.34 c mistral : 6.96
7.12/7.34 c abscon : 11.4633
7.12/7.34 c
7.12/7.34 c
7.12/7.34 c Length: 40
7.12/7.34 c 0.4825801177006777 0.5202997309243965 0.5233957775909158 0.603095647472272 0.6097584111760983 0.6309266280638344 0.6806026153343825 0.6829121466191663 0.7950753171869941 0.8477406619951634 0.8552199190851453 0.8584750549666545 0.8792984533137768 0.9225927541445355 0.927070946583917 0.9301260237193663 0.9412686173457601 0.9768560641158962 0.9895954021720182 0.9896252775672209 1.0166785578539557 1.0182981979754258 1.0296573750524967 1.1283806139773942 1.162119520531343 1.1629316187979402 1.2428793103113425 1.248052390727248 1.3130778727859211 1.3135220668112122 1.454609256810913 1.5982128362643067 1.6676829674731337 1.6694616347793079 1.676281517943809 1.686675667518803 1.699949113179568 1.706409891380145 1.7082366982944726 1.7127553349500915
7.12/7.34 c
7.12/7.34 c 1.0 0.9702502034733881 0.9678867404759874 0.9107748905236857 0.9063042218032745 0.892387252669514 0.8613479803460471 0.8599573476784926 0.7974322991507466 0.7711074037849571 0.7675091654044535 0.7659536003398321 0.7561497893239083 0.7365490142495877 0.7345794226199829 0.7332417767102466 0.7284040772167665 0.71337202419532 0.7081406535615281 0.7081284754969814 0.6972700703701709 0.696630548954548 0.6921780865858306 0.6557522085065516 0.6441670416692047 0.6438932287290793 0.6180311644076296 0.6164291154843631 0.5969774116344507 0.5968487562606517 0.5586108363180942 0.5244142960165418 0.5093306787513153 0.5089558717335652 0.5075238600725506 0.5053567720945656 0.5026161369637218 0.5012928750335476 0.5009199808919298 0.5
7.12/7.35 c
7.12/7.35 c solver 0
7.12/7.35 c before 0.0 seconds: {} 0
7.12/7.35 c before 18.0 seconds: {0, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 16, 17, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 37, 39} 20809
7.12/7.35 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 39} 26102
7.12/7.36 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 27110
7.12/7.36 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 27866
7.12/7.36 c
7.12/7.36 c solver 1
7.12/7.36 c before 0.0 seconds: {} 0
7.12/7.36 c before 18.0 seconds: {0, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 16, 17, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 39} 21312
7.12/7.36 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 27110
7.12/7.36 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 27866
7.12/7.36 c
7.12/7.36 c solver 2
7.12/7.36 c before 0.0 seconds: {} 0
7.12/7.36 c before 18.0 seconds: {19, 23, 25} 2007
7.12/7.36 c before 36.0 seconds: {7, 9, 19, 22, 23, 25, 33} 4839
7.12/7.36 c before 54.0 seconds: {4, 7, 9, 10, 13, 19, 22, 23, 25, 28, 33, 37, 39} 8848
7.12/7.36 c before 72.0 seconds: {0, 3, 4, 5, 7, 9, 10, 13, 19, 22, 23, 25, 28, 30, 32, 33, 37, 39} 12719
7.12/7.36 c before 90.0 seconds: {0, 3, 4, 5, 7, 9, 10, 13, 14, 19, 22, 23, 25, 28, 29, 30, 32, 33, 35, 36, 37, 39} 15059
7.12/7.36 c before 108.0 seconds: {0, 3, 4, 5, 7, 9, 10, 13, 14, 16, 18, 19, 21, 22, 23, 25, 26, 28, 29, 30, 32, 33, 35, 36, 37, 39} 17810
7.12/7.36 c before 126.0 seconds: {0, 3, 4, 5, 7, 9, 10, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 28, 29, 30, 32, 33, 35, 36, 37, 39} 19220
7.12/7.36 c
7.12/7.36 cTotal time: 14
7.12/7.36 c 252.0 seconds unused
7.12/7.36 c 0 c 0 c 12
7.12/7.36 c 0 c 0 c 12
7.12/7.36 c 0 c 0 c 0
7.12/7.36 c is solver0 dominated by:
7.12/7.36 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.12/7.36 c is dominated? true
7.12/7.36 c
7.12/7.36 c is solver1 dominated by:
7.12/7.36 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.12/7.36 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.12/7.36 c is dominated? false
7.12/7.36 c
7.12/7.36 c is solver2 dominated by:
7.12/7.36 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true)
7.12/7.36 c is dominated? true
7.12/7.36 c
7.12/7.36 c Number of non-dominated solvers: 1
7.12/7.36 c remove dominated solvers
7.12/7.36 c solver 1 is not dominated by another solver
7.12/7.36 c solver 2 is dominated by another solver
7.12/7.36 c solver 0 is dominated by another solver
7.12/7.36 c
7.12/7.36 c solver 0: 0.0
7.12/7.36 c
7.12/7.36 c solver 1: 54.0
7.12/7.36 c
7.12/7.36 c+ 3/3 of 97
7.12/7.36 c
7.12/7.36 c solver 2: 0.0
7.12/7.36 c do not run abscon
7.12/7.36 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 27866
7.12/7.36 c do not run choco
7.12/7.36 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.12/7.36 c On Instance: HOME/instance-1097207-1215281529.xml
7.12/7.36 c Running for: 1800 seconds
13.52/13.80 c mistral-prime version 1.313
13.52/13.80 s UNSATISFIABLE
13.52/13.80 d CHECKS 20028768
13.52/13.80 d ASSIGNMENTS 56056