0.00/0.00 c cpHydra_k_40 version 0.0
7.21/7.37 c CASE TO CLASSIFY:
7.21/7.37 c Case: 0
7.21/7.37 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.088300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.907300 | c 14 > 13.823500 | c 11 > 5.321930 | c 12 > 11.999300 | 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.21/7.38 c choco : 1801.0
7.21/7.38 c mistral : 1801.0
7.21/7.38 c abscon : 1801.0
7.21/7.38 c
7.21/7.38 c
7.30/7.46 c List of same ones: 40
7.30/7.46 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-31_ext.xml
7.30/7.46 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
7.30/7.46 c choco : 60.5
7.30/7.46 c mistral : 12.57
7.30/7.47 c abscon : 8.16776
7.30/7.47 c
7.30/7.47 c
7.30/7.47 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-43_ext.xml
7.30/7.47 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
7.30/7.47 c choco : 1801.0
7.30/7.47 c mistral : 23.03
7.30/7.47 c abscon : 25.1432
7.30/7.47 c
7.30/7.47 c
7.30/7.47 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-29_ext.xml
7.30/7.47 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
7.30/7.48 c choco : 1801.0
7.30/7.48 c mistral : 25.88
7.30/7.48 c abscon : 28.1027
7.30/7.48 c
7.30/7.48 c
7.30/7.48 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-69_ext.xml
7.30/7.48 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
7.30/7.49 c choco : 58.34
7.30/7.49 c mistral : 7.02
7.30/7.49 c abscon : 5.48817
7.30/7.49 c
7.30/7.49 c
7.30/7.49 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-5_ext.xml
7.30/7.49 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
7.39/7.50 c choco : 1801.0
7.39/7.50 c mistral : 6.69
7.39/7.50 c abscon : 14.9237
7.39/7.50 c
7.39/7.50 c
7.39/7.50 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-15_ext.xml
7.39/7.50 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
7.39/7.52 c choco : 64.19
7.39/7.52 c mistral : 14.85
7.39/7.52 c abscon : 3.51547
7.39/7.52 c
7.39/7.52 c
7.39/7.52 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-75_ext.xml
7.39/7.52 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
7.39/7.53 c choco : 40.54
7.39/7.53 c mistral : 7.05
7.39/7.53 c abscon : 7.43887
7.39/7.53 c
7.39/7.53 c
7.39/7.53 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-17_ext.xml
7.39/7.53 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
7.39/7.53 c choco : 18.84
7.39/7.53 c mistral : 3.25
7.39/7.53 c abscon : 2.86956
7.39/7.53 c
7.39/7.53 c
7.39/7.53 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-35_ext.xml
7.39/7.53 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
7.39/7.54 c choco : 35.37
7.39/7.54 c mistral : 3.82842
7.39/7.54 c abscon : 7.83981
7.39/7.54 c
7.39/7.54 c
7.39/7.54 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-65_ext.xml
7.39/7.54 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
7.39/7.55 c choco : 1801.0
7.39/7.55 c mistral : 8.61
7.39/7.55 c abscon : 11.4753
7.39/7.55 c
7.39/7.55 c
7.39/7.55 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-53_ext.xml
7.39/7.55 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
7.39/7.56 c choco : 1801.0
7.39/7.56 c mistral : 32.0
7.39/7.56 c abscon : 34.0228
7.39/7.56 c
7.39/7.56 c
7.39/7.56 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-37_ext.xml
7.39/7.56 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
7.39/7.57 c choco : 1801.0
7.39/7.57 c mistral : 47.03
7.39/7.57 c abscon : 58.995
7.39/7.57 c
7.39/7.57 c
7.39/7.57 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-59_ext.xml
7.39/7.57 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
7.39/7.58 c choco : 43.48
7.39/7.58 c mistral : 7.1
7.39/7.58 c abscon : 8.36973
7.39/7.58 c
7.39/7.58 c
7.39/7.58 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-63_ext.xml
7.39/7.58 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
7.39/7.59 c choco : 95.41
7.39/7.59 c mistral : 13.46
7.39/7.59 c abscon : 2.44663
7.39/7.59 c
7.39/7.59 c
7.39/7.59 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-25_ext.xml
7.39/7.59 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
7.39/7.60 c choco : 39.98
7.39/7.60 c mistral : 9.94
7.39/7.60 c abscon : 3.04653
7.39/7.60 c
7.39/7.60 c
7.39/7.60 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-73_ext.xml
7.39/7.60 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.55/7.79 c choco : 110.59
7.55/7.79 c mistral : 8.35
7.55/7.79 c abscon : 1.61075
7.55/7.79 c
7.55/7.79 c
7.55/7.79 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-77_ext.xml
7.55/7.79 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
7.55/7.79 c choco : 1801.0
7.55/7.79 c mistral : 18.65
7.55/7.79 c abscon : 20.1049
7.55/7.79 c
7.55/7.79 c
7.55/7.79 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-51_ext.xml
7.55/7.79 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.66/7.81 c choco : 22.54
7.66/7.81 c mistral : 8.69
7.66/7.81 c abscon : 1.27181
7.66/7.81 c
7.66/7.81 c
7.66/7.81 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-33_ext.xml
7.66/7.81 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
7.66/7.81 c choco : 75.44
7.66/7.81 c mistral : 10.98
7.66/7.81 c abscon : 15.8256
7.66/7.81 c
7.66/7.81 c
7.66/7.81 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-49_ext.xml
7.66/7.81 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.66/7.82 c choco : 9.03
7.66/7.82 c mistral : 5.29
7.66/7.82 c abscon : 17.4743
7.66/7.82 c
7.66/7.82 c
7.66/7.82 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-67_ext.xml
7.66/7.82 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.66/7.84 c choco : 106.5
7.66/7.84 c mistral : 21.44
7.66/7.84 c abscon : 23.7804
7.66/7.84 c
7.66/7.84 c
7.66/7.84 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-11_ext.xml
7.66/7.84 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.66/7.84 c choco : 107.74
7.66/7.84 c mistral : 12.15
7.66/7.84 c abscon : 14.1808
7.66/7.84 c
7.66/7.84 c
7.66/7.84 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-41_ext.xml
7.66/7.84 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.66/7.85 c choco : 113.11
7.66/7.85 c mistral : 12.51
7.66/7.85 c abscon : 16.0916
7.66/7.85 c
7.66/7.85 c
7.66/7.85 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-61_ext.xml
7.66/7.85 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.66/7.85 c choco : 1801.0
7.66/7.85 c mistral : 19.89
7.66/7.85 c abscon : 26.622
7.66/7.85 c
7.66/7.85 c
7.66/7.85 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-9_ext.xml
7.66/7.85 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.66/7.86 c choco : 13.6
7.66/7.86 c mistral : 2.19
7.66/7.86 c abscon : 4.18936
7.66/7.86 c
7.66/7.86 c
7.66/7.86 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-3_ext.xml
7.66/7.86 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.66/7.87 c choco : 16.3
7.66/7.87 c mistral : 2.19
7.66/7.87 c abscon : 3.01054
7.66/7.87 c
7.66/7.87 c
7.66/7.87 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-55_ext.xml
7.66/7.87 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.66/7.87 c choco : 104.53
7.66/7.87 c mistral : 4.21836
7.66/7.87 c abscon : 4.71728
7.66/7.87 c
7.66/7.87 c
7.66/7.87 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-27_ext.xml
7.66/7.87 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.66/7.88 c choco : 1801.0
7.66/7.88 c mistral : 6.06
7.66/7.88 c abscon : 7.2499
7.66/7.88 c
7.66/7.88 c
7.66/7.88 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-45_ext.xml
7.66/7.88 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.66/7.88 c choco : 51.2
7.66/7.88 c mistral : 7.76
7.66/7.88 c abscon : 9.74752
7.66/7.88 c
7.66/7.88 c
7.66/7.88 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-1_ext.xml
7.66/7.88 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.66/7.89 c choco : 89.71
7.66/7.89 c mistral : 4.5
7.66/7.89 c abscon : 5.58415
7.66/7.89 c
7.66/7.89 c
7.66/7.89 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-47_ext.xml
7.66/7.89 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.66/7.89 c choco : 61.4
7.66/7.89 c mistral : 8.58
7.66/7.89 c abscon : 10.1775
7.66/7.89 c
7.66/7.89 c
7.66/7.89 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-53_ext.xml
7.66/7.89 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.66/7.90 c choco : 1801.0
7.66/7.90 c mistral : 29.78
7.66/7.90 c abscon : 45.5191
7.66/7.90 c
7.66/7.90 c
7.66/7.90 c /home/eomahony/cpZilla/CSP/random/rand-2-25/rand-25-25-300-147-52021_ext.xml
7.66/7.90 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.293600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.017100 | c 14 > 13.448100 | c 11 > 4.643860 | c 12 > 12.063900 | 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 > 8.228820 | 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.287710 | c 31 > -1.000000 | c 4 > 4.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.71/7.91 c choco : 391.36
7.71/7.91 c mistral : 275.489
7.71/7.91 c abscon : 304.569
7.71/7.91 c
7.71/7.91 c
7.71/7.91 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-43_ext.xml
7.71/7.91 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.71/7.92 c choco : 1801.0
7.71/7.92 c mistral : 29.08
7.71/7.92 c abscon : 40.2689
7.71/7.92 c
7.71/7.92 c
7.71/7.92 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-13_ext.xml
7.71/7.92 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.234000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.439000 | c 14 > 13.635600 | c 11 > 5.321930 | c 12 > 11.956000 | 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.71/7.92 c choco : 37.72
7.71/7.92 c mistral : 7.42687
7.71/7.92 c abscon : 4.5723
7.71/7.92 c
7.71/7.92 c
7.71/7.92 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-49_ext.xml
7.71/7.92 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.71/7.93 c choco : 75.11
7.71/7.93 c mistral : 11.29
7.71/7.93 c abscon : 17.3174
7.71/7.93 c
7.71/7.93 c
7.71/7.93 c /home/eomahony/cpZilla/CSP/tightness/tightness0.5/rand-2-40-25-180-500-21_ext.xml
7.71/7.93 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.71/7.93 c choco : 1801.0
7.71/7.93 c mistral : 7.87
7.71/7.93 c abscon : 3.43448
7.71/7.93 c
7.71/7.93 c
7.71/7.93 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-47_ext.xml
7.71/7.93 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.71/7.94 c choco : 88.64
7.71/7.94 c mistral : 16.37
7.71/7.94 c abscon : 21.6117
7.71/7.94 c
7.71/7.94 c
7.71/7.94 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-31_ext.xml
7.71/7.94 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.043900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.413200 | c 14 > 13.456200 | c 11 > 5.321930 | c 12 > 11.886800 | 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.71/7.94 c choco : 18.16
7.71/7.94 c mistral : 1.89971
7.71/7.94 c abscon : 12.2961
7.71/7.94 c
7.71/7.94 c
7.71/7.94 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-41_ext.xml
7.71/7.94 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.71/7.95 c choco : 44.86
7.71/7.95 c mistral : 7.36
7.71/7.95 c abscon : 9.11261
7.71/7.95 c
7.71/7.95 c
7.71/7.95 c Length: 40
7.71/7.95 c 0.6403169605749944 0.6656129881545274 0.6690532415286535 0.7547205376826572 0.7624585628084981 0.7725911596698467 0.7799811151560012 0.8164391587864935 0.944235156091954 0.9522561735163487 0.980776885942975 1.0097885966874447 1.0332715761115283 1.05139566767226 1.0664327967574883 1.0784416395892726 1.0800684700517824 1.0993832498269185 1.1007853832605148 1.1138982583701251 1.1258387984076572 1.1607294516811395 1.1880331434770655 1.2661607401905959 1.283949769266694 1.3406326081369202 1.3743991050637354 1.3784102908785894 1.4579477425477214 1.4766368680213828 1.6024854601524456 1.6786136712775812 1.703573892028168 1.7078074444737612 1.7078838214000387 1.7153831896692933 1.7239175473322377 1.7291560159222183 1.7415005533734402 1.7445128366968232
7.71/7.96 c
7.71/7.96 c 1.0 0.9776040647156146 0.9746354794731593 0.906118801543465 0.9004013133502937 0.8930227251381945 0.8877171457128576 0.86243871601734 0.7841664950033103 0.7797249603159598 0.7643314587344062 0.7492842632105791 0.7375316524785253 0.7287100888183857 0.72154964720171 0.7159315049291978 0.7151771403749693 0.706340817669461 0.7057078486187048 0.6998427245468212 0.6945861308767164 0.6796689580061002 0.6684350235776403 0.6382488820183516 0.6317529204755171 0.6119084647726207 0.6006685951426861 0.5993607693464641 0.5745553957590598 0.5690218474242117 0.5343664888474265 0.5153790883162208 0.5094440221548487 0.508450896247908 0.5084330149591475 0.5066833739176686 0.5047068568109582 0.5035012713555633 0.5006829399125715 0.5
7.71/7.97 c
7.71/7.97 c solver 0
7.71/7.97 c before 0.0 seconds: {} 0
7.71/7.97 c before 18.0 seconds: {0, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 15, 17, 18, 19, 21, 22, 24, 25, 26, 27, 28, 29, 30, 34, 35, 36, 38, 39} 20019
7.71/7.97 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 34, 35, 36, 37, 38, 39} 25287
7.71/7.97 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 26311
7.71/7.97 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, 33, 34, 35, 36, 37, 38, 39} 27060
7.71/7.97 c before 306.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} 27570
7.71/7.97 c
7.71/7.97 c solver 1
7.71/7.97 c before 0.0 seconds: {} 0
7.71/7.97 c before 18.0 seconds: {0, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 15, 17, 18, 19, 21, 22, 24, 25, 26, 27, 28, 29, 30, 34, 35, 36, 37, 38, 39} 20522
7.71/7.97 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 26311
7.71/7.97 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, 33, 34, 35, 36, 37, 38, 39} 27060
7.71/7.97 c before 288.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} 27570
7.71/7.97 c
7.71/7.97 c solver 2
7.71/7.97 c before 0.0 seconds: {} 0
7.71/7.97 c before 18.0 seconds: {19, 24, 25} 1943
7.71/7.97 c before 36.0 seconds: {7, 8, 17, 19, 24, 25, 38} 4797
7.71/7.97 c before 54.0 seconds: {6, 7, 8, 12, 14, 17, 19, 24, 25, 28, 34, 38, 39} 8726
7.71/7.97 c before 72.0 seconds: {0, 3, 5, 6, 7, 8, 12, 14, 17, 19, 24, 25, 28, 30, 34, 38, 39} 12060
7.71/7.97 c before 90.0 seconds: {0, 3, 5, 6, 7, 8, 12, 14, 17, 18, 19, 24, 25, 28, 29, 30, 34, 35, 37, 38, 39} 14345
7.71/7.97 c before 108.0 seconds: {0, 3, 5, 6, 7, 8, 12, 13, 14, 17, 18, 19, 20, 21, 24, 25, 26, 28, 29, 30, 34, 35, 37, 38, 39} 17048
7.71/7.97 c before 126.0 seconds: {0, 3, 5, 6, 7, 8, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 24, 25, 26, 28, 29, 30, 34, 35, 37, 38, 39} 18433
7.71/7.97 c before 396.0 seconds: {0, 3, 5, 6, 7, 8, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 24, 25, 26, 28, 29, 30, 32, 34, 35, 37, 38, 39} 18942
7.71/7.97 c
7.71/7.97 cTotal time: 55
7.71/7.97 c 990.0 seconds unused
7.71/7.97 c 0 c 0 c 12
7.71/7.97 c 0 c 0 c 12
7.71/7.97 c 0 c 0 c 0
7.71/7.97 c is solver0 dominated by:
7.71/7.97 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.71/7.97 c is dominated? true
7.71/7.97 c
7.71/7.97 c is solver1 dominated by:
7.71/7.97 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.71/7.97 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.71/7.97 c is dominated? false
7.71/7.97 c
7.71/7.97 c is solver2 dominated by:
7.71/7.97 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.71/7.97 c is dominated? true
7.71/7.97 c
7.71/7.97 c Number of non-dominated solvers: 1
7.71/7.97 c remove dominated solvers
7.71/7.97 c solver 1 is not dominated by another solver
7.71/7.97 c solver 2 is dominated by another solver
7.71/7.97 c solver 0 is dominated by another solver
7.71/7.97 c
7.71/7.97 c solver 0: 0.0
7.71/7.97 c
7.71/7.97 c solver 1: 288.0
7.71/7.97 c
7.71/7.97 c+ 16/16 of 84
7.71/7.97 c
7.71/7.97 c solver 2: 0.0
7.71/7.98 c do not run abscon
7.71/7.98 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} 27570
7.71/7.98 c do not run choco
7.71/7.98 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.71/7.98 c On Instance: HOME/instance-1097295-1215281677.xml
7.71/7.98 c Running for: 1800 seconds
12.43/12.75 c mistral-prime version 1.313
12.43/12.75 s SATISFIABLE
12.43/12.75 v 4 1 1 0 23 7 15 16 1 7 18 20 1 22 18 15 1 21 10 8 17 4 11 6 22 6 9 18 15 20 17 6 7 15 6 14 0 22 16 7
12.43/12.75 d CHECKS 14332777
12.43/12.75 d ASSIGNMENTS 46157