0.00/0.00 c cpHydra_k_40 version 0.0
7.16/7.27 c CASE TO CLASSIFY:
7.16/7.27 c Case: 0
7.16/7.27 c 19 > 0.000000 | c 35 > 0.183066 | c 17 > 8.257520 | c 18 > 0.000000 | c 33 > 0.137300 | c 15 > 19.588200 | c 34 > 0.137300 | c 16 > 16.000000 | c 13 > 4.076580 | c 14 > 8.592460 | c 11 > 13.415300 | c 12 > 1.982430 | c 21 > 5.099020 | c 20 > 91.742500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.050850 | c 28 > 6.949150 | c 29 > -1.000000 | c 3 > 8.257390 | c 2 > -1.000000 | c 10 > 13.556400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.374200 | c 32 > -1.000000 | c 5 > 14.834600 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.16/7.28 c choco : 1801.0
7.16/7.28 c mistral : 1801.0
7.16/7.28 c abscon : 1801.0
7.16/7.28 c
7.16/7.28 c
7.26/7.36 c List of same ones: 40
7.26/7.36 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-03.xml
7.26/7.36 c 19 > 0.000000 | c 35 > 0.183066 | c 17 > 8.257520 | c 18 > 0.000000 | c 33 > 0.137300 | c 15 > 18.739700 | c 34 > 0.137300 | c 16 > 16.000000 | c 13 > 3.421870 | c 14 > 7.434630 | c 11 > 13.415300 | c 12 > 1.853850 | c 21 > 5.099020 | c 20 > 91.742500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.050850 | c 28 > 6.949150 | c 29 > -1.000000 | c 3 > 8.257390 | c 2 > -1.000000 | c 10 > 13.556400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.374200 | c 32 > -1.000000 | c 5 > 14.834600 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.36 c choco : 88.53
7.26/7.36 c mistral : 1801.0
7.26/7.36 c abscon : 110.47
7.26/7.36 c
7.26/7.36 c
7.26/7.36 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-03.xml
7.26/7.36 c 19 > 0.000000 | c 35 > 0.183066 | c 17 > 8.257520 | c 18 > 0.000000 | c 33 > 0.137300 | c 15 > 18.143100 | c 34 > 0.137300 | c 16 > 16.000000 | c 13 > 3.305460 | c 14 > 7.409390 | c 11 > 13.415300 | c 12 > 1.801210 | c 21 > 5.099020 | c 20 > 91.742500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.050850 | c 28 > 6.949150 | c 29 > -1.000000 | c 3 > 8.257390 | c 2 > -1.000000 | c 10 > 13.556400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.374200 | c 32 > -1.000000 | c 5 > 14.834600 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.37 c choco : 1801.0
7.26/7.37 c mistral : 70.02
7.26/7.37 c abscon : 30.72
7.26/7.37 c
7.26/7.37 c
7.26/7.37 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-03.xml
7.26/7.37 c 19 > 0.000000 | c 35 > 0.183066 | c 17 > 8.257520 | c 18 > 0.000000 | c 33 > 0.137300 | c 15 > 16.917800 | c 34 > 0.137300 | c 16 > 16.000000 | c 13 > 2.415520 | c 14 > 7.033420 | c 11 > 13.415300 | c 12 > 1.082010 | c 21 > 5.099020 | c 20 > 91.742500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.050850 | c 28 > 6.949150 | c 29 > -1.000000 | c 3 > 8.257390 | c 2 > -1.000000 | c 10 > 13.556400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.374200 | c 32 > -1.000000 | c 5 > 14.834600 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.38 c choco : 28.67
7.26/7.38 c mistral : 6.19
7.26/7.38 c abscon : 20.3
7.26/7.38 c
7.26/7.38 c
7.26/7.38 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-03.xml
7.26/7.38 c 19 > 0.000000 | c 35 > 0.183066 | c 17 > 8.257520 | c 18 > 0.000000 | c 33 > 0.137300 | c 15 > 16.839800 | c 34 > 0.137300 | c 16 > 16.000000 | c 13 > 2.436650 | c 14 > 7.098030 | c 11 > 13.415300 | c 12 > 1.082070 | c 21 > 5.099020 | c 20 > 91.742500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.050850 | c 28 > 6.949150 | c 29 > -1.000000 | c 3 > 8.257390 | c 2 > -1.000000 | c 10 > 13.556400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.374200 | c 32 > -1.000000 | c 5 > 14.834600 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.39 c choco : 20.52
7.26/7.39 c mistral : 5.47
7.26/7.39 c abscon : 19.86
7.26/7.39 c
7.26/7.39 c
7.26/7.39 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-15-03.xml
7.26/7.39 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.792210 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.518100 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 2.753450 | c 14 > 7.139550 | c 11 > 12.638200 | c 12 > 1.221620 | c 21 > 5.099020 | c 20 > 92.207800 | 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.811200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.594800 | c 32 > -1.000000 | c 5 > 14.077300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.40 c choco : 9.95
7.35/7.40 c mistral : 9.28
7.35/7.40 c abscon : 15.21
7.35/7.40 c
7.35/7.40 c
7.35/7.40 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-15-03.xml
7.35/7.40 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.792210 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.888200 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 2.567400 | c 14 > 6.906890 | c 11 > 12.638200 | c 12 > 1.146120 | c 21 > 5.099020 | c 20 > 92.207800 | 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.811200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.594800 | c 32 > -1.000000 | c 5 > 14.077300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.41 c choco : 14.92
7.35/7.41 c mistral : 1.05
7.35/7.41 c abscon : 14.94
7.35/7.41 c
7.35/7.41 c
7.35/7.41 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-15-10.xml
7.35/7.41 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.468880 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.000000 | c 34 > 0.000000 | c 16 > 20.000000 | c 13 > 4.532560 | c 14 > 7.679480 | c 11 > 12.590100 | c 12 > 2.234740 | c 21 > 5.099020 | c 20 > 92.531100 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.277780 | c 28 > 4.722220 | c 29 > -1.000000 | c 3 > 7.569860 | c 2 > -1.000000 | c 10 > 12.760700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.545000 | c 32 > -1.000000 | c 5 > 14.044100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.42 c choco : 1801.0
7.35/7.42 c mistral : 1801.0
7.35/7.42 c abscon : 33.71
7.35/7.42 c
7.35/7.42 c
7.35/7.42 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-15-03.xml
7.35/7.42 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.792210 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.964700 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 2.529350 | c 14 > 6.686500 | c 11 > 12.638200 | c 12 > 1.101150 | c 21 > 5.099020 | c 20 > 92.207800 | 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.811200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.594800 | c 32 > -1.000000 | c 5 > 14.077300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.42 c choco : 13.32
7.35/7.42 c mistral : 2.0
7.35/7.42 c abscon : 16.7
7.35/7.42 c
7.35/7.42 c
7.35/7.42 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-15-10.xml
7.35/7.42 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.468880 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.635800 | c 34 > 0.000000 | c 16 > 20.000000 | c 13 > 3.317350 | c 14 > 7.562240 | c 11 > 12.590100 | c 12 > 1.863860 | c 21 > 5.099020 | c 20 > 92.531100 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.277780 | c 28 > 4.722220 | c 29 > -1.000000 | c 3 > 7.569860 | c 2 > -1.000000 | c 10 > 12.760700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.545000 | c 32 > -1.000000 | c 5 > 14.044100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.43 c choco : 1801.0
7.35/7.43 c mistral : 176.89
7.35/7.43 c abscon : 32.69
7.35/7.43 c
7.35/7.43 c
7.35/7.43 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-15-03.xml
7.35/7.43 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.792210 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.803500 | c 34 > 0.000000 | c 16 > 16.000000 | c 13 > 2.594080 | c 14 > 6.643860 | c 11 > 12.638200 | c 12 > 1.093430 | c 21 > 5.099020 | c 20 > 92.207800 | 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.811200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.594800 | c 32 > -1.000000 | c 5 > 14.077300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.44 c choco : 14.91
7.35/7.44 c mistral : 2.29
7.35/7.44 c abscon : 16.13
7.35/7.44 c
7.35/7.44 c
7.35/7.44 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-15-08.xml
7.35/7.44 c 19 > 0.000000 | c 35 > 0.178971 | c 17 > 8.588960 | c 18 > 0.000000 | c 33 > 0.134228 | c 15 > 17.037600 | c 34 > 0.134228 | c 16 > 16.000000 | c 13 > 2.614100 | c 14 > 7.179910 | c 11 > 12.436200 | c 12 > 1.177940 | c 21 > 5.099020 | c 20 > 91.411000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.190480 | c 28 > 3.809520 | c 29 > -1.000000 | c 3 > 7.539160 | c 2 > -1.000000 | c 10 > 12.628900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.386900 | c 32 > -1.000000 | c 5 > 13.924400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.45 c choco : 11.97
7.35/7.45 c mistral : 0.57
7.35/7.45 c abscon : 14.84
7.35/7.45 c
7.35/7.45 c
7.35/7.45 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-15-08.xml
7.35/7.45 c 19 > 0.000000 | c 35 > 0.178971 | c 17 > 8.588960 | c 18 > 0.000000 | c 33 > 0.134228 | c 15 > 16.735100 | c 34 > 0.134228 | c 16 > 16.000000 | c 13 > 2.480280 | c 14 > 7.076820 | c 11 > 12.436200 | c 12 > 1.145950 | c 21 > 5.099020 | c 20 > 91.411000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.190480 | c 28 > 3.809520 | c 29 > -1.000000 | c 3 > 7.539160 | c 2 > -1.000000 | c 10 > 12.628900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.386900 | c 32 > -1.000000 | c 5 > 13.924400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.46 c choco : 11.27
7.35/7.46 c mistral : 1.11
7.35/7.46 c abscon : 14.99
7.35/7.46 c
7.35/7.46 c
7.35/7.46 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle19.xml
7.35/7.47 c 19 > 0.000000 | c 35 > 0.096038 | c 17 > 8.762320 | c 18 > 0.000000 | c 33 > 0.072029 | c 15 > 17.462600 | c 34 > 0.072029 | c 16 > 20.000000 | c 13 > 4.625640 | c 14 > 7.584960 | c 11 > 12.434400 | c 12 > 1.932300 | c 21 > 5.099020 | c 20 > 91.237700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.500000 | c 28 > 4.500000 | c 29 > -1.000000 | c 3 > 7.546890 | c 2 > -1.000000 | c 10 > 12.612200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.384800 | c 32 > -1.000000 | c 5 > 13.925400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.48 c choco : 31.73
7.35/7.48 c mistral : 3.37
7.35/7.48 c abscon : 13.67
7.35/7.48 c
7.35/7.48 c
7.35/7.48 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle19.xml
7.35/7.48 c 19 > 0.000000 | c 35 > 0.096038 | c 17 > 8.762320 | c 18 > 0.000000 | c 33 > 0.072029 | c 15 > 17.814300 | c 34 > 0.072029 | c 16 > 20.000000 | c 13 > 2.962560 | c 14 > 7.375040 | c 11 > 12.434400 | c 12 > 1.291740 | c 21 > 5.099020 | c 20 > 91.237700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.500000 | c 28 > 4.500000 | c 29 > -1.000000 | c 3 > 7.546890 | c 2 > -1.000000 | c 10 > 12.612200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.384800 | c 32 > -1.000000 | c 5 > 13.925400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.49 c choco : 10.82
7.35/7.49 c mistral : 0.97
7.35/7.49 c abscon : 14.53
7.35/7.49 c
7.35/7.49 c
7.35/7.49 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-15-09.xml
7.35/7.49 c 19 > 0.000000 | c 35 > 0.387879 | c 17 > 9.040790 | c 18 > 0.000000 | c 33 > 0.290909 | c 15 > 16.230400 | c 34 > 0.290909 | c 16 > 14.000000 | c 13 > 2.318810 | c 14 > 6.321930 | c 11 > 12.447300 | c 12 > 1.110360 | c 21 > 5.099020 | c 20 > 90.959200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.365850 | c 28 > 4.634150 | c 29 > -1.000000 | c 3 > 7.546890 | c 2 > -1.000000 | c 10 > 12.622300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.398200 | c 32 > -1.000000 | c 5 > 13.934600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.49 c choco : 10.56
7.35/7.49 c mistral : 2.23
7.35/7.49 c abscon : 17.26
7.35/7.49 c
7.35/7.49 c
7.35/7.49 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-15-09.xml
7.35/7.49 c 19 > 0.000000 | c 35 > 0.387879 | c 17 > 9.040790 | c 18 > 0.000000 | c 33 > 0.290909 | c 15 > 15.744800 | c 34 > 0.290909 | c 16 > 14.000000 | c 13 > 2.440820 | c 14 > 6.768180 | c 11 > 12.447300 | c 12 > 1.096900 | c 21 > 5.099020 | c 20 > 90.959200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.365850 | c 28 > 4.634150 | c 29 > -1.000000 | c 3 > 7.546890 | c 2 > -1.000000 | c 10 > 12.622300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.398200 | c 32 > -1.000000 | c 5 > 13.934600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.35/7.50 c choco : 10.27
7.35/7.50 c mistral : 1.48
7.35/7.50 c abscon : 15.29
7.35/7.50 c
7.35/7.50 c
7.35/7.50 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-15-09.xml
7.35/7.50 c 19 > 0.000000 | c 35 > 0.387879 | c 17 > 9.040790 | c 18 > 0.000000 | c 33 > 0.290909 | c 15 > 15.952400 | c 34 > 0.290909 | c 16 > 14.000000 | c 13 > 2.338890 | c 14 > 6.442940 | c 11 > 12.447300 | c 12 > 1.098830 | c 21 > 5.099020 | c 20 > 90.959200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.365850 | c 28 > 4.634150 | c 29 > -1.000000 | c 3 > 7.546890 | c 2 > -1.000000 | c 10 > 12.622300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.398200 | c 32 > -1.000000 | c 5 > 13.934600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.50 c choco : 9.65
7.42/7.50 c mistral : 0.92
7.42/7.50 c abscon : 13.56
7.42/7.50 c
7.42/7.50 c
7.42/7.50 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-15-09.xml
7.42/7.50 c 19 > 0.000000 | c 35 > 0.387879 | c 17 > 9.040790 | c 18 > 0.000000 | c 33 > 0.290909 | c 15 > 15.697400 | c 34 > 0.290909 | c 16 > 14.000000 | c 13 > 2.373020 | c 14 > 6.754890 | c 11 > 12.447300 | c 12 > 1.094840 | c 21 > 5.099020 | c 20 > 90.959200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.365850 | c 28 > 4.634150 | c 29 > -1.000000 | c 3 > 7.546890 | c 2 > -1.000000 | c 10 > 12.622300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.398200 | c 32 > -1.000000 | c 5 > 13.934600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.51 c choco : 10.81
7.42/7.51 c mistral : 1.66
7.42/7.51 c abscon : 14.62
7.42/7.51 c
7.42/7.51 c
7.42/7.51 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-15-10.xml
7.42/7.51 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.468880 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.697700 | c 34 > 0.000000 | c 16 > 20.000000 | c 13 > 3.057880 | c 14 > 6.523560 | c 11 > 12.590100 | c 12 > 1.747710 | c 21 > 5.099020 | c 20 > 92.531100 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.277780 | c 28 > 4.722220 | c 29 > -1.000000 | c 3 > 7.569860 | c 2 > -1.000000 | c 10 > 12.760700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.545000 | c 32 > -1.000000 | c 5 > 14.044100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.51 c choco : 47.57
7.42/7.51 c mistral : 5.98
7.42/7.51 c abscon : 16.1
7.42/7.51 c
7.42/7.51 c
7.42/7.52 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-15-08.xml
7.42/7.52 c 19 > 0.000000 | c 35 > 0.178971 | c 17 > 8.588960 | c 18 > 0.000000 | c 33 > 0.134228 | c 15 > 15.893300 | c 34 > 0.134228 | c 16 > 16.000000 | c 13 > 2.483780 | c 14 > 6.781360 | c 11 > 12.436200 | c 12 > 1.108050 | c 21 > 5.099020 | c 20 > 91.411000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.190480 | c 28 > 3.809520 | c 29 > -1.000000 | c 3 > 7.539160 | c 2 > -1.000000 | c 10 > 12.628900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.386900 | c 32 > -1.000000 | c 5 > 13.924400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.53 c choco : 11.41
7.42/7.53 c mistral : 2.22
7.42/7.53 c abscon : 15.93
7.42/7.53 c
7.42/7.53 c
7.42/7.53 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-15-08.xml
7.42/7.53 c 19 > 0.000000 | c 35 > 0.178971 | c 17 > 8.588960 | c 18 > 0.000000 | c 33 > 0.134228 | c 15 > 15.722500 | c 34 > 0.134228 | c 16 > 16.000000 | c 13 > 2.504930 | c 14 > 6.781360 | c 11 > 12.436200 | c 12 > 1.106120 | c 21 > 5.099020 | c 20 > 91.411000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.190480 | c 28 > 3.809520 | c 29 > -1.000000 | c 3 > 7.539160 | c 2 > -1.000000 | c 10 > 12.628900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.386900 | c 32 > -1.000000 | c 5 > 13.924400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.53 c choco : 10.69
7.42/7.53 c mistral : 2.11
7.42/7.53 c abscon : 16.91
7.42/7.53 c
7.42/7.53 c
7.42/7.53 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-15-10.xml
7.42/7.53 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.468880 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.509400 | c 34 > 0.000000 | c 16 > 20.000000 | c 13 > 2.492810 | c 14 > 6.643860 | c 11 > 12.590100 | c 12 > 1.115840 | c 21 > 5.099020 | c 20 > 92.531100 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.277780 | c 28 > 4.722220 | c 29 > -1.000000 | c 3 > 7.569860 | c 2 > -1.000000 | c 10 > 12.760700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.545000 | c 32 > -1.000000 | c 5 > 14.044100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.54 c choco : 17.15
7.42/7.54 c mistral : 14.2
7.42/7.54 c abscon : 18.57
7.42/7.54 c
7.42/7.54 c
7.42/7.54 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-15-07.xml
7.42/7.54 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 11.161400 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.197600 | c 34 > 0.000000 | c 16 > 20.000000 | c 13 > 3.795850 | c 14 > 7.539160 | c 11 > 12.049500 | c 12 > 2.152000 | c 21 > 5.099020 | c 20 > 88.838600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.864860 | c 28 > 5.135140 | c 29 > -1.000000 | c 3 > 7.592460 | c 2 > -1.000000 | c 10 > 12.201200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.982300 | c 32 > -1.000000 | c 5 > 13.678400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.54 c choco : 1801.0
7.42/7.54 c mistral : 56.17
7.42/7.54 c abscon : 108.91
7.42/7.54 c
7.42/7.54 c
7.42/7.54 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-15-05.xml
7.42/7.54 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.471260 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.125200 | c 34 > 0.000000 | c 16 > 20.000000 | c 13 > 2.560650 | c 14 > 6.754890 | c 11 > 12.620000 | c 12 > 1.138130 | c 21 > 5.099020 | c 20 > 92.528700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.153850 | c 28 > 3.846150 | c 29 > -1.000000 | c 3 > 7.499850 | c 2 > -1.000000 | c 10 > 12.805300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.577900 | c 32 > -1.000000 | c 5 > 14.047600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.55 c choco : 13.73
7.42/7.55 c mistral : 0.95
7.42/7.55 c abscon : 14.13
7.42/7.55 c
7.42/7.55 c
7.42/7.55 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle19.xml
7.42/7.55 c 19 > 0.000000 | c 35 > 0.096038 | c 17 > 8.762320 | c 18 > 0.000000 | c 33 > 0.072029 | c 15 > 15.833800 | c 34 > 0.072029 | c 16 > 20.000000 | c 13 > 2.531800 | c 14 > 6.954200 | c 11 > 12.434400 | c 12 > 1.133830 | c 21 > 5.099020 | c 20 > 91.237700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.500000 | c 28 > 4.500000 | c 29 > -1.000000 | c 3 > 7.546890 | c 2 > -1.000000 | c 10 > 12.612200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.384800 | c 32 > -1.000000 | c 5 > 13.925400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.55 c choco : 12.16
7.42/7.55 c mistral : 3.93
7.42/7.55 c abscon : 15.16
7.42/7.55 c
7.42/7.55 c
7.42/7.55 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle19.xml
7.42/7.55 c 19 > 0.000000 | c 35 > 0.096038 | c 17 > 8.762320 | c 18 > 0.000000 | c 33 > 0.072029 | c 15 > 15.994600 | c 34 > 0.072029 | c 16 > 20.000000 | c 13 > 2.455680 | c 14 > 6.658210 | c 11 > 12.434400 | c 12 > 1.118420 | c 21 > 5.099020 | c 20 > 91.237700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.500000 | c 28 > 4.500000 | c 29 > -1.000000 | c 3 > 7.546890 | c 2 > -1.000000 | c 10 > 12.612200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.384800 | c 32 > -1.000000 | c 5 > 13.925400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.56 c choco : 12.86
7.42/7.56 c mistral : 2.07
7.42/7.56 c abscon : 16.67
7.42/7.56 c
7.42/7.56 c
7.42/7.56 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-15-01.xml
7.42/7.56 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.42/7.56 c choco : 13.71
7.42/7.56 c mistral : 14.43
7.42/7.56 c abscon : 12.3
7.42/7.56 c
7.42/7.56 c
7.42/7.56 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-15-07.xml
7.42/7.56 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 11.161400 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.412800 | c 34 > 0.000000 | c 16 > 20.000000 | c 13 > 3.390130 | c 14 > 7.159870 | c 11 > 12.049500 | c 12 > 1.981930 | c 21 > 5.099020 | c 20 > 88.838600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.864860 | c 28 > 5.135140 | c 29 > -1.000000 | c 3 > 7.592460 | c 2 > -1.000000 | c 10 > 12.201200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.982300 | c 32 > -1.000000 | c 5 > 13.678400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.57 c choco : 18.8
7.42/7.57 c mistral : 16.88
7.42/7.57 c abscon : 15.93
7.42/7.57 c
7.42/7.57 c
7.42/7.57 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-21-05.xml
7.42/7.57 c 19 > 0.000000 | c 35 > 0.073801 | c 17 > 6.228370 | c 18 > 0.000000 | c 33 > 0.055351 | c 15 > 17.665700 | c 34 > 0.055351 | c 16 > 14.000000 | c 13 > 4.173020 | c 14 > 7.312880 | c 11 > 8.523560 | c 12 > 5.373530 | c 21 > 5.099020 | c 20 > 93.771600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.333330 | c 28 > 6.666670 | c 29 > -1.000000 | c 3 > 8.523560 | c 2 > -1.000000 | c 10 > 14.331500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.159900 | c 32 > -1.000000 | c 5 > 15.494900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.57 c choco : 25.7
7.42/7.57 c mistral : 6.65
7.42/7.57 c abscon : 29.37
7.42/7.57 c
7.42/7.57 c
7.42/7.57 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-06.xml
7.42/7.57 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.149400 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.255400 | c 34 > 0.000000 | c 16 > 18.000000 | c 13 > 4.047620 | c 14 > 6.321930 | c 11 > 8.845490 | c 12 > 5.784150 | c 21 > 5.099020 | c 20 > 92.850600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.564100 | c 28 > 7.435900 | c 29 > -1.000000 | c 3 > 8.845490 | c 2 > -1.000000 | c 10 > 14.453900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.306300 | c 32 > -1.000000 | c 5 > 15.679500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.58 c choco : 214.36
7.42/7.58 c mistral : 51.06
7.42/7.58 c abscon : 56.98
7.42/7.58 c
7.42/7.58 c
7.42/7.58 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-15-05.xml
7.42/7.58 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.471260 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.659400 | c 34 > 0.000000 | c 16 > 20.000000 | c 13 > 2.535450 | c 14 > 6.491850 | c 11 > 12.620000 | c 12 > 1.127680 | c 21 > 5.099020 | c 20 > 92.528700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.153850 | c 28 > 3.846150 | c 29 > -1.000000 | c 3 > 7.499850 | c 2 > -1.000000 | c 10 > 12.805300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.577900 | c 32 > -1.000000 | c 5 > 14.047600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.59 c choco : 16.67
7.42/7.59 c mistral : 6.23
7.42/7.59 c abscon : 14.48
7.42/7.59 c
7.42/7.59 c
7.42/7.59 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-15-01.xml
7.42/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.207000 | c 34 > 0.000000 | c 16 > 20.000000 | c 13 > 3.150600 | c 14 > 8.194760 | c 11 > 12.013700 | c 12 > 1.546300 | 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.42/7.59 c choco : 10.61
7.42/7.59 c mistral : 2.4
7.42/7.59 c abscon : 15.58
7.42/7.59 c
7.42/7.59 c
7.42/7.59 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-05.xml
7.42/7.59 c 19 > 0.000000 | c 35 > 0.073801 | c 17 > 6.228370 | c 18 > 0.000000 | c 33 > 0.055351 | c 15 > 18.885100 | c 34 > 0.055351 | c 16 > 14.000000 | c 13 > 4.105520 | c 14 > 7.864190 | c 11 > 8.523560 | c 12 > 6.124800 | c 21 > 5.099020 | c 20 > 93.771600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.333330 | c 28 > 6.666670 | c 29 > -1.000000 | c 3 > 8.523560 | c 2 > -1.000000 | c 10 > 14.331500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.159900 | c 32 > -1.000000 | c 5 > 15.494900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.60 c choco : 1801.0
7.42/7.60 c mistral : 58.04
7.42/7.60 c abscon : 44.23
7.42/7.60 c
7.42/7.60 c
7.42/7.60 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-15-06.xml
7.42/7.60 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.42/7.60 c choco : 1801.0
7.42/7.60 c mistral : 49.67
7.42/7.60 c abscon : 106.71
7.42/7.60 c
7.42/7.60 c
7.42/7.60 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-06.xml
7.48/7.60 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.149400 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.203300 | c 34 > 0.000000 | c 16 > 18.000000 | c 13 > 4.056370 | c 14 > 5.832890 | c 11 > 8.845490 | c 12 > 5.790340 | c 21 > 5.099020 | c 20 > 92.850600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.564100 | c 28 > 7.435900 | c 29 > -1.000000 | c 3 > 8.845490 | c 2 > -1.000000 | c 10 > 14.453900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.306300 | c 32 > -1.000000 | c 5 > 15.679500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.61 c choco : 70.96
7.48/7.61 c mistral : 1801.0
7.48/7.61 c abscon : 62.67
7.48/7.61 c
7.48/7.61 c
7.48/7.61 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-21-05.xml
7.48/7.61 c 19 > 0.000000 | c 35 > 0.073801 | c 17 > 6.228370 | c 18 > 0.000000 | c 33 > 0.055351 | c 15 > 17.872500 | c 34 > 0.055351 | c 16 > 14.000000 | c 13 > 3.699260 | c 14 > 7.442940 | c 11 > 8.523560 | c 12 > 6.013540 | c 21 > 5.099020 | c 20 > 93.771600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.333330 | c 28 > 6.666670 | c 29 > -1.000000 | c 3 > 8.523560 | c 2 > -1.000000 | c 10 > 14.331500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.159900 | c 32 > -1.000000 | c 5 > 15.494900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.62 c choco : 26.99
7.48/7.62 c mistral : 3.99
7.48/7.62 c abscon : 22.71
7.48/7.62 c
7.48/7.62 c
7.48/7.62 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-15-05.xml
7.48/7.62 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.471260 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.992100 | c 34 > 0.000000 | c 16 > 20.000000 | c 13 > 2.630210 | c 14 > 6.614710 | c 11 > 12.620000 | c 12 > 1.102500 | c 21 > 5.099020 | c 20 > 92.528700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.153850 | c 28 > 3.846150 | c 29 > -1.000000 | c 3 > 7.499850 | c 2 > -1.000000 | c 10 > 12.805300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.577900 | c 32 > -1.000000 | c 5 > 14.047600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.62 c choco : 13.23
7.48/7.62 c mistral : 1.86
7.48/7.62 c abscon : 15.59
7.48/7.62 c
7.48/7.62 c
7.48/7.62 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-05.xml
7.48/7.62 c 19 > 0.000000 | c 35 > 0.073801 | c 17 > 6.228370 | c 18 > 0.000000 | c 33 > 0.055351 | c 15 > 19.464600 | c 34 > 0.055351 | c 16 > 14.000000 | c 13 > 5.688450 | c 14 > 7.906890 | c 11 > 8.523560 | c 12 > 6.308140 | c 21 > 5.099020 | c 20 > 93.771600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.333330 | c 28 > 6.666670 | c 29 > -1.000000 | c 3 > 8.523560 | c 2 > -1.000000 | c 10 > 14.331500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.159900 | c 32 > -1.000000 | c 5 > 15.494900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.63 c choco : 1801.0
7.48/7.63 c mistral : 133.98
7.48/7.63 c abscon : 430.27
7.48/7.63 c
7.48/7.63 c
7.48/7.63 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-15-05.xml
7.48/7.63 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.471260 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.834200 | c 34 > 0.000000 | c 16 > 20.000000 | c 13 > 2.640200 | c 14 > 6.614710 | c 11 > 12.620000 | c 12 > 1.104840 | c 21 > 5.099020 | c 20 > 92.528700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.153850 | c 28 > 3.846150 | c 29 > -1.000000 | c 3 > 7.499850 | c 2 > -1.000000 | c 10 > 12.805300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.577900 | c 32 > -1.000000 | c 5 > 14.047600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.63 c choco : 16.12
7.48/7.63 c mistral : 6.12
7.48/7.63 c abscon : 15.65
7.48/7.63 c
7.48/7.63 c
7.48/7.63 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle17.xml
7.48/7.63 c 19 > 0.000000 | c 35 > 0.960961 | c 17 > 6.197180 | c 18 > 0.000000 | c 33 > 0.720721 | c 15 > 16.159300 | c 34 > 0.720721 | c 16 > 14.000000 | c 13 > 2.790420 | c 14 > 6.794420 | c 11 > 12.635700 | c 12 > 1.139580 | c 21 > 5.099020 | c 20 > 93.802800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.818180 | c 28 > 3.181820 | c 29 > -1.000000 | c 3 > 7.491850 | c 2 > -1.000000 | c 10 > 12.892500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.594300 | c 32 > -1.000000 | c 5 > 14.057300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.64 c choco : 16.11
7.48/7.64 c mistral : 1.99
7.48/7.64 c abscon : 15.69
7.48/7.64 c
7.48/7.64 c
7.48/7.64 c Length: 40
7.48/7.64 c 1.582940478792555 2.028653587407175 3.6237436970072827 3.6451395198812357 4.656635837088403 5.1055534373421265 5.725717154868549 5.735111321592286 5.821653988932697 5.836746892589742 6.029860357976211 6.225554020622824 6.286785283255716 6.3271939744376935 6.433661666293234 6.532320330061213 6.538456012250219 6.581529798172385 6.712743682657337 6.730990091219345 6.821585505019563 6.9186779200694115 7.1474960488031085 7.283038553334452 7.319312814961569 7.329090789440437 7.4288168918378945 7.429119754079621 7.477694507259896 7.527898517299232 7.528933713418918 7.553533697664692 7.56693581162843 7.587808937536325 7.708543424860237 7.728581044978749 7.765206054178857 7.801852287745828 7.837480117011844 7.960100834927091
7.48/7.65 c
7.48/7.65 c 1.0 0.9346736956331629 0.7575656867376634 0.7556450739890043 0.6747706820237808 0.6441723616717001 0.6061975786174947 0.605656735043153 0.6007193036075897 0.5998664556239124 0.5891641800036111 0.5787015609560108 0.5755037800009976 0.5734127370068193 0.5679753862160736 0.5630280950193713 0.5627232630901629 0.5605925357043501 0.5542001000422838 0.553322705055289 0.5490071627593016 0.5444562452806443 0.5340237864955769 0.5280304626037019 0.5264492628303489 0.5260246587269105 0.5217328947430158 0.5217199675726312 0.5196548929754795 0.5175376629158108 0.5174941876011119 0.516463202589552 0.5159032469613449 0.5150335580282053 0.5100600724810388 0.5092439299875668 0.507758904818217 0.506281662454264 0.50485369023845 0.5
7.48/7.66 c
7.48/7.66 c solver 0
7.48/7.66 c before 0.0 seconds: {} 0
7.48/7.66 c before 18.0 seconds: {4, 5, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 23, 24, 25, 26, 27, 30, 31, 36, 38, 39} 13922
7.48/7.66 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 30, 31, 35, 36, 38, 39} 19150
7.48/7.66 c before 54.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 30, 31, 32, 35, 36, 38, 39} 19666
7.48/7.66 c before 72.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 38, 39} 20694
7.48/7.66 c before 108.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 21209
7.48/7.66 c before 126.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, 38, 39} 22743
7.48/7.66 c before 432.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} 23249
7.48/7.66 c
7.48/7.66 c solver 1
7.48/7.66 c before 0.0 seconds: {} 0
7.48/7.66 c before 18.0 seconds: {2, 3, 4, 5, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 30, 31, 35, 36, 38, 39} 17009
7.48/7.66 c before 54.0 seconds: {2, 3, 4, 5, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 35, 36, 38, 39} 18041
7.48/7.66 c before 72.0 seconds: {1, 2, 3, 4, 5, 7, 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, 35, 36, 38, 39} 20026
7.48/7.66 c before 144.0 seconds: {1, 2, 3, 4, 5, 7, 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, 35, 36, 37, 38, 39} 20532
7.48/7.66 c before 180.0 seconds: {1, 2, 3, 4, 5, 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, 35, 36, 37, 38, 39} 21133
7.48/7.66 c
7.48/7.66 c solver 2
7.48/7.66 c before 0.0 seconds: {} 0
7.48/7.66 c before 18.0 seconds: {4, 5, 7, 9, 10, 11, 13, 14, 15, 16, 17, 19, 20, 21, 23, 24, 25, 26, 30, 31, 36, 38, 39} 12815
7.48/7.66 c before 36.0 seconds: {2, 3, 4, 5, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 23, 24, 25, 26, 27, 28, 30, 31, 35, 36, 38, 39} 16454
7.48/7.66 c before 54.0 seconds: {2, 3, 4, 5, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 30, 31, 35, 36, 38, 39} 17009
7.48/7.66 c before 72.0 seconds: {2, 3, 4, 5, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 30, 31, 34, 35, 36, 38, 39} 17519
7.48/7.66 c before 90.0 seconds: {0, 2, 3, 4, 5, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 30, 31, 34, 35, 36, 38, 39} 18519
7.48/7.66 c before 216.0 seconds: {0, 2, 3, 4, 5, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 38, 39} 19036
7.48/7.66 c
7.48/7.66 cTotal time: 46
7.48/7.66 c 828.0 seconds unused
7.48/7.66 c 0 c 3 c 7
7.48/7.66 c 0 c 0 c 6
7.48/7.66 c 0 c 2 c 0
7.48/7.66 c is solver0 dominated by:
7.48/7.66 c solver 1 (0 solves instances that 1 can't: true) (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.48/7.66 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
7.48/7.66 c is dominated? false
7.48/7.66 c
7.48/7.66 c is solver1 dominated by:
7.48/7.66 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.48/7.66 c is dominated? true
7.48/7.66 c
7.48/7.66 c is solver2 dominated by:
7.48/7.66 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.48/7.66 c is dominated? true
7.48/7.66 c
7.48/7.66 c Number of non-dominated solvers: 1
7.48/7.66 c remove dominated solvers
7.48/7.66 c solver 0 is not dominated by another solver
7.48/7.66 c solver 2 is dominated by another solver
7.48/7.66 c solver 1 is dominated by another solver
7.48/7.66 c
7.48/7.66 c solver 0: 432.0
7.48/7.66 c
7.48/7.66 c+ 24/24 of 76
7.48/7.66 c
7.48/7.66 c solver 1: 0.0
7.48/7.66 c
7.48/7.66 c solver 2: 0.0
7.48/7.66 c run abscon 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} 23249
7.48/7.66 c do not run mistral
7.48/7.66 c do not run choco
7.48/7.66 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.48/7.66 c On Instance: HOME/instance-1076989-1215190896.xml
7.48/7.66 c Running for: 1800 seconds
25.31/25.54 s SAT
25.31/25.54 v 4 21 14 11 21 4 2 4 3 0 17 15 4 17 20 18 4 13 14 17 4 4 13 0 17 8 18 4 17 0 8 11 4 3 19 17 8 4 17 18 17 0 15 8 3 0 19 14 11 11 18 8 19 14 1 20 11 11 18 0 2 8 3 18 12 4 6 2 4 11 19 4 0 18 4 19 14 6 14 1 0 13 4 4 23 4 17 19 6 14 17 3 8 0 13 11 20 13 0 17 0 0 17 14 13 14 2 19 14 1 4 17 20 12 15 8 17 4 18 11 14 18 1 4 13 13 4 19 19 18 0 8 13 19 18 14 8 11 0 11 0 18 19 0 8 17 0 17 4 2 0 13 13 8 18 19 4 17 6 13 20 6 4 17 19 17 20 3 4 19 7 4 4 13 17 0 6 4 4 18 18 0 24 4 3 18 19 20 1 17 0 8 13 4 3 2 0 17 4 5 20 11 12 0 18 19 18 3 17 0 8 13 13 4 12 4 18 8 18 4 4 17 8 4 17 4 18 19 0 3 0 12 19 14 4 18 18 0 17 0 0 3 18 4 17 0 19 14 0 2 17 4 18 2 14 19 15 14 4 19 8 2 20 13 8 19 4 3 4 5 8 13 4 4 13 19 8 17 4 17 4 17 20 13 6 0 8 13 4 17 17 4 18 19 4 3 4 17 0 18 4 4 12 1 4 3 18
25.31/25.54 d ASSIGNMENTS 6853
25.31/25.54 d CHECKS 3811782