0.00/0.00 c cpHydra_k_40 version 0.0
6.99/7.11 c CASE TO CLASSIFY:
6.99/7.11 c Case: 0
6.99/7.11 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 18.181800 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.043500 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 13.207200 | c 14 > 11.217400 | c 11 > 8.388020 | c 12 > 10.902400 | 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
6.99/7.12 c choco : 1801.0
6.99/7.12 c mistral : 1801.0
6.99/7.12 c abscon : 1801.0
6.99/7.12 c
6.99/7.12 c
6.99/7.20 c List of same ones: 40
6.99/7.20 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-05-01.xml
6.99/7.20 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.10/7.21 c choco : 3.52
7.10/7.21 c mistral : 0.35
7.10/7.21 c abscon : 3.13
7.10/7.21 c
7.10/7.21 c
7.10/7.21 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-05-01.xml
7.10/7.21 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.10/7.21 c choco : 3.89
7.10/7.21 c mistral : 0.41
7.10/7.21 c abscon : 4.57
7.10/7.21 c
7.10/7.21 c
7.10/7.21 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-05-01.xml
7.10/7.21 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.10/7.22 c choco : 4.98
7.10/7.22 c mistral : 0.2
7.10/7.22 c abscon : 3.3
7.10/7.22 c
7.10/7.22 c
7.10/7.22 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-05-01.xml
7.10/7.23 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.10/7.23 c choco : 4.21
7.10/7.23 c mistral : 24.83
7.10/7.23 c abscon : 4.81
7.10/7.23 c
7.10/7.23 c
7.10/7.23 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle14.xml
7.10/7.23 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.10/7.24 c choco : 4.15
7.10/7.24 c mistral : 0.77
7.10/7.24 c abscon : 6.57
7.10/7.24 c
7.10/7.24 c
7.10/7.24 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle14.xml
7.10/7.24 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.10/7.25 c choco : 5.08
7.10/7.25 c mistral : 4.1
7.10/7.25 c abscon : 7.76
7.10/7.25 c
7.10/7.25 c
7.10/7.25 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle14.xml
7.10/7.25 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.10/7.26 c choco : 4.83
7.10/7.26 c mistral : 2.03
7.10/7.26 c abscon : 7.47
7.10/7.26 c
7.10/7.26 c
7.10/7.26 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle14.xml
7.10/7.26 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.10/7.27 c choco : 4.39
7.10/7.27 c mistral : 1.88
7.10/7.27 c abscon : 6.3
7.10/7.27 c
7.10/7.27 c
7.10/7.27 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle20.xml
7.10/7.27 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.10/7.28 c choco : 4.14
7.10/7.28 c mistral : 0.42
7.10/7.28 c abscon : 5.91
7.10/7.28 c
7.10/7.28 c
7.10/7.28 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle20.xml
7.10/7.28 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.10/7.29 c choco : 4.16
7.10/7.29 c mistral : 0.49
7.10/7.29 c abscon : 4.97
7.10/7.29 c
7.10/7.29 c
7.10/7.29 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle20.xml
7.10/7.29 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.26/7.48 c choco : 5.0
7.26/7.48 c mistral : 1.05
7.26/7.48 c abscon : 6.45
7.26/7.48 c
7.26/7.48 c
7.26/7.48 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle20.xml
7.26/7.48 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.26/7.50 c choco : 4.9
7.26/7.50 c mistral : 1.28
7.26/7.50 c abscon : 5.94
7.26/7.50 c
7.26/7.50 c
7.26/7.50 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-15-06.xml
7.26/7.50 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.36/7.50 c choco : 1801.0
7.36/7.50 c mistral : 49.67
7.36/7.50 c abscon : 106.71
7.36/7.50 c
7.36/7.50 c
7.36/7.50 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-05-06.xml
7.36/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.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.36/7.52 c choco : 2.97
7.36/7.52 c mistral : 0.12
7.36/7.52 c abscon : 2.94
7.36/7.52 c
7.36/7.52 c
7.36/7.52 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-05-02.xml
7.36/7.52 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.36/7.52 c choco : 4.67
7.36/7.52 c mistral : 0.43
7.36/7.52 c abscon : 3.26
7.36/7.52 c
7.36/7.52 c
7.36/7.52 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-05-02.xml
7.36/7.52 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.36/7.53 c choco : 3.66
7.36/7.53 c mistral : 0.27
7.36/7.53 c abscon : 2.91
7.36/7.53 c
7.36/7.53 c
7.36/7.53 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-05-08.xml
7.36/7.53 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.36/7.54 c choco : 2.87
7.36/7.54 c mistral : 0.11
7.36/7.54 c abscon : 2.94
7.36/7.54 c
7.36/7.54 c
7.36/7.54 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-05-02.xml
7.36/7.54 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.36/7.54 c choco : 3.2
7.36/7.54 c mistral : 0.21
7.36/7.54 c abscon : 4.47
7.36/7.54 c
7.36/7.54 c
7.36/7.54 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-05-02.xml
7.36/7.54 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.36/7.55 c choco : 3.42
7.36/7.55 c mistral : 0.42
7.36/7.55 c abscon : 4.42
7.36/7.55 c
7.36/7.55 c
7.36/7.55 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-05-08.xml
7.36/7.55 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.36/7.56 c choco : 3.1
7.36/7.56 c mistral : 0.28
7.36/7.56 c abscon : 3.6
7.36/7.56 c
7.36/7.56 c
7.36/7.56 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-05-06.xml
7.36/7.56 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.36/7.56 c choco : 3.19
7.36/7.56 c mistral : 0.4
7.36/7.56 c abscon : 3.64
7.36/7.56 c
7.36/7.56 c
7.36/7.56 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-05-06.xml
7.36/7.56 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.36/7.57 c choco : 3.62
7.36/7.57 c mistral : 1.0
7.36/7.57 c abscon : 4.31
7.36/7.57 c
7.36/7.57 c
7.36/7.57 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-05-08.xml
7.36/7.57 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.36/7.58 c choco : 2.93
7.36/7.58 c mistral : 0.3
7.36/7.58 c abscon : 2.93
7.36/7.58 c
7.36/7.58 c
7.36/7.58 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-05-08.xml
7.36/7.58 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.36/7.58 c choco : 3.29
7.36/7.58 c mistral : 0.36
7.36/7.58 c abscon : 4.67
7.36/7.58 c
7.36/7.58 c
7.36/7.58 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-05-06.xml
7.36/7.58 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.36/7.59 c choco : 3.41
7.36/7.59 c mistral : 0.51
7.36/7.59 c abscon : 2.95
7.36/7.59 c
7.36/7.59 c
7.36/7.59 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-15-01.xml
7.36/7.59 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.36/7.59 c choco : 13.71
7.36/7.59 c mistral : 14.43
7.36/7.59 c abscon : 12.3
7.36/7.59 c
7.36/7.59 c
7.36/7.59 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle12.xml
7.36/7.59 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.42/7.60 c choco : 4.74
7.42/7.60 c mistral : 0.39
7.42/7.60 c abscon : 5.57
7.42/7.60 c
7.42/7.60 c
7.42/7.60 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle09.xml
7.42/7.60 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.42/7.61 c choco : 3.85
7.42/7.61 c mistral : 0.27
7.42/7.61 c abscon : 4.49
7.42/7.61 c
7.42/7.61 c
7.42/7.61 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle06.xml
7.42/7.61 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.42/7.62 c choco : 3.21
7.42/7.62 c mistral : 0.34
7.42/7.62 c abscon : 4.89
7.42/7.62 c
7.42/7.62 c
7.42/7.62 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle12.xml
7.42/7.62 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.42/7.62 c choco : 4.47
7.42/7.62 c mistral : 0.1
7.42/7.62 c abscon : 4.51
7.42/7.62 c
7.42/7.62 c
7.42/7.62 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle15.xml
7.42/7.62 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.42/7.63 c choco : 6.49
7.42/7.63 c mistral : 0.32
7.42/7.63 c abscon : 9.52
7.42/7.63 c
7.42/7.63 c
7.42/7.63 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle12.xml
7.42/7.63 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.42/7.63 c choco : 4.02
7.42/7.63 c mistral : 0.11
7.42/7.63 c abscon : 5.11
7.42/7.63 c
7.42/7.63 c
7.42/7.63 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle12.xml
7.42/7.63 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.42/7.64 c choco : 4.35
7.42/7.64 c mistral : 0.12
7.42/7.64 c abscon : 4.68
7.42/7.64 c
7.42/7.64 c
7.42/7.64 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle15.xml
7.42/7.64 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.42/7.64 c choco : 6.04
7.42/7.64 c mistral : 0.32
7.42/7.64 c abscon : 8.41
7.42/7.64 c
7.42/7.64 c
7.42/7.64 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle15.xml
7.42/7.64 c 19 > 0.000000 | c 35 > 0.422164 | c 17 > 10.823500 | c 18 > 0.000000 | c 33 > 0.316623 | c 15 > 14.647700 | c 34 > 0.316623 | c 16 > 10.000000 | c 13 > 2.314320 | c 14 > 5.700440 | c 11 > 11.295200 | c 12 > 1.096590 | 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.42/7.65 c choco : 6.53
7.42/7.65 c mistral : 0.2
7.42/7.65 c abscon : 8.33
7.42/7.65 c
7.42/7.65 c
7.42/7.65 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle15.xml
7.42/7.65 c 19 > 0.000000 | c 35 > 0.422164 | c 17 > 10.823500 | c 18 > 0.000000 | c 33 > 0.316623 | c 15 > 14.806400 | c 34 > 0.316623 | c 16 > 10.000000 | c 13 > 2.252390 | c 14 > 5.584960 | c 11 > 11.295200 | c 12 > 1.107020 | 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.42/7.66 c choco : 6.01
7.42/7.66 c mistral : 0.33
7.42/7.66 c abscon : 8.88
7.42/7.66 c
7.42/7.66 c
7.42/7.66 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle09.xml
7.42/7.66 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.42/7.67 c choco : 4.33
7.42/7.67 c mistral : 1.01
7.42/7.67 c abscon : 5.65
7.42/7.67 c
7.42/7.67 c
7.42/7.67 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle06.xml
7.42/7.67 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.42/7.67 c choco : 3.06
7.42/7.67 c mistral : 0.12
7.42/7.67 c abscon : 3.05
7.42/7.67 c
7.42/7.67 c
7.42/7.67 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle06.xml
7.42/7.67 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.42/7.68 c choco : 3.49
7.42/7.68 c mistral : 0.17
7.42/7.68 c abscon : 3.21
7.42/7.68 c
7.42/7.68 c
7.42/7.68 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-15-06.xml
7.42/7.68 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 12.698400 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.788200 | c 34 > 0.000000 | c 16 > 18.000000 | c 13 > 2.074070 | c 14 > 6.247930 | c 11 > 12.081800 | c 12 > 1.087480 | 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.42/7.68 c choco : 21.41
7.42/7.68 c mistral : 5.94
7.42/7.68 c abscon : 16.38
7.42/7.68 c
7.42/7.68 c
7.42/7.69 c Length: 40
7.42/7.69 c 1.0729421932238479 1.4082823331988508 1.5459399567900431 1.663033535440582 12.790870985300419 13.856881858206778 13.96225389025354 14.041569025034208 15.947492548394562 16.060515502887824 16.393996501036597 16.416506815945958 20.167724657776837 20.838571968112404 20.86155481813856 20.870875077969302 20.877209882936945 20.88812603418986 20.926204489113648 20.931586463672552 20.932378775480824 20.937086992229844 21.083084118264104 21.09451641128092 21.2552597318946 21.275687178862167 21.44221115054602 21.490971676157407 21.641487308687918 21.675531606032184 21.714112762386907 21.721937678363318 21.732346374448387 21.73722467567454 21.761344372137355 21.778539606565776 21.792798530211762 21.83463842354849 21.88540721335338 21.886067731061235
7.42/7.69 c
7.42/7.69 c 1.0 0.9841435239282242 0.9777790555438994 0.9724297826105456 0.639792529524586 0.6194923697112158 0.6175555017814863 0.6161055622602213 0.5832020443201535 0.5813608730515046 0.5759955152363279 0.5756369138163204 0.5215288542960141 0.5129069479198679 0.5126166139589383 0.5124989681693128 0.5124190373625453 0.5122813588865701 0.5118016781558296 0.511733952959114 0.5117239842521408 0.51166475443132 0.5098348768080277 0.5096921408080888 0.5076936355827327 0.5074407850474576 0.5053889117662571 0.5047912319543897 0.5029551782046504 0.5025417420087996 0.5020740307377368 0.5019792770925414 0.5018532912949146 0.5017942665958525 0.5015026357556657 0.5012949353550915 0.5011228329467238 0.5006185150690428 0.5000079340340763 0.5
7.42/7.70 c
7.42/7.70 c solver 0
7.42/7.70 c before 0.0 seconds: {} 0
7.42/7.70 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 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} 22415
7.42/7.70 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} 22937
7.42/7.70 c
7.42/7.70 c solver 1
7.42/7.70 c before 0.0 seconds: {} 0
7.42/7.70 c before 18.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 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} 21443
7.42/7.70 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 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} 22415
7.42/7.70 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} 22937
7.42/7.70 c
7.42/7.70 c solver 2
7.42/7.70 c before 0.0 seconds: {} 0
7.49/7.70 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 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} 21915
7.49/7.70 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 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} 22415
7.49/7.70 c
7.49/7.70 cTotal time: 11
7.49/7.70 c 198.0 seconds unused
7.49/7.70 c 0 c 0 c 1
7.49/7.70 c 0 c 0 c 1
7.49/7.70 c 0 c 0 c 0
7.49/7.70 c is solver0 dominated by:
7.49/7.70 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.49/7.70 c is dominated? true
7.49/7.70 c
7.49/7.71 c is solver1 dominated by:
7.49/7.71 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.49/7.71 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.49/7.71 c is dominated? false
7.49/7.71 c
7.49/7.71 c is solver2 dominated by:
7.49/7.71 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.49/7.71 c is dominated? true
7.49/7.71 c
7.49/7.71 c Number of non-dominated solvers: 1
7.49/7.71 c remove dominated solvers
7.49/7.71 c solver 1 is not dominated by another solver
7.49/7.71 c solver 2 is dominated by another solver
7.49/7.71 c solver 0 is dominated by another solver
7.49/7.71 c
7.49/7.71 c solver 0: 0.0
7.49/7.71 c
7.49/7.71 c solver 1: 54.0
7.49/7.71 c
7.49/7.71 c+ 3/3 of 97
7.49/7.71 c
7.49/7.71 c solver 2: 0.0
7.49/7.71 c do not run abscon
7.49/7.71 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} 22937
7.49/7.71 c do not run choco
7.49/7.71 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.49/7.71 c On Instance: HOME/instance-1075429-1215180904.xml
7.49/7.71 c Running for: 1800 seconds
7.49/7.79 c mistral-prime version 1.313
7.49/7.79 s SATISFIABLE
7.49/7.79 v 19 0 1 0 17 0 11 8 1 8 2 8 19 0 18 2 14 0 2 7 0 18 18 0 8
7.49/7.79 d CHECKS 22235
7.49/7.79 d ASSIGNMENTS 188