0.00/0.00 c cpHydra_k_40 version 0.0
7.20/7.34 c CASE TO CLASSIFY:
7.20/7.34 c Case: 0
7.20/7.34 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 59.016400 | c 18 > 40.983600 | c 33 > -1.000000 | c 15 > 20.703700 | c 34 > -1.000000 | c 16 > 36.000000 | c 13 > 9.794540 | c 14 > 13.133000 | c 11 > 6.754890 | c 12 > 10.889600 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 6.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 25.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > 100.000000 | c 3 > 6.754890 | c 2 > -1.000000 | c 10 > 10.037500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.754900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.35 c choco : 1801.0
7.20/7.35 c mistral : 1801.0
7.20/7.35 c abscon : 1801.0
7.20/7.35 c
7.20/7.35 c
7.50/7.61 c List of same ones: 40
7.50/7.61 c /home/eomahony/cpZilla/CSP/xml/latinSquare/latinSquare-dg-6_all.xml
7.50/7.62 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 14.899600 | c 34 > -1.000000 | c 16 > 6.000000 | c 13 > 7.409580 | c 14 > 8.957100 | c 11 > 5.169930 | c 12 > 7.622460 | c 21 > 2.449490 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 24.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 5.169930 | c 2 > -1.000000 | c 10 > 8.584960 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 7.754890 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.62 c choco : 2.76
7.50/7.62 c mistral : 0.04
7.50/7.62 c abscon : 1.21281
7.50/7.62 c
7.50/7.62 c
7.50/7.62 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-35_ext.xml
7.50/7.62 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 9.219170 | c 34 > -1.000000 | c 16 > 35.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 5.129280 | c 12 > 5.129280 | c 21 > 5.830950 | c 20 > 0.000000 | c 22 > 5.830950 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 5.129280 | c 2 > -1.000000 | c 10 > 9.219170 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.216700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.63 c choco : 0.79
7.50/7.63 c mistral : 0.010997
7.50/7.63 c abscon : 0.605907
7.50/7.63 c
7.50/7.63 c
7.50/7.63 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-40_ext.xml
7.50/7.63 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 9.609180 | c 34 > -1.000000 | c 16 > 40.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 5.321930 | c 12 > 5.321930 | c 21 > 6.245000 | c 20 > 0.000000 | c 22 > 6.245000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 5.321930 | c 2 > -1.000000 | c 10 > 9.609180 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.607300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.64 c choco : 0.79
7.50/7.64 c mistral : 0.01
7.50/7.64 c abscon : 0.662898
7.50/7.64 c
7.50/7.64 c
7.50/7.64 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-30_ext.xml
7.50/7.64 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 8.768180 | c 34 > -1.000000 | c 16 > 30.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 4.906890 | c 12 > 4.906890 | c 21 > 5.385160 | c 20 > 0.000000 | c 22 > 5.385160 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 4.906890 | c 2 > -1.000000 | c 10 > 8.768180 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.764870 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.65 c choco : 0.8
7.50/7.65 c mistral : 0.01
7.50/7.65 c abscon : 0.609906
7.50/7.65 c
7.50/7.65 c
7.50/7.65 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-45_ext.xml
7.50/7.65 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 9.952740 | c 34 > -1.000000 | c 16 > 45.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 5.491850 | c 12 > 5.491850 | c 21 > 6.633250 | c 20 > 0.000000 | c 22 > 6.633250 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 5.491850 | c 2 > -1.000000 | c 10 > 9.952740 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.951300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.66 c choco : 0.8
7.50/7.66 c mistral : 0.01
7.50/7.66 c abscon : 0.6549
7.50/7.66 c
7.50/7.66 c
7.50/7.66 c /home/eomahony/cpZilla/CSP/xml/latinSquare/latinSquare-dg-7_all.xml
7.50/7.66 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 11.031400 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 2.958040 | c 14 > 3.700440 | c 11 > 5.614710 | c 12 > 3.970250 | c 21 > 2.645750 | c 20 > 0.000000 | c 22 > 2.645750 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 28.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 5.614710 | c 2 > -1.000000 | c 10 > 9.266790 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.422060 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.67 c choco : 1.0
7.50/7.67 c mistral : 0.014997
7.50/7.67 c abscon : 0.732888
7.50/7.67 c
7.50/7.67 c
7.50/7.67 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-25_ext.xml
7.50/7.67 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 8.233620 | c 34 > -1.000000 | c 16 > 25.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 4.643860 | c 12 > 4.643860 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 4.643860 | c 2 > -1.000000 | c 10 > 8.233620 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.228820 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.68 c choco : 0.77
7.50/7.68 c mistral : 0.01
7.50/7.68 c abscon : 0.601908
7.50/7.68 c
7.50/7.68 c
7.50/7.68 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-50_ext.xml
7.50/7.68 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 10.259700 | c 34 > -1.000000 | c 16 > 50.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 5.643860 | c 12 > 5.643860 | c 21 > 7.000000 | c 20 > 0.000000 | c 22 > 7.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 5.643860 | c 2 > -1.000000 | c 10 > 10.259700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.258600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.69 c choco : 0.8
7.50/7.69 c mistral : 0.01
7.50/7.69 c abscon : 0.621905
7.50/7.69 c
7.50/7.69 c
7.50/7.69 c /home/eomahony/cpZilla/CSP/xml/latinSquare/latinSquare-dg-5_all.xml
7.50/7.69 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 9.084810 | c 34 > -1.000000 | c 16 > 5.000000 | c 13 > 2.709770 | c 14 > 2.321930 | c 11 > 4.643860 | c 12 > 3.485430 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 20.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 4.643860 | c 2 > -1.000000 | c 10 > 7.781360 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 6.965780 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.69 c choco : 0.91
7.50/7.69 c mistral : 0.01
7.50/7.69 c abscon : 0.623904
7.50/7.69 c
7.50/7.69 c
7.50/7.69 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-20_ext.xml
7.50/7.69 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 7.577430 | c 34 > -1.000000 | c 16 > 20.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 4.321930 | c 12 > 4.321930 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 4.321930 | c 2 > -1.000000 | c 10 > 7.577430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.569860 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.70 c choco : 0.77
7.57/7.70 c mistral : 0.009997
7.57/7.70 c abscon : 0.618905
7.57/7.70 c
7.57/7.70 c
7.57/7.70 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-18_ext.xml
7.57/7.70 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 7.266790 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 4.169930 | c 12 > 4.169930 | c 21 > 4.123110 | c 20 > 0.000000 | c 22 > 4.123110 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 4.169930 | c 2 > -1.000000 | c 10 > 7.266790 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.257390 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.71 c choco : 0.79
7.57/7.71 c mistral : 0.01
7.57/7.71 c abscon : 0.600907
7.57/7.71 c
7.57/7.71 c
7.57/7.71 c /home/eomahony/cpZilla/CSP/xml/latinSquare/latinSquare-dg-4_all.xml
7.57/7.71 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 8.400880 | c 34 > -1.000000 | c 16 > 4.000000 | c 13 > 2.806430 | c 14 > 3.169930 | c 11 > 4.000000 | c 12 > 4.475730 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 16.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 4.000000 | c 2 > -1.000000 | c 10 > 6.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 6.000000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.73 c choco : 0.85
7.57/7.73 c mistral : 0.01
7.57/7.73 c abscon : 0.6499
7.57/7.73 c
7.57/7.73 c
7.57/7.73 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-15_ext.xml
7.57/7.73 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 6.727920 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 3.906890 | c 12 > 3.906890 | c 21 > 3.741660 | c 20 > 0.000000 | c 22 > 3.741660 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 3.906890 | c 2 > -1.000000 | c 10 > 6.727920 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 7.714250 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.74 c choco : 0.77
7.57/7.74 c mistral : 0.01
7.57/7.74 c abscon : 0.618905
7.57/7.74 c
7.57/7.74 c
7.57/7.74 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-14_ext.xml
7.57/7.74 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 6.523560 | c 34 > -1.000000 | c 16 > 14.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 3.807350 | c 12 > 3.807350 | c 21 > 3.605550 | c 20 > 0.000000 | c 22 > 3.605550 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 3.807350 | c 2 > -1.000000 | c 10 > 6.523560 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 7.507790 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.74 c choco : 0.76
7.57/7.74 c mistral : 0.01
7.57/7.74 c abscon : 0.613906
7.57/7.74 c
7.57/7.74 c
7.57/7.74 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-13_ext.xml
7.57/7.74 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 6.303780 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 3.700440 | c 12 > 3.700440 | c 21 > 3.464100 | c 20 > 0.000000 | c 22 > 3.464100 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 3.700440 | c 2 > -1.000000 | c 10 > 6.303780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 7.285400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.75 c choco : 0.76
7.57/7.75 c mistral : 0.01
7.57/7.75 c abscon : 0.603908
7.57/7.75 c
7.57/7.75 c
7.57/7.75 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-12_ext.xml
7.57/7.75 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 6.066090 | c 34 > -1.000000 | c 16 > 12.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 3.584960 | c 12 > 3.584960 | c 21 > 3.316620 | c 20 > 0.000000 | c 22 > 3.316620 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 3.584960 | c 2 > -1.000000 | c 10 > 6.066090 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 7.044390 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.75 c choco : 0.75
7.57/7.75 c mistral : 0.01
7.57/7.75 c abscon : 0.58791
7.57/7.75 c
7.57/7.75 c
7.57/7.75 c /home/eomahony/cpZilla/CSP/xml/latinSquare/latinSquare-dg-3_all.xml
7.57/7.75 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 6.672430 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 2.319430 | c 14 > 1.584960 | c 11 > 3.169930 | c 12 > 3.863500 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 12.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 3.169930 | c 2 > -1.000000 | c 10 > 5.584960 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 4.754890 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.76 c choco : 0.82
7.57/7.76 c mistral : 0.01
7.57/7.76 c abscon : 0.599908
7.57/7.76 c
7.57/7.76 c
7.57/7.76 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-11_ext.xml
7.57/7.76 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 5.807350 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 3.459430 | c 12 > 3.459430 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 3.459430 | c 2 > -1.000000 | c 10 > 5.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 6.781360 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.77 c choco : 0.76
7.57/7.77 c mistral : 0.009998
7.57/7.77 c abscon : 0.600908
7.57/7.77 c
7.57/7.77 c
7.57/7.77 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-10_ext.xml
7.57/7.77 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 5.523560 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 3.321930 | c 12 > 3.321930 | c 21 > 3.000000 | c 20 > 0.000000 | c 22 > 3.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 3.321930 | c 2 > -1.000000 | c 10 > 5.523560 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 6.491850 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.77 c choco : 0.77
7.57/7.77 c mistral : 0.01
7.57/7.77 c abscon : 0.591909
7.57/7.77 c
7.57/7.77 c
7.57/7.77 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-9_ext.xml
7.57/7.77 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 5.209450 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 3.169930 | c 12 > 3.169930 | c 21 > 2.828430 | c 20 > 0.000000 | c 22 > 2.828430 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 3.169930 | c 2 > -1.000000 | c 10 > 5.209450 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 6.169930 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.78 c choco : 0.76
7.57/7.78 c mistral : 0.01
7.57/7.78 c abscon : 0.623904
7.57/7.78 c
7.57/7.78 c
7.57/7.78 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-8_ext.xml
7.57/7.78 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 4.857980 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 3.000000 | c 12 > 3.000000 | c 21 > 2.645750 | c 20 > 0.000000 | c 22 > 2.645750 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 3.000000 | c 2 > -1.000000 | c 10 > 4.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 5.807350 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.80 c choco : 0.77
7.64/7.80 c mistral : 0.01
7.64/7.80 c abscon : 0.596909
7.64/7.80 c
7.64/7.80 c
7.64/7.80 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-7_ext.xml
7.64/7.80 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 4.459430 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 2.807350 | c 12 > 2.807350 | c 21 > 2.449490 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 2.807350 | c 2 > -1.000000 | c 10 > 4.459430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 5.392320 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.80 c choco : 0.77
7.64/7.80 c mistral : 0.01
7.64/7.80 c abscon : 0.613906
7.64/7.80 c
7.64/7.80 c
7.64/7.80 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-6_ext.xml
7.64/7.80 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 4.000000 | c 34 > -1.000000 | c 16 > 6.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 2.584960 | c 12 > 2.584960 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 2.584960 | c 2 > -1.000000 | c 10 > 4.000000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 4.906890 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.81 c choco : 0.77
7.64/7.81 c mistral : 0.01
7.64/7.81 c abscon : 0.628903
7.64/7.81 c
7.64/7.81 c
7.64/7.81 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-5_ext.xml
7.64/7.81 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 3.459430 | c 34 > -1.000000 | c 16 > 5.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 2.321930 | c 12 > 2.321930 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 2.321930 | c 2 > -1.000000 | c 10 > 3.459430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 4.321930 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.82 c choco : 0.77
7.64/7.82 c mistral : 0.01
7.64/7.82 c abscon : 0.602907
7.64/7.82 c
7.64/7.82 c
7.64/7.82 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-11.xml
7.64/7.82 c 19 > 0.000000 | c 35 > 30.188700 | c 17 > 0.000000 | c 18 > 14.516100 | c 33 > 0.000000 | c 15 > 16.090600 | c 34 > 20.188700 | c 16 > 11.000000 | c 13 > 5.307610 | c 14 > 8.426260 | c 11 > 6.022370 | c 12 > 4.572890 | c 21 > 4.292850 | c 20 > 85.483900 | c 22 > 4.472140 | c 23 > 96.069500 | c 24 > 95.238100 | c 25 > 9.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 5.977280 | c 2 > -1.000000 | c 10 > 8.144660 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.232400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
7.64/7.82 c choco : 16.54
7.64/7.82 c mistral : 0.03
7.64/7.82 c abscon : 4.59
7.64/7.82 c
7.64/7.82 c
7.64/7.82 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-10.xml
7.64/7.82 c 19 > 0.000000 | c 35 > 30.232600 | c 17 > 0.000000 | c 18 > 15.686300 | c 33 > 0.000000 | c 15 > 11.582600 | c 34 > 20.232600 | c 16 > 10.000000 | c 13 > 2.476970 | c 14 > 4.087460 | c 11 > 5.754890 | c 12 > 2.567040 | c 21 > 4.057280 | c 20 > 84.313700 | c 22 > 4.242640 | c 23 > 95.749000 | c 24 > 94.736800 | c 25 > 8.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 5.700440 | c 2 > -1.000000 | c 10 > 7.761550 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.804130 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
7.64/7.83 c choco : 3.04
7.64/7.83 c mistral : 0.03
7.64/7.83 c abscon : 2.48
7.64/7.83 c
7.64/7.83 c
7.64/7.83 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-12.xml
7.64/7.83 c 19 > 0.000000 | c 35 > 30.156200 | c 17 > 0.000000 | c 18 > 13.513500 | c 33 > 0.000000 | c 15 > 15.511500 | c 34 > 20.156200 | c 16 > 12.000000 | c 13 > 4.685810 | c 14 > 7.569860 | c 11 > 6.266790 | c 12 > 4.069720 | c 21 > 4.516640 | c 20 > 86.486500 | c 22 > 4.690420 | c 23 > 96.347800 | c 24 > 95.652200 | c 25 > 10.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.228820 | c 2 > -1.000000 | c 10 > 8.495860 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.622100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
7.64/7.83 c choco : 12.41
7.64/7.83 c mistral : 0.15
7.64/7.83 c abscon : 5.75
7.64/7.83 c
7.64/7.83 c
7.64/7.83 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-13.xml
7.64/7.83 c 19 > 0.000000 | c 35 > 30.131600 | c 17 > 0.000000 | c 18 > 12.643700 | c 33 > 0.000000 | c 15 > 17.286500 | c 34 > 20.131600 | c 16 > 13.000000 | c 13 > 6.100340 | c 14 > 9.131860 | c 11 > 6.491850 | c 12 > 5.083210 | c 21 > 4.730220 | c 20 > 87.356300 | c 22 > 4.898980 | c 23 > 96.590900 | c 24 > 96.000000 | c 25 > 11.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.459430 | c 2 > -1.000000 | c 10 > 8.820180 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.979400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
7.64/7.84 c choco : 17.72
7.64/7.84 c mistral : 0.2
7.64/7.84 c abscon : 6.83
7.64/7.84 c
7.64/7.84 c
7.64/7.84 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-14.xml
7.64/7.84 c 19 > 0.000000 | c 35 > 30.112400 | c 17 > 0.000000 | c 18 > 11.881200 | c 33 > 0.000000 | c 15 > 20.330700 | c 34 > 20.112400 | c 16 > 14.000000 | c 13 > 8.939850 | c 14 > 11.970800 | c 11 > 6.700440 | c 12 > 8.323700 | c 21 > 4.934870 | c 20 > 88.118800 | c 22 > 5.099020 | c 23 > 96.804600 | c 24 > 96.296300 | c 25 > 12.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.672430 | c 2 > -1.000000 | c 10 > 9.121530 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.309500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
7.64/7.84 c choco : 17.59
7.64/7.84 c mistral : 7.72
7.64/7.84 c abscon : 7.11
7.64/7.84 c
7.64/7.84 c
7.64/7.84 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-15.xml
7.64/7.84 c 19 > 0.000000 | c 35 > 30.097100 | c 17 > 0.000000 | c 18 > 11.206900 | c 33 > 0.000000 | c 15 > 20.200100 | c 34 > 20.097100 | c 16 > 15.000000 | c 13 > 8.563910 | c 14 > 11.674600 | c 11 > 6.894820 | c 12 > 7.884080 | c 21 > 5.131600 | c 20 > 88.793100 | c 22 > 5.291500 | c 23 > 96.993800 | c 24 > 96.551700 | c 25 > 13.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.870360 | c 2 > -1.000000 | c 10 > 9.403010 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.616100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
7.64/7.85 c choco : 33.25
7.64/7.85 c mistral : 36.8
7.64/7.85 c abscon : 10.75
7.64/7.85 c
7.64/7.85 c
7.64/7.85 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-16.xml
7.64/7.85 c 19 > 0.000000 | c 35 > 30.084700 | c 17 > 0.000000 | c 18 > 10.606100 | c 33 > 0.000000 | c 15 > 19.923600 | c 34 > 20.084700 | c 16 > 16.000000 | c 13 > 8.520580 | c 14 > 11.147200 | c 11 > 7.076820 | c 12 > 7.612850 | c 21 > 5.321260 | c 20 > 89.393900 | c 22 > 5.477230 | c 23 > 97.162300 | c 24 > 96.774200 | c 25 > 14.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.055280 | c 2 > -1.000000 | c 10 > 9.667110 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.902400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
7.64/7.86 c choco : 81.95
7.64/7.86 c mistral : 110.72
7.64/7.86 c abscon : 72.55
7.64/7.86 c
7.64/7.86 c
7.64/7.86 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-17.xml
7.64/7.86 c 19 > 0.000000 | c 35 > 30.074600 | c 17 > 0.000000 | c 18 > 10.067100 | c 33 > 0.000000 | c 15 > 19.717200 | c 34 > 20.074600 | c 16 > 17.000000 | c 13 > 7.763330 | c 14 > 10.791200 | c 11 > 7.247930 | c 12 > 6.864670 | c 21 > 5.504540 | c 20 > 89.932900 | c 22 > 5.656850 | c 23 > 97.313100 | c 24 > 96.969700 | c 25 > 15.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.228820 | c 2 > -1.000000 | c 10 > 9.915880 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.170900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
7.64/7.86 c choco : 24.02
7.64/7.86 c mistral : 1801.0
7.64/7.86 c abscon : 1801.0
7.64/7.86 c
7.64/7.86 c
7.64/7.86 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-18.xml
7.64/7.86 c 19 > 0.000000 | c 35 > 30.066200 | c 17 > 0.000000 | c 18 > 9.580840 | c 33 > 0.000000 | c 15 > 19.566600 | c 34 > 20.066200 | c 16 > 18.000000 | c 13 > 7.171760 | c 14 > 10.479800 | c 11 > 7.409390 | c 12 > 6.242450 | c 21 > 5.682050 | c 20 > 90.419200 | c 22 > 5.830950 | c 23 > 97.449000 | c 24 > 97.142900 | c 25 > 16.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.392320 | c 2 > -1.000000 | c 10 > 10.151000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.423600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
7.64/7.87 c choco : 229.74
7.64/7.87 c mistral : 552.16
7.64/7.87 c abscon : 1801.0
7.64/7.87 c
7.64/7.87 c
7.64/7.87 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-35_ext.xml
7.64/7.87 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.811000 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.650150 | c 14 > 9.607330 | c 11 > 4.392320 | c 12 > 11.817600 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.87 c choco : 1801.0
7.64/7.87 c mistral : 22.94
7.64/7.87 c abscon : 161.89
7.64/7.87 c
7.64/7.87 c
7.64/7.87 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-7_ext.xml
7.64/7.87 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.918800 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.011690 | c 14 > 9.675960 | c 11 > 4.392320 | c 12 > 11.861400 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.88 c choco : 1801.0
7.64/7.88 c mistral : 20.66
7.64/7.88 c abscon : 56.28
7.64/7.88 c
7.64/7.88 c
7.64/7.88 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-11_ext.xml
7.64/7.88 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.769500 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.673050 | c 14 > 9.592460 | c 11 > 4.392320 | c 12 > 12.035300 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.89 c choco : 1801.0
7.64/7.89 c mistral : 29.97
7.64/7.89 c abscon : 16.0
7.64/7.89 c
7.64/7.89 c
7.64/7.89 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-6_ext.xml
7.64/7.89 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.712000 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.535540 | c 14 > 9.575540 | c 11 > 4.392320 | c 12 > 11.760200 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.89 c choco : 1801.0
7.64/7.89 c mistral : 28.26
7.64/7.89 c abscon : 107.14
7.64/7.89 c
7.64/7.89 c
7.64/7.89 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-19_ext.xml
7.64/7.89 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.809800 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.195200 | c 14 > 9.569860 | c 11 > 4.392320 | c 12 > 11.740900 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.71/7.90 c choco : 1801.0
7.71/7.90 c mistral : 23.56
7.71/7.90 c abscon : 118.29
7.71/7.90 c
7.71/7.90 c
7.71/7.90 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-34_ext.xml
7.71/7.90 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.911300 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.903150 | c 14 > 9.625710 | c 11 > 4.392320 | c 12 > 12.035900 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.71/7.91 c choco : 1801.0
7.71/7.91 c mistral : 18.89
7.71/7.91 c abscon : 78.43
7.71/7.91 c
7.71/7.91 c
7.71/7.91 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-31_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 > 16.752300 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.284330 | c 14 > 9.509780 | c 11 > 4.392320 | c 12 > 11.693500 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.055280 | c 1 > 4.392320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 5.392320 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.71/7.91 c choco : 1801.0
7.71/7.91 c mistral : 34.27
7.71/7.91 c abscon : 150.03
7.71/7.91 c
7.71/7.91 c
7.71/7.92 c Length: 40
7.71/7.92 c 89.93610634720795 90.3152032125987 90.33622798466017 90.59305941660541 90.65001310061406 90.76196226060561 91.17654902829454 91.2496657896948 92.07281677088194 92.07635378001835 92.52921449272223 92.75066723373477 93.31561126410843 93.6083640472239 93.91768651727428 94.24466320954254 94.27213881925296 94.59070314918428 94.95767835583071 95.3481365016611 95.76563273738705 96.21529124537169 96.70481496627198 97.24639280951453 118.61983986849248 118.72605110684849 119.29962540744795 119.54929287693885 119.68749800922566 120.06554459682927 120.39874444679106 120.72081695691097 121.01471878870106 122.07468641681369 122.07732931214747 122.07808366162249 122.0795109957195 122.08036620623153 122.08214255073753 122.08252562768719
7.71/7.92 c
7.71/7.92 c 1.0 0.9883446318364147 0.9877061701130958 0.9799730020928799 0.9782745079075014 0.9749530201194296 0.9628463830319076 0.9607423706583157 0.9376745809932534 0.937577850576509 0.925355687378349 0.9194942226138435 0.9048721463761459 0.897476456151196 0.8897923983995688 0.8818115572081123 0.881147448601916 0.8735198834850827 0.8648952543718679 0.8559037916666622 0.846494240308459 0.836588518713423 0.8260648497279262 0.8147263861823241 0.5284619189637669 0.5275408171599214 0.5226215494220141 0.5205088157341311 0.5193466261729878 0.5161939241854921 0.5134467859073081 0.5108190387901224 0.5084444942920846 0.5000609723182138 0.5000404145754784 0.5000345471834731 0.5000234456386987 0.5000167942031766 0.5000029791749808 0.5
7.71/7.93 c
7.71/7.93 c solver 0
7.71/7.93 c before 0.0 seconds: {} 0
7.71/7.93 c before 18.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, 35} 25560
7.71/7.93 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, 34, 35} 26060
7.71/7.93 c before 90.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, 34, 35, 38} 27074
7.71/7.93 c before 108.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, 34, 35, 36, 38} 27574
7.71/7.93 c before 126.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, 34, 35, 36, 37, 38} 28074
7.71/7.93 c before 162.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, 33, 34, 35, 36, 37, 38, 39} 29074
7.71/7.93 c
7.71/7.93 c solver 1
7.71/7.93 c before 0.0 seconds: {} 0
7.71/7.93 c before 18.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} 24544
7.71/7.93 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, 33, 34, 35, 36, 37, 38, 39} 28044
7.71/7.93 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, 33, 34, 35, 36, 37, 38, 39} 28561
7.71/7.93 c before 126.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, 33, 34, 35, 36, 37, 38, 39} 29074
7.71/7.93 c before 558.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, 32, 33, 34, 35, 36, 37, 38, 39} 29582
7.71/7.93 c
7.71/7.93 c solver 2
7.71/7.93 c before 0.0 seconds: {} 0
7.71/7.93 c before 18.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} 24544
7.71/7.93 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, 31} 25571
7.71/7.93 c before 90.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} 26085
7.71/7.93 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} 26593
7.71/7.94 c
7.71/7.94 cTotal time: 53
7.71/7.94 c 954.0 seconds unused
7.71/7.94 c 0 c 0 c 7
7.71/7.94 c 1 c 0 c 7
7.71/7.94 c 2 c 1 c 0
7.71/7.94 c is solver0 dominated by:
7.71/7.94 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
7.71/7.94 c is dominated? true
7.71/7.94 c
7.71/7.94 c is solver1 dominated by:
7.71/7.94 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.71/7.94 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.71/7.94 c is dominated? false
7.71/7.94 c
7.71/7.94 c is solver2 dominated by:
7.71/7.94 c solver 0 (2 solves instances that 0 can't: true) (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.94 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: true) (2 is equally as fast as 1: false) (2 < 1: true)
7.71/7.94 c is dominated? false
7.71/7.94 c
7.71/7.94 c Number of non-dominated solvers: 2
7.71/7.94 c remove dominated solvers
7.71/7.94 c solver 1 is not dominated by another solver
7.71/7.94 c solver 2 is not dominated by another solver
7.71/7.94 c solver 0 is dominated by another solver
7.71/7.94 c
7.71/7.94 c solver 0: 0.0
7.71/7.94 c
7.71/7.94 c solver 1: 558.0
7.71/7.94 c
7.71/7.94 c+ 31/44 of 56
7.71/7.94 c
7.71/7.94 c solver 2: 234.0
7.71/7.94 c
7.71/7.94 c+ 13/44 of 56
7.71/7.94 c do not run abscon
7.71/7.94 c run mistral for 1260.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, 32, 33, 34, 35, 36, 37, 38, 39} 29582
7.71/7.94 c run choco for 522.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} 26593
7.71/7.94 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.71/7.94 c On Instance: HOME/instance-1046556-1215028766.xml
7.71/7.94 c Running for: 1260 seconds
1267.47/1278.58 c Starting solver: HOME/cpHydra_k_40/solver/choco
1267.47/1278.58 c On Instance: HOME/instance-1046556-1215028766.xml
1267.47/1278.58 c Running for: 522 seconds