0.00/0.00 c cpHydra_k_40 version 0.0
9.04/12.72 c CASE TO CLASSIFY:
9.04/12.72 c Case: 0
9.04/12.73 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.104100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.908100 | c 14 > 13.785800 | c 11 > 5.321930 | c 12 > 11.730800 | 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
9.04/12.73 c choco : 1801.0
9.04/12.74 c mistral : 1801.0
9.04/12.74 c abscon : 1801.0
9.04/12.74 c
9.04/12.74 c
9.14/12.81 c List of same ones: 40
9.14/12.81 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-31_ext.xml
9.14/12.81 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
9.14/12.82 c choco : 60.5
9.14/12.82 c mistral : 12.57
9.14/12.82 c abscon : 8.16776
9.14/12.82 c
9.14/12.82 c
9.14/12.82 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-29_ext.xml
9.14/12.82 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
9.14/12.83 c choco : 1801.0
9.14/12.83 c mistral : 25.88
9.14/12.83 c abscon : 28.1027
9.14/12.83 c
9.14/12.83 c
9.14/12.83 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-43_ext.xml
9.14/12.83 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
9.14/12.84 c choco : 1801.0
9.14/12.84 c mistral : 23.03
9.14/12.84 c abscon : 25.1432
9.14/12.84 c
9.14/12.84 c
9.14/12.84 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-75_ext.xml
9.14/12.84 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
9.14/12.85 c choco : 40.54
9.14/12.85 c mistral : 7.05
9.14/12.85 c abscon : 7.43887
9.14/12.85 c
9.14/12.85 c
9.14/12.85 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-15_ext.xml
9.14/12.85 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
9.14/12.86 c choco : 64.19
9.14/12.86 c mistral : 14.85
9.14/12.86 c abscon : 3.51547
9.14/12.86 c
9.14/12.86 c
9.14/12.86 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-69_ext.xml
9.14/12.86 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
9.14/12.87 c choco : 58.34
9.14/12.87 c mistral : 7.02
9.14/12.87 c abscon : 5.48817
9.14/12.87 c
9.14/12.87 c
9.14/12.87 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-5_ext.xml
9.14/12.87 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
9.14/12.87 c choco : 1801.0
9.14/12.87 c mistral : 6.69
9.14/12.87 c abscon : 14.9237
9.14/12.87 c
9.14/12.87 c
9.14/12.88 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-17_ext.xml
9.14/12.88 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
9.14/12.88 c choco : 18.84
9.14/12.88 c mistral : 3.25
9.14/12.88 c abscon : 2.86956
9.14/12.88 c
9.14/12.88 c
9.14/12.88 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-65_ext.xml
9.14/12.88 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
9.14/12.89 c choco : 1801.0
9.14/12.89 c mistral : 8.61
9.14/12.89 c abscon : 11.4753
9.14/12.89 c
9.14/12.89 c
9.14/12.89 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-35_ext.xml
9.14/12.89 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
9.21/12.90 c choco : 35.37
9.21/12.90 c mistral : 3.82842
9.21/12.90 c abscon : 7.83981
9.21/12.90 c
9.21/12.90 c
9.21/12.90 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-53_ext.xml
9.21/12.90 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
9.21/12.91 c choco : 1801.0
9.21/12.91 c mistral : 32.0
9.21/12.91 c abscon : 34.0228
9.21/12.91 c
9.21/12.91 c
9.21/12.91 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-59_ext.xml
9.21/12.91 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
9.21/12.92 c choco : 43.48
9.21/12.92 c mistral : 7.1
9.21/12.92 c abscon : 8.36973
9.21/12.92 c
9.21/12.92 c
9.21/12.92 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-37_ext.xml
9.21/12.92 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
9.21/12.93 c choco : 1801.0
9.21/12.93 c mistral : 47.03
9.21/12.93 c abscon : 58.995
9.21/12.93 c
9.21/12.93 c
9.21/12.93 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-77_ext.xml
9.21/12.93 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
9.21/12.94 c choco : 1801.0
9.21/12.94 c mistral : 18.65
9.21/12.94 c abscon : 20.1049
9.21/12.94 c
9.21/12.94 c
9.21/12.94 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-25_ext.xml
9.21/12.94 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
9.21/12.95 c choco : 39.98
9.21/12.95 c mistral : 9.94
9.21/12.95 c abscon : 3.04653
9.21/12.95 c
9.21/12.95 c
9.21/12.95 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-63_ext.xml
9.21/12.95 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
9.21/12.95 c choco : 95.41
9.21/12.95 c mistral : 13.46
9.21/12.95 c abscon : 2.44663
9.21/12.95 c
9.21/12.95 c
9.21/12.95 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-33_ext.xml
9.21/12.95 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
9.21/12.96 c choco : 75.44
9.21/12.96 c mistral : 10.98
9.21/12.96 c abscon : 15.8256
9.21/12.96 c
9.21/12.96 c
9.21/12.96 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-73_ext.xml
9.21/12.96 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
9.21/12.96 c choco : 110.59
9.21/12.96 c mistral : 8.35
9.21/12.96 c abscon : 1.61075
9.21/12.96 c
9.21/12.96 c
9.21/12.96 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-67_ext.xml
9.21/12.96 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
9.21/12.97 c choco : 106.5
9.21/12.97 c mistral : 21.44
9.21/12.97 c abscon : 23.7804
9.21/12.97 c
9.21/12.97 c
9.21/12.97 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-49_ext.xml
9.21/12.97 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
9.21/12.98 c choco : 9.03
9.21/12.98 c mistral : 5.29
9.21/12.98 c abscon : 17.4743
9.21/12.98 c
9.21/12.98 c
9.21/12.98 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-51_ext.xml
9.21/12.98 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
9.28/13.00 c choco : 22.54
9.28/13.00 c mistral : 8.69
9.28/13.00 c abscon : 1.27181
9.28/13.00 c
9.28/13.00 c
9.28/13.00 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-11_ext.xml
9.28/13.00 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
9.28/13.00 c choco : 107.74
9.28/13.00 c mistral : 12.15
9.28/13.00 c abscon : 14.1808
9.28/13.00 c
9.28/13.00 c
9.28/13.00 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-41_ext.xml
9.28/13.00 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
9.28/13.01 c choco : 113.11
9.28/13.01 c mistral : 12.51
9.28/13.01 c abscon : 16.0916
9.28/13.01 c
9.28/13.01 c
9.28/13.01 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-61_ext.xml
9.28/13.01 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
9.28/13.02 c choco : 1801.0
9.28/13.02 c mistral : 19.89
9.28/13.02 c abscon : 26.622
9.28/13.02 c
9.28/13.02 c
9.28/13.02 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-3_ext.xml
9.28/13.02 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
9.28/13.02 c choco : 16.3
9.28/13.02 c mistral : 2.19
9.28/13.02 c abscon : 3.01054
9.28/13.02 c
9.28/13.02 c
9.28/13.02 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-9_ext.xml
9.28/13.02 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
9.28/13.03 c choco : 13.6
9.28/13.03 c mistral : 2.19
9.28/13.03 c abscon : 4.18936
9.28/13.03 c
9.28/13.03 c
9.28/13.03 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-27_ext.xml
9.28/13.03 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
9.28/13.03 c choco : 1801.0
9.28/13.03 c mistral : 6.06
9.28/13.03 c abscon : 7.2499
9.28/13.03 c
9.28/13.03 c
9.28/13.03 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-55_ext.xml
9.28/13.03 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
9.28/13.04 c choco : 104.53
9.28/13.04 c mistral : 4.21836
9.28/13.04 c abscon : 4.71728
9.28/13.04 c
9.28/13.04 c
9.28/13.04 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-45_ext.xml
9.28/13.04 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
9.28/13.05 c choco : 51.2
9.28/13.05 c mistral : 7.76
9.28/13.05 c abscon : 9.74752
9.28/13.05 c
9.28/13.05 c
9.28/13.05 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-1_ext.xml
9.28/13.05 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
9.28/13.05 c choco : 89.71
9.28/13.05 c mistral : 4.5
9.28/13.05 c abscon : 5.58415
9.28/13.05 c
9.28/13.05 c
9.28/13.05 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-47_ext.xml
9.28/13.05 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
9.28/13.06 c choco : 61.4
9.28/13.06 c mistral : 8.58
9.28/13.06 c abscon : 10.1775
9.28/13.06 c
9.28/13.06 c
9.28/13.06 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-21_ext.xml
9.28/13.06 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
9.28/13.06 c choco : 1801.0
9.28/13.06 c mistral : 7.87
9.28/13.06 c abscon : 3.43448
9.28/13.06 c
9.28/13.06 c
9.28/13.06 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-13_ext.xml
9.28/13.06 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
9.28/13.07 c choco : 26.89
9.28/13.07 c mistral : 9.44
9.28/13.07 c abscon : 15.7026
9.28/13.07 c
9.28/13.07 c
9.28/13.07 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-57_ext.xml
9.28/13.07 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
9.28/13.08 c choco : 68.9
9.28/13.08 c mistral : 9.3
9.28/13.08 c abscon : 11.0943
9.28/13.08 c
9.28/13.08 c
9.28/13.08 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-43_ext.xml
9.28/13.08 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
9.28/13.08 c choco : 1801.0
9.28/13.08 c mistral : 29.08
9.28/13.08 c abscon : 40.2689
9.28/13.08 c
9.28/13.08 c
9.28/13.08 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-49_ext.xml
9.28/13.08 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
9.28/13.09 c choco : 75.11
9.28/13.09 c mistral : 11.29
9.28/13.09 c abscon : 17.3174
9.28/13.09 c
9.28/13.09 c
9.28/13.09 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-47_ext.xml
9.28/13.09 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
9.28/13.10 c choco : 88.64
9.28/13.10 c mistral : 16.37
9.28/13.10 c abscon : 21.6117
9.33/13.10 c
9.33/13.10 c
9.33/13.10 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-53_ext.xml
9.33/13.10 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
9.33/13.10 c choco : 1801.0
9.33/13.10 c mistral : 29.78
9.33/13.10 c abscon : 45.5191
9.33/13.10 c
9.33/13.10 c
9.33/13.10 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-15_ext.xml
9.33/13.10 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
9.33/13.11 c choco : 44.45
9.33/13.11 c mistral : 6.96
9.33/13.11 c abscon : 11.4633
9.33/13.11 c
9.33/13.11 c
9.33/13.11 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-41_ext.xml
9.33/13.11 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
9.33/13.11 c choco : 44.86
9.33/13.11 c mistral : 7.36
9.33/13.11 c abscon : 9.11261
9.33/13.11 c
9.33/13.11 c
9.33/13.12 c Length: 40
9.33/13.12 c 0.44367958032796523 0.49688853880925743 0.5242208027158016 0.586003771318922 0.5968089308983228 0.6079403177944356 0.6198132460669101 0.6674260558294061 0.7640369755450311 0.8162053969436842 0.8216353935901249 0.8286245530998956 0.8379796954580696 0.8924977310895521 0.8937008727756723 0.9015001331114698 0.9046628874890354 0.9361437870327391 0.9535208964674018 0.953962991944655 0.9776390693911511 0.9858352093529622 0.9925155364023268 1.1224928062130277 1.1264175735489932 1.1383399975402766 1.2109062350157414 1.2190405899722934 1.2798077746286738 1.2918125018747877 1.4293985693290714 1.5542569832559858 1.632799586599653 1.6361949089274161 1.6672918542954618 1.6801710708734392 1.6905028977792376 1.6974625702500776 1.7049908437877312 1.705978129226749
9.33/13.12 c
9.33/13.12 c 1.0 0.959552523886951 0.9400217180709005 0.8986744362389228 0.8918140933721957 0.8848553025195384 0.8775516399406389 0.8494349283987906 0.7975824142902812 0.7721309857658748 0.7695748769329751 0.766309614997605 0.7619821120879352 0.7377045347925889 0.7371861952532006 0.7338436900469549 0.7324968602553087 0.7193556763544432 0.7123018751522523 0.7121242216251048 0.7027378707409905 0.6995459149598326 0.6969656562959141 0.6502966832187435 0.6489844902980892 0.6450306678669132 0.6219674171417336 0.6194845177186044 0.6015452066599878 0.5981234484871741 0.5615163261039458 0.5319698857106201 0.514925754411206 0.5142135460734911 0.5077811067427354 0.5051639109220736 0.5030837943056993 0.5016922263538133 0.5001956097638753 0.5
9.33/13.13 c
9.33/13.13 c solver 0
9.33/13.13 c before 0.0 seconds: {} 0
9.33/13.13 c before 18.0 seconds: {0, 3, 4, 5, 6, 7, 8, 9, 11, 14, 15, 16, 17, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 38, 39} 20835
9.33/13.13 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, 38, 39} 26108
9.33/13.13 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} 27117
9.33/13.13 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} 27879
9.33/13.13 c
9.33/13.13 c solver 1
9.33/13.13 c before 0.0 seconds: {} 0
9.33/13.13 c before 18.0 seconds: {0, 3, 4, 5, 6, 7, 8, 9, 11, 14, 15, 16, 17, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 38, 39} 21338
9.33/13.13 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} 27117
9.33/13.13 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} 27879
9.33/13.13 c
9.33/13.13 c solver 2
9.33/13.13 c before 0.0 seconds: {} 0
9.33/13.13 c before 18.0 seconds: {19, 24, 25} 2006
9.33/13.13 c before 36.0 seconds: {7, 9, 19, 20, 24, 25, 32} 4845
9.33/13.13 c before 54.0 seconds: {3, 7, 9, 11, 14, 19, 20, 24, 25, 28, 32, 38, 39} 8849
9.33/13.13 c before 72.0 seconds: {0, 3, 4, 5, 7, 9, 11, 14, 19, 20, 24, 25, 28, 30, 32, 33, 38, 39} 12701
9.33/13.13 c before 90.0 seconds: {0, 3, 4, 5, 7, 9, 11, 14, 16, 19, 20, 24, 25, 28, 29, 30, 32, 33, 35, 36, 38, 39} 15040
9.33/13.13 c before 108.0 seconds: {0, 3, 4, 5, 7, 9, 11, 14, 15, 16, 18, 19, 20, 21, 24, 25, 27, 28, 29, 30, 32, 33, 35, 36, 38, 39} 17805
9.33/13.14 c before 126.0 seconds: {0, 3, 4, 5, 7, 9, 11, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 27, 28, 29, 30, 32, 33, 35, 36, 38, 39} 19222
9.33/13.14 c
9.33/13.14 cTotal time: 14
9.33/13.14 c 252.0 seconds unused
9.33/13.14 c 0 c 0 c 12
9.33/13.14 c 0 c 0 c 12
9.33/13.14 c 0 c 0 c 0
9.33/13.14 c is solver0 dominated by:
9.33/13.14 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)
9.33/13.14 c is dominated? true
9.33/13.14 c
9.33/13.14 c is solver1 dominated by:
9.33/13.14 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)
9.33/13.14 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)
9.33/13.14 c is dominated? false
9.33/13.14 c
9.33/13.14 c is solver2 dominated by:
9.33/13.14 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)
9.33/13.14 c is dominated? true
9.33/13.14 c
9.33/13.14 c Number of non-dominated solvers: 1
9.33/13.14 c remove dominated solvers
9.33/13.14 c solver 1 is not dominated by another solver
9.33/13.14 c solver 2 is dominated by another solver
9.33/13.14 c solver 0 is dominated by another solver
9.33/13.14 c
9.33/13.14 c solver 0: 0.0
9.33/13.14 c
9.33/13.14 c solver 1: 54.0
9.33/13.14 c
9.33/13.14 c+ 3/3 of 97
9.33/13.14 c
9.33/13.14 c solver 2: 0.0
9.33/13.14 c do not run abscon
9.33/13.14 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} 27879
9.33/13.14 c do not run choco
9.33/13.14 c Starting solver: HOME/cpHydra_k_40/solver/mistral
9.33/13.14 c On Instance: HOME/instance-1097317-1215281756.xml
9.33/13.14 c Running for: 1800 seconds
35.95/39.98 c mistral-prime version 1.313
35.95/39.98 s UNSATISFIABLE
35.95/39.98 d CHECKS 82983147
35.95/39.98 d ASSIGNMENTS 252577