0.00/0.00 c cpHydra_k_40 version 0.0
7.04/7.14 c CASE TO CLASSIFY:
7.04/7.14 c Case: 0
7.04/7.15 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.504590 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.632300 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 4.969510 | c 14 > 7.977280 | c 11 > 8.562240 | c 12 > 6.262170 | c 21 > 5.099020 | c 20 > 94.495400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.777780 | c 28 > 7.222220 | c 29 > -1.000000 | c 3 > 8.562240 | c 2 > -1.000000 | c 10 > 14.505300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.333200 | c 32 > -1.000000 | c 5 > 15.641300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.04/7.16 c choco : 1801.0
7.04/7.16 c mistral : 1801.0
7.04/7.16 c abscon : 1801.0
7.04/7.16 c
7.04/7.16 c
7.14/7.23 c List of same ones: 40
7.14/7.23 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-04.xml
7.14/7.23 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.504590 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.848800 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 4.840840 | c 14 > 7.087460 | c 11 > 8.562240 | c 12 > 6.256290 | c 21 > 5.099020 | c 20 > 94.495400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.777780 | c 28 > 7.222220 | c 29 > -1.000000 | c 3 > 8.562240 | c 2 > -1.000000 | c 10 > 14.505300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.333200 | c 32 > -1.000000 | c 5 > 15.641300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.14/7.23 c choco : 1801.0
7.14/7.23 c mistral : 11.26
7.14/7.23 c abscon : 65.4
7.14/7.23 c
7.14/7.23 c
7.14/7.23 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-04.xml
7.14/7.23 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.504590 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.433700 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 5.441440 | c 14 > 7.774790 | c 11 > 8.562240 | c 12 > 6.373610 | c 21 > 5.099020 | c 20 > 94.495400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.777780 | c 28 > 7.222220 | c 29 > -1.000000 | c 3 > 8.562240 | c 2 > -1.000000 | c 10 > 14.505300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.333200 | c 32 > -1.000000 | c 5 > 15.641300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.14/7.24 c choco : 1801.0
7.14/7.24 c mistral : 264.18
7.14/7.24 c abscon : 74.51
7.14/7.24 c
7.14/7.24 c
7.14/7.24 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-08.xml
7.14/7.24 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.298830 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.020600 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 4.703870 | c 14 > 7.523560 | c 11 > 8.826550 | c 12 > 6.329420 | c 21 > 5.099020 | c 20 > 94.701200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.488370 | c 28 > 6.511630 | c 29 > -1.000000 | c 3 > 8.826550 | c 2 > -1.000000 | c 10 > 14.853000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.685400 | c 32 > -1.000000 | c 5 > 15.977000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.14/7.25 c choco : 381.03
7.14/7.25 c mistral : 31.17
7.14/7.25 c abscon : 97.59
7.14/7.25 c
7.14/7.25 c
7.14/7.25 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-21-04.xml
7.14/7.25 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.504590 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.601700 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 4.540960 | c 14 > 7.044390 | c 11 > 8.562240 | c 12 > 6.139550 | c 21 > 5.099020 | c 20 > 94.495400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.777780 | c 28 > 7.222220 | c 29 > -1.000000 | c 3 > 8.562240 | c 2 > -1.000000 | c 10 > 14.505300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.333200 | c 32 > -1.000000 | c 5 > 15.641300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.14/7.26 c choco : 1801.0
7.14/7.26 c mistral : 16.28
7.14/7.26 c abscon : 34.36
7.14/7.26 c
7.14/7.26 c
7.14/7.26 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-21-04.xml
7.14/7.26 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.504590 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.561000 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 4.534980 | c 14 > 7.066090 | c 11 > 8.562240 | c 12 > 6.136190 | c 21 > 5.099020 | c 20 > 94.495400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.777780 | c 28 > 7.222220 | c 29 > -1.000000 | c 3 > 8.562240 | c 2 > -1.000000 | c 10 > 14.505300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.333200 | c 32 > -1.000000 | c 5 > 15.641300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.14/7.27 c choco : 32.26
7.14/7.27 c mistral : 7.5
7.14/7.27 c abscon : 26.16
7.14/7.27 c
7.14/7.27 c
7.14/7.27 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-08.xml
7.14/7.27 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.298830 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.526100 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 5.086710 | c 14 > 7.845490 | c 11 > 8.826550 | c 12 > 6.353010 | c 21 > 5.099020 | c 20 > 94.701200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.488370 | c 28 > 6.511630 | c 29 > -1.000000 | c 3 > 8.826550 | c 2 > -1.000000 | c 10 > 14.853000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.685400 | c 32 > -1.000000 | c 5 > 15.977000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.14/7.28 c choco : 1801.0
7.14/7.28 c mistral : 1801.0
7.14/7.28 c abscon : 593.84
7.14/7.28 c
7.14/7.28 c
7.14/7.28 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-09.xml
7.14/7.28 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.466500 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.039200 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 5.324300 | c 14 > 8.098030 | c 11 > 8.515700 | c 12 > 6.527930 | c 21 > 5.099020 | c 20 > 95.533500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.500000 | c 28 > 7.500000 | c 29 > -1.000000 | c 3 > 8.515700 | c 2 > -1.000000 | c 10 > 14.744800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.564600 | c 32 > -1.000000 | c 5 > 15.823300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.14/7.28 c choco : 35.95
7.14/7.28 c mistral : 21.07
7.14/7.28 c abscon : 28.75
7.14/7.28 c
7.14/7.28 c
7.14/7.28 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-21-09.xml
7.14/7.28 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.466500 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.012900 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 5.369810 | c 14 > 7.539160 | c 11 > 8.515700 | c 12 > 6.419970 | c 21 > 5.099020 | c 20 > 95.533500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.500000 | c 28 > 7.500000 | c 29 > -1.000000 | c 3 > 8.515700 | c 2 > -1.000000 | c 10 > 14.744800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.564600 | c 32 > -1.000000 | c 5 > 15.823300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.14/7.29 c choco : 26.12
7.14/7.29 c mistral : 5.94
7.14/7.29 c abscon : 26.87
7.14/7.29 c
7.14/7.29 c
7.14/7.29 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-09.xml
7.14/7.29 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.466500 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.381200 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 5.363320 | c 14 > 7.988680 | c 11 > 8.515700 | c 12 > 6.554500 | c 21 > 5.099020 | c 20 > 95.533500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.500000 | c 28 > 7.500000 | c 29 > -1.000000 | c 3 > 8.515700 | c 2 > -1.000000 | c 10 > 14.744800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.564600 | c 32 > -1.000000 | c 5 > 15.823300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.30 c choco : 1801.0
7.22/7.30 c mistral : 18.81
7.22/7.30 c abscon : 31.38
7.22/7.30 c
7.22/7.30 c
7.22/7.30 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-21-09.xml
7.22/7.30 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.466500 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.119100 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 5.613480 | c 14 > 7.562240 | c 11 > 8.515700 | c 12 > 6.536190 | c 21 > 5.099020 | c 20 > 95.533500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.500000 | c 28 > 7.500000 | c 29 > -1.000000 | c 3 > 8.515700 | c 2 > -1.000000 | c 10 > 14.744800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.564600 | c 32 > -1.000000 | c 5 > 15.823300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.31 c choco : 23.97
7.22/7.31 c mistral : 5.16
7.22/7.31 c abscon : 26.74
7.22/7.31 c
7.22/7.31 c
7.22/7.31 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-08.xml
7.22/7.31 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.298830 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.031200 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 3.774680 | c 14 > 7.339850 | c 11 > 8.826550 | c 12 > 6.207910 | c 21 > 5.099020 | c 20 > 94.701200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.488370 | c 28 > 6.511630 | c 29 > -1.000000 | c 3 > 8.826550 | c 2 > -1.000000 | c 10 > 14.853000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.685400 | c 32 > -1.000000 | c 5 > 15.977000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.50 c choco : 31.64
7.41/7.50 c mistral : 8.14
7.41/7.50 c abscon : 27.87
7.41/7.50 c
7.41/7.50 c
7.41/7.50 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-08.xml
7.41/7.50 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.298830 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.778600 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 3.825030 | c 14 > 7.276120 | c 11 > 8.826550 | c 12 > 6.219300 | c 21 > 5.099020 | c 20 > 94.701200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.488370 | c 28 > 6.511630 | c 29 > -1.000000 | c 3 > 8.826550 | c 2 > -1.000000 | c 10 > 14.853000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.685400 | c 32 > -1.000000 | c 5 > 15.977000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.51 c choco : 51.16
7.41/7.51 c mistral : 11.63
7.41/7.51 c abscon : 32.08
7.41/7.51 c
7.41/7.51 c
7.41/7.51 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-05.xml
7.41/7.51 c 19 > 0.000000 | c 35 > 0.073801 | c 17 > 6.228370 | c 18 > 0.000000 | c 33 > 0.055351 | c 15 > 18.885100 | c 34 > 0.055351 | c 16 > 14.000000 | c 13 > 4.105520 | c 14 > 7.864190 | c 11 > 8.523560 | c 12 > 6.124800 | c 21 > 5.099020 | c 20 > 93.771600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.333330 | c 28 > 6.666670 | c 29 > -1.000000 | c 3 > 8.523560 | c 2 > -1.000000 | c 10 > 14.331500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.159900 | c 32 > -1.000000 | c 5 > 15.494900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.52 c choco : 1801.0
7.41/7.52 c mistral : 58.04
7.41/7.52 c abscon : 44.23
7.41/7.52 c
7.41/7.52 c
7.41/7.52 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-05.xml
7.41/7.52 c 19 > 0.000000 | c 35 > 0.073801 | c 17 > 6.228370 | c 18 > 0.000000 | c 33 > 0.055351 | c 15 > 19.464600 | c 34 > 0.055351 | c 16 > 14.000000 | c 13 > 5.688450 | c 14 > 7.906890 | c 11 > 8.523560 | c 12 > 6.308140 | c 21 > 5.099020 | c 20 > 93.771600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.333330 | c 28 > 6.666670 | c 29 > -1.000000 | c 3 > 8.523560 | c 2 > -1.000000 | c 10 > 14.331500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.159900 | c 32 > -1.000000 | c 5 > 15.494900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.53 c choco : 1801.0
7.41/7.53 c mistral : 133.98
7.41/7.53 c abscon : 430.27
7.41/7.53 c
7.41/7.53 c
7.41/7.53 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-21-05.xml
7.41/7.53 c 19 > 0.000000 | c 35 > 0.073801 | c 17 > 6.228370 | c 18 > 0.000000 | c 33 > 0.055351 | c 15 > 17.872500 | c 34 > 0.055351 | c 16 > 14.000000 | c 13 > 3.699260 | c 14 > 7.442940 | c 11 > 8.523560 | c 12 > 6.013540 | c 21 > 5.099020 | c 20 > 93.771600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.333330 | c 28 > 6.666670 | c 29 > -1.000000 | c 3 > 8.523560 | c 2 > -1.000000 | c 10 > 14.331500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.159900 | c 32 > -1.000000 | c 5 > 15.494900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.54 c choco : 26.99
7.41/7.54 c mistral : 3.99
7.41/7.54 c abscon : 22.71
7.41/7.54 c
7.41/7.54 c
7.41/7.54 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-21-05.xml
7.41/7.54 c 19 > 0.000000 | c 35 > 0.073801 | c 17 > 6.228370 | c 18 > 0.000000 | c 33 > 0.055351 | c 15 > 17.665700 | c 34 > 0.055351 | c 16 > 14.000000 | c 13 > 4.173020 | c 14 > 7.312880 | c 11 > 8.523560 | c 12 > 5.373530 | c 21 > 5.099020 | c 20 > 93.771600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.333330 | c 28 > 6.666670 | c 29 > -1.000000 | c 3 > 8.523560 | c 2 > -1.000000 | c 10 > 14.331500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.159900 | c 32 > -1.000000 | c 5 > 15.494900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.54 c choco : 25.7
7.41/7.54 c mistral : 6.65
7.41/7.54 c abscon : 29.37
7.41/7.54 c
7.41/7.54 c
7.41/7.54 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-04.xml
7.41/7.54 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
7.41/7.55 c choco : 430.0
7.41/7.55 c mistral : 69.48
7.41/7.55 c abscon : 1801.0
7.41/7.55 c
7.41/7.55 c
7.41/7.55 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-04.xml
7.41/7.55 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
7.41/7.55 c choco : 84.14
7.41/7.55 c mistral : 27.57
7.41/7.55 c abscon : 31.06
7.41/7.55 c
7.41/7.55 c
7.41/7.55 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-08.xml
7.41/7.55 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
7.41/7.56 c choco : 64.2
7.41/7.56 c mistral : 2.2
7.41/7.56 c abscon : 23.8
7.41/7.56 c
7.41/7.56 c
7.41/7.56 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-08.xml
7.41/7.56 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
7.41/7.57 c choco : 33.35
7.41/7.57 c mistral : 2.49
7.41/7.57 c abscon : 30.96
7.41/7.57 c
7.41/7.57 c
7.41/7.57 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-21-08.xml
7.41/7.57 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
7.41/7.57 c choco : 24.94
7.41/7.57 c mistral : 4.49
7.41/7.57 c abscon : 25.56
7.41/7.57 c
7.41/7.57 c
7.41/7.57 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-21-08.xml
7.41/7.57 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
7.41/7.58 c choco : 24.34
7.41/7.58 c mistral : 3.41
7.41/7.58 c abscon : 27.41
7.41/7.58 c
7.41/7.58 c
7.41/7.58 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-04.xml
7.41/7.58 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
7.41/7.59 c choco : 1801.0
7.41/7.59 c mistral : 63.86
7.41/7.59 c abscon : 33.04
7.41/7.59 c
7.41/7.59 c
7.41/7.59 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-06.xml
7.41/7.59 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.149400 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.255400 | c 34 > 0.000000 | c 16 > 18.000000 | c 13 > 4.047620 | c 14 > 6.321930 | c 11 > 8.845490 | c 12 > 5.784150 | c 21 > 5.099020 | c 20 > 92.850600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.564100 | c 28 > 7.435900 | c 29 > -1.000000 | c 3 > 8.845490 | c 2 > -1.000000 | c 10 > 14.453900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.306300 | c 32 > -1.000000 | c 5 > 15.679500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.59 c choco : 214.36
7.41/7.59 c mistral : 51.06
7.41/7.59 c abscon : 56.98
7.41/7.59 c
7.41/7.59 c
7.41/7.59 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-06.xml
7.41/7.59 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.149400 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.203300 | c 34 > 0.000000 | c 16 > 18.000000 | c 13 > 4.056370 | c 14 > 5.832890 | c 11 > 8.845490 | c 12 > 5.790340 | c 21 > 5.099020 | c 20 > 92.850600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.564100 | c 28 > 7.435900 | c 29 > -1.000000 | c 3 > 8.845490 | c 2 > -1.000000 | c 10 > 14.453900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.306300 | c 32 > -1.000000 | c 5 > 15.679500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.60 c choco : 70.96
7.41/7.60 c mistral : 1801.0
7.41/7.60 c abscon : 62.67
7.41/7.60 c
7.41/7.60 c
7.41/7.60 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-07.xml
7.41/7.60 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
7.41/7.60 c choco : 65.63
7.41/7.60 c mistral : 9.88
7.41/7.60 c abscon : 26.05
7.41/7.60 c
7.41/7.60 c
7.41/7.60 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-07.xml
7.41/7.60 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
7.47/7.61 c choco : 1801.0
7.47/7.61 c mistral : 44.78
7.47/7.61 c abscon : 39.44
7.47/7.61 c
7.47/7.61 c
7.47/7.61 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-21-07.xml
7.47/7.61 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
7.47/7.61 c choco : 28.3
7.47/7.61 c mistral : 5.96
7.47/7.61 c abscon : 25.05
7.47/7.61 c
7.47/7.61 c
7.47/7.61 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-21-07.xml
7.47/7.61 c 19 > 0.000000 | c 35 > 0.132231 | c 17 > 5.909800 | c 18 > 0.000000 | c 33 > 0.099174 | c 15 > 17.476700 | c 34 > 0.099174 | c 16 > 20.000000 | c 13 > 4.406770 | c 14 > 7.459430 | c 11 > 8.523560 | c 12 > 5.319570 | 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
7.47/7.62 c choco : 26.63
7.47/7.62 c mistral : 4.5
7.47/7.62 c abscon : 25.23
7.47/7.62 c
7.47/7.62 c
7.47/7.62 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-01.xml
7.47/7.62 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
7.47/7.62 c choco : 22.73
7.47/7.62 c mistral : 2.32
7.47/7.62 c abscon : 22.38
7.47/7.62 c
7.47/7.62 c
7.47/7.62 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-01.xml
7.47/7.62 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.353740 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.223000 | c 34 > 0.000000 | c 16 > 18.000000 | c 13 > 5.109170 | c 14 > 7.199670 | c 11 > 8.233620 | c 12 > 5.752930 | 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
7.47/7.63 c choco : 27.66
7.47/7.63 c mistral : 2.48
7.47/7.63 c abscon : 24.75
7.47/7.63 c
7.47/7.63 c
7.47/7.63 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-01.xml
7.47/7.63 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.353740 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.687700 | c 34 > 0.000000 | c 16 > 18.000000 | c 13 > 5.210180 | c 14 > 7.507790 | c 11 > 8.233620 | c 12 > 5.767880 | 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
7.47/7.63 c choco : 23.67
7.47/7.63 c mistral : 5.58
7.47/7.63 c abscon : 24.73
7.47/7.63 c
7.47/7.63 c
7.47/7.63 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-01.xml
7.47/7.63 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.353740 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.424100 | c 34 > 0.000000 | c 16 > 18.000000 | c 13 > 5.188880 | c 14 > 7.392320 | c 11 > 8.233620 | c 12 > 5.708070 | 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
7.47/7.64 c choco : 21.93
7.47/7.64 c mistral : 4.14
7.47/7.64 c abscon : 24.8
7.47/7.64 c
7.47/7.64 c
7.47/7.64 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-06.xml
7.47/7.64 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
7.47/7.64 c choco : 29.3
7.47/7.64 c mistral : 16.5
7.47/7.64 c abscon : 35.08
7.47/7.64 c
7.47/7.64 c
7.47/7.64 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-06.xml
7.47/7.64 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
7.47/7.65 c choco : 153.11
7.47/7.65 c mistral : 9.59
7.47/7.65 c abscon : 196.99
7.47/7.65 c
7.47/7.65 c
7.47/7.65 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-21-06.xml
7.47/7.65 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
7.47/7.66 c choco : 84.46
7.47/7.66 c mistral : 5.8
7.47/7.66 c abscon : 25.15
7.47/7.66 c
7.47/7.66 c
7.47/7.66 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-21-06.xml
7.47/7.66 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
7.47/7.66 c choco : 24.67
7.47/7.66 c mistral : 7.22
7.47/7.66 c abscon : 24.72
7.47/7.66 c
7.47/7.66 c
7.47/7.66 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-03.xml
7.47/7.66 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
7.47/7.67 c choco : 32.3
7.47/7.67 c mistral : 21.78
7.47/7.67 c abscon : 24.64
7.47/7.67 c
7.47/7.67 c
7.47/7.67 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-03.xml
7.47/7.67 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
7.47/7.67 c choco : 30.14
7.47/7.67 c mistral : 15.05
7.47/7.67 c abscon : 47.58
7.47/7.67 c
7.47/7.67 c
7.47/7.67 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-05.xml
7.47/7.68 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.47/7.68 c choco : 30.8
7.47/7.68 c mistral : 5.63
7.47/7.68 c abscon : 29.5
7.47/7.68 c
7.47/7.68 c
7.47/7.68 c Length: 40
7.47/7.68 c 0.9247931799597142 0.958321949346879 1.4225495374502781 1.4598324831979868 1.4773754388780134 1.5588957873122877 1.6836331436212584 1.7940776160746235 1.8054064315549558 1.8393979534075824 1.9468236636634562 2.030768974772857 2.569688785526606 2.641575294395601 2.880871611919075 2.9259313592531875 3.4434777966468686 3.4810506633486358 3.483182473069707 3.504640674363065 3.510479014493606 3.542836049269003 3.550904012107336 3.9219628658236947 4.167045581284182 4.959615079452732 5.050932946875747 5.154751690104473 5.209031600924966 5.851485248968845 5.865778047147709 5.896715414211542 5.959311491405697 6.224727191500042 6.250954952909195 6.371142946756099 6.4140818815789995 6.613520818875526 6.628963488185767 6.74472587191084
7.47/7.69 c
7.47/7.69 c 1.0 0.9942719757175101 0.9212122734127676 0.9158077638039495 0.9132866280928995 0.9017509855545747 0.884653262335469 0.8700469099040541 0.8685758953054558 0.8641918946702777 0.8506232118669771 0.8403132532105047 0.7796472283074745 0.7722108161793526 0.7484470635664849 0.7441350152380062 0.697949369366315 0.6948185953424649 0.6946418032546728 0.6928672611463883 0.6923860122385129 0.6897309253502719 0.6890720697028558 0.6600731671886649 0.6422217855900655 0.5905710424289984 0.5851488329710003 0.5791040494784053 0.5759930851241604 0.5415591240417601 0.5408398177912185 0.5392893744170106 0.5361793691942289 0.5233815159064599 0.5221499521898252 0.5165796892862685 0.5146183357290989 0.5057002748045059 0.5050226201433332 0.5
7.47/7.70 c
7.47/7.70 c solver 0
7.47/7.70 c before 0.0 seconds: {} 0
7.47/7.70 c before 36.0 seconds: {3, 4, 6, 7, 8, 9, 10, 11, 14, 15, 17, 18, 19, 20, 21, 22, 25, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 39} 19117
7.47/7.70 c before 54.0 seconds: {3, 4, 6, 7, 8, 9, 10, 11, 12, 14, 15, 17, 18, 19, 20, 21, 22, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 20987
7.47/7.70 c before 72.0 seconds: {0, 3, 4, 6, 7, 8, 9, 10, 11, 12, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 23289
7.47/7.70 c before 90.0 seconds: {0, 1, 3, 4, 6, 7, 8, 9, 10, 11, 12, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 24283
7.47/7.70 c before 108.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 25205
7.47/7.70 c before 198.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25727
7.47/7.70 c before 432.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26499
7.47/7.70 c before 594.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 27401
7.47/7.70 c
7.47/7.70 c solver 1
7.47/7.70 c before 0.0 seconds: {} 0
7.47/7.70 c before 18.0 seconds: {0, 3, 4, 7, 9, 10, 11, 14, 15, 18, 19, 20, 21, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 17501
7.47/7.70 c before 36.0 seconds: {0, 2, 3, 4, 6, 7, 8, 9, 10, 11, 14, 15, 17, 18, 19, 20, 21, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21376
7.47/7.70 c before 54.0 seconds: {0, 2, 3, 4, 6, 7, 8, 9, 10, 11, 14, 15, 17, 18, 19, 20, 21, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22621
7.47/7.70 c before 72.0 seconds: {0, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24788
7.47/7.70 c before 144.0 seconds: {0, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25560
7.47/7.70 c before 270.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26555
7.47/7.70 c
7.47/7.70 c solver 2
7.47/7.70 c before 0.0 seconds: {} 0
7.47/7.70 c before 36.0 seconds: {4, 6, 7, 9, 10, 14, 15, 19, 20, 21, 27, 28, 29, 30, 31, 32, 33, 36, 37, 38, 39} 13812
7.47/7.70 c before 54.0 seconds: {4, 6, 7, 9, 10, 11, 14, 15, 19, 20, 21, 27, 28, 29, 30, 31, 32, 33, 36, 37, 38, 39} 14652
7.47/7.70 c before 72.0 seconds: {4, 6, 7, 9, 10, 11, 14, 15, 18, 19, 20, 21, 24, 25, 27, 28, 29, 30, 31, 32, 33, 36, 37, 38, 39} 16579
7.47/7.70 c before 90.0 seconds: {4, 6, 7, 9, 10, 11, 14, 15, 17, 18, 19, 20, 21, 24, 25, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 17791
7.47/7.70 c before 162.0 seconds: {4, 6, 7, 9, 10, 11, 14, 15, 17, 18, 19, 20, 21, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18313
7.47/7.70 c before 216.0 seconds: {4, 6, 7, 9, 10, 11, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18973
7.47/7.70 c before 396.0 seconds: {2, 4, 6, 7, 9, 10, 11, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19894
7.47/7.70 c before 432.0 seconds: {2, 4, 6, 7, 9, 10, 11, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20592
7.47/7.70 c
7.47/7.70 cTotal time: 72
7.47/7.70 c 1296.0 seconds unused
7.47/7.70 c 0 c 2 c 9
7.47/7.70 c 1 c 0 c 8
7.47/7.70 c 1 c 1 c 0
7.47/7.70 c is solver0 dominated by:
7.47/7.70 c solver 1 (0 solves instances that 1 can't: true) (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.47/7.70 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: false) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
7.47/7.70 c is dominated? false
7.47/7.70 c
7.47/7.70 c is solver1 dominated by:
7.47/7.70 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.47/7.70 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: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.47/7.70 c is dominated? false
7.47/7.70 c
7.47/7.70 c is solver2 dominated by:
7.47/7.70 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.47/7.70 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: false) (2 is equally as fast as 1: false) (2 < 1: true)
7.54/7.70 c is dominated? false
7.54/7.70 c
7.54/7.70 c Number of non-dominated solvers: 3
7.54/7.70 c remove dominated solvers
7.54/7.70 c solver 0 is not dominated by another solver
7.54/7.70 c solver 1 is not dominated by another solver
7.54/7.70 c solver 2 is not dominated by another solver
7.54/7.70 c
7.54/7.70 c solver 0: 594.0
7.54/7.70 c
7.54/7.70 c+ 33/72 of 28
7.54/7.70 c
7.54/7.70 c solver 1: 270.0
7.54/7.70 c
7.54/7.70 c+ 15/72 of 28
7.54/7.70 c
7.54/7.70 c solver 2: 432.0
7.54/7.70 c
7.54/7.70 c+ 24/72 of 28
7.54/7.70 c run abscon for 810.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 27401
7.54/7.70 c run mistral for 360.0 seconds {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26555
7.54/7.71 c run choco for 594.0 seconds {2, 4, 6, 7, 9, 10, 11, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20592
7.54/7.71 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.54/7.71 c On Instance: HOME/instance-1064224-1215140235.xml
7.54/7.71 c Running for: 810 seconds
18.15/18.41 s SAT
18.15/18.41 v 18 2 14 17 8 0 2 0 18 10 4 3 22 8 13 4 18 0 15 2 0 19 0 17 17 7 18 14 0 13 4 17 14 20 11 0 3 4 14 20 19 7 8 17 4 18 0 19 4 12 4 13 19 0 12 4 3 14 3 4 3 4 21 14 8 17 18 14 0 18 8 18 20 13 8 19 0 17 4 19 17 0 18 18 0 3 24 19 0 2 17 14 2 4 19 4 13 18 14 17 19 18 11 4 4 15 18 0 0 12 4 17 4 3 18 10 8 13 18 18 4 0 17 8 15 0 17 8 0 11 19 0 13 18 15 0 11 12 18 13 0 17 4 1 4 18 4 19 18 22 4 19 11 14 14 10 2 14 17 15 18 4 0 20 13 4 18 2 0 17 4 18 12 0 17 4 18 4 0 17 18 14 0 15 18 0 17 10 18 13 0 17 4 18 7 0 17 13 19 8 6 15 0 17 4 18 18 0 11 4 18 18 14 17 4 18 0 18 18 8 18 8 18 20 18 19 0 8 13 18 19 17 4 4 19 18 14 13 18 15 0 8 13 18 0 15 8 0 4 13 2 11 0 18 15 18 12 4 18 18 12 0 17 19 0 18 18 11 0 17 4 18 24 0 11 4 18 15 4 0 15 8 11 4 0 0 21 0 18 18 15 11 0 24 12 0 0 17 18 14 12 4 17 13 0 15 18 0 11 4 12 1 4 18 19 4 0 3 0 3 3 4 17 14 19 4 12 0 1 17 0 4 18 19 17 4 7 0 11 0 19 17 20 4 12 4 13 3 0 13 19 4 19 8 1 4 19 0 13 18 4 19 11 8 13 4 0 12 8 18 18 14 18 19 17 0 2 0
18.15/18.41 d ASSIGNMENTS 1973
18.15/18.41 d CHECKS 1698944