0.00/0.00 c cpHydra_k_40 version 0.0
7.21/7.38 c CASE TO CLASSIFY:
7.21/7.38 c Case: 0
7.21/7.38 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.050700 | c 34 > 0.000000 | c 16 > 40.000000 | c 13 > -3.111330 | c 14 > 10.408300 | c 11 > 13.431800 | c 12 > 0.990175 | 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.010200 | c 1 > 11.451200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.010200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.890500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.21/7.39 c choco : 1801.0
7.21/7.39 c mistral : 1801.0
7.21/7.39 c abscon : 1801.0
7.21/7.39 c
7.21/7.39 c
7.31/7.47 c List of same ones: 40
7.31/7.47 c /home/eomahony/cpZilla/CSP/mknap/mknap-1-5.xml
7.31/7.47 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.31/7.47 c choco : 13.25
7.31/7.47 c mistral : 1800.06
7.31/7.47 c abscon : 1800.12
7.31/7.47 c
7.31/7.47 c
7.31/7.47 c /home/eomahony/cpZilla/CSP/mknap/mknap-1-4.xml
7.31/7.47 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.31/7.48 c choco : 3.4
7.31/7.48 c mistral : 0.6499
7.31/7.48 c abscon : 1800.09
7.31/7.48 c
7.31/7.48 c
7.31/7.48 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-sentoy.xml
7.31/7.48 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.31/7.49 c choco : 1.87
7.31/7.49 c mistral : 0.18
7.31/7.49 c abscon : 4.96824
7.31/7.49 c
7.31/7.49 c
7.31/7.49 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-railway-8-1-0.xml
7.31/7.49 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.40/7.50 c choco : 102.98
7.40/7.50 c mistral : 4.17336
7.40/7.50 c abscon : 1800.15
7.40/7.50 c
7.40/7.50 c
7.40/7.50 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-usAbbrv-8-25-70.xml
7.40/7.50 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.40/7.51 c choco : 87.71
7.40/7.51 c mistral : 5.19221
7.40/7.51 c abscon : 1800.21
7.40/7.51 c
7.40/7.51 c
7.40/7.51 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-10.xml
7.40/7.51 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.40/7.52 c choco : 21.77
7.40/7.52 c mistral : 2.2
7.40/7.52 c abscon : 23.37
7.40/7.52 c
7.40/7.52 c
7.40/7.52 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-10.xml
7.40/7.52 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.40/7.53 c choco : 21.82
7.40/7.53 c mistral : 2.18
7.40/7.53 c abscon : 24.45
7.40/7.53 c
7.40/7.53 c
7.40/7.53 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-10.xml
7.40/7.53 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.40/7.54 c choco : 20.02
7.40/7.54 c mistral : 1.4
7.40/7.54 c abscon : 25.81
7.40/7.54 c
7.40/7.54 c
7.40/7.54 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c4.xml
7.40/7.54 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.40/7.54 c choco : 1801.0
7.40/7.54 c mistral : 158.081
7.40/7.54 c abscon : 1800.11
7.40/7.54 c
7.40/7.54 c
7.40/7.54 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b4.xml
7.40/7.54 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.40/7.55 c choco : 1801.0
7.40/7.55 c mistral : 68.1926
7.40/7.55 c abscon : 1398.64
7.40/7.55 c
7.40/7.55 c
7.40/7.55 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e4.xml
7.40/7.55 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.40/7.56 c choco : 1801.0
7.40/7.56 c mistral : 38.2112
7.40/7.56 c abscon : 762.347
7.40/7.56 c
7.40/7.56 c
7.40/7.56 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b3.xml
7.40/7.57 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.40/7.58 c choco : 1801.0
7.40/7.58 c mistral : 34.6827
7.40/7.58 c abscon : 227.057
7.40/7.58 c
7.40/7.58 c
7.40/7.58 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e5.xml
7.40/7.58 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.40/7.59 c choco : 1801.0
7.40/7.59 c mistral : 28.4527
7.40/7.59 c abscon : 1800.08
7.40/7.59 c
7.40/7.59 c
7.40/7.59 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-berlin-5-8_0.xml
7.40/7.59 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.48/7.60 c choco : 39.61
7.48/7.60 c mistral : 3.73243
7.48/7.60 c abscon : 1800.12
7.48/7.60 c
7.48/7.60 c
7.48/7.60 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-01.xml
7.48/7.60 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.48/7.61 c choco : 1801.0
7.48/7.61 c mistral : 9.38
7.48/7.61 c abscon : 26.77
7.48/7.61 c
7.48/7.61 c
7.48/7.61 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-01.xml
7.48/7.61 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.48/7.62 c choco : 29.9
7.48/7.62 c mistral : 6.32
7.48/7.62 c abscon : 30.52
7.48/7.62 c
7.48/7.62 c
7.48/7.62 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-05.xml
7.48/7.62 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.48/7.62 c choco : 20.18
7.48/7.62 c mistral : 2.03
7.48/7.62 c abscon : 21.47
7.48/7.62 c
7.48/7.62 c
7.48/7.62 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e3.xml
7.48/7.62 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.48/7.63 c choco : 1801.0
7.48/7.63 c mistral : 38.3842
7.48/7.63 c abscon : 864.371
7.48/7.63 c
7.48/7.63 c
7.48/7.63 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-05.xml
7.48/7.63 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.48/7.64 c choco : 19.76
7.48/7.64 c mistral : 2.49
7.48/7.64 c abscon : 20.72
7.48/7.64 c
7.48/7.64 c
7.48/7.64 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32a1.xml
7.48/7.64 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.48/7.65 c choco : 1801.0
7.48/7.65 c mistral : 171.472
7.48/7.65 c abscon : 613.015
7.48/7.65 c
7.48/7.65 c
7.48/7.65 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-15-02.xml
7.48/7.65 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.48/7.65 c choco : 18.75
7.48/7.65 c mistral : 3.84
7.48/7.65 c abscon : 18.7
7.48/7.65 c
7.48/7.65 c
7.48/7.65 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-15-02.xml
7.48/7.65 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.48/7.66 c choco : 13.14
7.48/7.66 c mistral : 2.39
7.48/7.66 c abscon : 17.53
7.48/7.66 c
7.48/7.66 c
7.48/7.66 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-15-02.xml
7.48/7.66 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.48/7.66 c choco : 48.64
7.48/7.66 c mistral : 11.68
7.48/7.67 c abscon : 17.17
7.48/7.67 c
7.48/7.67 c
7.48/7.67 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-05.xml
7.48/7.67 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.48/7.67 c choco : 45.83
7.48/7.67 c mistral : 5.61
7.48/7.67 c abscon : 26.09
7.48/7.67 c
7.48/7.67 c
7.48/7.67 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-02.xml
7.48/7.67 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.48/7.68 c choco : 18.46
7.48/7.68 c mistral : 7.02
7.48/7.68 c abscon : 21.29
7.48/7.68 c
7.48/7.68 c
7.48/7.68 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-02.xml
7.48/7.68 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.48/7.68 c choco : 19.53
7.48/7.68 c mistral : 4.01
7.48/7.68 c abscon : 22.06
7.48/7.68 c
7.48/7.68 c
7.48/7.68 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-09.xml
7.48/7.68 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.48/7.69 c choco : 36.39
7.48/7.69 c mistral : 6.47
7.48/7.69 c abscon : 35.18
7.48/7.69 c
7.48/7.69 c
7.48/7.69 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-09.xml
7.48/7.69 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.48/7.69 c choco : 63.84
7.48/7.69 c mistral : 16.07
7.48/7.69 c abscon : 33.99
7.48/7.69 c
7.48/7.69 c
7.48/7.69 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-15-02.xml
7.48/7.69 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.48/7.70 c choco : 50.25
7.48/7.70 c mistral : 30.47
7.48/7.70 c abscon : 18.7
7.48/7.70 c
7.48/7.70 c
7.48/7.70 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-09.xml
7.48/7.70 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.52/7.71 c choco : 1801.0
7.52/7.71 c mistral : 85.46
7.52/7.71 c abscon : 1801.0
7.52/7.71 c
7.52/7.71 c
7.52/7.71 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-09.xml
7.52/7.71 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.52/7.71 c choco : 1801.0
7.52/7.71 c mistral : 65.6
7.52/7.71 c abscon : 129.44
7.52/7.71 c
7.52/7.71 c
7.52/7.71 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-09.xml
7.52/7.71 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.52/7.72 c choco : 20.09
7.52/7.72 c mistral : 2.12
7.52/7.72 c abscon : 22.53
7.52/7.72 c
7.52/7.72 c
7.52/7.72 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-09.xml
7.52/7.72 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.52/7.72 c choco : 19.91
7.52/7.72 c mistral : 1.45
7.52/7.72 c abscon : 23.48
7.52/7.72 c
7.52/7.72 c
7.52/7.72 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-02.xml
7.52/7.72 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.52/7.73 c choco : 32.16
7.52/7.73 c mistral : 3.69
7.52/7.73 c abscon : 29.03
7.52/7.73 c
7.52/7.73 c
7.52/7.73 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-09.xml
7.52/7.73 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.52/7.73 c choco : 23.66
7.52/7.74 c mistral : 3.57
7.52/7.74 c abscon : 22.75
7.52/7.74 c
7.52/7.74 c
7.52/7.74 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-09.xml
7.52/7.74 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.52/7.74 c choco : 20.46
7.52/7.74 c mistral : 2.47
7.52/7.74 c abscon : 19.78
7.52/7.74 c
7.52/7.74 c
7.52/7.74 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c3.xml
7.52/7.74 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.52/7.75 c choco : 23.56
7.52/7.75 c mistral : 26.173
7.52/7.75 c abscon : 26.201
7.52/7.75 c
7.52/7.75 c
7.52/7.75 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-02.xml
7.52/7.75 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.52/7.76 c choco : 1801.0
7.52/7.76 c mistral : 45.88
7.52/7.76 c abscon : 45.36
7.52/7.76 c
7.52/7.76 c
7.52/7.76 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-07.xml
7.52/7.76 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.52/7.76 c choco : 22.13
7.52/7.76 c mistral : 4.0
7.52/7.76 c abscon : 22.81
7.52/7.76 c
7.52/7.76 c
7.52/7.76 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-07.xml
7.52/7.76 c 19 > 0.000000 | c 35 > 0.146325 | c 17 > 4.266160 | c 18 > 0.000000 | c 33 > 0.109744 | c 15 > 17.475400 | c 34 > 0.109744 | c 16 > 30.000000 | c 13 > 5.161590 | c 14 > 7.417850 | c 11 > 8.184880 | c 12 > 5.762210 | 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.52/7.77 c choco : 21.93
7.52/7.77 c mistral : 2.95
7.52/7.77 c abscon : 22.23
7.52/7.77 c
7.52/7.77 c
7.52/7.77 c Length: 40
7.52/7.77 c 16.69893446787923 18.826193484279425 23.16314203556644 28.73070185315745 30.632095713420018 30.889501999548887 30.906679141920677 30.908815315369736 31.081584535419445 31.14616868964183 31.193445479007686 31.314384076298307 31.39773214353745 31.44499859572465 31.60908769347467 31.62781177911574 31.683343296878416 31.6914696387139 31.706408347833257 31.777719698531314 31.778546240838548 31.79279396268774 32.061631908452725 32.081268970859774 32.08615483998395 32.098335429340025 32.09841203889801 32.115934759388104 32.11892360935394 32.222707799047136 32.23754244151333 32.24431466510645 32.24651102863531 32.249619273486395 32.27630768716891 32.302227264264594 32.30390891013849 32.304818443584 32.376164383924824 32.38524821566792
7.52/7.77 c
7.52/7.77 c 1.0 0.8805821243969272 0.7081690550022919 0.5659235093685959 0.5295945911033657 0.5250318331777726 0.5247301495983483 0.5246926560434438 0.521677894992575 0.520559801442534 0.5197443699133522 0.5176699970688378 0.5162499991915194 0.5154481786435771 0.5126838259278176 0.5123702712665074 0.5114425885636081 0.5113071155113136 0.5110582616272012 0.5098736642707106 0.5098599662542287 0.5096239590386755 0.5052113786370191 0.5048920577804769 0.5048126707205232 0.5046148655260374 0.5046136219250171 0.5043293369950795 0.5042808784969092 0.5026039724946871 0.5023651904634441 0.5022562585111392 0.5022209399095356 0.5021709662973811 0.5017422853647066 0.5013266538089273 0.5012997116806988 0.5012851409925666 0.5001448151369702 0.5
7.52/7.79 c
7.52/7.79 c solver 0
7.52/7.79 c before 0.0 seconds: {} 0
7.52/7.79 c before 18.0 seconds: {2, 21, 22} 1723
7.52/7.79 c before 36.0 seconds: {2, 5, 6, 7, 14, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 31, 32, 33, 34, 35, 36, 38, 39} 12893
7.52/7.79 c before 54.0 seconds: {2, 5, 6, 7, 14, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13394
7.52/7.79 c before 144.0 seconds: {2, 5, 6, 7, 14, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13897
7.52/7.79 c before 234.0 seconds: {2, 5, 6, 7, 11, 14, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14414
7.52/7.79 c before 630.0 seconds: {2, 5, 6, 7, 11, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14924
7.52/7.79 c before 774.0 seconds: {2, 5, 6, 7, 10, 11, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15444
7.52/7.79 c before 882.0 seconds: {2, 5, 6, 7, 10, 11, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15955
7.52/7.79 c before 1404.0 seconds: {2, 5, 6, 7, 9, 10, 11, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16476
7.52/7.79 c
7.52/7.79 c solver 1
7.52/7.79 c before 0.0 seconds: {} 0
7.52/7.79 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 7, 13, 14, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 31, 32, 33, 34, 35, 38, 39} 14379
7.52/7.79 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 7, 11, 12, 13, 14, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 31, 32, 33, 34, 35, 36, 38, 39} 16419
7.52/7.79 c before 54.0 seconds: {1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17951
7.52/7.79 c before 72.0 seconds: {1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18974
7.52/7.79 c before 90.0 seconds: {1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19476
7.52/7.79 c before 162.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19998
7.52/7.79 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} 20508
7.52/7.79 c
7.52/7.79 c solver 2
7.52/7.79 c before 0.0 seconds: {} 0
7.52/7.79 c before 18.0 seconds: {0, 1, 2, 21} 3098
7.52/7.79 c before 36.0 seconds: {0, 1, 2, 5, 6, 7, 15, 16, 18, 20, 21, 24, 25, 31, 32, 33, 34, 35, 36, 38, 39} 11738
7.52/7.79 c before 54.0 seconds: {0, 1, 2, 5, 6, 7, 13, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 28, 31, 32, 33, 34, 35, 36, 38, 39} 14272
7.52/7.79 c before 72.0 seconds: {0, 1, 2, 5, 6, 7, 13, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 31, 32, 33, 34, 35, 36, 38, 39} 14776
7.52/7.79 c before 90.0 seconds: {0, 1, 2, 4, 5, 6, 7, 13, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 31, 32, 33, 34, 35, 36, 38, 39} 15306
7.52/7.79 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 13, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 31, 32, 33, 34, 35, 36, 38, 39} 15872
7.52/7.79 c
7.52/7.79 cTotal time: 94
7.52/7.79 c 1692.0 seconds unused
7.52/7.79 c 0 c 0 c 8
7.52/7.79 c 7 c 0 c 11
7.52/7.79 c 5 c 1 c 0
7.52/7.79 c is solver0 dominated by:
7.52/7.79 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.52/7.79 c is dominated? true
7.52/7.79 c
7.52/7.79 c is solver1 dominated by:
7.52/7.79 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.52/7.79 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.52/7.79 c is dominated? false
7.52/7.79 c
7.52/7.79 c is solver2 dominated by:
7.52/7.79 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.52/7.79 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.52/7.79 c is dominated? false
7.52/7.79 c
7.52/7.79 c Number of non-dominated solvers: 2
7.52/7.79 c remove dominated solvers
7.52/7.79 c solver 1 is not dominated by another solver
7.52/7.79 c solver 2 is not dominated by another solver
7.52/7.79 c solver 0 is dominated by another solver
7.52/7.79 c
7.52/7.79 c solver 0: 0.0
7.52/7.79 c
7.52/7.79 c solver 1: 180.0
7.52/7.79 c
7.52/7.79 c+ 10/16 of 84
7.52/7.79 c
7.52/7.79 c solver 2: 108.0
7.52/7.79 c
7.52/7.79 c+ 6/16 of 84
7.52/7.79 c do not run abscon
7.52/7.79 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} 20508
7.52/7.79 c run choco for 666.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 13, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 31, 32, 33, 34, 35, 36, 38, 39} 15872
7.52/7.80 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.52/7.80 c On Instance: HOME/instance-1061053-1215130225.xml
7.52/7.80 c Running for: 1116 seconds
1123.32/1127.08 c Starting solver: HOME/cpHydra_k_40/solver/choco
1123.32/1127.08 c On Instance: HOME/instance-1061053-1215130225.xml
1123.32/1127.08 c Running for: 666 seconds