0.00/0.00 c cpHydra_k_40 version 0.0
7.19/7.35 c CASE TO CLASSIFY:
7.19/7.35 c Case: 0
7.19/7.35 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.402400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.854300 | c 14 > 13.739800 | c 11 > 5.321930 | c 12 > 12.115200 | 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.19/7.36 c choco : 1801.0
7.19/7.36 c mistral : 1801.0
7.19/7.36 c abscon : 1801.0
7.19/7.36 c
7.19/7.36 c
7.48/7.62 c List of same ones: 40
7.48/7.62 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-53_ext.xml
7.48/7.62 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.48/7.63 c choco : 1801.0
7.48/7.63 c mistral : 29.78
7.48/7.63 c abscon : 45.5191
7.48/7.63 c
7.48/7.63 c
7.48/7.63 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-13_ext.xml
7.48/7.63 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.48/7.63 c choco : 37.72
7.48/7.63 c mistral : 7.42687
7.48/7.63 c abscon : 4.5723
7.48/7.63 c
7.48/7.63 c
7.48/7.63 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-49_ext.xml
7.48/7.63 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.48/7.64 c choco : 75.11
7.48/7.64 c mistral : 11.29
7.48/7.64 c abscon : 17.3174
7.48/7.64 c
7.48/7.64 c
7.48/7.64 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-43_ext.xml
7.48/7.64 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.48/7.65 c choco : 1801.0
7.48/7.65 c mistral : 29.08
7.48/7.65 c abscon : 40.2689
7.48/7.65 c
7.48/7.65 c
7.48/7.65 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-47_ext.xml
7.48/7.65 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.48/7.66 c choco : 88.64
7.48/7.66 c mistral : 16.37
7.48/7.66 c abscon : 21.6117
7.48/7.66 c
7.48/7.66 c
7.48/7.66 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-31_ext.xml
7.48/7.66 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.48/7.67 c choco : 18.16
7.48/7.67 c mistral : 1.89971
7.48/7.67 c abscon : 12.2961
7.48/7.67 c
7.48/7.67 c
7.48/7.67 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-41_ext.xml
7.48/7.67 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.48/7.68 c choco : 44.86
7.48/7.68 c mistral : 7.36
7.48/7.68 c abscon : 9.11261
7.48/7.68 c
7.48/7.68 c
7.48/7.68 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-7_ext.xml
7.48/7.68 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.175300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.261200 | c 14 > 13.565600 | c 11 > 5.321930 | c 12 > 11.772900 | 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.48/7.69 c choco : 110.69
7.48/7.69 c mistral : 21.86
7.48/7.69 c abscon : 26.8269
7.48/7.69 c
7.48/7.69 c
7.48/7.69 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-79_ext.xml
7.48/7.69 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.157700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.247300 | c 14 > 13.542900 | c 11 > 5.321930 | c 12 > 11.775400 | 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.48/7.70 c choco : 1801.0
7.48/7.70 c mistral : 20.68
7.48/7.70 c abscon : 28.7956
7.48/7.70 c
7.48/7.70 c
7.48/7.70 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-65_ext.xml
7.48/7.70 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.063500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.490500 | c 14 > 13.393400 | c 11 > 5.321930 | c 12 > 11.650700 | 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.56/7.71 c choco : 64.63
7.56/7.71 c mistral : 11.81
7.56/7.71 c abscon : 14.0419
7.56/7.71 c
7.56/7.71 c
7.56/7.71 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-15_ext.xml
7.56/7.71 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.56/7.72 c choco : 44.45
7.56/7.72 c mistral : 6.96
7.56/7.72 c abscon : 11.4633
7.56/7.72 c
7.56/7.72 c
7.56/7.72 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-25_ext.xml
7.56/7.72 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.032000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.418600 | c 14 > 13.435000 | c 11 > 5.321930 | c 12 > 11.670200 | 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.56/7.73 c choco : 15.93
7.56/7.73 c mistral : 4.93
7.56/7.74 c abscon : 14.7028
7.56/7.74 c
7.56/7.74 c
7.56/7.74 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-29_ext.xml
7.56/7.74 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.119500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.369700 | c 14 > 13.490500 | c 11 > 5.321930 | c 12 > 11.553400 | 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.56/7.74 c choco : 1801.0
7.56/7.74 c mistral : 20.49
7.56/7.74 c abscon : 26.285
7.56/7.74 c
7.56/7.74 c
7.56/7.74 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-19_ext.xml
7.56/7.74 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.001700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.485300 | c 14 > 13.309900 | c 11 > 5.321930 | c 12 > 11.640400 | 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.56/7.75 c choco : 36.05
7.56/7.75 c mistral : 5.88
7.56/7.75 c abscon : 8.30274
7.56/7.75 c
7.56/7.75 c
7.56/7.75 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-75_ext.xml
7.56/7.75 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.104500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.184700 | c 14 > 13.522300 | c 11 > 5.321930 | c 12 > 11.753300 | 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.56/7.76 c choco : 66.65
7.56/7.76 c mistral : 5.25
7.56/7.76 c abscon : 15.5486
7.56/7.76 c
7.56/7.76 c
7.56/7.76 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-77_ext.xml
7.56/7.76 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.974500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.301700 | c 14 > 13.385100 | c 11 > 5.321930 | c 12 > 11.721800 | 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.56/7.76 c choco : 17.86
7.56/7.76 c mistral : 3.27
7.56/7.76 c abscon : 1.18482
7.56/7.76 c
7.56/7.76 c
7.56/7.76 c /home/eomahony/cpZilla/CSP/frb/frb35-17/frb35-17-3-mgd_ext.xml
7.56/7.76 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.105600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.299600 | c 14 > 13.308100 | c 11 > 5.129280 | c 12 > 11.746600 | c 21 > 4.123110 | c 20 > 0.000000 | c 22 > 4.123110 | 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.055280 | 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.216750 | c 31 > -1.000000 | c 4 > 5.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.77 c choco : 13.76
7.56/7.77 c mistral : 2.03669
7.56/7.77 c abscon : 1.07084
7.56/7.77 c
7.56/7.77 c
7.56/7.77 c /home/eomahony/cpZilla/CSP/random/rand-2-30-15/rand-2-30-15-306-230-23_ext.xml
7.56/7.77 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.297900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.501000 | c 14 > 13.775600 | c 11 > 4.906890 | c 12 > 12.337300 | c 21 > 3.872980 | c 20 > 0.000000 | c 22 > 3.872980 | 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.787900 | 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 > 8.813780 | c 31 > -1.000000 | c 4 > 4.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.78 c choco : 9.97
7.56/7.78 c mistral : 1.48077
7.56/7.78 c abscon : 1.51977
7.56/7.78 c
7.56/7.78 c
7.56/7.78 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-71_ext.xml
7.56/7.78 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.159900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.353600 | c 14 > 13.465900 | c 11 > 5.321930 | c 12 > 11.382500 | 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.56/7.78 c choco : 51.1
7.56/7.78 c mistral : 8.18
7.56/7.78 c abscon : 11.9162
7.56/7.78 c
7.56/7.78 c
7.56/7.78 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-33_ext.xml
7.56/7.78 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.028300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.456000 | c 14 > 13.353600 | c 11 > 5.321930 | c 12 > 11.422200 | 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.56/7.79 c choco : 66.83
7.56/7.79 c mistral : 6.4
7.56/7.79 c abscon : 3.10753
7.56/7.79 c
7.56/7.79 c
7.56/7.79 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-37_ext.xml
7.56/7.79 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.075700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.067300 | c 14 > 13.519900 | c 11 > 5.321930 | c 12 > 11.702400 | 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.63/7.81 c choco : 26.75
7.63/7.81 c mistral : 9.51
7.63/7.81 c abscon : 8.14576
7.63/7.81 c
7.63/7.81 c
7.63/7.81 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-17_ext.xml
7.63/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.926400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.379200 | c 14 > 13.300600 | c 11 > 5.321930 | c 12 > 11.514100 | 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.63/7.81 c choco : 32.57
7.63/7.81 c mistral : 4.99
7.63/7.81 c abscon : 9.98948
7.63/7.81 c
7.63/7.81 c
7.63/7.81 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-35_ext.xml
7.63/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.949500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.196600 | c 14 > 13.342100 | c 11 > 5.321930 | c 12 > 11.636800 | 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.63/7.82 c choco : 1801.0
7.63/7.82 c mistral : 23.22
7.63/7.82 c abscon : 31.3442
7.63/7.82 c
7.63/7.82 c
7.63/7.82 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-59_ext.xml
7.63/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.877500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.299800 | c 14 > 13.269100 | c 11 > 5.321930 | c 12 > 11.618800 | 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.63/7.82 c choco : 51.33
7.63/7.82 c mistral : 7.51
7.63/7.82 c abscon : 11.3503
7.63/7.82 c
7.63/7.82 c
7.63/7.82 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-63_ext.xml
7.63/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.994100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.137800 | c 14 > 13.378600 | c 11 > 5.321930 | c 12 > 11.601400 | 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.63/7.83 c choco : 101.4
7.63/7.83 c mistral : 19.28
7.63/7.83 c abscon : 22.4766
7.63/7.83 c
7.63/7.83 c
7.63/7.83 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-61_ext.xml
7.63/7.83 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.103100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.227900 | c 14 > 13.424400 | c 11 > 5.321930 | c 12 > 11.396100 | 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.63/7.83 c choco : 29.18
7.63/7.83 c mistral : 4.83
7.63/7.84 c abscon : 6.89095
7.63/7.84 c
7.63/7.84 c
7.63/7.84 c /home/eomahony/cpZilla/CSP/random/rand-2-30-15/rand-2-30-15-306-230-33_ext.xml
7.63/7.84 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.246400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.181300 | c 14 > 13.694900 | c 11 > 4.906890 | c 12 > 12.102700 | c 21 > 3.872980 | c 20 > 0.000000 | c 22 > 3.872980 | 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.839200 | 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 > 8.813780 | c 31 > -1.000000 | c 4 > 4.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.84 c choco : 30.89
7.63/7.84 c mistral : 3.34
7.63/7.84 c abscon : 5.74013
7.63/7.84 c
7.63/7.84 c
7.63/7.84 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-1_ext.xml
7.63/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.998800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.251200 | c 14 > 13.368200 | c 11 > 5.321930 | c 12 > 11.379900 | 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.63/7.85 c choco : 67.45
7.63/7.85 c mistral : 10.59
7.63/7.85 c abscon : 19.2171
7.63/7.85 c
7.63/7.85 c
7.63/7.85 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-51_ext.xml
7.63/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.879400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.352500 | c 14 > 13.292500 | c 11 > 5.321930 | c 12 > 11.418100 | 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.63/7.85 c choco : 32.35
7.63/7.85 c mistral : 1.92871
7.63/7.85 c abscon : 2.44963
7.63/7.85 c
7.63/7.85 c
7.63/7.85 c /home/eomahony/cpZilla/CSP/frb/frb35-17/frb35-17-1-mgd_ext.xml
7.63/7.85 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.092400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.370400 | c 14 > 13.220200 | c 11 > 5.129280 | c 12 > 11.400200 | c 21 > 4.123110 | c 20 > 0.000000 | c 22 > 4.123110 | 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.033420 | 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.216750 | c 31 > -1.000000 | c 4 > 5.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.86 c choco : 26.57
7.63/7.86 c mistral : 2.67
7.63/7.86 c abscon : 3.61445
7.63/7.86 c
7.63/7.86 c
7.63/7.86 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-5_ext.xml
7.63/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.959500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.066300 | c 14 > 13.358700 | c 11 > 5.321930 | c 12 > 11.411900 | 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.63/7.86 c choco : 69.67
7.63/7.86 c mistral : 2.65
7.63/7.86 c abscon : 3.80042
7.63/7.86 c
7.63/7.86 c
7.63/7.86 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-23_ext.xml
7.63/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.959000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.031600 | c 14 > 13.302500 | c 11 > 5.321930 | c 12 > 11.460500 | 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.63/7.87 c choco : 78.96
7.63/7.87 c mistral : 2.81357
7.63/7.87 c abscon : 3.06453
7.63/7.87 c
7.63/7.87 c
7.63/7.87 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-11_ext.xml
7.63/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.881300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.142900 | c 14 > 13.211600 | c 11 > 5.321930 | c 12 > 11.442000 | 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.63/7.87 c choco : 101.93
7.63/7.87 c mistral : 16.51
7.63/7.87 c abscon : 21.4507
7.63/7.87 c
7.63/7.87 c
7.63/7.88 c /home/eomahony/cpZilla/CSP/random/rand-2-30-15/rand-2-30-15-306-230-35_ext.xml
7.63/7.88 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.076700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.096700 | c 14 > 13.516400 | c 11 > 4.906890 | c 12 > 11.718300 | c 21 > 3.872980 | c 20 > 0.000000 | c 22 > 3.872980 | 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.826550 | 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 > 8.813780 | c 31 > -1.000000 | c 4 > 4.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.89 c choco : 8.84
7.63/7.89 c mistral : 1.61
7.63/7.89 c abscon : 3.17252
7.63/7.89 c
7.63/7.89 c
7.63/7.89 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-45_ext.xml
7.63/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.932500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.540600 | c 14 > 13.134300 | c 11 > 5.321930 | c 12 > 11.164700 | 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.63/7.89 c choco : 16.17
7.63/7.89 c mistral : 2.7
7.63/7.89 c abscon : 4.42833
7.63/7.89 c
7.63/7.89 c
7.63/7.89 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-27_ext.xml
7.63/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.865500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.149000 | c 14 > 13.259700 | c 11 > 5.321930 | c 12 > 11.328300 | 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.70/7.90 c choco : 114.14
7.70/7.90 c mistral : 19.46
7.70/7.90 c abscon : 25.1922
7.70/7.90 c
7.70/7.90 c
7.70/7.90 c /home/eomahony/cpZilla/CSP/random/rand-2-30-15/rand-2-30-15-306-230-11_ext.xml
7.70/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.000000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.247700 | c 14 > 13.418200 | c 11 > 4.906890 | c 12 > 11.506600 | c 21 > 3.872980 | c 20 > 0.000000 | c 22 > 3.872980 | 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.845490 | 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 > 8.813780 | c 31 > -1.000000 | c 4 > 4.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.90 c choco : 11.83
7.70/7.90 c mistral : 1.67
7.70/7.90 c abscon : 3.43948
7.70/7.90 c
7.70/7.90 c
7.70/7.90 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-55_ext.xml
7.70/7.91 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.859800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.027700 | c 14 > 13.194900 | c 11 > 5.321930 | c 12 > 11.438400 | 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.70/7.91 c choco : 76.27
7.70/7.91 c mistral : 12.64
7.70/7.91 c abscon : 15.4846
7.70/7.91 c
7.70/7.91 c
7.70/7.91 c /home/eomahony/cpZilla/CSP/tightness/tightness0.35/rand-2-40-16-250-350-3_ext.xml
7.70/7.91 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.835400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.281800 | c 14 > 13.140500 | c 11 > 5.321930 | c 12 > 11.183900 | 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.70/7.92 c choco : 63.81
7.70/7.92 c mistral : 10.36
7.70/7.92 c abscon : 12.7161
7.70/7.92 c
7.70/7.92 c
7.70/7.92 c /home/eomahony/cpZilla/CSP/random/rand-2-30-15/rand-2-30-15-306-230-49_ext.xml
7.70/7.92 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.822700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.996000 | c 14 > 13.264000 | c 11 > 4.906890 | c 12 > 11.571900 | c 21 > 3.872980 | c 20 > 0.000000 | c 22 > 3.872980 | 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.800900 | 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 > 8.813780 | c 31 > -1.000000 | c 4 > 4.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.92 c choco : 13.49
7.70/7.92 c mistral : 1.35
7.70/7.92 c abscon : 2.98754
7.70/7.92 c
7.70/7.92 c
7.70/7.93 c Length: 40
7.70/7.93 c 0.3651420819352389 0.48686233167087367 0.5913902687735068 0.5945223208593602 0.6553240038332193 0.6750459095498618 0.7333928006191488 0.7421973794079307 0.7632566671834599 0.7635161163983369 0.7717739306299485 0.7861034855539065 0.8322495419043504 0.8408154018570309 0.8458051962479309 0.8769497248987547 0.9174020119882021 0.9235764564452704 0.9598839721549682 0.9633240057218544 0.9720399888893461 1.0032516434075753 1.0122843227078056 1.025164235622761 1.0365987748401018 1.0481123126840934 1.0632312744177537 1.097895814729249 1.1006170723734934 1.1097957294925944 1.2070511629587217 1.2220074590607057 1.2287508494401953 1.2417171173016832 1.2606721223220576 1.2788343598762115 1.2857606739203065 1.3163041327899878 1.3695712577299517 1.502157751669245
7.70/7.93 c
7.70/7.93 c 1.0 0.9032996136418188 0.8340393272017528 0.8321275426319267 0.7966771219350502 0.7858181963941338 0.7553584391989557 0.7509659021014589 0.7406639703985053 0.7405388134529544 0.7365772666103065 0.7298025684596348 0.7088082259274192 0.7050433636163681 0.7028686293886535 0.689592184303736 0.6730788450844802 0.6706276446151354 0.6565674641919172 0.6552658175528374 0.6519908354021338 0.6405270173312286 0.6372842129266323 0.6327166044669824 0.6287160883536571 0.6247387243122842 0.6195916610240291 0.6081047578362911 0.607221009919166 0.6042590264322987 0.5745623573098378 0.5702525090575988 0.5683303915367482 0.5646706983966161 0.5594047228912831 0.5544503160594442 0.5525839508446334 0.5445013891889566 0.5309572516462729 0.5
7.70/7.94 c
7.70/7.94 c solver 0
7.70/7.94 c before 0.0 seconds: {} 0
7.70/7.94 c before 18.0 seconds: {1, 2, 5, 6, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 25, 26, 28, 29, 30, 31, 33, 34, 36, 37, 38, 39} 19016
7.70/7.94 c before 36.0 seconds: {1, 2, 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} 25010
7.70/7.94 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} 26842
7.70/7.94 c
7.70/7.94 c solver 1
7.70/7.94 c before 0.0 seconds: {} 0
7.70/7.94 c before 18.0 seconds: {1, 2, 4, 5, 6, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 20989
7.70/7.94 c before 36.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} 26842
7.70/7.94 c
7.70/7.94 c solver 2
7.70/7.94 c before 0.0 seconds: {} 0
7.70/7.94 c before 18.0 seconds: {11, 15, 16, 17, 33, 34, 36, 39} 4939
7.70/7.94 c before 36.0 seconds: {5, 11, 15, 16, 17, 20, 21, 25, 26, 28, 29, 33, 34, 36, 39} 9473
7.70/7.94 c before 54.0 seconds: {1, 5, 6, 10, 11, 13, 15, 16, 17, 18, 20, 21, 23, 25, 26, 28, 29, 33, 34, 36, 39} 13863
7.70/7.94 c before 72.0 seconds: {1, 5, 6, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 25, 26, 27, 28, 29, 30, 33, 34, 36, 38, 39} 17675
7.70/7.94 c before 90.0 seconds: {1, 2, 4, 5, 6, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 25, 26, 27, 28, 29, 30, 31, 33, 34, 36, 37, 38, 39} 20421
7.70/7.94 c before 108.0 seconds: {1, 2, 4, 5, 6, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 21618
7.70/7.94 c before 126.0 seconds: {1, 2, 4, 5, 6, 7, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22923
7.70/7.94 c
7.70/7.94 cTotal time: 12
7.70/7.94 c 216.0 seconds unused
7.70/7.94 c 0 c 0 c 5
7.70/7.94 c 0 c 0 c 5
7.70/7.94 c 0 c 0 c 0
7.70/7.94 c is solver0 dominated by:
7.70/7.94 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.70/7.94 c is dominated? true
7.70/7.94 c
7.70/7.94 c is solver1 dominated by:
7.70/7.94 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.70/7.94 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.70/7.94 c is dominated? false
7.70/7.94 c
7.70/7.94 c is solver2 dominated by:
7.70/7.94 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.70/7.94 c is dominated? true
7.70/7.94 c
7.70/7.94 c Number of non-dominated solvers: 1
7.70/7.94 c remove dominated solvers
7.70/7.94 c solver 1 is not dominated by another solver
7.70/7.94 c solver 2 is dominated by another solver
7.70/7.94 c solver 0 is dominated by another solver
7.70/7.94 c
7.70/7.94 c solver 0: 0.0
7.70/7.94 c
7.70/7.94 c solver 1: 36.0
7.70/7.94 c
7.70/7.94 c+ 2/2 of 98
7.70/7.94 c
7.70/7.94 c solver 2: 0.0
7.70/7.95 c do not run abscon
7.70/7.95 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} 26842
7.70/7.95 c do not run choco
7.70/7.95 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.70/7.95 c On Instance: HOME/instance-1097669-1215282687.xml
7.70/7.95 c Running for: 1800 seconds
11.34/11.63 c mistral-prime version 1.313
11.34/11.63 s SATISFIABLE
11.34/11.63 v 1 0 4 13 1 1 0 3 3 2 13 5 1 6 6 10 6 5 8 11 0 3 0 6 6 4 1 7 1 10 12 1 7 5 14 6 11 3 15 5
11.34/11.63 d CHECKS 13737557
11.34/11.63 d ASSIGNMENTS 33744