0.00/0.00 c cpHydra_k_40 version 0.0
7.82/7.95 c CASE TO CLASSIFY:
7.82/7.95 c Case: 0
7.82/7.95 c 19 > 0.000000 | c 35 > 0.017738 | c 17 > 3.837950 | c 18 > 0.000000 | c 33 > 0.013304 | c 15 > 21.506000 | c 34 > 0.013304 | c 16 > 22.000000 | c 13 > 8.541180 | c 14 > 9.473710 | c 11 > 8.797660 | c 12 > 7.555280 | c 21 > 5.099020 | c 20 > 96.162000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.777780 | c 28 > 6.222220 | c 29 > -1.000000 | c 3 > 8.797660 | c 2 > -1.000000 | c 10 > 15.224100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 15.035500 | c 32 > -1.000000 | c 5 > 16.264800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.82/7.96 c choco : 1801.0
7.82/7.96 c mistral : 1801.0
7.82/7.96 c abscon : 1801.0
7.82/7.96 c
7.82/7.96 c
7.91/8.04 c List of same ones: 40
7.91/8.04 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-05.xml
7.91/8.04 c 19 > 0.000000 | c 35 > 0.017738 | c 17 > 3.837950 | c 18 > 0.000000 | c 33 > 0.013304 | c 15 > 20.027400 | c 34 > 0.013304 | c 16 > 22.000000 | c 13 > 6.437060 | c 14 > 8.108520 | c 11 > 8.797660 | c 12 > 6.859520 | c 21 > 5.099020 | c 20 > 96.162000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.777780 | c 28 > 6.222220 | c 29 > -1.000000 | c 3 > 8.797660 | c 2 > -1.000000 | c 10 > 15.224100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 15.035500 | c 32 > -1.000000 | c 5 > 16.264800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.91/8.05 c choco : 84.97
7.91/8.05 c mistral : 31.15
7.91/8.05 c abscon : 31.18
7.91/8.05 c
7.91/8.05 c
7.91/8.05 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-05.xml
7.91/8.05 c 19 > 0.000000 | c 35 > 0.017738 | c 17 > 3.837950 | c 18 > 0.000000 | c 33 > 0.013304 | c 15 > 19.658200 | c 34 > 0.013304 | c 16 > 22.000000 | c 13 > 5.391080 | c 14 > 7.912890 | c 11 > 8.797660 | c 12 > 6.659660 | c 21 > 5.099020 | c 20 > 96.162000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.777780 | c 28 > 6.222220 | c 29 > -1.000000 | c 3 > 8.797660 | c 2 > -1.000000 | c 10 > 15.224100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 15.035500 | c 32 > -1.000000 | c 5 > 16.264800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.91/8.06 c choco : 61.2
7.91/8.06 c mistral : 14.59
7.91/8.06 c abscon : 32.01
7.91/8.06 c
7.91/8.06 c
7.91/8.06 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-07.xml
7.91/8.06 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.474160 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.647200 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 5.127730 | c 14 > 7.977280 | c 11 > 8.800900 | c 12 > 6.349320 | c 21 > 5.099020 | c 20 > 95.525800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.597700 | c 28 > 5.402300 | c 29 > -1.000000 | c 3 > 8.800900 | c 2 > -1.000000 | c 10 > 14.847800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.643700 | c 32 > -1.000000 | c 5 > 15.938300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.91/8.07 c choco : 76.58
7.91/8.07 c mistral : 30.9
7.91/8.07 c abscon : 157.92
7.91/8.07 c
7.91/8.07 c
7.91/8.07 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-05.xml
7.91/8.07 c 19 > 0.000000 | c 35 > 0.017738 | c 17 > 3.837950 | c 18 > 0.000000 | c 33 > 0.013304 | c 15 > 18.226300 | c 34 > 0.013304 | c 16 > 22.000000 | c 13 > 5.348150 | c 14 > 7.426260 | c 11 > 8.797660 | c 12 > 6.613390 | c 21 > 5.099020 | c 20 > 96.162000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.777780 | c 28 > 6.222220 | c 29 > -1.000000 | c 3 > 8.797660 | c 2 > -1.000000 | c 10 > 15.224100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 15.035500 | c 32 > -1.000000 | c 5 > 16.264800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.91/8.07 c choco : 33.03
7.91/8.07 c mistral : 7.04
7.91/8.07 c abscon : 32.12
7.91/8.07 c
7.91/8.07 c
7.91/8.07 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-05.xml
7.91/8.07 c 19 > 0.000000 | c 35 > 0.017738 | c 17 > 3.837950 | c 18 > 0.000000 | c 33 > 0.013304 | c 15 > 18.268200 | c 34 > 0.013304 | c 16 > 22.000000 | c 13 > 5.351910 | c 14 > 7.658210 | c 11 > 8.797660 | c 12 > 6.049300 | c 21 > 5.099020 | c 20 > 96.162000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.777780 | c 28 > 6.222220 | c 29 > -1.000000 | c 3 > 8.797660 | c 2 > -1.000000 | c 10 > 15.224100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 15.035500 | c 32 > -1.000000 | c 5 > 16.264800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.91/8.09 c choco : 30.8
7.91/8.09 c mistral : 5.63
7.91/8.09 c abscon : 29.5
7.91/8.09 c
7.91/8.09 c
7.91/8.09 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-07.xml
7.91/8.09 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.474160 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.276700 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 5.078940 | c 14 > 8.134430 | c 11 > 8.800900 | c 12 > 6.348290 | c 21 > 5.099020 | c 20 > 95.525800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.597700 | c 28 > 5.402300 | c 29 > -1.000000 | c 3 > 8.800900 | c 2 > -1.000000 | c 10 > 14.847800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.643700 | c 32 > -1.000000 | c 5 > 15.938300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.91/8.09 c choco : 80.07
7.91/8.09 c mistral : 19.3
7.91/8.09 c abscon : 48.37
7.91/8.09 c
7.91/8.09 c
7.91/8.09 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-02.xml
7.91/8.09 c 19 > 0.000000 | c 35 > 0.037683 | c 17 > 4.110210 | c 18 > 0.000000 | c 33 > 0.028262 | c 15 > 19.658100 | c 34 > 0.028262 | c 16 > 24.000000 | c 13 > 5.345730 | c 14 > 8.562240 | c 11 > 8.764870 | c 12 > 6.533190 | c 21 > 5.099020 | c 20 > 95.889800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.714290 | c 28 > 4.285710 | c 29 > -1.000000 | c 3 > 8.764870 | c 2 > -1.000000 | c 10 > 14.938800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.719600 | c 32 > -1.000000 | c 5 > 15.994100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.00/8.10 c choco : 78.46
8.00/8.10 c mistral : 13.32
8.00/8.10 c abscon : 48.64
8.00/8.10 c
8.00/8.10 c
8.00/8.10 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-02.xml
8.00/8.10 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.945600 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.350800 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 4.999560 | c 14 > 8.247930 | c 11 > 8.527480 | c 12 > 6.335500 | c 21 > 5.099020 | c 20 > 95.054400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.400000 | c 28 > 5.600000 | c 29 > -1.000000 | c 3 > 8.527480 | c 2 > -1.000000 | c 10 > 14.509200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.308200 | c 32 > -1.000000 | c 5 > 15.614400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.00/8.11 c choco : 31.77
8.00/8.11 c mistral : 5.03
8.00/8.11 c abscon : 25.52
8.00/8.11 c
8.00/8.11 c
8.00/8.11 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-02.xml
8.00/8.11 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.945600 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.636400 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 4.887980 | c 14 > 8.118940 | c 11 > 8.527480 | c 12 > 6.295890 | c 21 > 5.099020 | c 20 > 95.054400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.400000 | c 28 > 5.600000 | c 29 > -1.000000 | c 3 > 8.527480 | c 2 > -1.000000 | c 10 > 14.509200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.308200 | c 32 > -1.000000 | c 5 > 15.614400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.00/8.12 c choco : 65.38
8.00/8.12 c mistral : 22.35
8.00/8.12 c abscon : 32.86
8.00/8.12 c
8.00/8.12 c
8.00/8.12 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-06.xml
8.00/8.12 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.524030 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.493300 | c 34 > 0.000000 | c 16 > 22.000000 | c 13 > 4.903800 | c 14 > 7.832890 | c 11 > 8.543030 | c 12 > 6.199960 | c 21 > 5.099020 | c 20 > 94.476000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.835620 | c 28 > 6.164380 | c 29 > -1.000000 | c 3 > 8.543030 | c 2 > -1.000000 | c 10 > 14.363700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.170400 | c 32 > -1.000000 | c 5 > 15.507200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.00/8.13 c choco : 153.11
8.00/8.13 c mistral : 9.59
8.00/8.13 c abscon : 196.99
8.00/8.13 c
8.00/8.13 c
8.00/8.13 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-06.xml
8.00/8.13 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.524030 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.225600 | c 34 > 0.000000 | c 16 > 22.000000 | c 13 > 5.023370 | c 14 > 7.686500 | c 11 > 8.543030 | c 12 > 6.201430 | c 21 > 5.099020 | c 20 > 94.476000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.835620 | c 28 > 6.164380 | c 29 > -1.000000 | c 3 > 8.543030 | c 2 > -1.000000 | c 10 > 14.363700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.170400 | c 32 > -1.000000 | c 5 > 15.507200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.33 c choco : 29.3
8.19/8.33 c mistral : 16.5
8.19/8.33 c abscon : 35.08
8.19/8.33 c
8.19/8.33 c
8.19/8.33 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-02.xml
8.19/8.33 c 19 > 0.000000 | c 35 > 0.037683 | c 17 > 4.110210 | c 18 > 0.000000 | c 33 > 0.028262 | c 15 > 19.040800 | c 34 > 0.028262 | c 16 > 24.000000 | c 13 > 5.227280 | c 14 > 7.936640 | c 11 > 8.764870 | c 12 > 5.896410 | c 21 > 5.099020 | c 20 > 95.889800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.714290 | c 28 > 4.285710 | c 29 > -1.000000 | c 3 > 8.764870 | c 2 > -1.000000 | c 10 > 14.938800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.719600 | c 32 > -1.000000 | c 5 > 15.994100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.35 c choco : 31.25
8.19/8.35 c mistral : 23.83
8.19/8.35 c abscon : 27.37
8.19/8.35 c
8.19/8.35 c
8.19/8.35 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-07.xml
8.19/8.35 c 19 > 0.000000 | c 35 > 0.132231 | c 17 > 5.909800 | c 18 > 0.000000 | c 33 > 0.099174 | c 15 > 19.629800 | c 34 > 0.099174 | c 16 > 20.000000 | c 13 > 5.353250 | c 14 > 8.164910 | c 11 > 8.523560 | c 12 > 6.166270 | c 21 > 5.099020 | c 20 > 94.090200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.736840 | c 28 > 5.263160 | c 29 > -1.000000 | c 3 > 8.523560 | c 2 > -1.000000 | c 10 > 14.205500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.994400 | c 32 > -1.000000 | c 5 > 15.365200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.36 c choco : 1801.0
8.19/8.36 c mistral : 44.78
8.19/8.36 c abscon : 39.44
8.19/8.36 c
8.19/8.36 c
8.19/8.36 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-03.xml
8.19/8.36 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.201790 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.227300 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 6.114670 | c 14 > 7.787900 | c 11 > 8.781360 | c 12 > 6.391180 | c 21 > 5.099020 | c 20 > 94.798200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.827590 | c 28 > 5.172410 | c 29 > -1.000000 | c 3 > 8.781360 | c 2 > -1.000000 | c 10 > 14.604000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.395900 | c 32 > -1.000000 | c 5 > 15.735500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.37 c choco : 1801.0
8.19/8.37 c mistral : 69.75
8.19/8.37 c abscon : 1801.0
8.19/8.37 c
8.19/8.37 c
8.19/8.37 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-07.xml
8.19/8.37 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.474160 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.081600 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 4.954940 | c 14 > 7.569860 | c 11 > 8.800900 | c 12 > 5.669700 | c 21 > 5.099020 | c 20 > 95.525800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.597700 | c 28 > 5.402300 | c 29 > -1.000000 | c 3 > 8.800900 | c 2 > -1.000000 | c 10 > 14.847800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.643700 | c 32 > -1.000000 | c 5 > 15.938300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.37 c choco : 63.95
8.19/8.37 c mistral : 14.25
8.19/8.37 c abscon : 28.1
8.19/8.37 c
8.19/8.37 c
8.19/8.37 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-02.xml
8.19/8.37 c 19 > 0.000000 | c 35 > 0.037683 | c 17 > 4.110210 | c 18 > 0.000000 | c 33 > 0.028262 | c 15 > 18.198700 | c 34 > 0.028262 | c 16 > 24.000000 | c 13 > 5.144910 | c 14 > 7.707360 | c 11 > 8.764870 | c 12 > 6.397990 | c 21 > 5.099020 | c 20 > 95.889800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.714290 | c 28 > 4.285710 | c 29 > -1.000000 | c 3 > 8.764870 | c 2 > -1.000000 | c 10 > 14.938800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.719600 | c 32 > -1.000000 | c 5 > 15.994100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.38 c choco : 31.54
8.19/8.38 c mistral : 6.14
8.19/8.38 c abscon : 29.06
8.19/8.38 c
8.19/8.38 c
8.19/8.38 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-04.xml
8.19/8.38 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 3.965480 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.297200 | c 34 > 0.000000 | c 16 > 18.000000 | c 13 > 5.606560 | c 14 > 7.312880 | c 11 > 8.810570 | c 12 > 6.598850 | c 21 > 5.099020 | c 20 > 96.034500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.352940 | c 28 > 7.647060 | c 29 > -1.000000 | c 3 > 8.810570 | c 2 > -1.000000 | c 10 > 15.172900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.995000 | c 32 > -1.000000 | c 5 > 16.232200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.39 c choco : 430.0
8.19/8.39 c mistral : 69.48
8.19/8.39 c abscon : 1801.0
8.19/8.39 c
8.19/8.39 c
8.19/8.39 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-21-02.xml
8.19/8.39 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.945600 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.974000 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 4.849560 | c 14 > 7.774790 | c 11 > 8.527480 | c 12 > 6.200340 | c 21 > 5.099020 | c 20 > 95.054400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.400000 | c 28 > 5.600000 | c 29 > -1.000000 | c 3 > 8.527480 | c 2 > -1.000000 | c 10 > 14.509200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.308200 | c 32 > -1.000000 | c 5 > 15.614400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.39 c choco : 28.41
8.19/8.39 c mistral : 8.26
8.19/8.39 c abscon : 25.34
8.19/8.39 c
8.19/8.39 c
8.19/8.39 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-21-02.xml
8.19/8.39 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.945600 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.929200 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 4.823350 | c 14 > 7.748190 | c 11 > 8.527480 | c 12 > 6.195700 | c 21 > 5.099020 | c 20 > 95.054400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.400000 | c 28 > 5.600000 | c 29 > -1.000000 | c 3 > 8.527480 | c 2 > -1.000000 | c 10 > 14.509200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.308200 | c 32 > -1.000000 | c 5 > 15.614400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.26/8.40 c choco : 24.28
8.26/8.40 c mistral : 7.44
8.26/8.40 c abscon : 24.56
8.26/8.40 c
8.26/8.40 c
8.26/8.40 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-08.xml
8.26/8.40 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.185270 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.274000 | c 34 > 0.000000 | c 16 > 18.000000 | c 13 > 4.932850 | c 14 > 8.011230 | c 11 > 8.511750 | c 12 > 5.877340 | c 21 > 5.099020 | c 20 > 95.814700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.200000 | c 28 > 5.800000 | c 29 > -1.000000 | c 3 > 8.511750 | c 2 > -1.000000 | c 10 > 14.787600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.592100 | c 32 > -1.000000 | c 5 > 15.845600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.26/8.41 c choco : 33.35
8.26/8.41 c mistral : 2.49
8.26/8.41 c abscon : 30.96
8.26/8.41 c
8.26/8.41 c
8.26/8.41 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-07.xml
8.26/8.41 c 19 > 0.000000 | c 35 > 0.132231 | c 17 > 5.909800 | c 18 > 0.000000 | c 33 > 0.099174 | c 15 > 19.120400 | c 34 > 0.099174 | c 16 > 20.000000 | c 13 > 4.907310 | c 14 > 7.924810 | c 11 > 8.523560 | c 12 > 6.095860 | c 21 > 5.099020 | c 20 > 94.090200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.736840 | c 28 > 5.263160 | c 29 > -1.000000 | c 3 > 8.523560 | c 2 > -1.000000 | c 10 > 14.205500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.994400 | c 32 > -1.000000 | c 5 > 15.365200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.26/8.42 c choco : 65.63
8.26/8.42 c mistral : 9.88
8.26/8.42 c abscon : 26.05
8.26/8.42 c
8.26/8.42 c
8.26/8.42 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-01.xml
8.26/8.42 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.992180 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.233000 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 5.066810 | c 14 > 7.238400 | c 11 > 8.543030 | c 12 > 5.979860 | c 21 > 5.099020 | c 20 > 94.007800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.623190 | c 28 > 6.376810 | c 29 > -1.000000 | c 3 > 8.543030 | c 2 > -1.000000 | c 10 > 14.159600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.965600 | c 32 > -1.000000 | c 5 > 15.347600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.26/8.42 c choco : 1801.0
8.26/8.42 c mistral : 67.7
8.26/8.42 c abscon : 1801.0
8.26/8.42 c
8.26/8.42 c
8.26/8.42 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-07.xml
8.26/8.42 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.474160 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.640200 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 5.072760 | c 14 > 6.977280 | c 11 > 8.800900 | c 12 > 6.250140 | c 21 > 5.099020 | c 20 > 95.525800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.597700 | c 28 > 5.402300 | c 29 > -1.000000 | c 3 > 8.800900 | c 2 > -1.000000 | c 10 > 14.847800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.643700 | c 32 > -1.000000 | c 5 > 15.938300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.26/8.43 c choco : 36.8
8.26/8.43 c mistral : 11.32
8.26/8.43 c abscon : 32.86
8.26/8.43 c
8.26/8.43 c
8.26/8.43 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-02.xml
8.26/8.43 c 19 > 0.000000 | c 35 > 0.037683 | c 17 > 4.110210 | c 18 > 0.000000 | c 33 > 0.028262 | c 15 > 17.907400 | c 34 > 0.028262 | c 16 > 24.000000 | c 13 > 5.161070 | c 14 > 7.228820 | c 11 > 8.764870 | c 12 > 6.387220 | c 21 > 5.099020 | c 20 > 95.889800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.714290 | c 28 > 4.285710 | c 29 > -1.000000 | c 3 > 8.764870 | c 2 > -1.000000 | c 10 > 14.938800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.719600 | c 32 > -1.000000 | c 5 > 15.994100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.26/8.43 c choco : 33.47
8.26/8.43 c mistral : 10.39
8.26/8.43 c abscon : 31.81
8.26/8.43 c
8.26/8.43 c
8.26/8.43 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-03.xml
8.26/8.43 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 6.728970 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.205000 | c 34 > 0.000000 | c 16 > 22.000000 | c 13 > 5.078330 | c 14 > 8.016810 | c 11 > 8.499850 | c 12 > 6.105630 | c 21 > 5.099020 | c 20 > 93.271000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.166670 | c 28 > 5.833330 | c 29 > -1.000000 | c 3 > 8.499850 | c 2 > -1.000000 | c 10 > 14.004900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.803700 | c 32 > -1.000000 | c 5 > 15.214200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.26/8.44 c choco : 30.14
8.26/8.44 c mistral : 15.05
8.26/8.44 c abscon : 47.58
8.26/8.44 c
8.26/8.44 c
8.26/8.44 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-03.xml
8.26/8.44 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.201790 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.575600 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 5.046140 | c 14 > 7.851750 | c 11 > 8.781360 | c 12 > 6.183750 | c 21 > 5.099020 | c 20 > 94.798200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.827590 | c 28 > 5.172410 | c 29 > -1.000000 | c 3 > 8.781360 | c 2 > -1.000000 | c 10 > 14.604000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.395900 | c 32 > -1.000000 | c 5 > 15.735500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.26/8.45 c choco : 1801.0
8.26/8.45 c mistral : 360.0
8.26/8.45 c abscon : 148.75
8.26/8.45 c
8.26/8.45 c
8.26/8.45 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-08.xml
8.26/8.45 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.185270 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.421000 | c 34 > 0.000000 | c 16 > 18.000000 | c 13 > 4.824170 | c 14 > 7.554590 | c 11 > 8.511750 | c 12 > 5.852310 | c 21 > 5.099020 | c 20 > 95.814700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.200000 | c 28 > 5.800000 | c 29 > -1.000000 | c 3 > 8.511750 | c 2 > -1.000000 | c 10 > 14.787600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.592100 | c 32 > -1.000000 | c 5 > 15.845600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.26/8.45 c choco : 64.2
8.26/8.45 c mistral : 2.2
8.26/8.45 c abscon : 23.8
8.26/8.45 c
8.26/8.45 c
8.26/8.45 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-21-06.xml
8.26/8.45 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.524030 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.607700 | c 34 > 0.000000 | c 16 > 22.000000 | c 13 > 4.639060 | c 14 > 7.321930 | c 11 > 8.543030 | c 12 > 5.426170 | c 21 > 5.099020 | c 20 > 94.476000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.835620 | c 28 > 6.164380 | c 29 > -1.000000 | c 3 > 8.543030 | c 2 > -1.000000 | c 10 > 14.363700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.170400 | c 32 > -1.000000 | c 5 > 15.507200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.26/8.46 c choco : 84.46
8.26/8.46 c mistral : 5.8
8.26/8.46 c abscon : 25.15
8.26/8.46 c
8.26/8.46 c
8.26/8.46 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-03.xml
8.26/8.46 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 6.728970 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.808300 | c 34 > 0.000000 | c 16 > 22.000000 | c 13 > 4.785110 | c 14 > 7.954200 | c 11 > 8.499850 | c 12 > 5.952520 | c 21 > 5.099020 | c 20 > 93.271000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.166670 | c 28 > 5.833330 | c 29 > -1.000000 | c 3 > 8.499850 | c 2 > -1.000000 | c 10 > 14.004900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.803700 | c 32 > -1.000000 | c 5 > 15.214200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.26/8.46 c choco : 32.3
8.26/8.46 c mistral : 21.78
8.26/8.46 c abscon : 24.64
8.26/8.46 c
8.26/8.46 c
8.26/8.46 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-04.xml
8.26/8.46 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 3.965480 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.934900 | c 34 > 0.000000 | c 16 > 18.000000 | c 13 > 5.599530 | c 14 > 7.139550 | c 11 > 8.810570 | c 12 > 6.541090 | c 21 > 5.099020 | c 20 > 96.034500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.352940 | c 28 > 7.647060 | c 29 > -1.000000 | c 3 > 8.810570 | c 2 > -1.000000 | c 10 > 15.172900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.995000 | c 32 > -1.000000 | c 5 > 16.232200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.26/8.47 c choco : 84.14
8.26/8.47 c mistral : 27.57
8.26/8.47 c abscon : 31.06
8.26/8.47 c
8.26/8.47 c
8.26/8.47 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-08.xml
8.26/8.47 c 19 > 0.000000 | c 35 > 0.051397 | c 17 > 4.008630 | c 18 > 0.000000 | c 33 > 0.038548 | c 15 > 19.377800 | c 34 > 0.038548 | c 16 > 24.000000 | c 13 > 5.461510 | c 14 > 8.139550 | c 11 > 8.204570 | c 12 > 6.084440 | c 21 > 5.099020 | c 20 > 95.991400 | 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.422900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.192400 | c 32 > -1.000000 | c 5 > 15.461300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.26/8.47 c choco : 22.21
8.26/8.47 c mistral : 2.41
8.26/8.47 c abscon : 22.82
8.26/8.47 c
8.26/8.47 c
8.26/8.47 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-21-08.xml
8.26/8.47 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.185270 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.017400 | c 34 > 0.000000 | c 16 > 18.000000 | c 13 > 4.882640 | c 14 > 7.658210 | c 11 > 8.511750 | c 12 > 5.921770 | c 21 > 5.099020 | c 20 > 95.814700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.200000 | c 28 > 5.800000 | c 29 > -1.000000 | c 3 > 8.511750 | c 2 > -1.000000 | c 10 > 14.787600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.592100 | c 32 > -1.000000 | c 5 > 15.845600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.26/8.48 c choco : 24.94
8.26/8.48 c mistral : 4.49
8.26/8.48 c abscon : 25.56
8.26/8.48 c
8.26/8.48 c
8.26/8.48 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-04.xml
8.26/8.48 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 3.965480 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.937900 | c 34 > 0.000000 | c 16 > 18.000000 | c 13 > 5.594530 | c 14 > 6.882640 | c 11 > 8.810570 | c 12 > 6.550280 | c 21 > 5.099020 | c 20 > 96.034500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.352940 | c 28 > 7.647060 | c 29 > -1.000000 | c 3 > 8.810570 | c 2 > -1.000000 | c 10 > 15.172900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.995000 | c 32 > -1.000000 | c 5 > 16.232200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.26/8.49 c choco : 1801.0
8.26/8.49 c mistral : 63.86
8.26/8.49 c abscon : 33.04
8.26/8.49 c
8.26/8.49 c
8.26/8.49 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-21-06.xml
8.26/8.49 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.524030 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.543500 | c 34 > 0.000000 | c 16 > 22.000000 | c 13 > 4.603900 | c 14 > 7.066090 | c 11 > 8.543030 | c 12 > 5.433350 | c 21 > 5.099020 | c 20 > 94.476000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.835620 | c 28 > 6.164380 | c 29 > -1.000000 | c 3 > 8.543030 | c 2 > -1.000000 | c 10 > 14.363700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.170400 | c 32 > -1.000000 | c 5 > 15.507200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.26/8.49 c choco : 24.67
8.26/8.49 c mistral : 7.22
8.26/8.49 c abscon : 24.72
8.26/8.49 c
8.26/8.49 c
8.26/8.49 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-21-08.xml
8.26/8.49 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.185270 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.857600 | c 34 > 0.000000 | c 16 > 18.000000 | c 13 > 4.951420 | c 14 > 7.651050 | c 11 > 8.511750 | c 12 > 5.909130 | c 21 > 5.099020 | c 20 > 95.814700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.200000 | c 28 > 5.800000 | c 29 > -1.000000 | c 3 > 8.511750 | c 2 > -1.000000 | c 10 > 14.787600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.592100 | c 32 > -1.000000 | c 5 > 15.845600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.26/8.50 c choco : 24.34
8.26/8.50 c mistral : 3.41
8.33/8.50 c abscon : 27.41
8.33/8.50 c
8.33/8.50 c
8.33/8.50 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-01.xml
8.33/8.50 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.353740 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.216400 | c 34 > 0.000000 | c 16 > 18.000000 | c 13 > 5.615430 | c 14 > 8.247930 | c 11 > 8.233620 | c 12 > 6.490040 | c 21 > 5.099020 | c 20 > 95.646300 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.406250 | c 28 > 3.593750 | c 29 > -1.000000 | c 3 > 8.233620 | c 2 > -1.000000 | c 10 > 14.316800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.092400 | c 32 > -1.000000 | c 5 > 15.384000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.33/8.51 c choco : 22.73
8.33/8.51 c mistral : 2.32
8.33/8.51 c abscon : 22.38
8.33/8.51 c
8.33/8.51 c
8.33/8.51 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-08.xml
8.33/8.51 c 19 > 0.000000 | c 35 > 0.051397 | c 17 > 4.008630 | c 18 > 0.000000 | c 33 > 0.038548 | c 15 > 19.186300 | c 34 > 0.038548 | c 16 > 24.000000 | c 13 > 5.511490 | c 14 > 7.636620 | c 11 > 8.204570 | c 12 > 5.847830 | c 21 > 5.099020 | c 20 > 95.991400 | 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.422900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.192400 | c 32 > -1.000000 | c 5 > 15.461300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.33/8.51 c choco : 63.35
8.33/8.51 c mistral : 3.82
8.33/8.51 c abscon : 24.18
8.33/8.51 c
8.33/8.51 c
8.33/8.51 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-21-01.xml
8.33/8.51 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.992180 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.682800 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 4.800170 | c 14 > 6.930740 | c 11 > 8.543030 | c 12 > 5.873630 | c 21 > 5.099020 | c 20 > 94.007800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.623190 | c 28 > 6.376810 | c 29 > -1.000000 | c 3 > 8.543030 | c 2 > -1.000000 | c 10 > 14.159600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.965600 | c 32 > -1.000000 | c 5 > 15.347600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.33/8.52 c choco : 45.6
8.33/8.52 c mistral : 7.17
8.33/8.52 c abscon : 30.02
8.33/8.52 c
8.33/8.52 c
8.33/8.52 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-03.xml
8.33/8.52 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.201790 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.943100 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 4.704820 | c 14 > 7.459430 | c 11 > 8.781360 | c 12 > 6.043800 | c 21 > 5.099020 | c 20 > 94.798200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.827590 | c 28 > 5.172410 | c 29 > -1.000000 | c 3 > 8.781360 | c 2 > -1.000000 | c 10 > 14.604000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.395900 | c 32 > -1.000000 | c 5 > 15.735500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.33/8.53 c choco : 32.47
8.33/8.53 c mistral : 9.06
8.33/8.53 c abscon : 31.94
8.33/8.53 c
8.33/8.53 c
8.33/8.53 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-21-07.xml
8.33/8.53 c 19 > 0.000000 | c 35 > 0.132231 | c 17 > 5.909800 | c 18 > 0.000000 | c 33 > 0.099174 | c 15 > 17.686000 | c 34 > 0.099174 | c 16 > 20.000000 | c 13 > 4.410630 | c 14 > 7.607330 | c 11 > 8.523560 | c 12 > 5.312690 | c 21 > 5.099020 | c 20 > 94.090200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.736840 | c 28 > 5.263160 | c 29 > -1.000000 | c 3 > 8.523560 | c 2 > -1.000000 | c 10 > 14.205500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.994400 | c 32 > -1.000000 | c 5 > 15.365200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.33/8.53 c choco : 28.3
8.33/8.53 c mistral : 5.96
8.33/8.53 c abscon : 25.05
8.33/8.53 c
8.33/8.53 c
8.33/8.54 c Length: 40
8.33/8.54 c 2.993560530221496 4.071337508338016 5.035560806317748 5.10206634075842 5.120430449024769 5.173377244240308 5.23516035706033 5.386656794183518 5.394483443493312 5.449386686923903 5.521537729394184 5.837756541209649 5.90412338330246 6.186815931238256 6.190649520173424 6.232015644407197 6.258907351888463 6.297855674078556 6.346601255224992 6.3467322183406685 6.399878050678692 6.42610762011682 6.4394372522778305 6.533359332719735 6.543234125783939 6.5918722890331765 6.873232631289551 6.889970107288091 6.896907739155534 6.926913368559149 6.968912535428198 6.988880463287627 7.01690367603286 7.027655311134964 7.039453727678268 7.065029327654873 7.173499907510161 7.381407825030633 7.533458229739081 7.5960364727441165
8.33/8.54 c
8.33/8.54 c 1.0 0.810258980863259 0.6926770133702572 0.6858126145886697 0.6839410601516902 0.6786017908094237 0.6724758897507102 0.6579127206000807 0.6571774701528883 0.6520655928042458 0.6454675251436199 0.6180581031708746 0.6125984528678139 0.5903841140365705 0.5900939324653336 0.5869807946576656 0.5849745324044155 0.5820929798323 0.57852634025765 0.5785168167574225 0.5746778168019064 0.5728018356579144 0.5718531647821867 0.5652567724194166 0.5645720703503851 0.5612236421842476 0.5426073582858963 0.5415387619840626 0.5410970649835845 0.5391949698947411 0.5365549379829847 0.5353088174133299 0.5335697277429865 0.532905488753007 0.5321784798993429 0.5306093225751826 0.5240558291681333 0.5119366479962728 0.5034224286522964 0.5
8.33/8.55 c
8.33/8.55 c solver 0
8.33/8.55 c before 0.0 seconds: {} 0
8.33/8.55 c before 36.0 seconds: {0, 1, 3, 4, 7, 8, 10, 11, 14, 15, 17, 18, 19, 20, 22, 23, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17791
8.33/8.55 c before 54.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 14, 15, 17, 18, 19, 20, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20319
8.33/8.55 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 14, 15, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21573
8.33/8.55 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22225
8.33/8.55 c
8.33/8.55 c solver 1
8.33/8.55 c before 0.0 seconds: {} 0
8.33/8.55 c before 18.0 seconds: {1, 3, 4, 6, 7, 9, 10, 14, 15, 17, 18, 19, 20, 22, 23, 24, 26, 27, 30, 31, 33, 34, 35, 36, 37, 38, 39} 15791
8.33/8.55 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15, 17, 18, 19, 20, 22, 23, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 20518
8.33/8.55 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 17, 18, 19, 20, 22, 23, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 21131
8.33/8.55 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23412
8.33/8.55 c before 378.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23973
8.33/8.55 c
8.33/8.55 c solver 2
8.33/8.55 c before 0.0 seconds: {} 0
8.33/8.55 c before 36.0 seconds: {3, 4, 7, 10, 11, 15, 17, 18, 19, 23, 24, 28, 30, 31, 33, 34, 35, 38, 39} 10959
8.33/8.55 c before 54.0 seconds: {3, 4, 7, 10, 11, 15, 17, 18, 19, 22, 23, 24, 28, 30, 31, 33, 34, 35, 37, 38, 39} 12043
8.33/8.55 c before 72.0 seconds: {1, 3, 4, 7, 8, 10, 11, 14, 15, 17, 18, 19, 20, 22, 23, 24, 26, 28, 30, 31, 33, 34, 35, 36, 37, 38, 39} 15741
8.33/8.55 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 14, 15, 17, 18, 19, 20, 22, 23, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 19866
8.33/8.55 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15, 17, 18, 19, 20, 22, 23, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 20518
8.33/8.55 c before 432.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 21103
8.33/8.55 c
8.33/8.55 cTotal time: 56
8.33/8.55 c 1008.0 seconds unused
8.33/8.55 c 0 c 0 c 3
8.33/8.55 c 3 c 0 c 5
8.33/8.55 c 1 c 0 c 0
8.33/8.55 c is solver0 dominated by:
8.33/8.55 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: true) (0 is equally as fast as 1: false) (0 < 1: false)
8.33/8.55 c is dominated? true
8.33/8.55 c
8.33/8.55 c is solver1 dominated by:
8.33/8.55 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: false) (1 is equally as fast as 0: false) (1 < 0: true)
8.33/8.55 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false)
8.33/8.55 c is dominated? false
8.33/8.55 c
8.33/8.55 c is solver2 dominated by:
8.33/8.55 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: false) (2 is equally as fast as 0: false) (2 < 0: true)
8.33/8.55 c solver 1 (2 solves instances that 1 can't: false) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: false) (2 is equally as fast as 1: false) (2 < 1: true)
8.33/8.55 c is dominated? true
8.33/8.55 c
8.33/8.55 c Number of non-dominated solvers: 1
8.33/8.55 c remove dominated solvers
8.33/8.55 c solver 1 is not dominated by another solver
8.33/8.55 c solver 2 is dominated by another solver
8.33/8.55 c solver 0 is dominated by another solver
8.33/8.56 c
8.33/8.56 c solver 0: 0.0
8.33/8.56 c
8.33/8.56 c solver 1: 378.0
8.33/8.56 c
8.33/8.56 c+ 21/21 of 79
8.33/8.56 c
8.33/8.56 c solver 2: 0.0
8.33/8.56 c do not run abscon
8.33/8.56 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23973
8.33/8.56 c do not run choco
8.33/8.56 c Starting solver: HOME/cpHydra_k_40/solver/mistral
8.33/8.56 c On Instance: HOME/instance-1068086-1215152317.xml
8.33/8.56 c Running for: 1800 seconds
21.80/22.15 c mistral-prime version 1.313
21.80/22.15 s SATISFIABLE
21.80/22.15 v 2 0 1 14 19 8 18 0 0 2 0 15 0 2 4 18 7 0 10 4 4 11 20 3 4 17 0 1 1 8 13 4 15 0 11 15 14 1 14 23 3 4 19 4 17 12 8 13 0 13 19 8 13 4 15 19 7 4 0 17 19 0 15 19 12 20 18 4 14 17 0 19 4 14 14 25 4 1 0 17 17 7 4 13 8 18 7 15 17 14 1 0 19 4 13 8 17 21 0 13 0 8 13 10 17 14 12 4 14 17 0 22 15 8 4 1 0 12 1 8 3 14 11 0 13 14 0 18 8 18 2 0 17 11 14 0 23 8 18 18 8 18 0 11 4 18 19 4 11 11 0 11 14 0 5 24 8 13 3 20 17 4 17 0 23 11 4 3 20 12 0 6 20 19 3 0 8 17 24 12 0 13 17 8 2 14 18 2 17 8 15 19 20 17 4 0 11 12 0 13 0 2 1 14 3 4 7 4 0 15 15 0 4 0 13 12 0 2 15 20 1 4 18 2 4 13 19 17 0 15 18 19 4 0 12 5 0 17 4 18 2 0 19 12 0 17 8 19 0 11 2 14 6 13 8 25 0 13 19 10 8 13 3 12 14 3 4 17 0 19 4 0 15 17 2 14 11 0 4 13 21 24 21 4 13 0 11 2 14 15 11 8 4 13 4 18 2 0 15 4 4 2 8 3 4 17 5 8 13 4 0 2 19 14 13 4 4 17 8 4 19 14 19 0 11 0 11 19 4 17 3 4 2 0 15 18 15 4 13 0 11 12 1 0 17 14 18 4 1 20 3 0 2 17 4 0 6 4 7 0 24 22 0 17 3 0 11 11 20 19 0 7 14 20 13 2 4 11 0 17 18 18 7 4 8 3 4 0 11 2 14 17 15 18 0 13 19 8 18 4 12 8 19 8 2 18 4 15 19 0 2 11 4 0 19 17 4 21 4 19 0 17 4 13 0 4 13 19 4 17 0 12 15 11 24 19 17 0 3 4 11 4 17 14 24
21.80/22.15 d CHECKS 18178258
21.80/22.15 d ASSIGNMENTS 4020