0.00/0.00 c cpHydra_k_40 version 0.0
7.28/7.49 c CASE TO CLASSIFY:
7.28/7.49 c Case: 0
7.28/7.49 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.937900 | c 34 > 0.000000 | c 16 > 40.000000 | c 13 > -3.049930 | c 14 > 10.441900 | c 11 > 13.207600 | c 12 > 0.989285 | 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 > 12.785500 | c 1 > 11.228800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.785500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.582000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.50 c choco : 1801.0
7.38/7.50 c mistral : 1801.0
7.38/7.50 c abscon : 1801.0
7.38/7.50 c
7.38/7.50 c
7.38/7.58 c List of same ones: 40
7.38/7.58 c /home/eomahony/cpZilla/CSP/mknap/mknap-1-5.xml
7.38/7.58 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.38/7.59 c choco : 13.25
7.38/7.59 c mistral : 1800.06
7.38/7.59 c abscon : 1800.12
7.38/7.59 c
7.38/7.59 c
7.38/7.59 c /home/eomahony/cpZilla/CSP/mknap/mknap-1-4.xml
7.38/7.59 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.38/7.59 c choco : 3.4
7.38/7.59 c mistral : 0.6499
7.38/7.59 c abscon : 1800.09
7.38/7.60 c
7.38/7.60 c
7.38/7.60 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-sentoy.xml
7.38/7.60 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.46/7.61 c choco : 1.87
7.46/7.61 c mistral : 0.18
7.46/7.61 c abscon : 4.96824
7.46/7.61 c
7.46/7.61 c
7.46/7.61 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-railway-8-1-0.xml
7.46/7.61 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.46/7.61 c choco : 102.98
7.46/7.61 c mistral : 4.17336
7.46/7.61 c abscon : 1800.15
7.46/7.61 c
7.46/7.61 c
7.46/7.61 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-10.xml
7.46/7.61 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.46/7.63 c choco : 21.77
7.46/7.63 c mistral : 2.2
7.46/7.63 c abscon : 23.37
7.46/7.63 c
7.46/7.63 c
7.46/7.63 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-10.xml
7.46/7.63 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.46/7.64 c choco : 21.82
7.46/7.64 c mistral : 2.18
7.46/7.64 c abscon : 24.45
7.46/7.64 c
7.46/7.64 c
7.46/7.64 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-10.xml
7.46/7.64 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.46/7.64 c choco : 20.02
7.46/7.64 c mistral : 1.4
7.46/7.64 c abscon : 25.81
7.46/7.64 c
7.46/7.64 c
7.46/7.64 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-usAbbrv-8-25-70.xml
7.46/7.64 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.46/7.65 c choco : 87.71
7.46/7.65 c mistral : 5.19221
7.46/7.65 c abscon : 1800.21
7.46/7.65 c
7.46/7.65 c
7.46/7.65 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c4.xml
7.46/7.65 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.46/7.66 c choco : 1801.0
7.46/7.66 c mistral : 158.081
7.46/7.66 c abscon : 1800.11
7.46/7.66 c
7.46/7.66 c
7.46/7.66 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b4.xml
7.46/7.66 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.46/7.67 c choco : 1801.0
7.46/7.67 c mistral : 68.1926
7.46/7.67 c abscon : 1398.64
7.46/7.67 c
7.46/7.67 c
7.46/7.67 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e4.xml
7.46/7.67 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.46/7.68 c choco : 1801.0
7.46/7.68 c mistral : 38.2112
7.46/7.68 c abscon : 762.347
7.46/7.68 c
7.46/7.68 c
7.46/7.68 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b3.xml
7.46/7.68 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.46/7.70 c choco : 1801.0
7.46/7.70 c mistral : 34.6827
7.46/7.70 c abscon : 227.057
7.46/7.70 c
7.46/7.70 c
7.46/7.70 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-01.xml
7.46/7.70 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.54/7.71 c choco : 1801.0
7.54/7.71 c mistral : 9.38
7.54/7.71 c abscon : 26.77
7.54/7.71 c
7.54/7.71 c
7.54/7.71 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-01.xml
7.54/7.71 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.54/7.72 c choco : 29.9
7.54/7.72 c mistral : 6.32
7.54/7.72 c abscon : 30.52
7.54/7.72 c
7.54/7.72 c
7.54/7.72 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e5.xml
7.54/7.72 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.54/7.73 c choco : 1801.0
7.54/7.73 c mistral : 28.4527
7.54/7.73 c abscon : 1800.08
7.54/7.73 c
7.54/7.73 c
7.54/7.73 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-05.xml
7.54/7.73 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.54/7.73 c choco : 20.18
7.54/7.73 c mistral : 2.03
7.54/7.73 c abscon : 21.47
7.54/7.73 c
7.54/7.73 c
7.54/7.73 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-05.xml
7.54/7.73 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.54/7.74 c choco : 19.76
7.54/7.74 c mistral : 2.49
7.54/7.74 c abscon : 20.72
7.54/7.74 c
7.54/7.74 c
7.54/7.74 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-15-02.xml
7.54/7.74 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.54/7.75 c choco : 18.75
7.54/7.75 c mistral : 3.84
7.54/7.75 c abscon : 18.7
7.54/7.75 c
7.54/7.75 c
7.54/7.75 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-15-02.xml
7.54/7.75 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.54/7.75 c choco : 13.14
7.54/7.75 c mistral : 2.39
7.54/7.75 c abscon : 17.53
7.54/7.75 c
7.54/7.75 c
7.54/7.75 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-berlin-5-8_0.xml
7.54/7.75 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.54/7.76 c choco : 39.61
7.54/7.76 c mistral : 3.73243
7.54/7.76 c abscon : 1800.12
7.54/7.76 c
7.54/7.76 c
7.54/7.76 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e3.xml
7.54/7.76 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.54/7.77 c choco : 1801.0
7.54/7.77 c mistral : 38.3842
7.54/7.77 c abscon : 864.371
7.54/7.77 c
7.54/7.77 c
7.54/7.77 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32a1.xml
7.54/7.77 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.54/7.78 c choco : 1801.0
7.54/7.78 c mistral : 171.472
7.54/7.78 c abscon : 613.015
7.54/7.78 c
7.54/7.78 c
7.54/7.78 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-15-02.xml
7.54/7.78 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.54/7.78 c choco : 48.64
7.54/7.78 c mistral : 11.68
7.54/7.78 c abscon : 17.17
7.54/7.78 c
7.54/7.78 c
7.54/7.78 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-05.xml
7.54/7.78 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.54/7.79 c choco : 45.83
7.54/7.79 c mistral : 5.61
7.54/7.79 c abscon : 26.09
7.54/7.79 c
7.54/7.79 c
7.54/7.79 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-02.xml
7.54/7.79 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.54/7.79 c choco : 18.46
7.54/7.79 c mistral : 7.02
7.54/7.79 c abscon : 21.29
7.54/7.79 c
7.54/7.79 c
7.54/7.79 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-09.xml
7.54/7.79 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.54/7.80 c choco : 36.39
7.54/7.80 c mistral : 6.47
7.54/7.80 c abscon : 35.18
7.54/7.80 c
7.54/7.80 c
7.54/7.80 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-15-02.xml
7.54/7.80 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.60/7.81 c choco : 50.25
7.60/7.81 c mistral : 30.47
7.60/7.81 c abscon : 18.7
7.60/7.81 c
7.60/7.81 c
7.60/7.81 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-02.xml
7.60/7.81 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.60/7.81 c choco : 19.53
7.60/7.81 c mistral : 4.01
7.60/7.81 c abscon : 22.06
7.60/7.81 c
7.60/7.81 c
7.60/7.81 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-09.xml
7.60/7.81 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.60/7.82 c choco : 63.84
7.60/7.82 c mistral : 16.07
7.60/7.82 c abscon : 33.99
7.60/7.82 c
7.60/7.82 c
7.60/7.82 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-09.xml
7.60/7.82 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.60/7.82 c choco : 20.09
7.60/7.82 c mistral : 2.12
7.60/7.82 c abscon : 22.53
7.60/7.82 c
7.60/7.82 c
7.60/7.82 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-09.xml
7.60/7.82 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.60/7.83 c choco : 19.91
7.60/7.83 c mistral : 1.45
7.60/7.83 c abscon : 23.48
7.60/7.83 c
7.60/7.83 c
7.60/7.83 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-09.xml
7.60/7.83 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.60/7.83 c choco : 1801.0
7.60/7.83 c mistral : 85.46
7.60/7.83 c abscon : 1801.0
7.60/7.83 c
7.60/7.83 c
7.60/7.83 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-09.xml
7.60/7.83 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.60/7.84 c choco : 1801.0
7.60/7.84 c mistral : 65.6
7.60/7.84 c abscon : 129.44
7.60/7.84 c
7.60/7.84 c
7.60/7.84 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-09.xml
7.60/7.84 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.60/7.85 c choco : 23.66
7.60/7.85 c mistral : 3.57
7.60/7.85 c abscon : 22.75
7.60/7.85 c
7.60/7.85 c
7.60/7.85 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-02.xml
7.60/7.85 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.60/7.85 c choco : 32.16
7.60/7.85 c mistral : 3.69
7.60/7.85 c abscon : 29.03
7.60/7.85 c
7.60/7.85 c
7.60/7.85 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-09.xml
7.60/7.85 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.60/7.86 c choco : 20.46
7.60/7.86 c mistral : 2.47
7.60/7.86 c abscon : 19.78
7.60/7.86 c
7.60/7.86 c
7.60/7.86 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-02.xml
7.60/7.86 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.60/7.87 c choco : 1801.0
7.60/7.87 c mistral : 45.88
7.60/7.87 c abscon : 45.36
7.60/7.87 c
7.60/7.87 c
7.60/7.87 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-07.xml
7.60/7.87 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.60/7.87 c choco : 22.13
7.60/7.87 c mistral : 4.0
7.60/7.87 c abscon : 22.81
7.60/7.87 c
7.60/7.87 c
7.60/7.87 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-07.xml
7.60/7.87 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.60/7.88 c choco : 21.93
7.60/7.88 c mistral : 2.95
7.60/7.88 c abscon : 22.23
7.60/7.88 c
7.60/7.88 c
7.60/7.88 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-07.xml
7.60/7.88 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.60/7.89 c choco : 20.82
7.60/7.89 c mistral : 2.15
7.60/7.89 c abscon : 27.46
7.60/7.89 c
7.60/7.89 c
7.60/7.89 c Length: 40
7.60/7.89 c 16.448837347281568 18.63090402506344 23.12774839173552 28.969319986807164 30.65314304982663 30.67145532637202 30.67446644197474 30.85940858222213 31.143661783968582 31.152744740844664 31.20036243907152 31.31338735094185 31.3850732322098 31.404348015817366 31.419686604085108 31.445887563855635 31.47034575378781 31.550933460253024 31.56311560342093 31.668476389970596 31.68175082341134 31.781074428732346 31.840099372412674 31.854305395045902 31.887000802945156 31.89208523198935 31.898896356725476 31.8995767754468 31.908967550641197 32.0118889068452 32.017827262618844 32.02104680187974 32.03638874411367 32.044548473024214 32.056316855621844 32.07308032419709 32.11159743500975 32.14763366687075 32.156586419127606 32.160316469470914
7.60/7.89 c
7.60/7.89 c 1.0 0.8780528631845913 0.7017063572923332 0.5565138992039693 0.5251902704287094 0.524868983655352 0.52481619160962 0.5215939464914423 0.516717827662507 0.5165635200477301 0.5157560630536708 0.5138495603049555 0.512647651498343 0.5123254427449899 0.5120693230356809 0.5116324181098678 0.5112252464072826 0.5098882230407741 0.5096867184595086 0.5079505706337315 0.5077326715096934 0.5061081933337301 0.5051477311202494 0.504917112735283 0.5043871396893664 0.5043048240708735 0.5041945957808812 0.504183586826509 0.5040316962176172 0.5023729782572295 0.5022776066222205 0.5022259150683163 0.501979737443975 0.501848904285723 0.5016603300109042 0.5013919600288438 0.5007764177823596 0.500201889388453 0.5000593593566378 0.5
7.66/7.90 c
7.66/7.90 c solver 0
7.66/7.90 c before 0.0 seconds: {} 0
7.66/7.90 c before 18.0 seconds: {2, 18, 22} 1716
7.66/7.91 c before 36.0 seconds: {2, 4, 5, 6, 12, 13, 15, 16, 17, 18, 22, 23, 24, 25, 26, 27, 28, 29, 30, 33, 34, 35, 37, 38, 39} 12884
7.66/7.91 c before 54.0 seconds: {2, 4, 5, 6, 12, 13, 15, 16, 17, 18, 22, 23, 24, 25, 26, 27, 28, 29, 30, 33, 34, 35, 36, 37, 38, 39} 13385
7.66/7.91 c before 144.0 seconds: {2, 4, 5, 6, 12, 13, 15, 16, 17, 18, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 13887
7.66/7.91 c before 234.0 seconds: {2, 4, 5, 6, 11, 12, 13, 15, 16, 17, 18, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 14401
7.66/7.91 c before 630.0 seconds: {2, 4, 5, 6, 11, 12, 13, 15, 16, 17, 18, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 14907
7.66/7.91 c before 774.0 seconds: {2, 4, 5, 6, 10, 11, 12, 13, 15, 16, 17, 18, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 15423
7.66/7.91 c before 882.0 seconds: {2, 4, 5, 6, 10, 11, 12, 13, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 15931
7.66/7.91 c before 1404.0 seconds: {2, 4, 5, 6, 9, 10, 11, 12, 13, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 16447
7.66/7.91 c
7.66/7.91 c solver 1
7.66/7.91 c before 0.0 seconds: {} 0
7.66/7.91 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 7, 12, 13, 15, 16, 17, 18, 19, 22, 23, 24, 25, 27, 28, 29, 30, 33, 34, 35, 37, 38, 39} 14844
7.66/7.91 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 7, 11, 12, 13, 14, 15, 16, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 29, 30, 33, 34, 35, 37, 38, 39} 16374
7.66/7.91 c before 54.0 seconds: {1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 33, 34, 35, 36, 37, 38, 39} 17899
7.66/7.91 c before 72.0 seconds: {1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 18917
7.66/7.91 c before 90.0 seconds: {1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19420
7.66/7.91 c before 162.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19936
7.66/7.91 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} 20442
7.66/7.91 c
7.66/7.91 c solver 2
7.66/7.91 c before 0.0 seconds: {} 0
7.66/7.91 c before 18.0 seconds: {0, 1, 2, 18} 3089
7.66/7.91 c before 36.0 seconds: {0, 1, 2, 4, 5, 6, 13, 15, 16, 17, 18, 24, 27, 29, 30, 33, 34, 35, 37, 38, 39} 11727
7.66/7.91 c before 54.0 seconds: {0, 1, 2, 4, 5, 6, 13, 15, 16, 17, 18, 19, 22, 23, 24, 25, 26, 27, 29, 30, 33, 34, 35, 37, 38, 39} 14254
7.66/7.91 c before 72.0 seconds: {0, 1, 2, 4, 5, 6, 13, 15, 16, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 29, 30, 33, 34, 35, 37, 38, 39} 14758
7.66/7.91 c before 90.0 seconds: {0, 1, 2, 4, 5, 6, 7, 13, 15, 16, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 29, 30, 33, 34, 35, 37, 38, 39} 15279
7.66/7.91 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 13, 15, 16, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 29, 30, 33, 34, 35, 37, 38, 39} 15836
7.66/7.91 c
7.66/7.91 cTotal time: 94
7.66/7.91 c 1692.0 seconds unused
7.66/7.91 c 0 c 0 c 8
7.66/7.91 c 7 c 0 c 11
7.66/7.91 c 5 c 1 c 0
7.66/7.91 c is solver0 dominated by:
7.66/7.91 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.66/7.91 c is dominated? true
7.66/7.91 c
7.66/7.91 c is solver1 dominated by:
7.66/7.91 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.66/7.91 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.66/7.91 c is dominated? false
7.66/7.91 c
7.66/7.91 c is solver2 dominated by:
7.66/7.91 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.66/7.91 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.66/7.91 c is dominated? false
7.66/7.91 c
7.66/7.91 c Number of non-dominated solvers: 2
7.66/7.91 c remove dominated solvers
7.66/7.91 c solver 1 is not dominated by another solver
7.66/7.91 c solver 2 is not dominated by another solver
7.66/7.91 c solver 0 is dominated by another solver
7.66/7.91 c
7.66/7.91 c solver 0: 0.0
7.66/7.91 c
7.66/7.91 c solver 1: 180.0
7.66/7.91 c
7.66/7.91 c+ 10/16 of 84
7.66/7.91 c
7.66/7.91 c solver 2: 108.0
7.66/7.91 c
7.66/7.91 c+ 6/16 of 84
7.66/7.91 c do not run abscon
7.66/7.91 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} 20442
7.66/7.91 c run choco for 666.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 13, 15, 16, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 29, 30, 33, 34, 35, 37, 38, 39} 15836
7.66/7.91 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.66/7.91 c On Instance: HOME/instance-1061200-1215131707.xml
7.66/7.91 c Running for: 1116 seconds
1123.44/1130.86 c Starting solver: HOME/cpHydra_k_40/solver/choco
1123.44/1130.86 c On Instance: HOME/instance-1061200-1215131707.xml
1123.44/1130.86 c Running for: 666 seconds