0.00/0.00 c cpHydra_k_40 version 0.0
6.91/7.20 c CASE TO CLASSIFY:
6.91/7.20 c Case: 0
7.01/7.20 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 70.922000 | c 18 > 29.078000 | c 33 > -1.000000 | c 15 > 20.698600 | c 34 > -1.000000 | c 16 > 100.000000 | c 13 > 9.132240 | c 14 > 12.550000 | c 11 > 8.228820 | c 12 > 9.316760 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 10.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 41.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > 100.000000 | c 3 > 8.228820 | c 2 > -1.000000 | c 10 > 12.750500 | 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 > 13.550700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.01/7.21 c choco : 1801.0
7.01/7.21 c mistral : 1801.0
7.01/7.21 c abscon : 1801.0
7.01/7.21 c
7.01/7.21 c
7.01/7.29 c List of same ones: 40
7.01/7.29 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-50_ext.xml
7.01/7.29 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.09/7.30 c choco : 0.8
7.09/7.30 c mistral : 0.01
7.09/7.30 c abscon : 0.621905
7.09/7.30 c
7.09/7.30 c
7.09/7.30 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-45_ext.xml
7.09/7.30 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.09/7.31 c choco : 0.8
7.09/7.31 c mistral : 0.01
7.09/7.31 c abscon : 0.6549
7.09/7.31 c
7.09/7.31 c
7.09/7.31 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-40_ext.xml
7.09/7.31 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.09/7.32 c choco : 0.79
7.09/7.32 c mistral : 0.01
7.09/7.32 c abscon : 0.662898
7.09/7.32 c
7.09/7.32 c
7.09/7.32 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-35_ext.xml
7.09/7.32 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.09/7.33 c choco : 0.79
7.09/7.33 c mistral : 0.010997
7.09/7.33 c abscon : 0.605907
7.09/7.33 c
7.09/7.33 c
7.09/7.33 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-30_ext.xml
7.09/7.33 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.09/7.34 c choco : 0.8
7.09/7.34 c mistral : 0.01
7.09/7.34 c abscon : 0.609906
7.09/7.34 c
7.09/7.34 c
7.09/7.34 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-25_ext.xml
7.09/7.34 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.09/7.35 c choco : 0.77
7.09/7.35 c mistral : 0.01
7.09/7.35 c abscon : 0.601908
7.09/7.35 c
7.09/7.35 c
7.09/7.35 c /home/eomahony/cpZilla/CSP/xml/nengfa/queens2.xml
7.09/7.35 c 19 > 0.000000 | c 35 > 19.807700 | c 17 > 0.000000 | c 18 > 1.421800 | c 33 > 0.000000 | c 15 > 15.868300 | c 34 > 19.807700 | c 16 > 104.000000 | c 13 > 5.052650 | c 14 > 6.523560 | c 11 > 8.276120 | c 12 > 5.750310 | c 21 > 10.198000 | c 20 > 98.578200 | c 22 > 10.198000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 3.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.276120 | c 2 > -1.000000 | c 10 > 13.990500 | 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 > 14.976600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.36 c choco : 7.96
7.09/7.36 c mistral : 0.043992
7.09/7.36 c abscon : 4.92825
7.09/7.36 c
7.09/7.36 c
7.09/7.36 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-20_ext.xml
7.09/7.36 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.09/7.37 c choco : 0.77
7.09/7.37 c mistral : 0.009997
7.09/7.37 c abscon : 0.618905
7.09/7.37 c
7.09/7.37 c
7.09/7.37 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-18_ext.xml
7.09/7.37 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.09/7.37 c choco : 0.79
7.09/7.37 c mistral : 0.01
7.09/7.37 c abscon : 0.600907
7.09/7.37 c
7.09/7.37 c
7.09/7.37 c /home/eomahony/cpZilla/CSP/xml/latinSquare/latinSquare-dg-7_all.xml
7.09/7.37 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.09/7.38 c choco : 1.0
7.09/7.38 c mistral : 0.014997
7.09/7.38 c abscon : 0.732888
7.09/7.38 c
7.09/7.38 c
7.09/7.38 c /home/eomahony/cpZilla/CSP/xml/latinSquare/latinSquare-dg-6_all.xml
7.09/7.38 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.27/7.58 c choco : 2.76
7.27/7.58 c mistral : 0.04
7.27/7.58 c abscon : 1.21281
7.27/7.58 c
7.27/7.58 c
7.27/7.58 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-15_ext.xml
7.27/7.58 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.27/7.59 c choco : 0.77
7.27/7.59 c mistral : 0.01
7.27/7.59 c abscon : 0.618905
7.27/7.59 c
7.27/7.59 c
7.27/7.59 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-14_ext.xml
7.27/7.59 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.37/7.61 c choco : 0.76
7.37/7.61 c mistral : 0.01
7.37/7.61 c abscon : 0.613906
7.37/7.61 c
7.37/7.61 c
7.37/7.61 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-13_ext.xml
7.37/7.61 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.37/7.61 c choco : 0.76
7.37/7.61 c mistral : 0.01
7.37/7.61 c abscon : 0.603908
7.37/7.61 c
7.37/7.61 c
7.37/7.61 c /home/eomahony/cpZilla/CSP/xml/latinSquare/latinSquare-dg-5_all.xml
7.37/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.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.37/7.62 c choco : 0.91
7.37/7.62 c mistral : 0.01
7.37/7.62 c abscon : 0.623904
7.37/7.62 c
7.37/7.62 c
7.37/7.62 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-12_ext.xml
7.37/7.62 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.37/7.62 c choco : 0.75
7.37/7.62 c mistral : 0.01
7.37/7.63 c abscon : 0.58791
7.37/7.63 c
7.37/7.63 c
7.37/7.63 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-11_ext.xml
7.37/7.63 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.37/7.63 c choco : 0.76
7.37/7.63 c mistral : 0.009998
7.37/7.63 c abscon : 0.600908
7.37/7.63 c
7.37/7.63 c
7.37/7.63 c /home/eomahony/cpZilla/CSP/xml/latinSquare/latinSquare-dg-4_all.xml
7.37/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.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.37/7.64 c choco : 0.85
7.37/7.64 c mistral : 0.01
7.37/7.64 c abscon : 0.6499
7.37/7.64 c
7.37/7.64 c
7.37/7.64 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-10_ext.xml
7.37/7.64 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.37/7.64 c choco : 0.77
7.37/7.64 c mistral : 0.01
7.37/7.64 c abscon : 0.591909
7.37/7.64 c
7.37/7.64 c
7.37/7.64 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-9_ext.xml
7.37/7.64 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.37/7.65 c choco : 0.76
7.37/7.66 c mistral : 0.01
7.37/7.66 c abscon : 0.623904
7.37/7.66 c
7.37/7.66 c
7.37/7.66 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-35_ext.xml
7.37/7.66 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.37/7.67 c choco : 1801.0
7.37/7.67 c mistral : 22.94
7.37/7.67 c abscon : 161.89
7.37/7.67 c
7.37/7.67 c
7.37/7.67 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-7_ext.xml
7.37/7.67 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.37/7.67 c choco : 1801.0
7.37/7.67 c mistral : 20.66
7.37/7.67 c abscon : 56.28
7.37/7.67 c
7.37/7.67 c
7.37/7.67 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-19_ext.xml
7.37/7.67 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.37/7.68 c choco : 1801.0
7.37/7.68 c mistral : 23.56
7.37/7.68 c abscon : 118.29
7.37/7.68 c
7.37/7.68 c
7.37/7.68 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-6_ext.xml
7.37/7.68 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.37/7.68 c choco : 1801.0
7.37/7.69 c mistral : 28.26
7.37/7.69 c abscon : 107.14
7.37/7.69 c
7.37/7.69 c
7.37/7.69 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-31_ext.xml
7.37/7.69 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.37/7.69 c choco : 1801.0
7.37/7.69 c mistral : 34.27
7.37/7.69 c abscon : 150.03
7.37/7.69 c
7.37/7.69 c
7.37/7.69 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-4_ext.xml
7.37/7.69 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.37/7.70 c choco : 1801.0
7.37/7.70 c mistral : 27.34
7.37/7.70 c abscon : 38.51
7.37/7.70 c
7.37/7.70 c
7.37/7.70 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-11_ext.xml
7.37/7.70 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.42/7.70 c choco : 1801.0
7.42/7.70 c mistral : 29.97
7.42/7.70 c abscon : 16.0
7.42/7.70 c
7.42/7.70 c
7.42/7.70 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-34_ext.xml
7.42/7.70 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.42/7.71 c choco : 1801.0
7.42/7.71 c mistral : 18.89
7.42/7.71 c abscon : 78.43
7.42/7.71 c
7.42/7.71 c
7.42/7.71 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-28_ext.xml
7.42/7.71 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.42/7.71 c choco : 1801.0
7.42/7.71 c mistral : 27.5
7.42/7.71 c abscon : 143.02
7.42/7.71 c
7.42/7.71 c
7.42/7.71 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-2_ext.xml
7.42/7.71 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.42/7.72 c choco : 1801.0
7.42/7.72 c mistral : 21.48
7.42/7.72 c abscon : 18.4
7.42/7.72 c
7.42/7.72 c
7.42/7.72 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-24_ext.xml
7.42/7.72 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.42/7.73 c choco : 1801.0
7.42/7.73 c mistral : 20.71
7.42/7.73 c abscon : 112.94
7.42/7.73 c
7.42/7.73 c
7.42/7.73 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-9_ext.xml
7.42/7.73 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.42/7.73 c choco : 1801.0
7.42/7.73 c mistral : 16.52
7.42/7.73 c abscon : 8.65
7.42/7.73 c
7.42/7.73 c
7.42/7.73 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-30_ext.xml
7.42/7.73 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.42/7.74 c choco : 1801.0
7.42/7.74 c mistral : 36.67
7.42/7.74 c abscon : 148.43
7.42/7.74 c
7.42/7.74 c
7.42/7.74 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-29_ext.xml
7.42/7.74 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.42/7.75 c choco : 1801.0
7.42/7.75 c mistral : 35.56
7.42/7.75 c abscon : 158.55
7.42/7.75 c
7.42/7.75 c
7.42/7.75 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-21_ext.xml
7.42/7.75 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.42/7.75 c choco : 1801.0
7.42/7.75 c mistral : 21.19
7.42/7.75 c abscon : 137.86
7.42/7.75 c
7.42/7.75 c
7.42/7.75 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-15_ext.xml
7.42/7.75 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.715100 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.575040 | c 14 > 9.487840 | c 11 > 4.392320 | c 12 > 11.684100 | 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.42/7.76 c choco : 1801.0
7.42/7.76 c mistral : 32.7
7.42/7.76 c abscon : 130.24
7.42/7.76 c
7.42/7.76 c
7.42/7.76 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-13_ext.xml
7.42/7.76 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.42/7.76 c choco : 1801.0
7.42/7.76 c mistral : 37.04
7.42/7.76 c abscon : 151.12
7.42/7.76 c
7.42/7.76 c
7.42/7.76 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-22_ext.xml
7.42/7.76 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.781400 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.387060 | c 14 > 9.440870 | c 11 > 4.392320 | c 12 > 11.638700 | 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.42/7.77 c choco : 1801.0
7.42/7.77 c mistral : 33.88
7.42/7.77 c abscon : 115.38
7.42/7.77 c
7.42/7.77 c
7.42/7.77 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-12_ext.xml
7.42/7.77 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.797500 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.534380 | c 14 > 9.491850 | c 11 > 4.392320 | c 12 > 11.914300 | 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.42/7.78 c choco : 1801.0
7.42/7.78 c mistral : 34.95
7.42/7.78 c abscon : 147.12
7.42/7.78 c
7.42/7.78 c
7.42/7.78 c /home/ehebrard/new_instances/competition_4c/data/bddSmall/bdd-21-133-18-78-33_ext.xml
7.42/7.78 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.718800 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 7.725730 | c 14 > 9.383700 | c 11 > 4.392320 | c 12 > 11.800700 | 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.42/7.78 c choco : 1801.0
7.42/7.78 c mistral : 33.98
7.42/7.78 c abscon : 137.92
7.42/7.78 c
7.42/7.78 c
7.42/7.79 c Length: 40
7.42/7.79 c 121.35017035704729 123.5525193797492 125.92694996196445 128.467357838556 131.16915746476988 134.03049685678553 134.4247304643673 137.05481097734474 138.3128769663244 139.13684096144414 139.64927078668364 140.257276163382 140.92225749009063 141.59663026538166 141.89558834661844 142.28122991135933 142.97713972593 143.3085238246881 143.68579833919566 144.40915663624102 144.41644126589878 144.41650520261837 144.41816940573995 144.41923693787956 144.4196427833773 144.42124088594414 144.42172738474463 144.42177347549088 144.42214501583717 144.42347294279003 144.4246262322264 144.42533206974392 144.42587471983958 144.4262039355885 144.42657766349583 144.42687915542382 144.42705256049643 144.42748131757023 144.42894581491586 144.42943483922485
7.42/7.79 c
7.42/7.79 c 1.0 0.9128873233396735 0.8345106917495533 0.7643038496685728 0.7015346824468616 0.6454006840807859 0.6383630153718767 0.595073250648624 0.576376832935252 0.5647555704594592 0.5577616353706671 0.5496846791848591 0.5411144924640867 0.5326919470325527 0.5290414319261502 0.5244056931515025 0.516242646586304 0.5124441640739713 0.5081871436843469 0.5002197547875049 0.5001407890624301 0.5001400960957799 0.5001220596046543 0.5001104904674816 0.5001060923494718 0.5000887745807127 0.5000835028958106 0.5000830034637732 0.5000789775477686 0.5000645890013664 0.5000520933844685 0.5000444461107978 0.5000385670218653 0.50003500035502 0.5000309515127643 0.5000276852985582 0.500025806733225 0.5000211618998581 0.5000052972820079 0.5
7.49/7.80 c
7.49/7.80 c solver 0
7.49/7.80 c before 0.0 seconds: {} 0
7.49/7.80 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, 26, 31} 13505
7.49/7.80 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, 26, 29, 31} 14005
7.49/7.80 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, 25, 26, 29, 31} 14505
7.49/7.80 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, 21, 25, 26, 29, 31} 15005
7.49/7.80 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, 21, 25, 26, 27, 29, 31} 15505
7.49/7.80 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, 21, 23, 25, 26, 27, 29, 31} 16005
7.49/7.80 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, 21, 22, 23, 25, 26, 27, 29, 30, 31, 37} 17505
7.49/7.80 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, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 34, 35, 37, 39} 19505
7.49/7.80 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} 22506
7.49/7.80 c
7.49/7.80 c solver 1
7.49/7.80 c before 0.0 seconds: {} 0
7.49/7.80 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, 31} 13005
7.49/7.80 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, 33, 34, 35, 37, 38, 39} 21506
7.49/7.80 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} 22506
7.49/7.80 c
7.49/7.80 c solver 2
7.49/7.80 c before 0.0 seconds: {} 0
7.49/7.80 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} 12504
7.49/7.80 c
7.49/7.80 cTotal time: 13
7.49/7.80 c 234.0 seconds unused
7.49/7.80 c 0 c 0 c 20
7.49/7.80 c 0 c 0 c 20
7.49/7.80 c 0 c 0 c 0
7.49/7.80 c is solver0 dominated by:
7.49/7.80 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.49/7.80 c is dominated? true
7.49/7.80 c
7.49/7.80 c is solver1 dominated by:
7.49/7.80 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.49/7.80 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.49/7.80 c is dominated? false
7.49/7.80 c
7.49/7.81 c is solver2 dominated by:
7.49/7.81 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.49/7.81 c is dominated? true
7.49/7.81 c
7.49/7.81 c Number of non-dominated solvers: 1
7.49/7.81 c remove dominated solvers
7.49/7.81 c solver 1 is not dominated by another solver
7.49/7.81 c solver 2 is dominated by another solver
7.49/7.81 c solver 0 is dominated by another solver
7.49/7.81 c
7.49/7.81 c solver 0: 0.0
7.49/7.81 c
7.49/7.81 c solver 1: 54.0
7.49/7.81 c
7.49/7.81 c+ 3/3 of 97
7.49/7.81 c
7.49/7.81 c solver 2: 0.0
7.49/7.81 c do not run abscon
7.49/7.81 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} 22506
7.49/7.81 c do not run choco
7.49/7.81 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.49/7.81 c On Instance: HOME/instance-1046558-1215458977.xml
7.49/7.81 c Running for: 1800 seconds