0.00/0.00 c cpHydra_k_40 version 0.0
7.38/7.50 c CASE TO CLASSIFY:
7.38/7.50 c Case: 0
7.38/7.50 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 65.979400 | c 18 > 34.020600 | c 33 > -1.000000 | c 15 > 20.848400 | c 34 > -1.000000 | c 16 > 64.000000 | c 13 > 9.656040 | c 14 > 12.774200 | c 11 > 7.584960 | c 12 > 10.110100 | c 21 > 5.163980 | c 20 > 0.000000 | c 22 > 8.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 33.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > 100.000000 | c 3 > 7.584960 | c 2 > -1.000000 | c 10 > 11.555100 | 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.321900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.51 c choco : 1801.0
7.38/7.51 c mistral : 1801.0
7.38/7.51 c abscon : 1801.0
7.38/7.51 c
7.38/7.51 c
7.38/7.59 c List of same ones: 40
7.38/7.59 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-50_ext.xml
7.38/7.59 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.47/7.61 c choco : 0.8
7.47/7.61 c mistral : 0.01
7.47/7.61 c abscon : 0.621905
7.47/7.61 c
7.47/7.61 c
7.47/7.61 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-45_ext.xml
7.47/7.61 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.47/7.61 c choco : 0.8
7.47/7.61 c mistral : 0.01
7.47/7.61 c abscon : 0.6549
7.47/7.61 c
7.47/7.61 c
7.47/7.61 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-40_ext.xml
7.47/7.61 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.47/7.62 c choco : 0.79
7.47/7.62 c mistral : 0.01
7.47/7.62 c abscon : 0.662898
7.47/7.62 c
7.47/7.62 c
7.47/7.62 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-35_ext.xml
7.47/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.47/7.63 c choco : 0.79
7.47/7.63 c mistral : 0.010997
7.47/7.63 c abscon : 0.605907
7.47/7.63 c
7.47/7.63 c
7.47/7.63 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-30_ext.xml
7.47/7.63 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.47/7.64 c choco : 0.8
7.47/7.64 c mistral : 0.01
7.47/7.64 c abscon : 0.609906
7.47/7.64 c
7.47/7.64 c
7.47/7.64 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-25_ext.xml
7.47/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.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.47/7.65 c choco : 0.77
7.47/7.65 c mistral : 0.01
7.47/7.65 c abscon : 0.601908
7.47/7.65 c
7.47/7.65 c
7.47/7.65 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-20_ext.xml
7.47/7.65 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.47/7.66 c choco : 0.77
7.47/7.66 c mistral : 0.009997
7.47/7.66 c abscon : 0.618905
7.47/7.66 c
7.47/7.66 c
7.47/7.66 c /home/eomahony/cpZilla/CSP/xml/latinSquare/latinSquare-dg-6_all.xml
7.47/7.66 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.47/7.67 c choco : 2.76
7.47/7.67 c mistral : 0.04
7.47/7.67 c abscon : 1.21281
7.47/7.67 c
7.47/7.67 c
7.47/7.67 c /home/eomahony/cpZilla/CSP/xml/latinSquare/latinSquare-dg-7_all.xml
7.47/7.67 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.47/7.67 c choco : 1.0
7.47/7.67 c mistral : 0.014997
7.47/7.67 c abscon : 0.732888
7.47/7.67 c
7.47/7.67 c
7.47/7.68 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-18_ext.xml
7.47/7.68 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.47/7.68 c choco : 0.79
7.47/7.68 c mistral : 0.01
7.47/7.68 c abscon : 0.600907
7.47/7.69 c
7.47/7.69 c
7.47/7.69 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-15_ext.xml
7.47/7.69 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.47/7.69 c choco : 0.77
7.47/7.70 c mistral : 0.01
7.47/7.70 c abscon : 0.618905
7.47/7.70 c
7.47/7.70 c
7.47/7.70 c /home/eomahony/cpZilla/CSP/xml/latinSquare/latinSquare-dg-5_all.xml
7.47/7.70 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.55/7.71 c choco : 0.91
7.55/7.71 c mistral : 0.01
7.55/7.71 c abscon : 0.623904
7.55/7.71 c
7.55/7.71 c
7.55/7.71 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-14_ext.xml
7.55/7.71 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.55/7.72 c choco : 0.76
7.55/7.72 c mistral : 0.01
7.55/7.72 c abscon : 0.613906
7.55/7.72 c
7.55/7.72 c
7.55/7.72 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-13_ext.xml
7.55/7.72 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.55/7.72 c choco : 0.76
7.55/7.72 c mistral : 0.01
7.55/7.72 c abscon : 0.603908
7.55/7.72 c
7.55/7.72 c
7.55/7.72 c /home/eomahony/cpZilla/CSP/xml/latinSquare/latinSquare-dg-4_all.xml
7.55/7.72 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.55/7.73 c choco : 0.85
7.55/7.73 c mistral : 0.01
7.55/7.73 c abscon : 0.6499
7.55/7.73 c
7.55/7.73 c
7.55/7.73 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-12_ext.xml
7.55/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.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.55/7.74 c choco : 0.75
7.55/7.74 c mistral : 0.01
7.55/7.74 c abscon : 0.58791
7.55/7.74 c
7.55/7.74 c
7.55/7.74 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-11_ext.xml
7.55/7.74 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.55/7.74 c choco : 0.76
7.55/7.74 c mistral : 0.009998
7.55/7.74 c abscon : 0.600908
7.55/7.74 c
7.55/7.74 c
7.55/7.74 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-10_ext.xml
7.55/7.74 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.55/7.75 c choco : 0.77
7.55/7.75 c mistral : 0.01
7.55/7.75 c abscon : 0.591909
7.55/7.75 c
7.55/7.75 c
7.55/7.75 c /home/eomahony/cpZilla/CSP/xml/latinSquare/latinSquare-dg-3_all.xml
7.55/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.55/7.76 c choco : 0.82
7.55/7.76 c mistral : 0.01
7.55/7.76 c abscon : 0.599908
7.55/7.76 c
7.55/7.76 c
7.55/7.76 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-9_ext.xml
7.55/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.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.55/7.77 c choco : 0.76
7.55/7.77 c mistral : 0.01
7.55/7.77 c abscon : 0.623904
7.55/7.77 c
7.55/7.77 c
7.55/7.77 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-8_ext.xml
7.55/7.77 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.55/7.78 c choco : 0.77
7.55/7.78 c mistral : 0.01
7.55/7.78 c abscon : 0.596909
7.55/7.78 c
7.55/7.78 c
7.55/7.78 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-7_ext.xml
7.55/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.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.55/7.78 c choco : 0.77
7.55/7.78 c mistral : 0.01
7.55/7.78 c abscon : 0.613906
7.55/7.78 c
7.55/7.78 c
7.55/7.78 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-6_ext.xml
7.55/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.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.55/7.79 c choco : 0.77
7.55/7.79 c mistral : 0.01
7.55/7.79 c abscon : 0.628903
7.55/7.79 c
7.55/7.79 c
7.55/7.79 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-5_ext.xml
7.55/7.79 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.55/7.80 c choco : 0.77
7.55/7.80 c mistral : 0.01
7.55/7.80 c abscon : 0.602907
7.55/7.80 c
7.55/7.80 c
7.55/7.80 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-35_ext.xml
7.63/7.80 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.63/7.80 c choco : 1801.0
7.63/7.80 c mistral : 22.94
7.63/7.80 c abscon : 161.89
7.63/7.80 c
7.63/7.80 c
7.63/7.80 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-7_ext.xml
7.63/7.80 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.63/7.81 c choco : 1801.0
7.63/7.81 c mistral : 20.66
7.63/7.81 c abscon : 56.28
7.63/7.81 c
7.63/7.81 c
7.63/7.81 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-6_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 > 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.63/7.81 c choco : 1801.0
7.63/7.81 c mistral : 28.26
7.63/7.81 c abscon : 107.14
7.63/7.81 c
7.63/7.81 c
7.63/7.81 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-19_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 > 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.63/7.82 c choco : 1801.0
7.63/7.82 c mistral : 23.56
7.63/7.82 c abscon : 118.29
7.63/7.82 c
7.63/7.82 c
7.63/7.82 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-11_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 > 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.63/7.83 c choco : 1801.0
7.63/7.83 c mistral : 29.97
7.63/7.83 c abscon : 16.0
7.63/7.83 c
7.63/7.83 c
7.63/7.83 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-31_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 > 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.63/7.83 c choco : 1801.0
7.63/7.83 c mistral : 34.27
7.63/7.83 c abscon : 150.03
7.63/7.83 c
7.63/7.83 c
7.63/7.83 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-34_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 > 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.63/7.84 c choco : 1801.0
7.63/7.84 c mistral : 18.89
7.63/7.84 c abscon : 78.43
7.63/7.84 c
7.63/7.84 c
7.63/7.84 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-4_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 > 16.825200 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.805450 | c 14 > 9.521600 | c 11 > 4.392320 | c 12 > 11.706500 | 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.63/7.84 c choco : 1801.0
7.63/7.84 c mistral : 27.34
7.63/7.84 c abscon : 38.51
7.63/7.84 c
7.63/7.84 c
7.63/7.84 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-28_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 > 16.787000 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.807150 | c 14 > 9.539160 | c 11 > 4.392320 | c 12 > 11.722000 | 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.63/7.85 c choco : 1801.0
7.63/7.85 c mistral : 27.5
7.63/7.85 c abscon : 143.02
7.63/7.85 c
7.63/7.85 c
7.63/7.85 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-24_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 > 16.751100 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.220840 | c 14 > 9.449150 | c 11 > 4.392320 | c 12 > 11.884800 | 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.63/7.86 c choco : 1801.0
7.63/7.86 c mistral : 20.71
7.63/7.86 c abscon : 112.94
7.63/7.86 c
7.63/7.86 c
7.63/7.86 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-9_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 > 16.827700 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.754500 | c 14 > 9.631180 | c 11 > 4.392320 | c 12 > 12.041800 | 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.63/7.87 c choco : 1801.0
7.63/7.87 c mistral : 16.52
7.63/7.87 c abscon : 8.65
7.63/7.87 c
7.63/7.87 c
7.63/7.87 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-30_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 > 16.687300 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.194530 | c 14 > 9.485830 | c 11 > 4.392320 | c 12 > 11.890700 | 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.63/7.87 c choco : 1801.0
7.63/7.87 c mistral : 36.67
7.63/7.87 c abscon : 148.43
7.63/7.87 c
7.63/7.87 c
7.63/7.87 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-2_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 > 16.797900 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.643850 | c 14 > 9.517670 | c 11 > 4.392320 | c 12 > 11.696800 | 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.63/7.88 c choco : 1801.0
7.63/7.88 c mistral : 21.48
7.63/7.88 c abscon : 18.4
7.63/7.88 c
7.63/7.88 c
7.63/7.88 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-21_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 > 16.765600 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.882100 | c 14 > 9.509780 | c 11 > 4.392320 | c 12 > 11.946000 | 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.63/7.88 c choco : 1801.0
7.63/7.88 c mistral : 21.19
7.63/7.88 c abscon : 137.86
7.63/7.88 c
7.63/7.88 c
7.63/7.88 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-13_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 > 16.702300 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 8.093350 | c 14 > 9.430450 | c 11 > 4.392320 | c 12 > 11.874700 | 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.63/7.89 c choco : 1801.0
7.63/7.89 c mistral : 37.04
7.63/7.89 c abscon : 151.12
7.63/7.89 c
7.63/7.89 c
7.63/7.89 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-29_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 > 16.776200 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.405220 | c 14 > 9.541100 | c 11 > 4.392320 | c 12 > 11.695400 | 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.63/7.90 c choco : 1801.0
7.63/7.90 c mistral : 35.56
7.63/7.90 c abscon : 158.55
7.63/7.90 c
7.63/7.90 c
7.68/7.90 c Length: 40
7.68/7.90 c 102.46768010538543 103.32047688386317 104.41889942729476 105.75910633378102 107.33770579143751 109.15329009592334 111.20954965694314 111.42385977362704 111.48115706469052 112.10234771444173 113.52292697705958 113.67214340179302 114.01991291342492 114.52972365800592 114.79821724690851 115.05331152805425 115.59191739130077 116.14719459630697 116.59124348028674 116.72139417538502 117.31765956761795 117.94051916807345 118.59677901504872 119.29720543333528 127.25066581891979 127.25284555533325 127.25484076087244 127.25504533416583 127.2552885937441 127.25681959364654 127.25828063722061 127.26041661635207 127.2613530717912 127.26165211870345 127.2629829861433 127.26315096824533 127.26371430787489 127.26475553651687 127.26508373677362 127.26778866339983
7.68/7.90 c
7.68/7.90 c 1.0 0.9667563277027883 0.9270608423377114 0.8828320968070458 0.8358610161318698 0.7876621433864239 0.7393752532125414 0.7346811471625189 0.7334362262562086 0.7202053074975481 0.6916709724617508 0.6888044290122147 0.6822148897724905 0.672779724948817 0.6679148205150476 0.6633574344343144 0.6539363568741414 0.6444997791811835 0.6371471992867725 0.6350238437408391 0.6254742371656393 0.6158006806848634 0.6059269185116607 0.5957320841674744 0.5001726681717993 0.5001506809064338 0.5001305567208353 0.5001284934305061 0.5001260399792558 0.5001105992748978 0.5000958649952151 0.500074325712081 0.5000648830499591 0.5000618677130988 0.5000484488092458 0.5000467551262497 0.5000410753266097 0.5000305776118622 0.5000272687732389 0.5
7.68/7.91 c
7.68/7.91 c solver 0
7.68/7.91 c before 0.0 seconds: {} 0
7.68/7.91 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, 28, 34} 18408
7.68/7.91 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, 28, 34, 36} 18908
7.68/7.91 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, 28, 31, 34, 36} 19408
7.68/7.91 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, 25, 28, 31, 34, 36} 19908
7.68/7.91 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, 25, 28, 30, 31, 34, 36} 20408
7.68/7.91 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, 25, 26, 28, 30, 31, 34, 36} 20908
7.68/7.91 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, 25, 26, 27, 28, 30, 31, 33, 34, 36} 21909
7.68/7.92 c before 144.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, 25, 26, 27, 28, 30, 31, 32, 33, 34, 36, 37} 22909
7.68/7.92 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, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25409
7.68/7.92 c
7.68/7.92 c solver 1
7.68/7.92 c before 0.0 seconds: {} 0
7.68/7.92 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, 34} 17908
7.68/7.92 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, 36, 37, 39} 24409
7.68/7.92 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} 25409
7.68/7.92 c
7.68/7.92 c solver 2
7.68/7.92 c before 0.0 seconds: {} 0
7.68/7.92 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} 17408
7.68/7.92 c
7.68/7.92 cTotal time: 13
7.68/7.92 c 234.0 seconds unused
7.68/7.92 c 0 c 0 c 16
7.68/7.92 c 0 c 0 c 16
7.68/7.92 c 0 c 0 c 0
7.68/7.92 c is solver0 dominated by:
7.68/7.92 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.68/7.92 c is dominated? true
7.68/7.92 c
7.68/7.92 c is solver1 dominated by:
7.68/7.92 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.68/7.92 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: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.68/7.92 c is dominated? false
7.68/7.92 c
7.68/7.92 c is solver2 dominated by:
7.68/7.92 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: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.68/7.92 c is dominated? true
7.68/7.92 c
7.68/7.92 c Number of non-dominated solvers: 1
7.68/7.92 c remove dominated solvers
7.68/7.92 c solver 1 is not dominated by another solver
7.68/7.92 c solver 2 is dominated by another solver
7.68/7.92 c solver 0 is dominated by another solver
7.68/7.92 c
7.68/7.92 c solver 0: 0.0
7.68/7.92 c
7.68/7.92 c solver 1: 54.0
7.68/7.92 c
7.68/7.92 c+ 3/3 of 97
7.68/7.92 c
7.68/7.92 c solver 2: 0.0
7.68/7.92 c do not run abscon
7.68/7.92 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} 25409
7.68/7.92 c do not run choco
7.68/7.92 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.68/7.92 c On Instance: HOME/instance-1046553-1215028566.xml
7.68/7.92 c Running for: 1800 seconds