0.00/0.00 c cpHydra_k_40 version 0.0
7.33/8.07 c CASE TO CLASSIFY:
7.33/8.07 c Case: 0
7.33/8.07 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.040000 | c 34 > 0.000000 | c 16 > 41.000000 | c 13 > -3.169930 | c 14 > 10.164900 | c 11 > 13.661600 | c 12 > 0.990953 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.240500 | c 1 > 11.679500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.240500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.215600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.33/8.09 c choco : 1801.0
7.33/8.09 c mistral : 1801.0
7.33/8.09 c abscon : 1801.0
7.33/8.09 c
7.33/8.09 c
7.42/8.16 c List of same ones: 40
7.42/8.16 c /home/eomahony/cpZilla/CSP/mknap/mknap-1-5.xml
7.42/8.16 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.681500 | c 34 > 0.000000 | c 16 > 39.000000 | c 13 > 7.137040 | c 14 > 12.284800 | c 11 > 7.813780 | c 12 > 6.405690 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.721100 | c 1 > 5.285400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.633000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.955800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/8.17 c choco : 13.25
7.42/8.17 c mistral : 1800.06
7.42/8.17 c abscon : 1800.12
7.42/8.17 c
7.42/8.17 c
7.42/8.17 c /home/eomahony/cpZilla/CSP/mknap/mknap-1-4.xml
7.42/8.17 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.357900 | c 34 > 0.000000 | c 16 > 28.000000 | c 13 > 5.250700 | c 14 > 11.671100 | c 11 > 8.149750 | c 12 > 3.483250 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.189820 | c 1 > 4.807350 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.144660 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.607200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/8.18 c choco : 3.4
7.42/8.18 c mistral : 0.6499
7.42/8.18 c abscon : 1800.09
7.42/8.18 c
7.42/8.18 c
7.42/8.18 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-sentoy.xml
7.42/8.18 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.594100 | c 34 > 0.000000 | c 16 > 60.000000 | c 13 > 2.866770 | c 14 > 5.906890 | c 11 > 9.787900 | c 12 > 1.569650 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.801700 | c 1 > 5.906890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.801700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.631700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/8.19 c choco : 1.87
7.42/8.19 c mistral : 0.18
7.42/8.19 c abscon : 4.96824
7.42/8.19 c
7.42/8.19 c
7.42/8.19 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-railway-8-1-0.xml
7.42/8.19 c 19 > 0.000000 | c 35 > 5.794660 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.142400 | c 15 > 20.075600 | c 34 > 8.175460 | c 16 > 61.000000 | c 13 > 1.308440 | c 14 > 6.672430 | c 11 > 14.269300 | c 12 > 2.900980 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 17.795800 | c 1 > 14.269300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 17.795800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 28.081300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.51/8.20 c choco : 102.98
7.51/8.20 c mistral : 4.17336
7.51/8.20 c abscon : 1800.15
7.51/8.20 c
7.51/8.20 c
7.51/8.20 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-usAbbrv-8-25-70.xml
7.51/8.20 c 19 > 0.000000 | c 35 > 7.157060 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.408470 | c 15 > 20.387000 | c 34 > 10.295800 | c 16 > 61.000000 | c 13 > 2.162170 | c 14 > 6.108520 | c 11 > 14.331100 | c 12 > 3.131810 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 18.086600 | c 1 > 14.331100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 18.086600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 27.901800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.51/8.21 c choco : 87.71
7.51/8.21 c mistral : 5.19221
7.51/8.21 c abscon : 1800.21
7.51/8.21 c
7.51/8.21 c
7.51/8.21 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-berlin-5-8_0.xml
7.51/8.21 c 19 > 0.000000 | c 35 > 7.226800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.258650 | c 15 > 20.406900 | c 34 > 10.356900 | c 16 > 61.000000 | c 13 > 1.893710 | c 14 > 7.800900 | c 11 > 13.208200 | c 12 > 3.151280 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 16.983300 | c 1 > 13.208200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 16.983300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 31.463400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.51/8.22 c choco : 39.61
7.51/8.22 c mistral : 3.73243
7.51/8.22 c abscon : 1800.12
7.51/8.22 c
7.51/8.22 c
7.51/8.22 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-10.xml
7.51/8.22 c 19 > 0.000000 | c 35 > 0.024133 | c 17 > 3.717690 | c 18 > 0.000000 | c 33 > 0.018100 | c 15 > 17.426400 | c 34 > 0.018100 | c 16 > 38.000000 | c 13 > 5.357700 | c 14 > 7.179910 | c 11 > 8.184880 | c 12 > 6.007880 | c 21 > 5.099020 | c 20 > 96.282300 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 7.500000 | c 28 > 2.500000 | c 29 > -1.000000 | c 3 > 8.184880 | c 2 > -1.000000 | c 10 > 14.506400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.275400 | c 32 > -1.000000 | c 5 > 15.527300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.51/8.23 c choco : 21.77
7.51/8.23 c mistral : 2.2
7.51/8.23 c abscon : 23.37
7.51/8.23 c
7.51/8.23 c
7.51/8.23 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-10.xml
7.51/8.23 c 19 > 0.000000 | c 35 > 0.024133 | c 17 > 3.717690 | c 18 > 0.000000 | c 33 > 0.018100 | c 15 > 17.737000 | c 34 > 0.018100 | c 16 > 38.000000 | c 13 > 5.230290 | c 14 > 6.754890 | c 11 > 8.184880 | c 12 > 5.953720 | c 21 > 5.099020 | c 20 > 96.282300 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 7.500000 | c 28 > 2.500000 | c 29 > -1.000000 | c 3 > 8.184880 | c 2 > -1.000000 | c 10 > 14.506400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.275400 | c 32 > -1.000000 | c 5 > 15.527300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.51/8.24 c choco : 20.02
7.51/8.24 c mistral : 1.4
7.51/8.24 c abscon : 25.81
7.51/8.24 c
7.51/8.24 c
7.51/8.24 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-10.xml
7.51/8.24 c 19 > 0.000000 | c 35 > 0.024133 | c 17 > 3.717690 | c 18 > 0.000000 | c 33 > 0.018100 | c 15 > 17.648900 | c 34 > 0.018100 | c 16 > 38.000000 | c 13 > 5.339450 | c 14 > 7.044390 | c 11 > 8.184880 | c 12 > 5.989430 | c 21 > 5.099020 | c 20 > 96.282300 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 7.500000 | c 28 > 2.500000 | c 29 > -1.000000 | c 3 > 8.184880 | c 2 > -1.000000 | c 10 > 14.506400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.275400 | c 32 > -1.000000 | c 5 > 15.527300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.51/8.24 c choco : 21.82
7.51/8.24 c mistral : 2.18
7.51/8.24 c abscon : 24.45
7.51/8.24 c
7.51/8.24 c
7.51/8.24 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c4.xml
7.51/8.24 c 19 > 3.510480 | c 35 > 17.836800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.106290 | c 15 > 19.658400 | c 34 > 18.538900 | c 16 > 32.000000 | c 13 > 7.016210 | c 14 > 5.754890 | c 11 > 10.568000 | c 12 > 6.261040 | c 21 > 1.414210 | c 20 > 96.489500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 16.532600 | c 1 > 10.568000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 16.521000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.412700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.51/8.25 c choco : 1801.0
7.51/8.25 c mistral : 158.081
7.51/8.25 c abscon : 1800.11
7.51/8.25 c
7.51/8.25 c
7.51/8.25 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b4.xml
7.51/8.25 c 19 > 5.219890 | c 35 > 18.138100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.131940 | c 15 > 19.632900 | c 34 > 19.182100 | c 16 > 32.000000 | c 13 > 5.469140 | c 14 > 7.312880 | c 11 > 9.573650 | c 12 > 5.562700 | c 21 > 1.414210 | c 20 > 94.780100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.808400 | c 1 > 9.573650 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.789100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.646000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.51/8.26 c choco : 1801.0
7.51/8.26 c mistral : 68.1926
7.51/8.26 c abscon : 1398.64
7.51/8.26 c
7.51/8.26 c
7.51/8.26 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e4.xml
7.51/8.26 c 19 > 5.164820 | c 35 > 18.205000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.098890 | c 15 > 19.645000 | c 34 > 19.238000 | c 16 > 32.000000 | c 13 > 5.455050 | c 14 > 7.266790 | c 11 > 9.596190 | c 12 > 5.548950 | c 21 > 1.414210 | c 20 > 94.835200 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.809200 | c 1 > 9.596190 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.789600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.635700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.51/8.28 c choco : 1801.0
7.51/8.28 c mistral : 38.2112
7.51/8.28 c abscon : 762.347
7.51/8.28 c
7.51/8.28 c
7.51/8.28 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b3.xml
7.51/8.28 c 19 > 5.721800 | c 35 > 18.132200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.433080 | c 15 > 19.664900 | c 34 > 19.276600 | c 16 > 32.000000 | c 13 > 5.224600 | c 14 > 7.276120 | c 11 > 9.442940 | c 12 > 5.434720 | c 21 > 1.414210 | c 20 > 94.278200 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.548000 | c 1 > 9.442940 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.526900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.386700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.51/8.29 c choco : 1801.0
7.51/8.29 c mistral : 34.6827
7.51/8.29 c abscon : 227.057
7.51/8.29 c
7.51/8.29 c
7.51/8.29 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e5.xml
7.51/8.29 c 19 > 4.293470 | c 35 > 18.659300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.576080 | c 15 > 19.700800 | c 34 > 19.518000 | c 16 > 32.000000 | c 13 > 5.665320 | c 14 > 7.247930 | c 11 > 10.027900 | c 12 > 5.597150 | c 21 > 1.414210 | c 20 > 95.706500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.227600 | c 1 > 10.027900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.207900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.956300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/8.30 c choco : 1801.0
7.58/8.30 c mistral : 28.4527
7.58/8.30 c abscon : 1800.08
7.58/8.30 c
7.58/8.30 c
7.58/8.30 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-01.xml
7.58/8.30 c 19 > 0.000000 | c 35 > 0.141343 | c 17 > 5.729510 | c 18 > 0.000000 | c 33 > 0.106007 | c 15 > 17.679500 | c 34 > 0.106007 | c 16 > 46.000000 | c 13 > 4.352280 | c 14 > 6.768180 | c 11 > 8.781360 | c 12 > 5.838060 | c 21 > 5.099020 | c 20 > 94.270500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.883720 | c 28 > 5.116280 | c 29 > -1.000000 | c 3 > 8.781360 | c 2 > -1.000000 | c 10 > 14.380100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.161100 | c 32 > -1.000000 | c 5 > 15.553100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/8.30 c choco : 1801.0
7.58/8.30 c mistral : 9.38
7.58/8.30 c abscon : 26.77
7.58/8.30 c
7.58/8.30 c
7.58/8.30 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-01.xml
7.58/8.30 c 19 > 0.000000 | c 35 > 0.141343 | c 17 > 5.729510 | c 18 > 0.000000 | c 33 > 0.106007 | c 15 > 17.829400 | c 34 > 0.106007 | c 16 > 46.000000 | c 13 > 4.393390 | c 14 > 6.807350 | c 11 > 8.781360 | c 12 > 5.873160 | c 21 > 5.099020 | c 20 > 94.270500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.883720 | c 28 > 5.116280 | c 29 > -1.000000 | c 3 > 8.781360 | c 2 > -1.000000 | c 10 > 14.380100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.161100 | c 32 > -1.000000 | c 5 > 15.553100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.68/8.49 c choco : 29.9
7.68/8.49 c mistral : 6.32
7.68/8.49 c abscon : 30.52
7.68/8.49 c
7.68/8.49 c
7.68/8.49 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e3.xml
7.68/8.49 c 19 > 6.168220 | c 35 > 18.358900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.700930 | c 15 > 19.678100 | c 34 > 19.592500 | c 16 > 32.000000 | c 13 > 4.952670 | c 14 > 7.531380 | c 11 > 9.366320 | c 12 > 5.241470 | c 21 > 1.414210 | c 20 > 93.831800 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.233000 | c 1 > 9.366320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.208100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.031600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/8.50 c choco : 1801.0
7.77/8.50 c mistral : 38.3842
7.77/8.50 c abscon : 864.371
7.77/8.50 c
7.77/8.50 c
7.77/8.50 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32a1.xml
7.77/8.50 c 19 > 4.746150 | c 35 > 19.093200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.847690 | c 15 > 19.726400 | c 34 > 20.042400 | c 16 > 32.000000 | c 13 > 4.856550 | c 14 > 7.276120 | c 11 > 9.842350 | c 12 > 5.211620 | c 21 > 1.414210 | c 20 > 95.253900 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.565700 | c 1 > 9.842350 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.538100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.139100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/8.51 c choco : 1801.0
7.77/8.51 c mistral : 171.472
7.77/8.51 c abscon : 613.015
7.77/8.51 c
7.77/8.51 c
7.77/8.51 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-05.xml
7.77/8.51 c 19 > 0.000000 | c 35 > 0.033085 | c 17 > 4.952830 | c 18 > 0.000000 | c 33 > 0.024814 | c 15 > 17.119600 | c 34 > 0.024814 | c 16 > 32.000000 | c 13 > 4.903700 | c 14 > 7.219170 | c 11 > 8.184880 | c 12 > 5.537290 | c 21 > 5.099020 | c 20 > 95.047200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.904760 | c 28 > 3.095240 | c 29 > -1.000000 | c 3 > 8.184880 | c 2 > -1.000000 | c 10 > 14.059300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.826500 | c 32 > -1.000000 | c 5 > 15.160400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/8.51 c choco : 20.18
7.77/8.51 c mistral : 2.03
7.77/8.51 c abscon : 21.47
7.77/8.51 c
7.77/8.51 c
7.77/8.51 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-05.xml
7.77/8.51 c 19 > 0.000000 | c 35 > 0.033085 | c 17 > 4.952830 | c 18 > 0.000000 | c 33 > 0.024814 | c 15 > 17.329200 | c 34 > 0.024814 | c 16 > 32.000000 | c 13 > 4.834790 | c 14 > 6.906890 | c 11 > 8.184880 | c 12 > 5.535160 | c 21 > 5.099020 | c 20 > 95.047200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.904760 | c 28 > 3.095240 | c 29 > -1.000000 | c 3 > 8.184880 | c 2 > -1.000000 | c 10 > 14.059300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.826500 | c 32 > -1.000000 | c 5 > 15.160400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/8.52 c choco : 19.76
7.77/8.52 c mistral : 2.49
7.77/8.52 c abscon : 20.72
7.77/8.52 c
7.77/8.52 c
7.77/8.52 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-15-02.xml
7.77/8.52 c 19 > 0.000000 | c 35 > 0.416667 | c 17 > 8.474580 | c 18 > 0.000000 | c 33 > 0.312500 | c 15 > 16.169200 | c 34 > 0.312500 | c 16 > 30.000000 | c 13 > 2.531960 | c 14 > 6.375040 | c 11 > 12.394200 | c 12 > 1.123720 | c 21 > 5.099020 | c 20 > 91.525400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.500000 | c 28 > 3.500000 | c 29 > -1.000000 | c 3 > 7.577430 | c 2 > -1.000000 | c 10 > 12.583100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.342100 | c 32 > -1.000000 | c 5 > 13.906000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/8.53 c choco : 18.75
7.77/8.53 c mistral : 3.84
7.77/8.53 c abscon : 18.7
7.77/8.53 c
7.77/8.53 c
7.77/8.53 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-15-02.xml
7.77/8.53 c 19 > 0.000000 | c 35 > 0.416667 | c 17 > 8.474580 | c 18 > 0.000000 | c 33 > 0.312500 | c 15 > 15.504700 | c 34 > 0.312500 | c 16 > 30.000000 | c 13 > 2.495110 | c 14 > 6.247930 | c 11 > 12.394200 | c 12 > 1.102280 | c 21 > 5.099020 | c 20 > 91.525400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.500000 | c 28 > 3.500000 | c 29 > -1.000000 | c 3 > 7.577430 | c 2 > -1.000000 | c 10 > 12.583100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.342100 | c 32 > -1.000000 | c 5 > 13.906000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/8.53 c choco : 13.14
7.77/8.53 c mistral : 2.39
7.77/8.53 c abscon : 17.53
7.77/8.53 c
7.77/8.53 c
7.77/8.53 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-09.xml
7.77/8.53 c 19 > 0.000000 | c 35 > 0.034760 | c 17 > 3.642450 | c 18 > 0.000000 | c 33 > 0.026070 | c 15 > 18.540000 | c 34 > 0.026070 | c 16 > 34.000000 | c 13 > 5.581650 | c 14 > 7.179910 | c 11 > 8.823370 | c 12 > 6.643350 | c 21 > 5.099020 | c 20 > 96.357500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.758620 | c 28 > 7.241380 | c 29 > -1.000000 | c 3 > 8.823370 | c 2 > -1.000000 | c 10 > 15.275700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 15.090500 | c 32 > -1.000000 | c 5 > 16.315500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/8.54 c choco : 36.39
7.77/8.54 c mistral : 6.47
7.77/8.54 c abscon : 35.18
7.77/8.54 c
7.77/8.54 c
7.77/8.54 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-09.xml
7.77/8.54 c 19 > 0.000000 | c 35 > 0.034760 | c 17 > 3.642450 | c 18 > 0.000000 | c 33 > 0.026070 | c 15 > 18.219100 | c 34 > 0.026070 | c 16 > 34.000000 | c 13 > 5.587650 | c 14 > 6.807350 | c 11 > 8.823370 | c 12 > 6.640800 | c 21 > 5.099020 | c 20 > 96.357500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.758620 | c 28 > 7.241380 | c 29 > -1.000000 | c 3 > 8.823370 | c 2 > -1.000000 | c 10 > 15.275700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 15.090500 | c 32 > -1.000000 | c 5 > 16.315500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/8.55 c choco : 63.84
7.77/8.55 c mistral : 16.07
7.77/8.55 c abscon : 33.99
7.77/8.55 c
7.77/8.55 c
7.77/8.55 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-05.xml
7.77/8.55 c 19 > 0.000000 | c 35 > 0.033085 | c 17 > 4.952830 | c 18 > 0.000000 | c 33 > 0.024814 | c 15 > 19.425400 | c 34 > 0.024814 | c 16 > 32.000000 | c 13 > 5.308190 | c 14 > 7.108520 | c 11 > 8.184880 | c 12 > 6.322920 | c 21 > 5.099020 | c 20 > 95.047200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.904760 | c 28 > 3.095240 | c 29 > -1.000000 | c 3 > 8.184880 | c 2 > -1.000000 | c 10 > 14.059300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.826500 | c 32 > -1.000000 | c 5 > 15.160400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/8.55 c choco : 45.83
7.77/8.55 c mistral : 5.61
7.77/8.55 c abscon : 26.09
7.77/8.55 c
7.77/8.55 c
7.77/8.55 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c3.xml
7.77/8.55 c 19 > 7.856940 | c 35 > 18.037200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.714170 | c 15 > 19.685700 | c 34 > 19.608600 | c 16 > 32.000000 | c 13 > 4.633610 | c 14 > 7.483820 | c 11 > 9.124120 | c 12 > 5.041490 | c 21 > 1.414210 | c 20 > 92.143100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.820800 | c 1 > 9.124120 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.792700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.674800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/8.56 c choco : 23.56
7.77/8.56 c mistral : 26.173
7.77/8.56 c abscon : 26.201
7.77/8.56 c
7.77/8.56 c
7.77/8.56 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-15-02.xml
7.77/8.56 c 19 > 0.000000 | c 35 > 0.416667 | c 17 > 8.474580 | c 18 > 0.000000 | c 33 > 0.312500 | c 15 > 18.533200 | c 34 > 0.312500 | c 16 > 30.000000 | c 13 > 4.057560 | c 14 > 7.707360 | c 11 > 12.394200 | c 12 > 2.159430 | c 21 > 5.099020 | c 20 > 91.525400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.500000 | c 28 > 3.500000 | c 29 > -1.000000 | c 3 > 7.577430 | c 2 > -1.000000 | c 10 > 12.583100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.342100 | c 32 > -1.000000 | c 5 > 13.906000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/8.56 c choco : 48.64
7.77/8.56 c mistral : 11.68
7.77/8.56 c abscon : 17.17
7.77/8.56 c
7.77/8.56 c
7.77/8.56 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-09.xml
7.77/8.56 c 19 > 0.000000 | c 35 > 0.034760 | c 17 > 3.642450 | c 18 > 0.000000 | c 33 > 0.026070 | c 15 > 19.590800 | c 34 > 0.026070 | c 16 > 34.000000 | c 13 > 5.589500 | c 14 > 7.011230 | c 11 > 8.823370 | c 12 > 6.679060 | c 21 > 5.099020 | c 20 > 96.357500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.758620 | c 28 > 7.241380 | c 29 > -1.000000 | c 3 > 8.823370 | c 2 > -1.000000 | c 10 > 15.275700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 15.090500 | c 32 > -1.000000 | c 5 > 16.315500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/8.57 c choco : 1801.0
7.77/8.57 c mistral : 85.46
7.77/8.57 c abscon : 1801.0
7.77/8.57 c
7.77/8.57 c
7.77/8.57 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-09.xml
7.77/8.57 c 19 > 0.000000 | c 35 > 0.034760 | c 17 > 3.642450 | c 18 > 0.000000 | c 33 > 0.026070 | c 15 > 19.876400 | c 34 > 0.026070 | c 16 > 34.000000 | c 13 > 5.653680 | c 14 > 7.459430 | c 11 > 8.823370 | c 12 > 6.729450 | c 21 > 5.099020 | c 20 > 96.357500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.758620 | c 28 > 7.241380 | c 29 > -1.000000 | c 3 > 8.823370 | c 2 > -1.000000 | c 10 > 15.275700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 15.090500 | c 32 > -1.000000 | c 5 > 16.315500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/8.57 c choco : 1801.0
7.77/8.57 c mistral : 65.6
7.77/8.57 c abscon : 129.44
7.77/8.57 c
7.77/8.57 c
7.77/8.57 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-02.xml
7.77/8.57 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 6.715990 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.796200 | c 34 > 0.000000 | c 16 > 28.000000 | c 13 > 2.604790 | c 14 > 6.882640 | c 11 > 13.489600 | c 12 > 1.094250 | c 21 > 5.099020 | c 20 > 93.284000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.084750 | c 28 > 4.915250 | c 29 > -1.000000 | c 3 > 8.209450 | c 2 > -1.000000 | c 10 > 13.662100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.452000 | c 32 > -1.000000 | c 5 > 14.877900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/8.58 c choco : 18.46
7.77/8.58 c mistral : 7.02
7.77/8.58 c abscon : 21.29
7.77/8.58 c
7.77/8.58 c
7.77/8.58 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-15-02.xml
7.77/8.58 c 19 > 0.000000 | c 35 > 0.416667 | c 17 > 8.474580 | c 18 > 0.000000 | c 33 > 0.312500 | c 15 > 18.915700 | c 34 > 0.312500 | c 16 > 30.000000 | c 13 > 4.167630 | c 14 > 7.741470 | c 11 > 12.394200 | c 12 > 2.251750 | c 21 > 5.099020 | c 20 > 91.525400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.500000 | c 28 > 3.500000 | c 29 > -1.000000 | c 3 > 7.577430 | c 2 > -1.000000 | c 10 > 12.583100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.342100 | c 32 > -1.000000 | c 5 > 13.906000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/8.59 c choco : 50.25
7.77/8.59 c mistral : 30.47
7.77/8.59 c abscon : 18.7
7.77/8.59 c
7.77/8.59 c
7.77/8.59 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-02.xml
7.77/8.59 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 6.715990 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.838900 | c 34 > 0.000000 | c 16 > 28.000000 | c 13 > 2.587220 | c 14 > 6.754890 | c 11 > 13.489600 | c 12 > 1.093020 | c 21 > 5.099020 | c 20 > 93.284000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.084750 | c 28 > 4.915250 | c 29 > -1.000000 | c 3 > 8.209450 | c 2 > -1.000000 | c 10 > 13.662100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.452000 | c 32 > -1.000000 | c 5 > 14.877900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/8.59 c choco : 19.53
7.77/8.59 c mistral : 4.01
7.77/8.59 c abscon : 22.06
7.77/8.59 c
7.77/8.59 c
7.77/8.59 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-09.xml
7.77/8.59 c 19 > 0.000000 | c 35 > 0.249124 | c 17 > 4.816600 | c 18 > 0.000000 | c 33 > 0.186843 | c 15 > 17.244400 | c 34 > 0.186843 | c 16 > 30.000000 | c 13 > 4.884260 | c 14 > 7.375040 | c 11 > 8.204570 | c 12 > 5.528440 | c 21 > 5.099020 | c 20 > 95.183400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 7.230770 | c 28 > 2.769230 | c 29 > -1.000000 | c 3 > 8.204570 | c 2 > -1.000000 | c 10 > 14.090200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.847600 | c 32 > -1.000000 | c 5 > 15.181200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.83/8.60 c choco : 20.09
7.83/8.60 c mistral : 2.12
7.83/8.60 c abscon : 22.53
7.83/8.60 c
7.83/8.60 c
7.83/8.60 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-09.xml
7.83/8.60 c 19 > 0.000000 | c 35 > 0.249124 | c 17 > 4.816600 | c 18 > 0.000000 | c 33 > 0.186843 | c 15 > 18.312000 | c 34 > 0.186843 | c 16 > 30.000000 | c 13 > 4.751900 | c 14 > 7.651050 | c 11 > 8.204570 | c 12 > 5.544980 | c 21 > 5.099020 | c 20 > 95.183400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 7.230770 | c 28 > 2.769230 | c 29 > -1.000000 | c 3 > 8.204570 | c 2 > -1.000000 | c 10 > 14.090200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.847600 | c 32 > -1.000000 | c 5 > 15.181200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.83/8.60 c choco : 19.91
7.83/8.60 c mistral : 1.45
7.83/8.60 c abscon : 23.48
7.83/8.60 c
7.83/8.60 c
7.83/8.60 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-09.xml
7.83/8.60 c 19 > 0.000000 | c 35 > 0.249124 | c 17 > 4.816600 | c 18 > 0.000000 | c 33 > 0.186843 | c 15 > 17.395400 | c 34 > 0.186843 | c 16 > 30.000000 | c 13 > 4.964090 | c 14 > 7.321930 | c 11 > 8.204570 | c 12 > 5.536470 | c 21 > 5.099020 | c 20 > 95.183400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 7.230770 | c 28 > 2.769230 | c 29 > -1.000000 | c 3 > 8.204570 | c 2 > -1.000000 | c 10 > 14.090200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.847600 | c 32 > -1.000000 | c 5 > 15.181200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.83/8.61 c choco : 23.66
7.83/8.61 c mistral : 3.57
7.83/8.61 c abscon : 22.75
7.83/8.61 c
7.83/8.61 c
7.83/8.61 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-02.xml
7.83/8.61 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 6.715990 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.816000 | c 34 > 0.000000 | c 16 > 28.000000 | c 13 > 3.298570 | c 14 > 7.800900 | c 11 > 13.489600 | c 12 > 1.799670 | c 21 > 5.099020 | c 20 > 93.284000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.084750 | c 28 > 4.915250 | c 29 > -1.000000 | c 3 > 8.209450 | c 2 > -1.000000 | c 10 > 13.662100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.452000 | c 32 > -1.000000 | c 5 > 14.877900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.83/8.62 c choco : 32.16
7.83/8.62 c mistral : 3.69
7.83/8.62 c abscon : 29.03
7.83/8.62 c
7.83/8.62 c
7.83/8.62 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-09.xml
7.83/8.62 c 19 > 0.000000 | c 35 > 0.249124 | c 17 > 4.816600 | c 18 > 0.000000 | c 33 > 0.186843 | c 15 > 17.887300 | c 34 > 0.186843 | c 16 > 30.000000 | c 13 > 4.808910 | c 14 > 6.942510 | c 11 > 8.204570 | c 12 > 5.548020 | c 21 > 5.099020 | c 20 > 95.183400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 7.230770 | c 28 > 2.769230 | c 29 > -1.000000 | c 3 > 8.204570 | c 2 > -1.000000 | c 10 > 14.090200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.847600 | c 32 > -1.000000 | c 5 > 15.181200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.83/8.62 c choco : 20.46
7.83/8.63 c mistral : 2.47
7.83/8.63 c abscon : 19.78
7.83/8.63 c
7.83/8.63 c
7.83/8.63 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-02.xml
7.83/8.63 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 6.715990 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.903600 | c 34 > 0.000000 | c 16 > 28.000000 | c 13 > 3.553520 | c 14 > 7.870360 | c 11 > 13.489600 | c 12 > 1.856470 | c 21 > 5.099020 | c 20 > 93.284000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.084750 | c 28 > 4.915250 | c 29 > -1.000000 | c 3 > 8.209450 | c 2 > -1.000000 | c 10 > 13.662100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.452000 | c 32 > -1.000000 | c 5 > 14.877900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.83/8.63 c choco : 1801.0
7.83/8.63 c mistral : 45.88
7.83/8.63 c abscon : 45.36
7.83/8.63 c
7.83/8.63 c
7.83/8.63 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-07.xml
7.83/8.63 c 19 > 0.000000 | c 35 > 0.146325 | c 17 > 4.266160 | c 18 > 0.000000 | c 33 > 0.109744 | c 15 > 17.529400 | c 34 > 0.109744 | c 16 > 30.000000 | c 13 > 5.126920 | c 14 > 7.475730 | c 11 > 8.184880 | c 12 > 5.780010 | c 21 > 5.099020 | c 20 > 95.733800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 7.910450 | c 28 > 2.089550 | c 29 > -1.000000 | c 3 > 8.184880 | c 2 > -1.000000 | c 10 > 14.275500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.026700 | c 32 > -1.000000 | c 5 > 15.321400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.83/8.64 c choco : 22.13
7.83/8.64 c mistral : 4.0
7.83/8.64 c abscon : 22.81
7.83/8.64 c
7.83/8.64 c
7.83/8.64 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-07.xml
7.83/8.64 c 19 > 0.000000 | c 35 > 0.146325 | c 17 > 4.266160 | c 18 > 0.000000 | c 33 > 0.109744 | c 15 > 18.135700 | c 34 > 0.109744 | c 16 > 30.000000 | c 13 > 4.975080 | c 14 > 7.266790 | c 11 > 8.184880 | c 12 > 5.748080 | c 21 > 5.099020 | c 20 > 95.733800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 7.910450 | c 28 > 2.089550 | c 29 > -1.000000 | c 3 > 8.184880 | c 2 > -1.000000 | c 10 > 14.275500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.026700 | c 32 > -1.000000 | c 5 > 15.321400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.83/8.64 c choco : 20.82
7.83/8.64 c mistral : 2.15
7.83/8.64 c abscon : 27.46
7.83/8.64 c
7.83/8.64 c
7.83/8.65 c Length: 40
7.83/8.65 c 17.12182664999471 19.73308524169774 22.31630168890018 27.753537424006492 29.711192397871695 30.55715618065642 31.204654258658895 31.220327941053064 31.220643961586358 31.282981015590078 31.414536338262398 31.460800206975172 31.588974522532208 31.64799683145063 31.656882506652423 31.676005153014422 31.973549947758208 32.044288056801776 32.18396989832352 32.20426060114057 32.32194704531857 32.334712379512794 32.50793720010326 32.522356445314 32.57642027934798 32.592578827145125 32.61375249773657 32.62977262625342 32.647971537229644 32.66481789978339 32.670650620642654 32.67581370272038 32.79800270725861 32.80232151635922 32.829253910393135 32.834088770146934 32.85180939559742 32.88930245963251 32.92635538718104 32.93455009285273
7.83/8.65 c
7.83/8.65 c 1.0 0.8582685009785268 0.7527288065843319 0.5979603614574801 0.5567450808518783 0.5406419175038545 0.5289323289477508 0.5286551648594968 0.5286495795274506 0.5275501402891032 0.5252448411549144 0.524438921064467 0.5222189776882634 0.521203035241388 0.5210504296474289 0.5207223137559667 0.5156696149326163 0.5144827831751377 0.5121551973331023 0.5118188342981851 0.5098766022672829 0.5096668160487564 0.5068370005886381 0.506602862642888 0.505726903473644 0.5054656853007868 0.5051238011347485 0.5048654366629419 0.504572254374417 0.5043011648070105 0.5042073732639931 0.504124378776805 0.5021681828797095 0.5020993182594932 0.5016702994768474 0.5015933603285083 0.5013115662423026 0.5007163924593769 0.5001295923128459 0.5
7.83/8.66 c
7.83/8.66 c solver 0
7.83/8.66 c before 0.0 seconds: {} 0
7.83/8.66 c before 18.0 seconds: {2, 21, 26} 1767
7.83/8.66 c before 36.0 seconds: {2, 6, 7, 8, 14, 15, 18, 19, 20, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 12975
7.83/8.66 c before 54.0 seconds: {2, 6, 7, 8, 14, 15, 18, 19, 20, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13476
7.83/8.66 c before 144.0 seconds: {2, 6, 7, 8, 14, 15, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13980
7.83/8.66 c before 234.0 seconds: {2, 6, 7, 8, 12, 14, 15, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14503
7.83/8.66 c before 630.0 seconds: {2, 6, 7, 8, 12, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15017
7.83/8.66 c before 774.0 seconds: {2, 6, 7, 8, 11, 12, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15542
7.83/8.66 c before 882.0 seconds: {2, 6, 7, 8, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16057
7.83/8.66 c before 1404.0 seconds: {2, 6, 7, 8, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16582
7.83/8.66 c
7.83/8.66 c solver 1
7.83/8.66 c before 0.0 seconds: {} 0
7.83/8.66 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 14, 15, 18, 19, 20, 21, 22, 23, 24, 26, 29, 31, 32, 33, 34, 35, 36, 38, 39} 14519
7.83/8.66 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 14, 15, 18, 19, 20, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 16572
7.83/8.66 c before 54.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18113
7.83/8.66 c before 72.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19143
7.83/8.66 c before 90.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19648
7.83/8.66 c before 162.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20175
7.83/8.66 c before 180.0 seconds: {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} 20690
7.83/8.66 c
7.83/8.66 c solver 2
7.83/8.66 c before 0.0 seconds: {} 0
7.83/8.66 c before 18.0 seconds: {0, 1, 2, 21} 3120
7.83/8.66 c before 36.0 seconds: {0, 1, 2, 6, 7, 8, 15, 18, 19, 20, 21, 25, 29, 31, 32, 33, 34, 35, 36, 38, 39} 11784
7.83/8.66 c before 54.0 seconds: {0, 1, 2, 5, 6, 7, 8, 15, 18, 19, 20, 21, 22, 24, 25, 26, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 14346
7.83/8.66 c before 72.0 seconds: {0, 1, 2, 5, 6, 7, 8, 15, 18, 19, 20, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 14853
7.83/8.66 c before 90.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 15, 18, 19, 20, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 15410
7.83/8.66 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 15, 18, 19, 20, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 16008
7.83/8.66 c
7.83/8.66 cTotal time: 94
7.83/8.66 c 1692.0 seconds unused
7.83/8.66 c 0 c 0 c 8
7.83/8.66 c 7 c 0 c 11
7.83/8.66 c 5 c 1 c 0
7.83/8.66 c is solver0 dominated by:
7.83/8.67 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: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.83/8.67 c is dominated? true
7.83/8.67 c
7.83/8.67 c is solver1 dominated by:
7.83/8.67 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: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.83/8.67 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.83/8.67 c is dominated? false
7.83/8.67 c
7.83/8.67 c is solver2 dominated by:
7.83/8.67 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: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.83/8.67 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.83/8.67 c is dominated? false
7.83/8.67 c
7.83/8.67 c Number of non-dominated solvers: 2
7.83/8.67 c remove dominated solvers
7.83/8.67 c solver 1 is not dominated by another solver
7.83/8.67 c solver 2 is not dominated by another solver
7.83/8.67 c solver 0 is dominated by another solver
7.83/8.67 c
7.83/8.67 c solver 0: 0.0
7.83/8.67 c
7.83/8.67 c solver 1: 180.0
7.83/8.67 c
7.83/8.67 c+ 10/16 of 84
7.83/8.67 c
7.83/8.67 c solver 2: 108.0
7.83/8.67 c
7.83/8.67 c+ 6/16 of 84
7.83/8.67 c do not run abscon
7.83/8.67 c run mistral for 1116.0 seconds {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} 20690
7.83/8.67 c run choco for 666.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 15, 18, 19, 20, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 16008
7.83/8.67 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.83/8.67 c On Instance: HOME/instance-1060948-1215129339.xml
7.83/8.67 c Running for: 1116 seconds
1123.71/1135.10 c Starting solver: HOME/cpHydra_k_40/solver/choco
1123.71/1135.10 c On Instance: HOME/instance-1060948-1215129339.xml
1123.71/1135.10 c Running for: 666 seconds