0.00/0.00 c cpHydra_k_40 version 0.0
7.32/7.41 c CASE TO CLASSIFY:
7.32/7.41 c Case: 0
7.32/7.41 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 18.181800 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.724800 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 14.103600 | c 14 > 11.435700 | c 11 > 8.388020 | c 12 > 11.745200 | c 21 > 5.099020 | c 20 > 81.818200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > 4.643860 | c 2 > -1.000000 | c 10 > 8.511750 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 8.276120 | c 32 > -1.000000 | c 5 > 10.310600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.32/7.42 c choco : 1801.0
7.32/7.42 c mistral : 1801.0
7.32/7.42 c abscon : 1801.0
7.32/7.42 c
7.32/7.42 c
7.32/7.50 c List of same ones: 40
7.32/7.50 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-05-01.xml
7.32/7.50 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 18.181800 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.488000 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 14.271500 | c 14 > 11.155500 | c 11 > 8.388020 | c 12 > 11.874400 | c 21 > 5.099020 | c 20 > 81.818200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > 4.643860 | c 2 > -1.000000 | c 10 > 8.511750 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 8.276120 | c 32 > -1.000000 | c 5 > 10.310600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.51 c choco : 4.98
7.41/7.51 c mistral : 0.2
7.41/7.51 c abscon : 3.3
7.41/7.51 c
7.41/7.51 c
7.41/7.51 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-05-01.xml
7.41/7.51 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 18.181800 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.622500 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 14.310100 | c 14 > 11.286600 | c 11 > 8.388020 | c 12 > 12.071700 | c 21 > 5.099020 | c 20 > 81.818200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > 4.643860 | c 2 > -1.000000 | c 10 > 8.511750 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 8.276120 | c 32 > -1.000000 | c 5 > 10.310600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.51 c choco : 4.21
7.41/7.51 c mistral : 24.83
7.41/7.51 c abscon : 4.81
7.41/7.51 c
7.41/7.51 c
7.41/7.51 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-05-01.xml
7.41/7.51 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 18.181800 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.777700 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 14.433800 | c 14 > 11.242600 | c 11 > 8.388020 | c 12 > 11.540700 | c 21 > 5.099020 | c 20 > 81.818200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > 4.643860 | c 2 > -1.000000 | c 10 > 8.511750 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 8.276120 | c 32 > -1.000000 | c 5 > 10.310600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.52 c choco : 3.89
7.41/7.52 c mistral : 0.41
7.41/7.52 c abscon : 4.57
7.41/7.52 c
7.41/7.52 c
7.41/7.53 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-05-01.xml
7.41/7.53 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 18.181800 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.518000 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 14.006600 | c 14 > 11.002100 | c 11 > 8.388020 | c 12 > 11.337900 | c 21 > 5.099020 | c 20 > 81.818200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > 4.643860 | c 2 > -1.000000 | c 10 > 8.511750 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 8.276120 | c 32 > -1.000000 | c 5 > 10.310600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.53 c choco : 3.52
7.41/7.53 c mistral : 0.35
7.41/7.53 c abscon : 3.13
7.41/7.53 c
7.41/7.53 c
7.41/7.53 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle14.xml
7.41/7.53 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.41/7.54 c choco : 4.15
7.41/7.54 c mistral : 0.77
7.41/7.54 c abscon : 6.57
7.41/7.54 c
7.41/7.54 c
7.41/7.54 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle14.xml
7.41/7.54 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.41/7.55 c choco : 5.08
7.41/7.55 c mistral : 4.1
7.41/7.55 c abscon : 7.76
7.41/7.55 c
7.41/7.55 c
7.41/7.55 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle14.xml
7.41/7.55 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.41/7.56 c choco : 4.83
7.41/7.56 c mistral : 2.03
7.41/7.56 c abscon : 7.47
7.41/7.56 c
7.41/7.56 c
7.41/7.56 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle14.xml
7.41/7.56 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.41/7.57 c choco : 4.39
7.41/7.57 c mistral : 1.88
7.41/7.57 c abscon : 6.3
7.41/7.57 c
7.41/7.57 c
7.41/7.57 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle20.xml
7.41/7.57 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.41/7.58 c choco : 4.14
7.41/7.58 c mistral : 0.42
7.41/7.58 c abscon : 5.91
7.41/7.58 c
7.41/7.58 c
7.41/7.58 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle20.xml
7.41/7.58 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.41/7.59 c choco : 4.16
7.41/7.59 c mistral : 0.49
7.41/7.59 c abscon : 4.97
7.41/7.59 c
7.41/7.59 c
7.41/7.59 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle20.xml
7.41/7.59 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.48/7.60 c choco : 5.0
7.48/7.60 c mistral : 1.05
7.48/7.60 c abscon : 6.45
7.48/7.60 c
7.48/7.60 c
7.48/7.60 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle20.xml
7.48/7.60 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.48/7.62 c choco : 4.9
7.48/7.62 c mistral : 1.28
7.48/7.62 c abscon : 5.94
7.48/7.62 c
7.48/7.62 c
7.48/7.62 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-05-06.xml
7.48/7.62 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.48/7.63 c choco : 2.97
7.48/7.63 c mistral : 0.12
7.48/7.63 c abscon : 2.94
7.48/7.63 c
7.48/7.63 c
7.48/7.63 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-05-02.xml
7.48/7.63 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.48/7.64 c choco : 4.67
7.48/7.64 c mistral : 0.43
7.48/7.64 c abscon : 3.26
7.48/7.64 c
7.48/7.64 c
7.48/7.64 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-05-02.xml
7.48/7.64 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.48/7.64 c choco : 3.66
7.48/7.64 c mistral : 0.27
7.48/7.64 c abscon : 2.91
7.48/7.64 c
7.48/7.64 c
7.48/7.64 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-05-08.xml
7.48/7.65 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.48/7.65 c choco : 2.87
7.48/7.65 c mistral : 0.11
7.48/7.65 c abscon : 2.94
7.48/7.65 c
7.48/7.65 c
7.48/7.65 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-05-02.xml
7.48/7.65 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.48/7.66 c choco : 3.2
7.48/7.66 c mistral : 0.21
7.48/7.66 c abscon : 4.47
7.48/7.66 c
7.48/7.66 c
7.48/7.66 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-05-02.xml
7.48/7.66 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.48/7.66 c choco : 3.42
7.48/7.66 c mistral : 0.42
7.48/7.66 c abscon : 4.42
7.48/7.66 c
7.48/7.66 c
7.48/7.66 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-15-06.xml
7.48/7.66 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 12.698400 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.081000 | c 34 > 0.000000 | c 16 > 18.000000 | c 13 > 3.604450 | c 14 > 7.179910 | c 11 > 12.081800 | c 12 > 2.044970 | c 21 > 5.099020 | c 20 > 87.301600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.888890 | c 28 > 6.111110 | c 29 > -1.000000 | c 3 > 7.607330 | c 2 > -1.000000 | c 10 > 12.200600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.015400 | c 32 > -1.000000 | c 5 > 13.704600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.67 c choco : 1801.0
7.48/7.67 c mistral : 49.67
7.48/7.67 c abscon : 106.71
7.48/7.67 c
7.48/7.67 c
7.48/7.67 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-05-06.xml
7.48/7.67 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.48/7.68 c choco : 3.19
7.48/7.68 c mistral : 0.4
7.48/7.68 c abscon : 3.64
7.48/7.68 c
7.48/7.68 c
7.48/7.68 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-05-08.xml
7.48/7.68 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.48/7.68 c choco : 3.1
7.48/7.69 c mistral : 0.28
7.48/7.69 c abscon : 3.6
7.48/7.69 c
7.48/7.69 c
7.48/7.69 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-05-06.xml
7.48/7.69 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.48/7.69 c choco : 3.62
7.48/7.69 c mistral : 1.0
7.48/7.69 c abscon : 4.31
7.48/7.69 c
7.48/7.69 c
7.48/7.69 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-05-08.xml
7.48/7.69 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.48/7.70 c choco : 2.93
7.48/7.70 c mistral : 0.3
7.48/7.70 c abscon : 2.93
7.48/7.70 c
7.48/7.70 c
7.48/7.70 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-05-08.xml
7.48/7.70 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.48/7.70 c choco : 3.29
7.48/7.70 c mistral : 0.36
7.48/7.70 c abscon : 4.67
7.48/7.70 c
7.48/7.70 c
7.48/7.70 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-05-06.xml
7.48/7.70 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.56/7.71 c choco : 3.41
7.56/7.71 c mistral : 0.51
7.56/7.71 c abscon : 2.95
7.56/7.71 c
7.56/7.71 c
7.56/7.71 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle09.xml
7.56/7.71 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.56/7.71 c choco : 3.85
7.56/7.72 c mistral : 0.27
7.56/7.72 c abscon : 4.49
7.56/7.72 c
7.56/7.72 c
7.56/7.72 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle06.xml
7.56/7.72 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.56/7.72 c choco : 3.21
7.56/7.72 c mistral : 0.34
7.56/7.72 c abscon : 4.89
7.56/7.72 c
7.56/7.72 c
7.56/7.72 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle06.xml
7.56/7.72 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.56/7.73 c choco : 3.06
7.56/7.73 c mistral : 0.12
7.56/7.73 c abscon : 3.05
7.56/7.73 c
7.56/7.73 c
7.56/7.73 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle09.xml
7.56/7.73 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.56/7.73 c choco : 4.33
7.56/7.73 c mistral : 1.01
7.56/7.73 c abscon : 5.65
7.56/7.73 c
7.56/7.73 c
7.56/7.73 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-15-01.xml
7.56/7.73 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 11.453700 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.904600 | c 34 > 0.000000 | c 16 > 20.000000 | c 13 > 4.749480 | c 14 > 8.527480 | c 11 > 12.013700 | c 12 > 2.548690 | c 21 > 5.099020 | c 20 > 88.546300 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.128210 | c 28 > 4.871790 | c 29 > -1.000000 | c 3 > 7.562240 | c 2 > -1.000000 | c 10 > 12.175900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.946200 | c 32 > -1.000000 | c 5 > 13.644500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.74 c choco : 13.71
7.56/7.74 c mistral : 14.43
7.56/7.74 c abscon : 12.3
7.56/7.74 c
7.56/7.74 c
7.56/7.74 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle06.xml
7.56/7.74 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.56/7.74 c choco : 3.49
7.56/7.74 c mistral : 0.17
7.56/7.74 c abscon : 3.21
7.56/7.74 c
7.56/7.74 c
7.56/7.74 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle09.xml
7.56/7.74 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.56/7.75 c choco : 4.34
7.56/7.75 c mistral : 1.13
7.56/7.75 c abscon : 6.06
7.56/7.75 c
7.56/7.75 c
7.56/7.75 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle06.xml
7.56/7.75 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.56/7.75 c choco : 3.09
7.56/7.75 c mistral : 0.17
7.56/7.75 c abscon : 2.99
7.56/7.75 c
7.56/7.75 c
7.56/7.75 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle12.xml
7.56/7.75 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 16.867500 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.793000 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 2.176630 | c 14 > 5.426260 | c 11 > 9.554590 | c 12 > 1.158800 | c 21 > 5.099020 | c 20 > 83.132500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 8.571430 | c 28 > 1.428570 | c 29 > -1.000000 | c 3 > 5.700440 | c 2 > -1.000000 | c 10 > 9.758220 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 9.451210 | c 32 > -1.000000 | c 5 > 11.426300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.76 c choco : 4.74
7.56/7.76 c mistral : 0.39
7.56/7.76 c abscon : 5.57
7.56/7.76 c
7.56/7.76 c
7.56/7.76 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle09.xml
7.56/7.76 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.56/7.77 c choco : 3.86
7.56/7.77 c mistral : 1.48
7.56/7.77 c abscon : 4.88
7.56/7.77 c
7.56/7.77 c
7.56/7.77 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle12.xml
7.56/7.77 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 16.867500 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.882600 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 1.965380 | c 14 > 4.954200 | c 11 > 9.554590 | c 12 > 1.109860 | c 21 > 5.099020 | c 20 > 83.132500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 8.571430 | c 28 > 1.428570 | c 29 > -1.000000 | c 3 > 5.700440 | c 2 > -1.000000 | c 10 > 9.758220 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 9.451210 | c 32 > -1.000000 | c 5 > 11.426300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.77 c choco : 4.47
7.56/7.77 c mistral : 0.1
7.56/7.77 c abscon : 4.51
7.56/7.77 c
7.56/7.77 c
7.56/7.77 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle15.xml
7.56/7.77 c 19 > 0.000000 | c 35 > 0.422164 | c 17 > 10.823500 | c 18 > 0.000000 | c 33 > 0.316623 | c 15 > 14.411800 | c 34 > 0.316623 | c 16 > 10.000000 | c 13 > 2.373000 | c 14 > 6.022370 | c 11 > 11.295200 | c 12 > 1.093090 | c 21 > 5.099020 | c 20 > 89.176500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.217390 | c 28 > 4.782610 | c 29 > -1.000000 | c 3 > 6.569860 | c 2 > -1.000000 | c 10 > 11.473200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.239600 | c 32 > -1.000000 | c 5 > 12.834900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.78 c choco : 6.49
7.56/7.78 c mistral : 0.32
7.56/7.78 c abscon : 9.52
7.56/7.78 c
7.56/7.78 c
7.56/7.78 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle12.xml
7.56/7.78 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 16.867500 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.896500 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 1.823410 | c 14 > 5.044390 | c 11 > 9.554590 | c 12 > 1.103620 | c 21 > 5.099020 | c 20 > 83.132500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 8.571430 | c 28 > 1.428570 | c 29 > -1.000000 | c 3 > 5.700440 | c 2 > -1.000000 | c 10 > 9.758220 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 9.451210 | c 32 > -1.000000 | c 5 > 11.426300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.79 c choco : 4.02
7.56/7.79 c mistral : 0.11
7.56/7.79 c abscon : 5.11
7.56/7.79 c
7.56/7.79 c
7.56/7.79 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle12.xml
7.56/7.79 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 16.867500 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.799900 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 1.915000 | c 14 > 4.954200 | c 11 > 9.554590 | c 12 > 1.102730 | c 21 > 5.099020 | c 20 > 83.132500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 8.571430 | c 28 > 1.428570 | c 29 > -1.000000 | c 3 > 5.700440 | c 2 > -1.000000 | c 10 > 9.758220 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 9.451210 | c 32 > -1.000000 | c 5 > 11.426300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.79 c choco : 4.35
7.56/7.79 c mistral : 0.12
7.56/7.79 c abscon : 4.68
7.56/7.79 c
7.56/7.79 c
7.56/7.79 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle15.xml
7.56/7.79 c 19 > 0.000000 | c 35 > 0.422164 | c 17 > 10.823500 | c 18 > 0.000000 | c 33 > 0.316623 | c 15 > 14.479200 | c 34 > 0.316623 | c 16 > 10.000000 | c 13 > 2.312490 | c 14 > 5.977280 | c 11 > 11.295200 | c 12 > 1.094440 | c 21 > 5.099020 | c 20 > 89.176500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.217390 | c 28 > 4.782610 | c 29 > -1.000000 | c 3 > 6.569860 | c 2 > -1.000000 | c 10 > 11.473200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.239600 | c 32 > -1.000000 | c 5 > 12.834900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.56/7.80 c choco : 6.04
7.62/7.80 c mistral : 0.32
7.62/7.80 c abscon : 8.41
7.62/7.80 c
7.62/7.80 c
7.62/7.80 c Length: 40
7.62/7.80 c 0.4236382064922844 0.42654495659894953 0.43696488417263096 0.6372420968517382 13.195105659774011 14.445916916426597 14.574883024913104 14.676591752678826 16.226033532477988 16.365422779155452 16.778548546283737 16.807762142831514 20.853464568512354 20.865546168509468 20.91311562345984 20.914647324690897 20.947393810214198 20.974921104981544 21.00137976643201 21.009219903656586 21.010713964218354 21.02882155043882 21.210974343999386 21.2308719903305 21.421087338748706 21.563664523113875 21.70965579718159 21.952646677271062 21.99561712842811 22.000237101376886 22.037764877961198 22.1256134732373 22.15314077459673 22.26067944795486 22.29800769056509 22.50161184369022 22.53447123079781 22.55151805375195 22.557446014808505 22.56048516802673
7.62/7.80 c
7.62/7.80 c 1.0 0.9998687090134549 0.9993983488392727 0.9904429717424983 0.6341425340244696 0.6122063670085213 0.6100306154362833 0.6083255926846197 0.5834815253760671 0.5813456542327108 0.5751061659315801 0.5746700159822914 0.5200511393800862 0.5199035763558664 0.5193233825410211 0.5193047222484916 0.5189061014239666 0.5185714865964417 0.5182502682989782 0.5181551624412893 0.5181370424948095 0.5179175346449499 0.5157197030507668 0.5154807502526353 0.5132075625715617 0.5115167821679946 0.5097970202981642 0.5069601120227437 0.5064617160056483 0.5064081892387303 0.5059738132281384 0.5049598925414208 0.504643016774792 0.5034089061977858 0.5029819384540988 0.5006657645958899 0.5002939582056872 0.5001012896150192 0.5000343246924405 0.5
7.62/7.82 c
7.62/7.82 c solver 0
7.62/7.82 c before 0.0 seconds: {} 0
7.62/7.82 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22547
7.62/7.82 c before 108.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} 23066
7.62/7.82 c
7.62/7.82 c solver 1
7.62/7.82 c before 0.0 seconds: {} 0
7.62/7.82 c before 18.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21548
7.62/7.82 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22547
7.62/7.82 c before 54.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} 23066
7.62/7.82 c
7.62/7.82 c solver 2
7.62/7.82 c before 0.0 seconds: {} 0
7.62/7.82 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22547
7.62/7.82 c
7.62/7.82 cTotal time: 10
7.62/7.82 c 180.0 seconds unused
7.62/7.82 c 0 c 0 c 1
7.62/7.82 c 0 c 0 c 1
7.62/7.82 c 0 c 0 c 0
7.62/7.82 c is solver0 dominated by:
7.62/7.82 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: false) (0 < 1: false)
7.62/7.82 c is dominated? true
7.62/7.82 c
7.62/7.82 c is solver1 dominated by:
7.62/7.82 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: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.62/7.82 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.62/7.82 c is dominated? false
7.62/7.82 c
7.62/7.82 c is solver2 dominated by:
7.62/7.82 c solver 0 (2 solves instances that 0 can't: false) (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.62/7.82 c is dominated? true
7.62/7.82 c
7.62/7.82 c Number of non-dominated solvers: 1
7.62/7.82 c remove dominated solvers
7.62/7.82 c solver 1 is not dominated by another solver
7.62/7.82 c solver 2 is dominated by another solver
7.62/7.82 c solver 0 is dominated by another solver
7.62/7.82 c
7.62/7.82 c solver 0: 0.0
7.62/7.82 c
7.62/7.82 c solver 1: 54.0
7.62/7.82 c
7.62/7.82 c+ 3/3 of 97
7.62/7.82 c
7.62/7.82 c solver 2: 0.0
7.62/7.82 c do not run abscon
7.62/7.82 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23066
7.62/7.82 c do not run choco
7.62/7.82 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.62/7.82 c On Instance: HOME/instance-1067855-1215151649.xml
7.62/7.82 c Running for: 1800 seconds
7.64/8.28 c mistral-prime version 1.313
7.64/8.28 s SATISFIABLE
7.64/8.28 v 18 2 0 11 15 2 0 1 0 11 0 13 8 19 0 11 0 3 4 13 0 11 4 17 19
7.64/8.28 d CHECKS 249532
7.64/8.28 d ASSIGNMENTS 627