0.00/0.00 c cpHydra_k_40 version 0.0
7.03/7.19 c CASE TO CLASSIFY:
7.03/7.19 c Case: 0
7.03/7.19 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 18.181800 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.080400 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 13.459000 | c 14 > 11.386400 | c 11 > 8.388020 | c 12 > 11.291600 | 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.13/7.20 c choco : 1801.0
7.13/7.20 c mistral : 1801.0
7.13/7.20 c abscon : 1801.0
7.13/7.20 c
7.13/7.20 c
7.13/7.28 c List of same ones: 40
7.13/7.28 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-05-01.xml
7.13/7.28 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.13/7.28 c choco : 3.52
7.13/7.28 c mistral : 0.35
7.13/7.28 c abscon : 3.13
7.13/7.28 c
7.13/7.28 c
7.13/7.28 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-05-01.xml
7.13/7.28 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.13/7.29 c choco : 3.89
7.13/7.29 c mistral : 0.41
7.13/7.29 c abscon : 4.57
7.13/7.29 c
7.13/7.29 c
7.13/7.29 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-05-01.xml
7.13/7.29 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.22/7.30 c choco : 4.98
7.22/7.30 c mistral : 0.2
7.22/7.30 c abscon : 3.3
7.22/7.30 c
7.22/7.30 c
7.22/7.30 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-05-01.xml
7.22/7.30 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.22/7.31 c choco : 4.21
7.22/7.31 c mistral : 24.83
7.22/7.31 c abscon : 4.81
7.22/7.31 c
7.22/7.31 c
7.22/7.31 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle14.xml
7.22/7.31 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.22/7.32 c choco : 4.15
7.22/7.32 c mistral : 0.77
7.22/7.32 c abscon : 6.57
7.22/7.32 c
7.22/7.32 c
7.22/7.32 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle14.xml
7.22/7.32 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.22/7.33 c choco : 5.08
7.22/7.33 c mistral : 4.1
7.22/7.33 c abscon : 7.76
7.22/7.33 c
7.22/7.33 c
7.22/7.33 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle14.xml
7.22/7.33 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.22/7.33 c choco : 4.83
7.22/7.33 c mistral : 2.03
7.22/7.33 c abscon : 7.47
7.22/7.33 c
7.22/7.33 c
7.22/7.34 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle14.xml
7.22/7.34 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.22/7.34 c choco : 4.39
7.22/7.34 c mistral : 1.88
7.22/7.34 c abscon : 6.3
7.22/7.34 c
7.22/7.34 c
7.22/7.34 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle20.xml
7.22/7.34 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.22/7.35 c choco : 4.14
7.22/7.35 c mistral : 0.42
7.22/7.35 c abscon : 5.91
7.22/7.35 c
7.22/7.35 c
7.22/7.35 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle20.xml
7.22/7.35 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.22/7.36 c choco : 4.16
7.22/7.36 c mistral : 0.49
7.22/7.36 c abscon : 4.97
7.22/7.36 c
7.22/7.36 c
7.22/7.36 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle20.xml
7.22/7.36 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.22/7.37 c choco : 5.0
7.22/7.37 c mistral : 1.05
7.22/7.37 c abscon : 6.45
7.22/7.37 c
7.22/7.37 c
7.22/7.37 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle20.xml
7.22/7.37 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.22/7.38 c choco : 4.9
7.22/7.38 c mistral : 1.28
7.22/7.38 c abscon : 5.94
7.22/7.38 c
7.22/7.38 c
7.22/7.38 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-15-06.xml
7.22/7.38 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.22/7.39 c choco : 1801.0
7.22/7.39 c mistral : 49.67
7.22/7.39 c abscon : 106.71
7.22/7.39 c
7.22/7.39 c
7.22/7.39 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-05-06.xml
7.22/7.39 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.30/7.40 c choco : 2.97
7.30/7.40 c mistral : 0.12
7.30/7.40 c abscon : 2.94
7.30/7.40 c
7.30/7.40 c
7.30/7.40 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-05-02.xml
7.30/7.40 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.30/7.41 c choco : 4.67
7.30/7.41 c mistral : 0.43
7.30/7.41 c abscon : 3.26
7.30/7.41 c
7.30/7.41 c
7.30/7.41 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-05-02.xml
7.30/7.41 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.30/7.41 c choco : 3.66
7.30/7.41 c mistral : 0.27
7.30/7.41 c abscon : 2.91
7.30/7.41 c
7.30/7.41 c
7.30/7.41 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-05-08.xml
7.30/7.41 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.30/7.42 c choco : 2.87
7.30/7.42 c mistral : 0.11
7.30/7.42 c abscon : 2.94
7.30/7.42 c
7.30/7.42 c
7.30/7.42 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-05-02.xml
7.30/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.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.30/7.42 c choco : 3.2
7.30/7.42 c mistral : 0.21
7.30/7.43 c abscon : 4.47
7.30/7.43 c
7.30/7.43 c
7.30/7.43 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-05-02.xml
7.30/7.43 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.30/7.43 c choco : 3.42
7.30/7.43 c mistral : 0.42
7.30/7.43 c abscon : 4.42
7.30/7.43 c
7.30/7.43 c
7.30/7.43 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-05-08.xml
7.30/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.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.30/7.44 c choco : 3.1
7.30/7.44 c mistral : 0.28
7.30/7.44 c abscon : 3.6
7.30/7.44 c
7.30/7.44 c
7.30/7.44 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-05-06.xml
7.30/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.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.30/7.45 c choco : 3.19
7.30/7.45 c mistral : 0.4
7.30/7.45 c abscon : 3.64
7.30/7.45 c
7.30/7.45 c
7.30/7.45 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-05-06.xml
7.30/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.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.30/7.45 c choco : 3.62
7.30/7.45 c mistral : 1.0
7.30/7.45 c abscon : 4.31
7.30/7.45 c
7.30/7.45 c
7.30/7.45 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-05-08.xml
7.30/7.45 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.30/7.46 c choco : 2.93
7.30/7.46 c mistral : 0.3
7.30/7.46 c abscon : 2.93
7.30/7.46 c
7.30/7.46 c
7.30/7.46 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-05-08.xml
7.30/7.46 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.30/7.47 c choco : 3.29
7.30/7.47 c mistral : 0.36
7.30/7.47 c abscon : 4.67
7.30/7.47 c
7.30/7.47 c
7.30/7.47 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-05-06.xml
7.30/7.47 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.30/7.47 c choco : 3.41
7.30/7.47 c mistral : 0.51
7.30/7.47 c abscon : 2.95
7.30/7.47 c
7.30/7.47 c
7.30/7.47 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle09.xml
7.30/7.47 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.30/7.48 c choco : 3.85
7.30/7.48 c mistral : 0.27
7.30/7.48 c abscon : 4.49
7.30/7.48 c
7.30/7.48 c
7.30/7.48 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-15-01.xml
7.30/7.48 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.30/7.48 c choco : 13.71
7.30/7.48 c mistral : 14.43
7.30/7.48 c abscon : 12.3
7.30/7.48 c
7.30/7.48 c
7.30/7.48 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle06.xml
7.30/7.48 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.30/7.49 c choco : 3.21
7.30/7.49 c mistral : 0.34
7.30/7.49 c abscon : 4.89
7.30/7.49 c
7.30/7.49 c
7.30/7.49 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle12.xml
7.30/7.49 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.30/7.49 c choco : 4.74
7.30/7.49 c mistral : 0.39
7.30/7.49 c abscon : 5.57
7.30/7.49 c
7.30/7.49 c
7.30/7.49 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle09.xml
7.30/7.49 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.36/7.50 c choco : 4.33
7.36/7.50 c mistral : 1.01
7.36/7.50 c abscon : 5.65
7.36/7.50 c
7.36/7.50 c
7.36/7.50 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle06.xml
7.36/7.50 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.36/7.50 c choco : 3.06
7.36/7.50 c mistral : 0.12
7.36/7.50 c abscon : 3.05
7.36/7.50 c
7.36/7.50 c
7.36/7.50 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle06.xml
7.36/7.50 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.36/7.51 c choco : 3.49
7.36/7.51 c mistral : 0.17
7.36/7.51 c abscon : 3.21
7.36/7.51 c
7.36/7.51 c
7.36/7.51 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle09.xml
7.36/7.51 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.36/7.51 c choco : 4.34
7.36/7.51 c mistral : 1.13
7.36/7.51 c abscon : 6.06
7.36/7.51 c
7.36/7.51 c
7.36/7.51 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle12.xml
7.36/7.51 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.36/7.52 c choco : 4.47
7.36/7.52 c mistral : 0.1
7.36/7.52 c abscon : 4.51
7.36/7.52 c
7.36/7.52 c
7.36/7.52 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle15.xml
7.36/7.52 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.36/7.53 c choco : 6.49
7.36/7.53 c mistral : 0.32
7.36/7.53 c abscon : 9.52
7.36/7.53 c
7.36/7.53 c
7.36/7.53 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle06.xml
7.36/7.53 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.36/7.53 c choco : 3.09
7.36/7.53 c mistral : 0.17
7.36/7.53 c abscon : 2.99
7.36/7.53 c
7.36/7.53 c
7.36/7.53 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle15.xml
7.36/7.53 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.36/7.54 c choco : 6.04
7.36/7.54 c mistral : 0.32
7.36/7.54 c abscon : 8.41
7.36/7.54 c
7.36/7.54 c
7.36/7.54 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle12.xml
7.36/7.54 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.36/7.54 c choco : 4.02
7.36/7.55 c mistral : 0.11
7.36/7.55 c abscon : 5.11
7.36/7.55 c
7.36/7.55 c
7.36/7.55 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle12.xml
7.36/7.55 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.36/7.55 c choco : 4.35
7.36/7.55 c mistral : 0.12
7.36/7.55 c abscon : 4.68
7.36/7.55 c
7.36/7.55 c
7.36/7.55 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle15.xml
7.36/7.55 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.36/7.56 c choco : 6.53
7.36/7.56 c mistral : 0.2
7.36/7.56 c abscon : 8.33
7.36/7.56 c
7.36/7.56 c
7.36/7.56 c Length: 40
7.36/7.56 c 0.8752083751884467 1.0604676232681507 1.1849323440602 1.2460175239538174 12.950867124042318 14.09723513056018 14.20948144971871 14.29221542892494 16.055032837559075 16.181587285569368 16.548706727657002 16.573625762155974 20.49931688846972 20.84250265107816 20.862434392951368 20.885287592231048 20.890620911935578 20.914357804871756 20.951454958312564 20.96651535225155 20.969709555217978 20.97724609929054 21.143489641584715 21.15570690361823 21.337540961420558 21.519931287887516 21.55585180081734 21.66966322032025 21.809289924860003 21.879080845053796 21.89185454860095 21.95699508011741 21.990842001003507 22.045471249263418 22.068319038197135 22.07321030423758 22.091958650394808 22.09211515379865 22.102172647886906 22.117467096499862
7.36/7.56 c
7.36/7.56 c 1.0 0.9913541433802858 0.9856289802509524 0.982843289486045 0.6375626189822012 0.6163556977173628 0.6143548128753069 0.6128883069590083 0.5832247050280872 0.5812052130471661 0.5754252494092579 0.5750370853810853 0.5197980676718973 0.5154692826382792 0.5152200871717306 0.5149346626863929 0.5148680978246519 0.5145720476301039 0.5141100474181738 0.5139227250879733 0.5138830128924141 0.5137893384969647 0.5117316885687776 0.5115811214931738 0.5093506027828911 0.5071327150501479 0.5066981920015229 0.5053263425965949 0.503653436614697 0.5028213974241487 0.5026694083585573 0.5018957547035776 0.5014947048646644 0.5008487569770466 0.5005790930892766 0.5005214010421247 0.5003003890894763 0.5002985449949701 0.5001800650863699 0.5
7.36/7.57 c
7.36/7.57 c solver 0
7.36/7.57 c before 0.0 seconds: {} 0
7.36/7.57 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} 22453
7.36/7.57 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} 22973
7.36/7.57 c
7.36/7.57 c solver 1
7.36/7.57 c before 0.0 seconds: {} 0
7.36/7.57 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} 21470
7.36/7.58 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} 22453
7.36/7.58 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} 22973
7.36/7.58 c
7.36/7.58 c solver 2
7.36/7.58 c before 0.0 seconds: {} 0
7.36/7.58 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} 22453
7.36/7.58 c
7.36/7.58 cTotal time: 10
7.36/7.58 c 180.0 seconds unused
7.36/7.58 c 0 c 0 c 1
7.36/7.58 c 0 c 0 c 1
7.36/7.58 c 0 c 0 c 0
7.36/7.58 c is solver0 dominated by:
7.36/7.58 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.36/7.58 c is dominated? true
7.36/7.58 c
7.36/7.58 c is solver1 dominated by:
7.36/7.58 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.36/7.58 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.36/7.58 c is dominated? false
7.36/7.58 c
7.36/7.58 c is solver2 dominated by:
7.36/7.58 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.36/7.58 c is dominated? true
7.36/7.58 c
7.36/7.58 c Number of non-dominated solvers: 1
7.36/7.58 c remove dominated solvers
7.36/7.58 c solver 1 is not dominated by another solver
7.36/7.58 c solver 2 is dominated by another solver
7.36/7.58 c solver 0 is dominated by another solver
7.36/7.58 c
7.36/7.58 c solver 0: 0.0
7.36/7.58 c
7.36/7.58 c solver 1: 54.0
7.36/7.58 c
7.36/7.58 c+ 3/3 of 97
7.36/7.58 c
7.36/7.58 c solver 2: 0.0
7.36/7.58 c do not run abscon
7.36/7.58 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} 22973
7.36/7.58 c do not run choco
7.36/7.58 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.36/7.58 c On Instance: HOME/instance-1077094-1215191626.xml
7.36/7.58 c Running for: 1800 seconds
7.42/7.64 c mistral-prime version 1.313
7.42/7.64 s SATISFIABLE
7.42/7.64 v 6 17 14 22 18 17 20 17 0 11 0 11 6 0 4 15 4 0 11 4 4 17 13 18 19
7.42/7.64 d CHECKS 17924
7.42/7.64 d ASSIGNMENTS 162