0.00/0.00 c cpHydra_k_40 version 0.0
7.40/7.57 c CASE TO CLASSIFY:
7.40/7.57 c Case: 0
7.40/7.57 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.135400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.829130 | c 14 > 11.152900 | c 11 > 5.321930 | c 12 > 8.783980 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.58 c choco : 1801.0
7.40/7.58 c mistral : 1801.0
7.40/7.58 c abscon : 1801.0
7.40/7.58 c
7.40/7.58 c
7.50/7.66 c List of same ones: 40
7.50/7.66 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-31_ext.xml
7.50/7.66 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.055800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.824900 | c 14 > 10.667100 | c 11 > 5.321930 | c 12 > 8.377430 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.67 c choco : 5.88
7.50/7.67 c mistral : 4.32334
7.50/7.67 c abscon : 1.18282
7.50/7.67 c
7.50/7.67 c
7.50/7.67 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-49_ext.xml
7.50/7.67 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.207800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.801720 | c 14 > 10.427300 | c 11 > 5.321930 | c 12 > 7.891180 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.68 c choco : 77.66
7.50/7.68 c mistral : 46.3569
7.50/7.68 c abscon : 10.6644
7.50/7.68 c
7.50/7.68 c
7.50/7.68 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-33_ext.xml
7.50/7.68 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.265900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.671520 | c 14 > 10.358700 | c 11 > 5.321930 | c 12 > 8.021260 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.69 c choco : 1801.0
7.50/7.69 c mistral : 86.98
7.50/7.69 c abscon : 4.44132
7.50/7.69 c
7.50/7.69 c
7.50/7.69 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-19_ext.xml
7.50/7.69 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.079000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.929330 | c 14 > 10.389100 | c 11 > 5.321930 | c 12 > 7.790510 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.69 c choco : 23.02
7.50/7.70 c mistral : 2.3
7.50/7.70 c abscon : 1.85972
7.50/7.70 c
7.50/7.70 c
7.50/7.70 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-27_ext.xml
7.50/7.70 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.130700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.686060 | c 14 > 10.293500 | c 11 > 5.321930 | c 12 > 7.893600 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.71 c choco : 1172.79
7.58/7.71 c mistral : 1699.91
7.58/7.71 c abscon : 231.646
7.58/7.71 c
7.58/7.71 c
7.58/7.71 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-55_ext.xml
7.58/7.71 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.944200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.048940 | c 14 > 10.147200 | c 11 > 5.321930 | c 12 > 7.784960 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.72 c choco : 8.63
7.58/7.72 c mistral : 2.44
7.58/7.72 c abscon : 1.3278
7.58/7.72 c
7.58/7.72 c
7.58/7.72 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-13_ext.xml
7.58/7.72 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.765800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.841590 | c 14 > 10.107200 | c 11 > 5.321930 | c 12 > 7.612130 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.73 c choco : 48.66
7.58/7.73 c mistral : 3.41
7.58/7.73 c abscon : 10.0065
7.58/7.73 c
7.58/7.73 c
7.58/7.73 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-51_ext.xml
7.58/7.73 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.720500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.854830 | c 14 > 9.988680 | c 11 > 5.321930 | c 12 > 7.577050 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.74 c choco : 10.88
7.58/7.74 c mistral : 0.816874
7.58/7.74 c abscon : 1.18282
7.58/7.74 c
7.58/7.74 c
7.58/7.74 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-47_ext.xml
7.58/7.74 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.795100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.720400 | c 14 > 9.764870 | c 11 > 5.321930 | c 12 > 7.800580 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.74 c choco : 58.96
7.58/7.74 c mistral : 7.63
7.58/7.74 c abscon : 2.57261
7.58/7.74 c
7.58/7.74 c
7.58/7.74 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-37_ext.xml
7.58/7.74 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.648900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.759120 | c 14 > 9.786270 | c 11 > 5.321930 | c 12 > 7.917070 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.75 c choco : 7.73
7.58/7.75 c mistral : 2.44
7.58/7.75 c abscon : 1.18182
7.58/7.75 c
7.58/7.75 c
7.58/7.75 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-43_ext.xml
7.58/7.75 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.535600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.025350 | c 14 > 9.800900 | c 11 > 5.321930 | c 12 > 7.466380 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.76 c choco : 45.01
7.58/7.76 c mistral : 2.64
7.58/7.76 c abscon : 2.08868
7.58/7.76 c
7.58/7.76 c
7.58/7.76 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-7_ext.xml
7.58/7.76 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.422100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.991840 | c 14 > 9.826550 | c 11 > 5.321930 | c 12 > 7.505810 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.78 c choco : 24.95
7.58/7.78 c mistral : 3.53
7.58/7.78 c abscon : 2.42563
7.58/7.78 c
7.58/7.78 c
7.58/7.78 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-53_ext.xml
7.58/7.78 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.810400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.516120 | c 14 > 9.900870 | c 11 > 5.321930 | c 12 > 7.332710 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.79 c choco : 1801.0
7.58/7.79 c mistral : 72.9
7.58/7.79 c abscon : 28.0607
7.58/7.79 c
7.58/7.79 c
7.58/7.79 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-69_ext.xml
7.58/7.79 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.651500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.668230 | c 14 > 9.749870 | c 11 > 5.321930 | c 12 > 7.493860 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.79 c choco : 28.7
7.58/7.79 c mistral : 4.57
7.58/7.79 c abscon : 1.36179
7.58/7.79 c
7.58/7.79 c
7.58/7.79 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-35_ext.xml
7.58/7.79 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.580400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.820190 | c 14 > 9.700440 | c 11 > 5.321930 | c 12 > 7.397890 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.65/7.80 c choco : 1801.0
7.65/7.80 c mistral : 8.34
7.65/7.80 c abscon : 3.9644
7.65/7.80 c
7.65/7.80 c
7.65/7.80 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-45_ext.xml
7.65/7.80 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.319100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.197440 | c 14 > 9.625710 | c 11 > 5.321930 | c 12 > 7.573270 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.65/7.81 c choco : 14.35
7.65/7.81 c mistral : 3.16
7.65/7.81 c abscon : 2.32865
7.65/7.81 c
7.65/7.81 c
7.65/7.81 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-65_ext.xml
7.65/7.81 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.723500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.464250 | c 14 > 9.847060 | c 11 > 5.321930 | c 12 > 7.385860 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.65/7.81 c choco : 1801.0
7.65/7.81 c mistral : 35.95
7.65/7.81 c abscon : 14.9887
7.65/7.81 c
7.65/7.81 c
7.65/7.81 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-71_ext.xml
7.65/7.81 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.967000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.102880 | c 14 > 9.829720 | c 11 > 5.321930 | c 12 > 7.288170 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.65/7.83 c choco : 1801.0
7.65/7.83 c mistral : 32.83
7.65/7.83 c abscon : 22.2006
7.65/7.83 c
7.65/7.83 c
7.65/7.83 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-57_ext.xml
7.65/7.83 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.053500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 6.946520 | c 14 > 10.071500 | c 11 > 5.321930 | c 12 > 7.074140 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.65/7.83 c choco : 618.88
7.65/7.83 c mistral : 587.2
7.65/7.83 c abscon : 126.471
7.65/7.83 c
7.65/7.83 c
7.65/7.83 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-77_ext.xml
7.65/7.83 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.467800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.825190 | c 14 > 9.442940 | c 11 > 5.321930 | c 12 > 7.302410 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.65/7.84 c choco : 42.73
7.65/7.84 c mistral : 7.93
7.65/7.84 c abscon : 4.52531
7.65/7.84 c
7.65/7.84 c
7.65/7.84 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-63_ext.xml
7.65/7.84 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.731100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.280660 | c 14 > 9.897850 | c 11 > 5.321930 | c 12 > 7.032870 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.65/7.85 c choco : 1801.0
7.65/7.85 c mistral : 13.91
7.65/7.85 c abscon : 6.41302
7.65/7.85 c
7.65/7.85 c
7.65/7.85 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-15_ext.xml
7.65/7.85 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.412800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.631980 | c 14 > 9.649260 | c 11 > 5.321930 | c 12 > 7.236490 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.65/7.85 c choco : 34.51
7.65/7.85 c mistral : 5.65
7.65/7.85 c abscon : 3.14952
7.65/7.85 c
7.65/7.85 c
7.65/7.85 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-73_ext.xml
7.65/7.86 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.581300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.456520 | c 14 > 9.736400 | c 11 > 5.321930 | c 12 > 6.986980 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.65/7.86 c choco : 48.05
7.65/7.86 c mistral : 4.81
7.65/7.86 c abscon : 2.68859
7.65/7.86 c
7.65/7.86 c
7.65/7.86 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-59_ext.xml
7.65/7.86 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.811200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.108080 | c 14 > 9.783000 | c 11 > 5.321930 | c 12 > 7.035070 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.65/7.87 c choco : 254.24
7.65/7.87 c mistral : 175.824
7.65/7.87 c abscon : 44.3972
7.65/7.87 c
7.65/7.87 c
7.65/7.87 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-67_ext.xml
7.65/7.87 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.645900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.151680 | c 14 > 9.609180 | c 11 > 5.321930 | c 12 > 6.941340 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.65/7.87 c choco : 94.32
7.65/7.87 c mistral : 11.71
7.65/7.87 c abscon : 5.02523
7.65/7.87 c
7.65/7.87 c
7.65/7.87 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-9_ext.xml
7.65/7.87 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.438800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.349140 | c 14 > 9.519640 | c 11 > 5.321930 | c 12 > 7.023480 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.65/7.88 c choco : 48.93
7.65/7.88 c mistral : 8.4
7.65/7.88 c abscon : 3.99239
7.65/7.88 c
7.65/7.88 c
7.65/7.88 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-79_ext.xml
7.65/7.88 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.438900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.278320 | c 14 > 9.539160 | c 11 > 5.321930 | c 12 > 6.979570 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.65/7.88 c choco : 34.68
7.65/7.88 c mistral : 8.24
7.65/7.88 c abscon : 4.38333
7.65/7.88 c
7.65/7.88 c
7.65/7.88 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-23_ext.xml
7.65/7.88 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.549600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.073520 | c 14 > 9.672430 | c 11 > 5.321930 | c 12 > 6.912290 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.65/7.89 c choco : 1801.0
7.65/7.89 c mistral : 37.53
7.65/7.89 c abscon : 15.7556
7.65/7.89 c
7.65/7.89 c
7.65/7.89 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-29_ext.xml
7.65/7.89 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.388200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.423150 | c 14 > 9.390170 | c 11 > 5.321930 | c 12 > 6.998870 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.65/7.89 c choco : 39.6
7.65/7.89 c mistral : 5.35
7.65/7.89 c abscon : 3.14852
7.65/7.90 c
7.65/7.90 c
7.65/7.90 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-3_ext.xml
7.65/7.90 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.337900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.475580 | c 14 > 9.342070 | c 11 > 5.321930 | c 12 > 7.040560 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.90 c choco : 22.5
7.70/7.90 c mistral : 4.77
7.70/7.90 c abscon : 2.5996
7.70/7.90 c
7.70/7.90 c
7.70/7.90 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-25_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 > 17.235700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.646460 | c 14 > 9.283090 | c 11 > 5.321930 | c 12 > 7.067170 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.91 c choco : 11.07
7.70/7.91 c mistral : 2.39
7.70/7.91 c abscon : 1.88671
7.70/7.91 c
7.70/7.91 c
7.70/7.91 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-75_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 > 17.415400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.182000 | c 14 > 9.238400 | c 11 > 5.321930 | c 12 > 6.764210 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.91 c choco : 34.58
7.70/7.91 c mistral : 9.02
7.70/7.91 c abscon : 4.72028
7.70/7.91 c
7.70/7.91 c
7.70/7.91 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-5_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 > 17.181200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.395150 | c 14 > 9.451210 | c 11 > 5.321930 | c 12 > 6.480180 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.92 c choco : 5.67
7.70/7.92 c mistral : 0.685895
7.70/7.92 c abscon : 2.34264
7.70/7.92 c
7.70/7.92 c
7.70/7.92 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-41_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 > 17.392300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 6.946900 | c 14 > 9.266790 | c 11 > 5.321930 | c 12 > 6.788560 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.93 c choco : 61.48
7.70/7.93 c mistral : 11.16
7.70/7.93 c abscon : 4.75428
7.70/7.93 c
7.70/7.93 c
7.70/7.93 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-11_ext.xml
7.70/7.93 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.271800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 7.211370 | c 14 > 9.422060 | c 11 > 5.321930 | c 12 > 6.510170 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.93 c choco : 44.75
7.70/7.93 c mistral : 1.65
7.70/7.93 c abscon : 1.57976
7.70/7.93 c
7.70/7.93 c
7.70/7.93 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-39_ext.xml
7.70/7.93 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.453400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 6.876040 | c 14 > 9.247930 | c 11 > 5.321930 | c 12 > 6.649620 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.94 c choco : 89.79
7.70/7.94 c mistral : 25.45
7.70/7.94 c abscon : 9.11361
7.70/7.94 c
7.70/7.94 c
7.70/7.94 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-17_ext.xml
7.70/7.94 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.348300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 6.801620 | c 14 > 9.503830 | c 11 > 5.321930 | c 12 > 6.142110 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.94 c choco : 22.56
7.70/7.94 c mistral : 1.59
7.70/7.94 c abscon : 1.46078
7.70/7.94 c
7.70/7.94 c
7.70/7.94 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-1_ext.xml
7.70/7.95 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.352100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 6.516690 | c 14 > 9.233620 | c 11 > 5.321930 | c 12 > 5.785290 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.95 c choco : 6.58
7.70/7.95 c mistral : 1.64
7.70/7.95 c abscon : 2.94355
7.70/7.95 c
7.70/7.95 c
7.70/7.95 c /home/eomahony/cpZilla/CSP/tightness/tightness0.9/rand-2-40-180-84-900-61_ext.xml
7.70/7.95 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.169000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 6.087230 | c 14 > 8.703900 | c 11 > 5.321930 | c 12 > 5.101190 | c 21 > 13.416400 | c 20 > 0.000000 | c 22 > 13.416400 | 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 > 6.392320 | 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 > 12.813800 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.96 c choco : 2.95
7.70/7.96 c mistral : 0.77
7.70/7.96 c abscon : 1.2898
7.70/7.96 c
7.70/7.96 c
7.70/7.96 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-71_ext.xml
7.70/7.96 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.242600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.763360 | c 14 > 11.131200 | c 11 > 5.321930 | c 12 > 8.680360 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | 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 > 6.686500 | 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 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.96 c choco : 21.45
7.70/7.96 c mistral : 3.65
7.70/7.96 c abscon : 3.12252
7.70/7.96 c
7.70/7.96 c
7.70/7.97 c Length: 40
7.70/7.97 c 1.2517342351314031 1.79988895993614 1.8189520610780268 1.869757759951807 1.961472920868396 2.009260392905809 2.306026956498992 2.400685471547657 2.4329794787050707 2.4441387348307373 2.601806312622061 2.651296721511948 2.6745810875537126 2.680028137035133 2.73255749496694 2.7379017415349307 2.741590170758568 2.8867543177416404 2.967778092732002 2.984593464795499 3.001891831079194 3.0093483401228243 3.0878740699873117 3.1065786551445953 3.287984543835326 3.291765550232883 3.3381396228737943 3.3603486410043817 3.365014467338885 3.3736808440929913 3.383961351892187 3.662815630058383 3.7521246749675043 3.757698669584883 3.7757345509582647 3.8507256275408674 4.123521816590765 4.604705753693715 5.989832030541423 6.440661991092219
7.70/7.97 c
7.70/7.97 c 1.0 0.904454097244983 0.9014587421608156 0.8935717737350708 0.8796781115270675 0.8726087566196958 0.8311299872884289 0.81871676032342 0.8145662223522045 0.8131417622641904 0.7935353858576182 0.7875746286476732 0.7848010652664612 0.7841550463696183 0.7779792294602275 0.7773563600233742 0.7769270567178783 0.7603996804652287 0.7514770583226908 0.7496514652555939 0.7477826677162275 0.7469799880036301 0.7386302962755634 0.7366688794478641 0.7181729930418803 0.7177973626565717 0.7132220138196459 0.7110514253825009 0.710597091231637 0.709754742997268 0.7087580916085524 0.6827528300218785 0.6748228677540165 0.6743340423176796 0.6727571821836196 0.6662790993466675 0.6437304307066035 0.6074676824435512 0.5227072025864051 0.5
7.70/7.98 c
7.70/7.98 c solver 0
7.70/7.98 c before 0.0 seconds: {} 0
7.70/7.98 c before 18.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 16, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26164
7.70/7.98 c before 36.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 27709
7.70/7.98 c before 54.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 28446
7.70/7.98 c before 144.0 seconds: {0, 1, 2, 3, 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} 29197
7.70/7.98 c before 234.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} 30077
7.70/7.98 c
7.70/7.98 c solver 1
7.70/7.98 c before 0.0 seconds: {} 0
7.70/7.98 c before 18.0 seconds: {0, 3, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 19, 20, 21, 22, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 22204
7.70/7.98 c before 36.0 seconds: {0, 3, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 16, 17, 19, 20, 21, 22, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24407
7.70/7.98 c before 54.0 seconds: {0, 1, 3, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 16, 17, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26023
7.70/7.98 c before 90.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 27709
7.70/7.98 c before 180.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 28446
7.70/7.98 c before 594.0 seconds: {0, 1, 2, 3, 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} 29197
7.70/7.98 c before 1710.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} 30077
7.70/7.98 c
7.70/7.98 c solver 2
7.70/7.98 c before 0.0 seconds: {} 0
7.70/7.98 c before 18.0 seconds: {0, 5, 7, 9, 15, 30, 32, 37, 38} 6795
7.70/7.98 c before 36.0 seconds: {0, 3, 5, 7, 9, 11, 13, 15, 21, 26, 29, 30, 31, 32, 36, 37, 38, 39} 13257
7.70/7.98 c before 54.0 seconds: {0, 3, 5, 6, 7, 9, 10, 11, 13, 15, 19, 21, 22, 25, 26, 28, 29, 30, 31, 32, 34, 36, 37, 38, 39} 18471
7.70/7.98 c before 72.0 seconds: {0, 3, 5, 6, 7, 8, 9, 10, 11, 13, 15, 19, 21, 22, 25, 26, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 19960
7.70/7.98 c before 90.0 seconds: {0, 1, 3, 5, 6, 7, 8, 9, 10, 11, 13, 15, 19, 21, 22, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21531
7.70/7.98 c before 108.0 seconds: {0, 1, 3, 5, 6, 7, 8, 9, 10, 11, 13, 15, 19, 21, 22, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22249
7.70/7.98 c before 270.0 seconds: {0, 1, 3, 5, 6, 7, 8, 9, 10, 11, 13, 15, 19, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22985
7.70/7.98 c before 630.0 seconds: {0, 1, 3, 5, 6, 7, 8, 9, 10, 11, 13, 15, 18, 19, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23737
7.70/7.98 c before 1188.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 18, 19, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24617
7.70/7.98 c
7.70/7.98 cTotal time: 174
7.70/7.99 c run abscon for 234.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} 30077
7.70/7.99 c run mistral for 594.0 seconds {0, 1, 2, 3, 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} 29197
7.70/7.99 c run choco for 630.0 seconds {0, 1, 3, 5, 6, 7, 8, 9, 10, 11, 13, 15, 18, 19, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23737
7.70/7.99 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.70/7.99 c On Instance: HOME/instance-1100529-1215287254.xml
7.70/7.99 c Running for: 234 seconds
14.87/15.31 s UNSATISFIABLE
14.87/15.31 d ASSIGNMENTS 7321
14.87/15.31 d CHECKS 88737402