0.00/0.00 c cpHydra_k_40 version 0.0
6.91/6.90 c CASE TO CLASSIFY:
6.91/6.90 c Case: 0
6.91/6.90 c 19 > 0.000000 | c 35 > 0.073801 | c 17 > 6.228370 | c 18 > 0.000000 | c 33 > 0.055351 | c 15 > 20.141700 | c 34 > 0.055351 | c 16 > 14.000000 | c 13 > 6.504470 | c 14 > 9.068780 | c 11 > 8.523560 | c 12 > 6.557170 | 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.01/6.90 c choco : 1801.0
7.01/6.90 c mistral : 1801.0
7.01/6.90 c abscon : 1801.0
7.01/6.90 c
7.01/6.90 c
7.01/6.97 c List of same ones: 40
7.01/6.97 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-05.xml
7.01/6.97 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.01/6.98 c choco : 1801.0
7.01/6.98 c mistral : 133.98
7.01/6.98 c abscon : 430.27
7.01/6.98 c
7.01/6.98 c
7.01/6.98 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-05.xml
7.01/6.98 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.01/6.98 c choco : 1801.0
7.01/6.98 c mistral : 58.04
7.01/6.98 c abscon : 44.23
7.01/6.98 c
7.01/6.98 c
7.01/6.98 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-04.xml
7.01/6.98 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.01/6.99 c choco : 1801.0
7.01/6.99 c mistral : 264.18
7.01/6.99 c abscon : 74.51
7.01/6.99 c
7.01/6.99 c
7.01/6.99 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-08.xml
7.01/6.99 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.01/7.00 c choco : 1801.0
7.01/7.00 c mistral : 1801.0
7.12/7.00 c abscon : 593.84
7.12/7.00 c
7.12/7.00 c
7.12/7.00 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-08.xml
7.12/7.00 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.12/7.01 c choco : 381.03
7.12/7.01 c mistral : 31.17
7.12/7.01 c abscon : 97.59
7.12/7.01 c
7.12/7.01 c
7.12/7.01 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-04.xml
7.12/7.01 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.12/7.01 c choco : 1801.0
7.12/7.01 c mistral : 11.26
7.12/7.01 c abscon : 65.4
7.12/7.01 c
7.12/7.01 c
7.12/7.01 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-09.xml
7.12/7.01 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.12/7.02 c choco : 1801.0
7.12/7.02 c mistral : 18.81
7.12/7.02 c abscon : 31.38
7.12/7.02 c
7.12/7.02 c
7.12/7.02 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-09.xml
7.12/7.02 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.12/7.03 c choco : 35.95
7.12/7.03 c mistral : 21.07
7.12/7.03 c abscon : 28.75
7.12/7.03 c
7.12/7.03 c
7.12/7.03 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-21-05.xml
7.12/7.03 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.12/7.03 c choco : 26.99
7.12/7.03 c mistral : 3.99
7.12/7.03 c abscon : 22.71
7.12/7.03 c
7.12/7.03 c
7.12/7.03 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-21-05.xml
7.12/7.03 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.12/7.04 c choco : 25.7
7.12/7.04 c mistral : 6.65
7.12/7.04 c abscon : 29.37
7.12/7.04 c
7.12/7.04 c
7.12/7.04 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-21-09.xml
7.12/7.04 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.31/7.23 c choco : 23.97
7.31/7.23 c mistral : 5.16
7.31/7.23 c abscon : 26.74
7.31/7.23 c
7.31/7.23 c
7.31/7.23 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-21-09.xml
7.31/7.23 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.31/7.24 c choco : 26.12
7.31/7.24 c mistral : 5.94
7.31/7.24 c abscon : 26.87
7.31/7.24 c
7.31/7.24 c
7.31/7.24 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-21-04.xml
7.31/7.24 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.31/7.24 c choco : 1801.0
7.31/7.24 c mistral : 16.28
7.31/7.24 c abscon : 34.36
7.31/7.24 c
7.31/7.24 c
7.31/7.24 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-21-04.xml
7.31/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.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.31/7.25 c choco : 32.26
7.31/7.25 c mistral : 7.5
7.31/7.25 c abscon : 26.16
7.31/7.25 c
7.31/7.25 c
7.31/7.25 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-08.xml
7.31/7.25 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.31/7.26 c choco : 31.64
7.31/7.26 c mistral : 8.14
7.31/7.26 c abscon : 27.87
7.31/7.26 c
7.31/7.26 c
7.31/7.26 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-08.xml
7.31/7.26 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.31/7.26 c choco : 51.16
7.31/7.26 c mistral : 11.63
7.31/7.26 c abscon : 32.08
7.31/7.26 c
7.31/7.26 c
7.31/7.26 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-08.xml
7.31/7.26 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.31/7.26 c choco : 33.35
7.31/7.26 c mistral : 2.49
7.31/7.26 c abscon : 30.96
7.31/7.26 c
7.31/7.26 c
7.31/7.26 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-04.xml
7.31/7.26 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.31/7.27 c choco : 430.0
7.31/7.27 c mistral : 69.48
7.31/7.27 c abscon : 1801.0
7.31/7.27 c
7.31/7.27 c
7.31/7.27 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-08.xml
7.31/7.27 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.31/7.27 c choco : 64.2
7.31/7.27 c mistral : 2.2
7.31/7.27 c abscon : 23.8
7.31/7.27 c
7.31/7.27 c
7.31/7.27 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-21-08.xml
7.31/7.27 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.31/7.27 c choco : 24.94
7.31/7.27 c mistral : 4.49
7.31/7.27 c abscon : 25.56
7.31/7.27 c
7.31/7.27 c
7.31/7.27 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-21-08.xml
7.31/7.27 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.31/7.28 c choco : 24.34
7.31/7.28 c mistral : 3.41
7.31/7.28 c abscon : 27.41
7.31/7.28 c
7.31/7.28 c
7.31/7.28 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-04.xml
7.31/7.28 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.31/7.28 c choco : 84.14
7.31/7.28 c mistral : 27.57
7.31/7.28 c abscon : 31.06
7.31/7.28 c
7.31/7.28 c
7.31/7.28 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-04.xml
7.31/7.28 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.31/7.28 c choco : 1801.0
7.31/7.28 c mistral : 63.86
7.31/7.28 c abscon : 33.04
7.31/7.28 c
7.31/7.28 c
7.31/7.28 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-06.xml
7.31/7.28 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.31/7.29 c choco : 214.36
7.31/7.29 c mistral : 51.06
7.31/7.29 c abscon : 56.98
7.31/7.29 c
7.31/7.29 c
7.31/7.29 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-07.xml
7.31/7.29 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.31/7.29 c choco : 1801.0
7.31/7.29 c mistral : 44.78
7.31/7.29 c abscon : 39.44
7.31/7.29 c
7.31/7.29 c
7.31/7.29 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-01.xml
7.31/7.29 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.31/7.29 c choco : 22.73
7.31/7.29 c mistral : 2.32
7.31/7.29 c abscon : 22.38
7.31/7.29 c
7.31/7.29 c
7.31/7.29 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-06.xml
7.31/7.29 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.31/7.29 c choco : 70.96
7.31/7.29 c mistral : 1801.0
7.31/7.29 c abscon : 62.67
7.31/7.29 c
7.31/7.29 c
7.31/7.29 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-07.xml
7.31/7.29 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.30 c choco : 65.63
7.41/7.30 c mistral : 9.88
7.41/7.30 c abscon : 26.05
7.41/7.30 c
7.41/7.30 c
7.41/7.30 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-01.xml
7.41/7.30 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.41/7.30 c choco : 27.66
7.41/7.30 c mistral : 2.48
7.41/7.30 c abscon : 24.75
7.41/7.30 c
7.41/7.30 c
7.41/7.30 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-01.xml
7.41/7.30 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.41/7.30 c choco : 23.67
7.41/7.30 c mistral : 5.58
7.41/7.30 c abscon : 24.73
7.41/7.30 c
7.41/7.30 c
7.41/7.30 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-21-07.xml
7.41/7.30 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.41/7.31 c choco : 28.3
7.41/7.31 c mistral : 5.96
7.41/7.31 c abscon : 25.05
7.41/7.31 c
7.41/7.31 c
7.41/7.31 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-01.xml
7.41/7.31 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.41/7.31 c choco : 21.93
7.41/7.31 c mistral : 4.14
7.41/7.31 c abscon : 24.8
7.41/7.31 c
7.41/7.31 c
7.41/7.31 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-21-07.xml
7.41/7.31 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.41/7.31 c choco : 26.63
7.41/7.31 c mistral : 4.5
7.41/7.31 c abscon : 25.23
7.41/7.31 c
7.41/7.31 c
7.41/7.31 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-06.xml
7.41/7.31 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.41/7.31 c choco : 153.11
7.41/7.31 c mistral : 9.59
7.41/7.31 c abscon : 196.99
7.41/7.31 c
7.41/7.31 c
7.41/7.31 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-03.xml
7.41/7.31 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.41/7.32 c choco : 30.14
7.41/7.32 c mistral : 15.05
7.41/7.32 c abscon : 47.58
7.41/7.32 c
7.41/7.32 c
7.41/7.32 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-06.xml
7.41/7.32 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.41/7.32 c choco : 29.3
7.41/7.32 c mistral : 16.5
7.41/7.32 c abscon : 35.08
7.41/7.32 c
7.41/7.32 c
7.41/7.32 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-03.xml
7.41/7.32 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.41/7.32 c choco : 32.3
7.41/7.32 c mistral : 21.78
7.41/7.32 c abscon : 24.64
7.41/7.32 c
7.41/7.32 c
7.41/7.32 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-03.xml
7.41/7.32 c 19 > 0.000000 | c 35 > 0.183066 | c 17 > 8.257520 | c 18 > 0.000000 | c 33 > 0.137300 | c 15 > 18.739700 | c 34 > 0.137300 | c 16 > 16.000000 | c 13 > 3.421870 | c 14 > 7.434630 | c 11 > 13.415300 | c 12 > 1.853850 | c 21 > 5.099020 | c 20 > 91.742500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.050850 | c 28 > 6.949150 | c 29 > -1.000000 | c 3 > 8.257390 | c 2 > -1.000000 | c 10 > 13.556400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.374200 | c 32 > -1.000000 | c 5 > 14.834600 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.32 c choco : 88.53
7.41/7.32 c mistral : 1801.0
7.41/7.32 c abscon : 110.47
7.41/7.32 c
7.41/7.32 c
7.41/7.32 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-03.xml
7.41/7.32 c 19 > 0.000000 | c 35 > 0.183066 | c 17 > 8.257520 | c 18 > 0.000000 | c 33 > 0.137300 | c 15 > 18.143100 | c 34 > 0.137300 | c 16 > 16.000000 | c 13 > 3.305460 | c 14 > 7.409390 | c 11 > 13.415300 | c 12 > 1.801210 | c 21 > 5.099020 | c 20 > 91.742500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.050850 | c 28 > 6.949150 | c 29 > -1.000000 | c 3 > 8.257390 | c 2 > -1.000000 | c 10 > 13.556400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.374200 | c 32 > -1.000000 | c 5 > 14.834600 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.33 c choco : 1801.0
7.41/7.33 c mistral : 70.02
7.41/7.33 c abscon : 30.72
7.41/7.33 c
7.41/7.33 c
7.41/7.33 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-05.xml
7.41/7.33 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.41/7.33 c choco : 84.97
7.41/7.33 c mistral : 31.15
7.41/7.33 c abscon : 31.18
7.41/7.33 c
7.41/7.33 c
7.41/7.33 c Length: 40
7.41/7.33 c 1.5925945382927829 2.995327285539929 3.0167292228440394 3.2678914904661682 3.7000795622609517 3.770499560146004 3.885705214817666 3.950065356935401 3.9946665776507566 4.006297987182181 4.38250786390181 4.497699661500444 4.510076150794042 4.526383631107864 4.66574039920367 4.779478488523743 5.584253751125677 5.907058657078086 5.912210412938734 5.993066021241647 6.0365062509833605 6.300798912087353 6.383805929299633 6.455919373184675 6.5396597526947895 6.666037895861466 6.697440631215869 6.732418943315699 7.2027657054607275 7.2710493703702195 7.3694783943109625 7.399919162245029 7.47223181306737 8.37544537513446 8.392672995694591 8.401228512114237 8.518051017636678 8.679482475286463 8.869865932904782 8.897607067513254
7.41/7.33 c
7.41/7.33 c 1.0 0.838909763353094 0.8368529422548356 0.8134477485832305 0.7760971504046529 0.7703338650659649 0.7610875972969126 0.7560181235226672 0.7525444408784269 0.7516437918006917 0.7236321132290131 0.7154680071177457 0.7146017819081987 0.7134636258113357 0.7038833148053362 0.6962528217398513 0.6466517480566059 0.6286868807016549 0.6284082617893213 0.6240675329295213 0.6217601185274353 0.608081298139808 0.6039085071007175 0.6003295528906751 0.5962264264135051 0.5901392383695215 0.5886459106138209 0.5869914220506897 0.5656142956188254 0.5626395727689661 0.5584062366877711 0.5571098762857024 0.5540543463662564 0.5185323238453848 0.5178990008748457 0.5175850569621406 0.5133360344500293 0.507578032961625 0.500951193062533 0.5
7.41/7.34 c
7.41/7.34 c solver 0
7.41/7.34 c before 0.0 seconds: {} 0
7.41/7.34 c before 36.0 seconds: {6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 25, 27, 28, 29, 30, 31, 32, 35, 36, 38, 39} 17028
7.41/7.34 c before 54.0 seconds: {1, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 24, 25, 27, 28, 29, 30, 31, 32, 34, 35, 36, 38, 39} 18981
7.41/7.34 c before 72.0 seconds: {1, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 38, 39} 20940
7.41/7.34 c before 90.0 seconds: {1, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 38, 39} 21777
7.41/7.34 c before 108.0 seconds: {1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 38, 39} 22553
7.41/7.34 c before 126.0 seconds: {1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 23061
7.41/7.34 c before 198.0 seconds: {1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23579
7.41/7.34 c before 432.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24579
7.41/7.34 c before 594.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25393
7.41/7.34 c
7.41/7.34 c solver 1
7.41/7.34 c before 0.0 seconds: {} 0
7.41/7.34 c before 18.0 seconds: {5, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35} 14591
7.41/7.34 c before 36.0 seconds: {4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 39} 18506
7.41/7.34 c before 54.0 seconds: {4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 39} 19702
7.41/7.34 c before 72.0 seconds: {1, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 22275
7.41/7.34 c before 144.0 seconds: {0, 1, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 23275
7.41/7.34 c before 270.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 24112
7.41/7.34 c
7.41/7.34 c solver 2
7.41/7.34 c before 0.0 seconds: {} 0
7.41/7.34 c before 36.0 seconds: {7, 8, 9, 10, 11, 13, 14, 16, 19, 20, 25, 28, 29, 30, 31, 32, 34, 35, 36} 11945
7.41/7.34 c before 54.0 seconds: {7, 8, 9, 10, 11, 13, 14, 15, 16, 19, 20, 25, 28, 29, 30, 31, 32, 34, 35, 36} 12642
7.41/7.34 c before 72.0 seconds: {7, 8, 9, 10, 11, 13, 14, 15, 16, 18, 19, 20, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36} 14446
7.41/7.34 c before 90.0 seconds: {7, 8, 9, 10, 11, 13, 14, 15, 16, 18, 19, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 39} 16061
7.41/7.34 c before 162.0 seconds: {7, 8, 9, 10, 11, 13, 14, 15, 16, 18, 19, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 16580
7.41/7.34 c before 216.0 seconds: {7, 8, 9, 10, 11, 13, 14, 15, 16, 18, 19, 20, 21, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 17180
7.41/7.34 c before 396.0 seconds: {4, 7, 8, 9, 10, 11, 13, 14, 15, 16, 18, 19, 20, 21, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 17956
7.41/7.34 c before 432.0 seconds: {4, 7, 8, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 18585
7.41/7.34 c
7.41/7.34 cTotal time: 72
7.41/7.34 c 1296.0 seconds unused
7.41/7.34 c 0 c 3 c 10
7.41/7.34 c 1 c 0 c 9
7.41/7.34 c 1 c 2 c 0
7.41/7.34 c is solver0 dominated by:
7.41/7.34 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.41/7.34 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.41/7.34 c is dominated? false
7.41/7.34 c
7.41/7.34 c is solver1 dominated by:
7.41/7.34 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.41/7.34 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.41/7.34 c is dominated? false
7.41/7.34 c
7.41/7.34 c is solver2 dominated by:
7.41/7.34 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.41/7.34 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.41/7.34 c is dominated? false
7.41/7.34 c
7.41/7.34 c Number of non-dominated solvers: 3
7.41/7.34 c remove dominated solvers
7.41/7.34 c solver 0 is not dominated by another solver
7.41/7.34 c solver 1 is not dominated by another solver
7.41/7.34 c solver 2 is not dominated by another solver
7.41/7.34 c
7.41/7.34 c solver 0: 594.0
7.41/7.34 c
7.41/7.34 c+ 33/72 of 28
7.41/7.34 c
7.41/7.34 c solver 1: 270.0
7.41/7.34 c
7.41/7.34 c+ 15/72 of 28
7.41/7.34 c
7.41/7.35 c solver 2: 432.0
7.41/7.35 c
7.41/7.35 c+ 24/72 of 28
7.41/7.35 c run abscon for 810.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25393
7.41/7.35 c run mistral for 360.0 seconds {0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 24112
7.41/7.35 c run choco for 594.0 seconds {4, 7, 8, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 18585
7.41/7.35 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.41/7.35 c On Instance: HOME/instance-1076926-1215190492.xml
7.41/7.35 c Running for: 810 seconds
18.57/18.20 s SAT
18.57/18.20 v 18 19 20 15 8 3 15 0 18 19 20 17 4 0 13 0 11 14 6 14 17 13 0 19 4 0 15 15 0 17 4 11 17 4 13 14 8 17 11 8 18 19 4 13 15 17 14 1 8 19 24 12 0 13 8 11 0 0 1 4 12 4 19 4 14 17 18 8 18 11 4 19 19 8 13 2 4 13 19 1 4 17 13 4 6 17 4 4 17 1 4 4 13 4 18 19 4 18 0 18 18 18 11 4 4 19 5 4 17 17 24 12 14 1 15 4 0 14 11 3 18 0 12 15 11 4 18 15 4 4 3 20 15 5 8 4 17 2 4 20 13 8 19 4 18 15 0 11 12 24 17 0 5 4 21 4 17 18 17 0 13 18 4 2 0 13 19 18 8 17 18 17 8 21 4 19 15 17 4 15 19 0 17 19 13 14 0 7 11 8 12 0 0 2 17 4 18 22 4 7 17 1 0 11 11 4 19 18 0 19 18 7 0 17 15 4 18 4 0 6 0 19 4 18 4 12 8 19 4 18 24 11 21 0 13 19 17 8 11 11 4 3 18 11 0 19 4 18 0 13 3 11 4 4 4 4 11 17 14 0 3 18 14 11 3 4 13 1 0 13 23 4 17 14 23 0 13 13 4 6 17 4 4 3 15 0 15 20 0 18 8 17 4 13 4 3 2 0 17 19 18 1 0 19 7 19 20 1 5 8 17 2 8 17 2 20 18 7 8 17 14 18 7 8 17 4 5 11 4 23 8 3 4 0 11 18 0 17 14 20 18 4 3 0 17 11 4 13 4 3 0 8 13 19 24 11 4 19 19 4 17 18 18 13 14 17 19 18
18.57/18.20 d ASSIGNMENTS 4123
18.57/18.20 d CHECKS 2069946