0.00/0.00 c cpHydra_k_40 version 0.0
7.08/7.26 c CASE TO CLASSIFY:
7.08/7.26 c Case: 0
7.08/7.26 c 19 > 0.000000 | c 35 > 5.263160 | c 17 > 30.909100 | c 18 > 0.000000 | c 33 > 3.947370 | c 15 > 19.456800 | c 34 > 3.947370 | c 16 > 14.000000 | c 13 > 13.544600 | c 14 > 11.347100 | c 11 > 7.734710 | c 12 > 11.202700 | c 21 > 5.099020 | c 20 > 69.090900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 1.176470 | c 27 > 4.705880 | c 28 > 4.117650 | c 29 > -1.000000 | c 3 > 5.129280 | c 2 > -1.000000 | c 10 > 7.864190 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.475730 | c 32 > -1.000000 | c 5 > 10.306100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.08/7.27 c choco : 1801.0
7.08/7.27 c mistral : 1801.0
7.08/7.27 c abscon : 1801.0
7.08/7.27 c
7.08/7.27 c
7.18/7.35 c List of same ones: 40
7.18/7.35 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle09.xml
7.18/7.35 c 19 > 0.000000 | c 35 > 5.263160 | c 17 > 30.909100 | c 18 > 0.000000 | c 33 > 3.947370 | c 15 > 18.613700 | c 34 > 3.947370 | c 16 > 14.000000 | c 13 > 12.361200 | c 14 > 10.693500 | c 11 > 7.734710 | c 12 > 10.527100 | c 21 > 5.099020 | c 20 > 69.090900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 1.176470 | c 27 > 4.705880 | c 28 > 4.117650 | c 29 > -1.000000 | c 3 > 5.129280 | c 2 > -1.000000 | c 10 > 7.864190 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.475730 | c 32 > -1.000000 | c 5 > 10.306100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/7.36 c choco : 3.85
7.18/7.36 c mistral : 0.27
7.18/7.36 c abscon : 4.49
7.18/7.36 c
7.18/7.36 c
7.18/7.36 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle09.xml
7.18/7.36 c 19 > 0.000000 | c 35 > 5.263160 | c 17 > 30.909100 | c 18 > 0.000000 | c 33 > 3.947370 | c 15 > 18.056500 | c 34 > 3.947370 | c 16 > 14.000000 | c 13 > 10.926800 | c 14 > 9.764870 | c 11 > 7.734710 | c 12 > 8.670510 | c 21 > 5.099020 | c 20 > 69.090900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 1.176470 | c 27 > 4.705880 | c 28 > 4.117650 | c 29 > -1.000000 | c 3 > 5.129280 | c 2 > -1.000000 | c 10 > 7.864190 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.475730 | c 32 > -1.000000 | c 5 > 10.306100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/7.37 c choco : 4.33
7.18/7.37 c mistral : 1.01
7.18/7.37 c abscon : 5.65
7.18/7.37 c
7.18/7.37 c
7.18/7.37 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle09.xml
7.18/7.37 c 19 > 0.000000 | c 35 > 5.263160 | c 17 > 30.909100 | c 18 > 0.000000 | c 33 > 3.947370 | c 15 > 18.039100 | c 34 > 3.947370 | c 16 > 14.000000 | c 13 > 10.558500 | c 14 > 9.575540 | c 11 > 7.734710 | c 12 > 8.283010 | c 21 > 5.099020 | c 20 > 69.090900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 1.176470 | c 27 > 4.705880 | c 28 > 4.117650 | c 29 > -1.000000 | c 3 > 5.129280 | c 2 > -1.000000 | c 10 > 7.864190 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.475730 | c 32 > -1.000000 | c 5 > 10.306100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/7.38 c choco : 4.34
7.18/7.38 c mistral : 1.13
7.18/7.38 c abscon : 6.06
7.18/7.38 c
7.18/7.38 c
7.18/7.38 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle09.xml
7.18/7.38 c 19 > 0.000000 | c 35 > 5.263160 | c 17 > 30.909100 | c 18 > 0.000000 | c 33 > 3.947370 | c 15 > 17.692100 | c 34 > 3.947370 | c 16 > 14.000000 | c 13 > 9.713250 | c 14 > 9.467610 | c 11 > 7.734710 | c 12 > 8.393450 | c 21 > 5.099020 | c 20 > 69.090900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 1.176470 | c 27 > 4.705880 | c 28 > 4.117650 | c 29 > -1.000000 | c 3 > 5.129280 | c 2 > -1.000000 | c 10 > 7.864190 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.475730 | c 32 > -1.000000 | c 5 > 10.306100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/7.39 c choco : 3.86
7.18/7.39 c mistral : 1.48
7.18/7.39 c abscon : 4.88
7.18/7.39 c
7.18/7.39 c
7.18/7.39 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle06.xml
7.18/7.39 c 19 > 0.000000 | c 35 > 3.809520 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 2.857140 | c 15 > 18.346400 | c 34 > 2.857140 | c 16 > 10.000000 | c 13 > 12.273000 | c 14 > 10.799300 | c 11 > 7.179910 | c 12 > 10.596000 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.523560 | c 2 > -1.000000 | c 10 > 7.257390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.930740 | c 32 > -1.000000 | c 5 > 9.717680 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.40 c choco : 3.21
7.26/7.40 c mistral : 0.34
7.26/7.40 c abscon : 4.89
7.26/7.40 c
7.26/7.40 c
7.26/7.40 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle06.xml
7.26/7.40 c 19 > 0.000000 | c 35 > 3.809520 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 2.857140 | c 15 > 17.370400 | c 34 > 2.857140 | c 16 > 10.000000 | c 13 > 11.612000 | c 14 > 9.955650 | c 11 > 7.179910 | c 12 > 9.836150 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.523560 | c 2 > -1.000000 | c 10 > 7.257390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.930740 | c 32 > -1.000000 | c 5 > 9.717680 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.41 c choco : 3.06
7.26/7.41 c mistral : 0.12
7.26/7.41 c abscon : 3.05
7.26/7.41 c
7.26/7.41 c
7.26/7.41 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle06.xml
7.26/7.41 c 19 > 0.000000 | c 35 > 3.809520 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 2.857140 | c 15 > 17.502100 | c 34 > 2.857140 | c 16 > 10.000000 | c 13 > 11.454300 | c 14 > 9.719390 | c 11 > 7.179910 | c 12 > 9.210290 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.523560 | c 2 > -1.000000 | c 10 > 7.257390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.930740 | c 32 > -1.000000 | c 5 > 9.717680 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.42 c choco : 3.49
7.26/7.42 c mistral : 0.17
7.26/7.42 c abscon : 3.21
7.26/7.42 c
7.26/7.42 c
7.26/7.42 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle06.xml
7.26/7.42 c 19 > 0.000000 | c 35 > 3.809520 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 2.857140 | c 15 > 16.914800 | c 34 > 2.857140 | c 16 > 10.000000 | c 13 > 11.124700 | c 14 > 9.577430 | c 11 > 7.179910 | c 12 > 9.253990 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.523560 | c 2 > -1.000000 | c 10 > 7.257390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.930740 | c 32 > -1.000000 | c 5 > 9.717680 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.42 c choco : 3.09
7.26/7.42 c mistral : 0.17
7.26/7.42 c abscon : 2.99
7.26/7.42 c
7.26/7.42 c
7.26/7.42 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-05-06.xml
7.26/7.42 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.791100 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 13.067800 | c 14 > 11.331500 | c 11 > 7.294620 | c 12 > 11.165800 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.523560 | c 2 > -1.000000 | c 10 > 7.366320 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.066090 | c 32 > -1.000000 | c 5 > 9.758220 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.43 c choco : 2.97
7.26/7.43 c mistral : 0.12
7.26/7.43 c abscon : 2.94
7.26/7.43 c
7.26/7.43 c
7.26/7.43 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-05-02.xml
7.26/7.43 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.500900 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 13.058000 | c 14 > 11.485300 | c 11 > 7.294620 | c 12 > 11.296200 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.523560 | c 2 > -1.000000 | c 10 > 7.366320 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.066090 | c 32 > -1.000000 | c 5 > 9.758220 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.44 c choco : 4.67
7.26/7.44 c mistral : 0.43
7.26/7.44 c abscon : 3.26
7.26/7.44 c
7.26/7.44 c
7.26/7.44 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-05-02.xml
7.26/7.44 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.519700 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 12.407600 | c 14 > 11.156700 | c 11 > 7.294620 | c 12 > 11.131900 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.523560 | c 2 > -1.000000 | c 10 > 7.366320 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.066090 | c 32 > -1.000000 | c 5 > 9.758220 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.45 c choco : 3.66
7.26/7.45 c mistral : 0.27
7.26/7.45 c abscon : 2.91
7.26/7.45 c
7.26/7.45 c
7.26/7.45 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-05-08.xml
7.26/7.45 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.589000 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 12.629200 | c 14 > 11.123500 | c 11 > 7.199670 | c 12 > 11.049900 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.392320 | c 2 > -1.000000 | c 10 > 7.294620 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.977280 | c 32 > -1.000000 | c 5 > 9.640240 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.46 c choco : 2.87
7.26/7.46 c mistral : 0.11
7.26/7.46 c abscon : 2.94
7.26/7.46 c
7.26/7.46 c
7.26/7.46 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle20.xml
7.26/7.47 c 19 > 0.000000 | c 35 > 2.352940 | c 17 > 26.087000 | c 18 > 0.000000 | c 33 > 1.764710 | c 15 > 19.335300 | c 34 > 1.764710 | c 16 > 14.000000 | c 13 > 11.398100 | c 14 > 10.100700 | c 11 > 8.741470 | c 12 > 8.518040 | c 21 > 5.099020 | c 20 > 73.913000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.666670 | c 28 > 3.333330 | c 29 > -1.000000 | c 3 > 5.700440 | c 2 > -1.000000 | c 10 > 8.870360 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 8.554590 | c 32 > -1.000000 | c 5 > 11.038900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.48 c choco : 4.14
7.26/7.48 c mistral : 0.42
7.26/7.48 c abscon : 5.91
7.26/7.48 c
7.26/7.48 c
7.26/7.48 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-05-02.xml
7.26/7.48 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.306900 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 12.529600 | c 14 > 10.813000 | c 11 > 7.294620 | c 12 > 10.586800 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.523560 | c 2 > -1.000000 | c 10 > 7.366320 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.066090 | c 32 > -1.000000 | c 5 > 9.758220 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.48 c choco : 3.2
7.26/7.48 c mistral : 0.21
7.26/7.48 c abscon : 4.47
7.26/7.49 c
7.26/7.49 c
7.26/7.49 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-05-02.xml
7.26/7.49 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.848400 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 12.645200 | c 14 > 11.128600 | c 11 > 7.294620 | c 12 > 10.468700 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.523560 | c 2 > -1.000000 | c 10 > 7.366320 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.066090 | c 32 > -1.000000 | c 5 > 9.758220 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.49 c choco : 3.42
7.26/7.49 c mistral : 0.42
7.26/7.49 c abscon : 4.42
7.26/7.49 c
7.26/7.49 c
7.26/7.49 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-05-08.xml
7.26/7.49 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.186700 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 12.369800 | c 14 > 10.909100 | c 11 > 7.199670 | c 12 > 10.188500 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.392320 | c 2 > -1.000000 | c 10 > 7.294620 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.977280 | c 32 > -1.000000 | c 5 > 9.640240 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.50 c choco : 3.1
7.34/7.50 c mistral : 0.28
7.34/7.50 c abscon : 3.6
7.34/7.50 c
7.34/7.50 c
7.34/7.50 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-05-06.xml
7.34/7.50 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.007600 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 12.515100 | c 14 > 10.674200 | c 11 > 7.294620 | c 12 > 10.084000 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.523560 | c 2 > -1.000000 | c 10 > 7.366320 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.066090 | c 32 > -1.000000 | c 5 > 9.758220 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.50 c choco : 3.19
7.34/7.50 c mistral : 0.4
7.34/7.50 c abscon : 3.64
7.34/7.50 c
7.34/7.50 c
7.34/7.50 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-05-06.xml
7.34/7.50 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.100200 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 12.105200 | c 14 > 10.699600 | c 11 > 7.294620 | c 12 > 10.176500 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.523560 | c 2 > -1.000000 | c 10 > 7.366320 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.066090 | c 32 > -1.000000 | c 5 > 9.758220 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.51 c choco : 3.62
7.34/7.51 c mistral : 1.0
7.34/7.51 c abscon : 4.31
7.34/7.51 c
7.34/7.51 c
7.34/7.51 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle20.xml
7.34/7.51 c 19 > 0.000000 | c 35 > 2.352940 | c 17 > 26.087000 | c 18 > 0.000000 | c 33 > 1.764710 | c 15 > 19.060700 | c 34 > 1.764710 | c 16 > 14.000000 | c 13 > 11.080300 | c 14 > 9.831310 | c 11 > 8.741470 | c 12 > 8.273070 | c 21 > 5.099020 | c 20 > 73.913000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.666670 | c 28 > 3.333330 | c 29 > -1.000000 | c 3 > 5.700440 | c 2 > -1.000000 | c 10 > 8.870360 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 8.554590 | c 32 > -1.000000 | c 5 > 11.038900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.52 c choco : 4.16
7.34/7.52 c mistral : 0.49
7.34/7.52 c abscon : 4.97
7.34/7.52 c
7.34/7.52 c
7.34/7.52 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-05-08.xml
7.34/7.52 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.537800 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 11.767700 | c 14 > 10.334300 | c 11 > 7.199670 | c 12 > 9.492360 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.392320 | c 2 > -1.000000 | c 10 > 7.294620 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.977280 | c 32 > -1.000000 | c 5 > 9.640240 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.53 c choco : 2.93
7.34/7.53 c mistral : 0.3
7.34/7.53 c abscon : 2.93
7.34/7.53 c
7.34/7.53 c
7.34/7.53 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-05-08.xml
7.34/7.53 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.583000 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 11.401700 | c 14 > 10.315100 | c 11 > 7.199670 | c 12 > 9.688760 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.392320 | c 2 > -1.000000 | c 10 > 7.294620 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.977280 | c 32 > -1.000000 | c 5 > 9.640240 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.53 c choco : 3.29
7.34/7.53 c mistral : 0.36
7.34/7.53 c abscon : 4.67
7.34/7.53 c
7.34/7.53 c
7.34/7.53 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle20.xml
7.34/7.53 c 19 > 0.000000 | c 35 > 2.352940 | c 17 > 26.087000 | c 18 > 0.000000 | c 33 > 1.764710 | c 15 > 18.763100 | c 34 > 1.764710 | c 16 > 14.000000 | c 13 > 10.319900 | c 14 > 9.796040 | c 11 > 8.741470 | c 12 > 7.275970 | c 21 > 5.099020 | c 20 > 73.913000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.666670 | c 28 > 3.333330 | c 29 > -1.000000 | c 3 > 5.700440 | c 2 > -1.000000 | c 10 > 8.870360 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 8.554590 | c 32 > -1.000000 | c 5 > 11.038900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.54 c choco : 5.0
7.34/7.54 c mistral : 1.05
7.34/7.54 c abscon : 6.45
7.34/7.54 c
7.34/7.54 c
7.34/7.54 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle20.xml
7.34/7.54 c 19 > 0.000000 | c 35 > 2.352940 | c 17 > 26.087000 | c 18 > 0.000000 | c 33 > 1.764710 | c 15 > 18.839500 | c 34 > 1.764710 | c 16 > 14.000000 | c 13 > 10.244000 | c 14 > 9.594320 | c 11 > 8.741470 | c 12 > 7.293910 | c 21 > 5.099020 | c 20 > 73.913000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.666670 | c 28 > 3.333330 | c 29 > -1.000000 | c 3 > 5.700440 | c 2 > -1.000000 | c 10 > 8.870360 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 8.554590 | c 32 > -1.000000 | c 5 > 11.038900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.54 c choco : 4.9
7.34/7.54 c mistral : 1.28
7.34/7.54 c abscon : 5.94
7.34/7.54 c
7.34/7.54 c
7.34/7.54 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-05-06.xml
7.34/7.54 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.986300 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 11.428800 | c 14 > 9.670660 | c 11 > 7.294620 | c 12 > 8.826650 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.523560 | c 2 > -1.000000 | c 10 > 7.366320 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.066090 | c 32 > -1.000000 | c 5 > 9.758220 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.55 c choco : 3.41
7.34/7.55 c mistral : 0.51
7.34/7.55 c abscon : 2.95
7.34/7.55 c
7.34/7.55 c
7.34/7.55 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle11.xml
7.34/7.55 c 19 > 0.000000 | c 35 > 1.379310 | c 17 > 38.297900 | c 18 > 0.000000 | c 33 > 1.034480 | c 15 > 18.161700 | c 34 > 1.034480 | c 16 > 14.000000 | c 13 > 11.095000 | c 14 > 9.832890 | c 11 > 7.643860 | c 12 > 9.706450 | c 21 > 5.099020 | c 20 > 61.702100 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 1.111110 | c 27 > 5.555560 | c 28 > 3.333330 | c 29 > -1.000000 | c 3 > 5.247930 | c 2 > -1.000000 | c 10 > 7.707360 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.339850 | c 32 > -1.000000 | c 5 > 10.357600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.56 c choco : 3.93
7.34/7.56 c mistral : 0.99
7.34/7.56 c abscon : 4.96
7.34/7.56 c
7.34/7.56 c
7.34/7.56 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle11.xml
7.34/7.56 c 19 > 0.000000 | c 35 > 1.379310 | c 17 > 38.297900 | c 18 > 0.000000 | c 33 > 1.034480 | c 15 > 17.472500 | c 34 > 1.034480 | c 16 > 14.000000 | c 13 > 11.052800 | c 14 > 9.457380 | c 11 > 7.643860 | c 12 > 9.274930 | c 21 > 5.099020 | c 20 > 61.702100 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 1.111110 | c 27 > 5.555560 | c 28 > 3.333330 | c 29 > -1.000000 | c 3 > 5.247930 | c 2 > -1.000000 | c 10 > 7.707360 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.339850 | c 32 > -1.000000 | c 5 > 10.357600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.56 c choco : 3.9
7.34/7.56 c mistral : 0.44
7.34/7.56 c abscon : 5.21
7.34/7.56 c
7.34/7.56 c
7.34/7.56 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle11.xml
7.34/7.56 c 19 > 0.000000 | c 35 > 1.379310 | c 17 > 38.297900 | c 18 > 0.000000 | c 33 > 1.034480 | c 15 > 17.435500 | c 34 > 1.034480 | c 16 > 14.000000 | c 13 > 11.203100 | c 14 > 9.440870 | c 11 > 7.643860 | c 12 > 8.820560 | c 21 > 5.099020 | c 20 > 61.702100 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 1.111110 | c 27 > 5.555560 | c 28 > 3.333330 | c 29 > -1.000000 | c 3 > 5.247930 | c 2 > -1.000000 | c 10 > 7.707360 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.339850 | c 32 > -1.000000 | c 5 > 10.357600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.57 c choco : 4.86
7.34/7.57 c mistral : 1.54
7.34/7.57 c abscon : 6.22
7.34/7.57 c
7.34/7.57 c
7.34/7.57 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle11.xml
7.34/7.57 c 19 > 0.000000 | c 35 > 1.379310 | c 17 > 38.297900 | c 18 > 0.000000 | c 33 > 1.034480 | c 15 > 16.941600 | c 34 > 1.034480 | c 16 > 14.000000 | c 13 > 10.878400 | c 14 > 9.366320 | c 11 > 7.643860 | c 12 > 8.618610 | c 21 > 5.099020 | c 20 > 61.702100 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 1.111110 | c 27 > 5.555560 | c 28 > 3.333330 | c 29 > -1.000000 | c 3 > 5.247930 | c 2 > -1.000000 | c 10 > 7.707360 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.339850 | c 32 > -1.000000 | c 5 > 10.357600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.57 c choco : 4.5
7.34/7.58 c mistral : 2.86
7.34/7.58 c abscon : 4.99
7.34/7.58 c
7.34/7.58 c
7.34/7.58 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-05-10.xml
7.34/7.58 c 19 > 0.000000 | c 35 > 11.034500 | c 17 > 25.641000 | c 18 > 0.000000 | c 33 > 8.275860 | c 15 > 18.955000 | c 34 > 8.275860 | c 16 > 8.000000 | c 13 > 12.882700 | c 14 > 11.582100 | c 11 > 6.894820 | c 12 > 10.871900 | c 21 > 5.099020 | c 20 > 74.359000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 8.000000 | c 28 > 2.000000 | c 29 > -1.000000 | c 3 > 4.000000 | c 2 > -1.000000 | c 10 > 7.139550 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.672430 | c 32 > -1.000000 | c 5 > 9.335390 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.58 c choco : 3.51
7.34/7.58 c mistral : 0.1
7.34/7.58 c abscon : 3.31
7.34/7.58 c
7.34/7.58 c
7.34/7.58 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-05-10.xml
7.34/7.58 c 19 > 0.000000 | c 35 > 11.034500 | c 17 > 25.641000 | c 18 > 0.000000 | c 33 > 8.275860 | c 15 > 18.366800 | c 34 > 8.275860 | c 16 > 8.000000 | c 13 > 12.296400 | c 14 > 11.072800 | c 11 > 6.894820 | c 12 > 10.309300 | c 21 > 5.099020 | c 20 > 74.359000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 8.000000 | c 28 > 2.000000 | c 29 > -1.000000 | c 3 > 4.000000 | c 2 > -1.000000 | c 10 > 7.139550 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.672430 | c 32 > -1.000000 | c 5 > 9.335390 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.59 c choco : 3.27
7.34/7.59 c mistral : 0.06
7.34/7.59 c abscon : 2.54
7.34/7.59 c
7.34/7.59 c
7.34/7.59 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-05-05.xml
7.34/7.59 c 19 > 0.000000 | c 35 > 11.034500 | c 17 > 25.641000 | c 18 > 0.000000 | c 33 > 8.275860 | c 15 > 18.496600 | c 34 > 8.275860 | c 16 > 8.000000 | c 13 > 11.905800 | c 14 > 10.927000 | c 11 > 6.894820 | c 12 > 9.705400 | c 21 > 5.099020 | c 20 > 74.359000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 8.000000 | c 28 > 2.000000 | c 29 > -1.000000 | c 3 > 4.000000 | c 2 > -1.000000 | c 10 > 7.139550 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.672430 | c 32 > -1.000000 | c 5 > 9.335390 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.59 c choco : 3.25
7.34/7.59 c mistral : 0.17
7.34/7.59 c abscon : 3.62
7.34/7.59 c
7.34/7.59 c
7.34/7.59 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle14.xml
7.34/7.59 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 23.728800 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.216100 | c 34 > 0.000000 | c 16 > 14.000000 | c 13 > 11.042900 | c 14 > 9.837630 | c 11 > 9.252670 | c 12 > 8.003620 | c 21 > 5.099020 | c 20 > 76.271200 | 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 > 5.954200 | c 2 > -1.000000 | c 10 > 9.379380 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 9.098030 | c 32 > -1.000000 | c 5 > 11.403000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.60 c choco : 4.15
7.40/7.60 c mistral : 0.77
7.40/7.60 c abscon : 6.57
7.40/7.60 c
7.40/7.60 c
7.40/7.60 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-05-05.xml
7.40/7.60 c 19 > 0.000000 | c 35 > 11.034500 | c 17 > 25.641000 | c 18 > 0.000000 | c 33 > 8.275860 | c 15 > 17.585500 | c 34 > 8.275860 | c 16 > 8.000000 | c 13 > 11.501400 | c 14 > 10.055300 | c 11 > 6.894820 | c 12 > 8.970790 | c 21 > 5.099020 | c 20 > 74.359000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 8.000000 | c 28 > 2.000000 | c 29 > -1.000000 | c 3 > 4.000000 | c 2 > -1.000000 | c 10 > 7.139550 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.672430 | c 32 > -1.000000 | c 5 > 9.335390 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.61 c choco : 3.13
7.40/7.61 c mistral : 0.06
7.40/7.61 c abscon : 3.24
7.40/7.61 c
7.40/7.61 c
7.40/7.61 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-05-05.xml
7.40/7.61 c 19 > 0.000000 | c 35 > 11.034500 | c 17 > 25.641000 | c 18 > 0.000000 | c 33 > 8.275860 | c 15 > 17.194800 | c 34 > 8.275860 | c 16 > 8.000000 | c 13 > 11.176500 | c 14 > 9.808960 | c 11 > 6.894820 | c 12 > 8.657340 | c 21 > 5.099020 | c 20 > 74.359000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 8.000000 | c 28 > 2.000000 | c 29 > -1.000000 | c 3 > 4.000000 | c 2 > -1.000000 | c 10 > 7.139550 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.672430 | c 32 > -1.000000 | c 5 > 9.335390 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.62 c choco : 3.49
7.40/7.62 c mistral : 0.26
7.40/7.62 c abscon : 4.02
7.40/7.62 c
7.40/7.62 c
7.40/7.62 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-05-10.xml
7.40/7.62 c 19 > 0.000000 | c 35 > 11.034500 | c 17 > 25.641000 | c 18 > 0.000000 | c 33 > 8.275860 | c 15 > 17.162300 | c 34 > 8.275860 | c 16 > 8.000000 | c 13 > 10.982600 | c 14 > 9.700440 | c 11 > 6.894820 | c 12 > 8.530100 | c 21 > 5.099020 | c 20 > 74.359000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 8.000000 | c 28 > 2.000000 | c 29 > -1.000000 | c 3 > 4.000000 | c 2 > -1.000000 | c 10 > 7.139550 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.672430 | c 32 > -1.000000 | c 5 > 9.335390 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.62 c choco : 3.52
7.40/7.62 c mistral : 0.13
7.40/7.62 c abscon : 4.23
7.40/7.62 c
7.40/7.62 c
7.40/7.62 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-05-05.xml
7.40/7.62 c 19 > 0.000000 | c 35 > 11.034500 | c 17 > 25.641000 | c 18 > 0.000000 | c 33 > 8.275860 | c 15 > 17.272900 | c 34 > 8.275860 | c 16 > 8.000000 | c 13 > 10.403000 | c 14 > 9.756560 | c 11 > 6.894820 | c 12 > 8.249000 | c 21 > 5.099020 | c 20 > 74.359000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 8.000000 | c 28 > 2.000000 | c 29 > -1.000000 | c 3 > 4.000000 | c 2 > -1.000000 | c 10 > 7.139550 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.672430 | c 32 > -1.000000 | c 5 > 9.335390 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.63 c choco : 3.18
7.40/7.63 c mistral : 0.07
7.40/7.63 c abscon : 2.6
7.40/7.63 c
7.40/7.63 c
7.40/7.63 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-05-10.xml
7.40/7.63 c 19 > 0.000000 | c 35 > 11.034500 | c 17 > 25.641000 | c 18 > 0.000000 | c 33 > 8.275860 | c 15 > 16.695500 | c 34 > 8.275860 | c 16 > 8.000000 | c 13 > 10.680300 | c 14 > 9.226410 | c 11 > 6.894820 | c 12 > 8.186370 | c 21 > 5.099020 | c 20 > 74.359000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 8.000000 | c 28 > 2.000000 | c 29 > -1.000000 | c 3 > 4.000000 | c 2 > -1.000000 | c 10 > 7.139550 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.672430 | c 32 > -1.000000 | c 5 > 9.335390 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.64 c choco : 3.29
7.40/7.64 c mistral : 0.08
7.40/7.64 c abscon : 2.76
7.40/7.64 c
7.40/7.64 c
7.40/7.64 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle14.xml
7.40/7.64 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 23.728800 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.634100 | c 34 > 0.000000 | c 16 > 14.000000 | c 13 > 9.356750 | c 14 > 9.214320 | c 11 > 9.252670 | c 12 > 6.079790 | c 21 > 5.099020 | c 20 > 76.271200 | 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 > 5.954200 | c 2 > -1.000000 | c 10 > 9.379380 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 9.098030 | c 32 > -1.000000 | c 5 > 11.403000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.64 c choco : 5.08
7.40/7.64 c mistral : 4.1
7.40/7.64 c abscon : 7.76
7.40/7.64 c
7.40/7.64 c
7.40/7.64 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle14.xml
7.40/7.64 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 23.728800 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.868400 | c 34 > 0.000000 | c 16 > 14.000000 | c 13 > 9.276770 | c 14 > 9.335390 | c 11 > 9.252670 | c 12 > 5.740760 | c 21 > 5.099020 | c 20 > 76.271200 | 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 > 5.954200 | c 2 > -1.000000 | c 10 > 9.379380 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 9.098030 | c 32 > -1.000000 | c 5 > 11.403000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.65 c choco : 4.83
7.40/7.65 c mistral : 2.03
7.40/7.65 c abscon : 7.47
7.40/7.65 c
7.40/7.65 c
7.40/7.65 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle14.xml
7.40/7.65 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 23.728800 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.325800 | c 34 > 0.000000 | c 16 > 14.000000 | c 13 > 8.846130 | c 14 > 8.625710 | c 11 > 9.252670 | c 12 > 6.108250 | c 21 > 5.099020 | c 20 > 76.271200 | 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 > 5.954200 | c 2 > -1.000000 | c 10 > 9.379380 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 9.098030 | c 32 > -1.000000 | c 5 > 11.403000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.65 c choco : 4.39
7.40/7.65 c mistral : 1.88
7.40/7.65 c abscon : 6.3
7.40/7.65 c
7.40/7.65 c
7.40/7.66 c Length: 40
7.40/7.66 c 1.7305725902140017 4.210600301500963 4.752860299829988 5.405347087384862 5.89573969558528 6.567588738121474 6.786086187214249 7.105526348631749 9.267040108071184 9.294315387622694 9.34976592619302 9.350908690998969 9.369250908920089 9.392711179132466 9.443955836120793 9.486246319667229 9.490535688495145 9.51790477335217 9.566072693624061 9.826803952099585 9.86079609975787 10.154045066632309 10.19929519433573 10.209896044069204 12.444345176665589 12.652515927699918 12.709401498571838 12.910777309515492 13.599759213964044 13.701036073151545 13.788579439804519 13.869085797679668 14.086357996512083 14.271235264930642 14.345094504861233 14.491104621090827 14.612441517857306 14.91745183552137 15.032060474622227 15.13190849270507
7.40/7.66 c
7.40/7.66 c 1.0 0.8438403797306555 0.8159792393568959 0.7848002612325806 0.7628915041595331 0.7347887498529905 0.7260901110376622 0.7137371730258242 0.6400545288082645 0.6392218266538224 0.6375356086641729 0.6375009514182599 0.6369451922228095 0.6362357695524844 0.6346916484327444 0.633422971186666 0.633294577143021 0.6324765600335323 0.6310420205141297 0.6233884856682483 0.6224043343094079 0.6140414004936504 0.612770921414725 0.6124740431372853 0.5557236414107736 0.5509674814103622 0.5496819240749194 0.5451788441042718 0.5303149504951872 0.5281980871324266 0.5263818486200066 0.5247225950628872 0.520296338314721 0.516588414057863 0.5151218151900706 0.5122469059404764 0.5098821087117235 0.5040329269187793 0.501869615342551 0.5
7.40/7.67 c
7.40/7.67 c solver 0
7.40/7.67 c before 0.0 seconds: {} 0
7.40/7.67 c before 18.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} 24850
7.40/7.67 c
7.40/7.67 c solver 1
7.40/7.67 c before 0.0 seconds: {} 0
7.40/7.67 c before 18.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} 24850
7.40/7.67 c
7.40/7.67 c solver 2
7.40/7.67 c before 0.0 seconds: {} 0
7.40/7.67 c before 18.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} 24850
7.40/7.67 c
7.40/7.67 cTotal time: 3
7.40/7.67 c 54.0 seconds unused
7.40/7.67 c 0 c 0 c 0
7.40/7.67 c 0 c 0 c 0
7.40/7.67 c 0 c 0 c 0
7.40/7.67 c is solver0 dominated by:
7.40/7.67 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: true) (0 < 1: false)
7.40/7.67 c is dominated? true
7.40/7.67 c
7.40/7.67 c is solver1 dominated by:
7.40/7.67 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: true) (1 < 0: true)
7.40/7.67 c solver 2 (1 solves instances that 2 can't: false) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: false) (1 is equally as fast as 2: true) (1 < 2: false)
7.40/7.67 c is dominated? true
7.40/7.67 c
7.40/7.67 c is solver2 dominated by:
7.40/7.67 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: false) (2 is equally as fast as 0: true) (2 < 0: true)
7.40/7.67 c solver 1 (2 solves instances that 1 can't: false) (1 doesn't solve instances that 2 can't: true) (2 is faster than 1: false) (2 is equally as fast as 1: true) (2 < 1: true)
7.40/7.67 c is dominated? false
7.40/7.67 c
7.40/7.67 c Number of non-dominated solvers: 1
7.40/7.67 c remove dominated solvers
7.40/7.68 c solver 2 is not dominated by another solver
7.40/7.68 c solver 1 is dominated by another solver
7.40/7.68 c solver 0 is dominated by another solver
7.40/7.68 c
7.40/7.68 c solver 0: 0.0
7.40/7.68 c
7.40/7.68 c solver 1: 0.0
7.40/7.68 c
7.40/7.68 c solver 2: 18.0
7.40/7.68 c
7.40/7.68 c+ 1/1 of 99
7.40/7.68 c do not run abscon
7.40/7.68 c do not run mistral
7.40/7.68 c run choco 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} 24850
7.40/7.68 c Starting solver: HOME/cpHydra_k_40/solver/choco
7.40/7.68 c On Instance: HOME/instance-1074337-1215178445.xml
7.40/7.68 c Running for: 1800 seconds
14.82/15.25 s SATISFIABLE
14.82/15.25 v 18 8 18 1 0 13 19 20 18 0 6 0 13 3 0 11 6 4 17 8 0 11 18 8 3 14 3 0 13 8 14 13 6 0 12
14.82/15.25 d ASSIGNMENTS 613
14.82/15.25 c SAT 7452 TIME 613 NDS 250 PARSTIME 320 BUILDPB 6882 RES false RESTART 1 HEURISTIC