0.00/0.00 c cpHydra_k_40 version 0.0
8.11/8.48 c CASE TO CLASSIFY:
8.11/8.48 c Case: 0
8.11/8.49 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.007000 | c 34 > -1.000000 | c 16 > 14.000000 | c 13 > 0.175999 | c 14 > 3.321930 | c 11 > 7.129280 | c 12 > 1.470630 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.584960 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.829700 | c 31 > -1.000000 | c 4 > 7.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.50 c choco : 1801.0
8.11/8.50 c mistral : 1801.0
8.11/8.50 c abscon : 1801.0
8.11/8.50 c
8.11/8.50 c
8.20/8.57 c List of same ones: 40
8.20/8.57 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg14-14_ext.xml
8.20/8.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.231800 | c 34 > -1.000000 | c 16 > 14.000000 | c 13 > 1.212100 | c 14 > 3.000000 | c 11 > 7.614710 | c 12 > 1.893080 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.315100 | c 31 > -1.000000 | c 4 > 7.614710 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.20/8.58 c choco : 492.67
8.20/8.58 c mistral : 399.64
8.20/8.58 c abscon : 242.1
8.20/8.58 c
8.20/8.58 c
8.20/8.58 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg12-15_ext.xml
8.20/8.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.599000 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > -0.059276 | c 14 > 4.087460 | c 11 > 7.491850 | c 12 > 1.432960 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.754890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.192300 | c 31 > -1.000000 | c 4 > 7.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.20/8.59 c choco : 1801.0
8.20/8.59 c mistral : 931.64
8.20/8.59 c abscon : 754.37
8.20/8.59 c
8.20/8.59 c
8.20/8.59 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg13-14_ext.xml
8.20/8.59 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.236600 | c 34 > -1.000000 | c 16 > 14.000000 | c 13 > 2.033740 | c 14 > 3.584960 | c 11 > 7.507790 | c 12 > 2.164630 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.754890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.208200 | c 31 > -1.000000 | c 4 > 7.507790 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.29/8.60 c choco : 1801.0
8.29/8.60 c mistral : 530.74
8.29/8.60 c abscon : 514.87
8.29/8.60 c
8.29/8.60 c
8.29/8.60 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg13-13_ext.xml
8.29/8.60 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 9.853310 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 2.348580 | c 14 > 3.584960 | c 11 > 7.400880 | c 12 > 2.157540 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.700440 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.101300 | c 31 > -1.000000 | c 4 > 7.400880 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.29/8.61 c choco : 1801.0
8.29/8.61 c mistral : 1801.0
8.29/8.61 c abscon : 1174.08
8.29/8.61 c
8.29/8.61 c
8.29/8.61 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg13-15_ext.xml
8.29/8.61 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.739800 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 2.514910 | c 14 > 3.000000 | c 11 > 7.607330 | c 12 > 2.355570 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.307800 | c 31 > -1.000000 | c 4 > 7.607330 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.29/8.62 c choco : 496.99
8.29/8.62 c mistral : 194.64
8.29/8.62 c abscon : 171.97
8.29/8.62 c
8.29/8.62 c
8.29/8.62 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg11-13_ext.xml
8.29/8.62 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.561300 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 2.487670 | c 14 > 2.807350 | c 11 > 7.159870 | c 12 > 2.679330 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.584960 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.860300 | c 31 > -1.000000 | c 4 > 7.159870 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.29/8.63 c choco : 3.73
8.29/8.63 c mistral : 0.39
8.29/8.63 c abscon : 3.71
8.29/8.63 c
8.29/8.63 c
8.29/8.63 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg13-13_ext.xml
8.29/8.63 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.030700 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 1.890140 | c 14 > 1.584960 | c 11 > 7.400880 | c 12 > 2.080920 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.700440 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.101300 | c 31 > -1.000000 | c 4 > 7.400880 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.29/8.64 c choco : 3.1
8.29/8.64 c mistral : 0.32
8.29/8.64 c abscon : 3.73
8.29/8.64 c
8.29/8.64 c
8.29/8.64 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg11-14_ext.xml
8.29/8.64 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.678600 | c 34 > -1.000000 | c 16 > 14.000000 | c 13 > 2.755340 | c 14 > 3.321930 | c 11 > 7.266790 | c 12 > 2.985880 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.643860 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.967200 | c 31 > -1.000000 | c 4 > 7.266790 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.29/8.65 c choco : 4.62
8.29/8.65 c mistral : 0.79
8.29/8.65 c abscon : 3.74
8.29/8.65 c
8.29/8.65 c
8.29/8.65 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg12-13_ext.xml
8.29/8.65 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.821000 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 2.871070 | c 14 > 3.000000 | c 11 > 7.285400 | c 12 > 2.802060 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.643860 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.985800 | c 31 > -1.000000 | c 4 > 7.285400 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.29/8.66 c choco : 5.15
8.29/8.66 c mistral : 0.67
8.29/8.66 c abscon : 4.23
8.29/8.66 c
8.29/8.66 c
8.29/8.66 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg14-15_ext.xml
8.29/8.66 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.357600 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 2.654520 | c 14 > 4.087460 | c 11 > 7.714250 | c 12 > 2.612180 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.414700 | c 31 > -1.000000 | c 4 > 7.714250 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.29/8.67 c choco : 198.21
8.29/8.67 c mistral : 116.61
8.29/8.67 c abscon : 77.5
8.29/8.67 c
8.29/8.67 c
8.29/8.67 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg12-16_ext.xml
8.29/8.67 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.368000 | c 34 > -1.000000 | c 16 > 16.000000 | c 13 > 2.241400 | c 14 > 3.459430 | c 11 > 7.584960 | c 12 > 2.554590 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.285400 | c 31 > -1.000000 | c 4 > 7.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.29/8.68 c choco : 101.69
8.29/8.68 c mistral : 52.88
8.29/8.68 c abscon : 59.37
8.29/8.68 c
8.29/8.68 c
8.29/8.68 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg13-16_ext.xml
8.29/8.68 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.205200 | c 34 > -1.000000 | c 16 > 16.000000 | c 13 > 2.764770 | c 14 > 4.000000 | c 11 > 7.700440 | c 12 > 2.610170 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.400900 | c 31 > -1.000000 | c 4 > 7.700440 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.29/8.69 c choco : 57.44
8.29/8.69 c mistral : 45.26
8.29/8.69 c abscon : 26.95
8.29/8.69 c
8.29/8.69 c
8.29/8.69 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg10-14_ext.xml
8.29/8.69 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 9.566050 | c 34 > -1.000000 | c 16 > 14.000000 | c 13 > 1.395750 | c 14 > 0.000000 | c 11 > 7.129280 | c 12 > 1.618910 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.584960 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.829700 | c 31 > -1.000000 | c 4 > 7.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.37/8.71 c choco : 3.12
8.37/8.71 c mistral : 0.14
8.37/8.71 c abscon : 3.47
8.37/8.71 c
8.37/8.71 c
8.37/8.71 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg12-12_ext.xml
8.37/8.71 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.905400 | c 34 > -1.000000 | c 16 > 12.000000 | c 13 > 3.026360 | c 14 > 3.459430 | c 11 > 7.169930 | c 12 > 3.183220 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.584960 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.870400 | c 31 > -1.000000 | c 4 > 7.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.37/8.71 c choco : 3.76
8.37/8.71 c mistral : 0.36
8.37/8.71 c abscon : 3.19
8.37/8.71 c
8.37/8.71 c
8.37/8.71 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg10-13_ext.xml
8.37/8.71 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.295200 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 3.297100 | c 14 > 3.807350 | c 11 > 7.022370 | c 12 > 3.478470 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.523560 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.722800 | c 31 > -1.000000 | c 4 > 7.022370 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.37/8.72 c choco : 4.84
8.37/8.72 c mistral : 0.74
8.37/8.72 c abscon : 4.34
8.37/8.72 c
8.37/8.72 c
8.37/8.72 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg15-15_ext.xml
8.37/8.72 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.475700 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 3.305130 | c 14 > 4.087460 | c 11 > 7.813780 | c 12 > 3.000000 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.514200 | c 31 > -1.000000 | c 4 > 7.813780 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.56/8.92 c choco : 95.26
8.56/8.92 c mistral : 92.1
8.56/8.92 c abscon : 33.25
8.56/8.92 c
8.56/8.92 c
8.56/8.92 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg16-16_ext.xml
8.56/8.92 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.568900 | c 34 > -1.000000 | c 16 > 16.000000 | c 13 > 2.905190 | c 14 > 3.000000 | c 11 > 8.000000 | c 12 > 2.584960 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 5.000000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.700400 | c 31 > -1.000000 | c 4 > 8.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.56/8.93 c choco : 6.55
8.56/8.93 c mistral : 1.34
8.56/8.93 c abscon : 4.31
8.56/8.93 c
8.56/8.93 c
8.56/8.93 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg14-16_ext.xml
8.56/8.93 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.924800 | c 34 > -1.000000 | c 16 > 16.000000 | c 13 > 2.824810 | c 14 > 4.087460 | c 11 > 7.807350 | c 12 > 2.852640 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.507800 | c 31 > -1.000000 | c 4 > 7.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.56/8.94 c choco : 42.95
8.56/8.94 c mistral : 30.16
8.56/8.94 c abscon : 11.33
8.56/8.94 c
8.56/8.94 c
8.56/8.94 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg10-14_ext.xml
8.56/8.94 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 12.158000 | c 34 > -1.000000 | c 16 > 14.000000 | c 13 > 3.216860 | c 14 > 4.321930 | c 11 > 7.129280 | c 12 > 3.722470 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.584960 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.829700 | c 31 > -1.000000 | c 4 > 7.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.56/8.95 c choco : 7.01
8.56/8.95 c mistral : 2.5
8.56/8.95 c abscon : 4.33
8.56/8.95 c
8.56/8.95 c
8.56/8.95 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg13-17_ext.xml
8.56/8.95 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.763600 | c 34 > -1.000000 | c 16 > 17.000000 | c 13 > 3.034750 | c 14 > 3.700440 | c 11 > 7.787900 | c 12 > 2.965310 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.488300 | c 31 > -1.000000 | c 4 > 7.787900 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.56/8.96 c choco : 43.92
8.56/8.96 c mistral : 24.47
8.56/8.96 c abscon : 15.05
8.56/8.96 c
8.56/8.96 c
8.56/8.96 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg14-17_ext.xml
8.56/8.96 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.619300 | c 34 > -1.000000 | c 16 > 17.000000 | c 13 > 3.031020 | c 14 > 3.906890 | c 11 > 7.894820 | c 12 > 2.942020 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.954200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.595300 | c 31 > -1.000000 | c 4 > 7.894820 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.56/8.97 c choco : 32.14
8.56/8.97 c mistral : 20.42
8.56/8.97 c abscon : 9.17
8.56/8.97 c
8.56/8.97 c
8.56/8.97 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg11-12_ext.xml
8.56/8.97 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.887200 | c 34 > -1.000000 | c 16 > 12.000000 | c 13 > 3.393690 | c 14 > 4.392320 | c 11 > 7.044390 | c 12 > 3.885600 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.523560 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.744800 | c 31 > -1.000000 | c 4 > 7.044390 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.56/8.97 c choco : 5.64
8.56/8.97 c mistral : 1.5
8.56/8.97 c abscon : 3.88
8.56/8.97 c
8.56/8.97 c
8.56/8.97 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg11-13_ext.xml
8.56/8.97 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 12.531600 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 3.432610 | c 14 > 4.700440 | c 11 > 7.159870 | c 12 > 4.055660 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.584960 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.860300 | c 31 > -1.000000 | c 4 > 7.159870 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.56/8.98 c choco : 8.05
8.56/8.98 c mistral : 5.3
8.56/8.98 c abscon : 4.33
8.56/8.98 c
8.56/8.98 c
8.56/8.98 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg15-16_ext.xml
8.56/8.98 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 12.485100 | c 34 > -1.000000 | c 16 > 16.000000 | c 13 > 3.265840 | c 14 > 4.643860 | c 11 > 7.906890 | c 12 > 3.403150 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.954200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.607300 | c 31 > -1.000000 | c 4 > 7.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.56/8.98 c choco : 24.65
8.56/8.98 c mistral : 10.16
8.56/8.98 c abscon : 7.73
8.56/8.98 c
8.56/8.98 c
8.56/8.98 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg12-14_ext.xml
8.56/8.98 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 8.693490 | c 34 > -1.000000 | c 16 > 14.000000 | c 13 > 1.144750 | c 14 > -1.000000 | c 11 > 7.392320 | c 12 > 1.415040 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.700440 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.092800 | c 31 > -1.000000 | c 4 > 7.392320 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.56/8.99 c choco : 2.66
8.56/8.99 c mistral : 0.16
8.56/8.99 c abscon : 3.28
8.56/8.99 c
8.56/8.99 c
8.56/8.99 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg16-17_ext.xml
8.56/8.99 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.263300 | c 34 > -1.000000 | c 16 > 17.000000 | c 13 > 1.456270 | c 14 > 0.000000 | c 11 > 8.087460 | c 12 > 1.584960 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 5.044390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.787900 | c 31 > -1.000000 | c 4 > 8.087460 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.56/8.99 c choco : 3.78
8.56/9.00 c mistral : 0.5
8.56/9.00 c abscon : 4.45
8.56/9.00 c
8.56/9.00 c
8.56/9.00 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg15-17_ext.xml
8.56/9.00 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 12.455300 | c 34 > -1.000000 | c 16 > 17.000000 | c 13 > 3.442450 | c 14 > 4.523560 | c 11 > 7.994350 | c 12 > 3.399570 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 5.000000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.694800 | c 31 > -1.000000 | c 4 > 7.994350 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.63/9.00 c choco : 15.25
8.63/9.00 c mistral : 7.95
8.63/9.00 c abscon : 7.49
8.63/9.00 c
8.63/9.00 c
8.63/9.00 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg15-18_ext.xml
8.63/9.00 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.464000 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 3.106090 | c 14 > 3.584960 | c 11 > 8.076820 | c 12 > 3.015940 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 5.044390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.777300 | c 31 > -1.000000 | c 4 > 8.076820 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.63/9.01 c choco : 10.18
8.63/9.01 c mistral : 2.29
8.63/9.01 c abscon : 6.29
8.63/9.01 c
8.63/9.01 c
8.63/9.01 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg14-18_ext.xml
8.63/9.01 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.901200 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 3.219400 | c 14 > 3.700440 | c 11 > 7.977280 | c 12 > 2.944560 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 5.000000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.677700 | c 31 > -1.000000 | c 4 > 7.977280 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.63/9.01 c choco : 17.32
8.63/9.01 c mistral : 5.07
8.63/9.01 c abscon : 7.19
8.63/9.01 c
8.63/9.01 c
8.63/9.01 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg11-15_ext.xml
8.63/9.01 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 7.774790 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 0.996787 | c 14 > -1.000000 | c 11 > 7.366320 | c 12 > 1.341040 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.700440 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.066800 | c 31 > -1.000000 | c 4 > 7.366320 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.63/9.02 c choco : 2.54
8.63/9.02 c mistral : 0.13
8.63/9.02 c abscon : 3.49
8.63/9.02 c
8.63/9.02 c
8.63/9.02 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg9-13_ext.xml
8.63/9.02 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 12.753800 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 4.080950 | c 14 > 5.129280 | c 11 > 6.870360 | c 12 > 4.371020 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.459430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.570800 | c 31 > -1.000000 | c 4 > 6.870360 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.63/9.02 c choco : 6.72
8.63/9.02 c mistral : 1.44
8.63/9.02 c abscon : 3.61
8.63/9.02 c
8.63/9.02 c
8.63/9.03 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg12-13_ext.xml
8.63/9.03 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 7.599910 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 1.092040 | c 14 > -1.000000 | c 11 > 7.285400 | c 12 > 1.387020 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.643860 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.985800 | c 31 > -1.000000 | c 4 > 7.285400 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.63/9.03 c choco : 2.27
8.63/9.03 c mistral : 0.08
8.63/9.03 c abscon : 2.53
8.63/9.03 c
8.63/9.03 c
8.63/9.03 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg11-14_ext.xml
8.63/9.03 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 6.832890 | c 34 > -1.000000 | c 16 > 14.000000 | c 13 > 1.042860 | c 14 > -1.000000 | c 11 > 7.266790 | c 12 > 1.362570 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.643860 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.967200 | c 31 > -1.000000 | c 4 > 7.266790 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.63/9.04 c choco : 2.91
8.63/9.04 c mistral : 0.06
8.63/9.04 c abscon : 3.04
8.63/9.04 c
8.63/9.04 c
8.63/9.04 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg6-9_ext.xml
8.63/9.04 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.256800 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 1.611200 | c 14 > 5.087460 | c 11 > 5.754890 | c 12 > 2.736970 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 3.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.455300 | c 31 > -1.000000 | c 4 > 5.754890 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.63/9.05 c choco : 1801.0
8.63/9.05 c mistral : 1801.0
8.63/9.05 c abscon : 392.65
8.63/9.05 c
8.63/9.05 c
8.63/9.05 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg9-11_ext.xml
8.63/9.05 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.387300 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 3.148140 | c 14 > 5.727920 | c 11 > 6.629360 | c 12 > 4.353640 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.321930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.329800 | c 31 > -1.000000 | c 4 > 6.629360 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.63/9.05 c choco : 74.98
8.63/9.05 c mistral : 1801.0
8.63/9.05 c abscon : 18.17
8.63/9.05 c
8.63/9.05 c
8.63/9.05 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg16-18_ext.xml
8.63/9.05 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 9.257390 | c 34 > -1.000000 | c 16 > 18.000000 | c 13 > 1.123370 | c 14 > -1.000000 | c 11 > 8.169930 | c 12 > 1.357550 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 5.087460 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.870400 | c 31 > -1.000000 | c 4 > 8.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.63/9.06 c choco : 3.46
8.63/9.06 c mistral : 0.34
8.63/9.06 c abscon : 4.09
8.63/9.06 c
8.63/9.06 c
8.63/9.06 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg10-12_ext.xml
8.63/9.06 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.146400 | c 34 > -1.000000 | c 16 > 12.000000 | c 13 > 4.363580 | c 14 > 5.700440 | c 11 > 6.906890 | c 12 > 4.713330 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.459430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.607300 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.63/9.06 c choco : 7.99
8.63/9.06 c mistral : 2.61
8.63/9.06 c abscon : 4.77
8.63/9.06 c
8.63/9.06 c
8.63/9.06 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg13-14_ext.xml
8.63/9.06 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 6.247930 | c 34 > -1.000000 | c 16 > 14.000000 | c 13 > 1.042860 | c 14 > -1.000000 | c 11 > 7.507790 | c 12 > 1.362570 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.754890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.208200 | c 31 > -1.000000 | c 4 > 7.507790 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.63/9.07 c choco : 2.49
8.63/9.07 c mistral : 0.09
8.63/9.07 c abscon : 3.07
8.63/9.07 c
8.63/9.07 c
8.63/9.07 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg9-13_ext.xml
8.63/9.07 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.793200 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 3.870410 | c 14 > 6.228820 | c 11 > 6.870360 | c 12 > 4.923640 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.459430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.570800 | c 31 > -1.000000 | c 4 > 6.870360 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.63/9.08 c choco : 24.83
8.63/9.08 c mistral : 13.96
8.63/9.08 c abscon : 5.0
8.63/9.08 c
8.63/9.08 c
8.63/9.08 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg9-12_ext.xml
8.63/9.08 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.752800 | c 34 > -1.000000 | c 16 > 12.000000 | c 13 > 3.820020 | c 14 > 6.409390 | c 11 > 6.754890 | c 12 > 4.616340 | c 21 > 5.099020 | c 20 > 0.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 4.392320 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.455300 | c 31 > -1.000000 | c 4 > 6.754890 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.63/9.08 c choco : 45.48
8.63/9.08 c mistral : 35.56
8.63/9.08 c abscon : 9.09
8.63/9.08 c
8.63/9.08 c
8.63/9.09 c Length: 40
8.63/9.09 c 1.4705435360780714 1.4941695681364815 2.1244803268284222 2.797637263310059 2.857229210532645 2.8759393986732404 2.918149247944834 3.0194407722260426 3.2017076371275692 3.202546488818078 3.2035115341295404 3.6813863853908355 3.823785465713394 3.884805334044551 3.8896583140940537 3.9300647523750802 3.944143598638493 3.979643295500364 4.079512226592905 4.639740559147785 4.682713684920422 4.704412063019246 4.745039319386194 4.812939232151285 5.019353894347458 5.020549251520296 5.417503818854307 5.49146026420851 5.541407127562548 5.567645362417042 5.585301679470948 5.6753895256256195 6.076643122162187 6.161944916663974 6.198298924526068 6.4924556648498575 6.515321501411961 6.523007683716233 6.557570947601024 6.686092178390977
8.63/9.09 c
8.63/9.09 c 1.0 0.9954905049885084 0.8885870323373365 0.7971624227224419 0.789967212927773 0.7877348372949877 0.7827446829355367 0.7710237816995598 0.7507937689371669 0.7507031176316415 0.750598856166718 0.7022991783013581 0.6890861350613917 0.6835751272114075 0.6831406121225222 0.6795441264240857 0.6782998798042921 0.6751826582995454 0.6665649036818012 0.6220282463481145 0.6188565104695393 0.617267266823013 0.6143134689111358 0.6094394209739004 0.5950861485667567 0.5950049967688084 0.5692271281757211 0.5646693224231254 0.5616322548477016 0.5600498654888227 0.5589900484626327 0.5536443902969356 0.531025803513646 0.5264535129639039 0.5245287307094231 0.5094572530176642 0.5083218928358355 0.5079413854467706 0.506237334726692 0.5
8.69/9.10 c
8.69/9.10 c solver 0
8.69/9.10 c before 0.0 seconds: {} 0
8.69/9.10 c before 18.0 seconds: {5, 6, 7, 8, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 37, 38, 39} 17871
8.69/9.10 c before 36.0 seconds: {5, 6, 7, 8, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 19777
8.69/9.10 c before 72.0 seconds: {5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 20528
8.69/9.10 c before 90.0 seconds: {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, 34, 35, 36, 37, 38, 39} 21279
8.69/9.10 c before 180.0 seconds: {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, 34, 35, 36, 37, 38, 39} 22068
8.69/9.10 c before 252.0 seconds: {0, 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, 34, 35, 36, 37, 38, 39} 23068
8.69/9.10 c before 396.0 seconds: {0, 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} 23595
8.69/9.10 c before 522.0 seconds: {0, 2, 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} 24484
8.69/9.10 c before 756.0 seconds: {0, 1, 2, 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} 25479
8.69/9.10 c before 1188.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} 26276
8.69/9.10 c
8.69/9.10 c solver 1
8.69/9.10 c before 0.0 seconds: {} 0
8.69/9.10 c before 18.0 seconds: {5, 6, 7, 8, 12, 13, 14, 16, 18, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 37, 38} 15455
8.69/9.10 c before 36.0 seconds: {5, 6, 7, 8, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 37, 38, 39} 17871
8.69/9.10 c before 54.0 seconds: {5, 6, 7, 8, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 37, 38, 39} 19324
8.69/9.10 c before 108.0 seconds: {5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 37, 38, 39} 20003
8.69/9.10 c before 126.0 seconds: {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, 35, 36, 37, 38, 39} 20754
8.69/9.10 c before 198.0 seconds: {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, 35, 36, 37, 38, 39} 21544
8.69/9.10 c before 414.0 seconds: {0, 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, 35, 36, 37, 38, 39} 22544
8.69/9.10 c before 540.0 seconds: {0, 2, 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, 35, 36, 37, 38, 39} 23433
8.69/9.10 c before 936.0 seconds: {0, 1, 2, 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, 35, 36, 37, 38, 39} 24428
8.69/9.10 c
8.69/9.10 c solver 2
8.69/9.10 c before 0.0 seconds: {} 0
8.69/9.11 c before 18.0 seconds: {5, 6, 7, 8, 12, 13, 14, 16, 18, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 37} 14339
8.69/9.11 c before 36.0 seconds: {5, 6, 7, 8, 12, 13, 14, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 37, 38} 16074
8.69/9.11 c before 54.0 seconds: {5, 6, 7, 8, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 37, 38, 39} 17871
8.69/9.11 c before 72.0 seconds: {5, 6, 7, 8, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 37, 38, 39} 18573
8.69/9.11 c before 90.0 seconds: {5, 6, 7, 8, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 19098
8.69/9.11 c before 108.0 seconds: {5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 20528
8.69/9.11 c before 216.0 seconds: {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, 34, 35, 36, 37, 38, 39} 21279
8.69/9.11 c before 504.0 seconds: {0, 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, 34, 35, 36, 37, 38, 39} 23068
8.69/9.11 c
8.69/9.11 cTotal time: 146
8.69/9.11 c run abscon for 1188.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} 26276
8.69/9.11 c run mistral for 540.0 seconds {0, 2, 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, 35, 36, 37, 38, 39} 23433
8.69/9.11 c run choco for 72.0 seconds {5, 6, 7, 8, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 35, 36, 37, 38, 39} 18573
8.69/9.11 c Starting solver: HOME/cpHydra_k_40/solver/abscon
8.69/9.11 c On Instance: HOME/instance-1107607-1215477307.xml
8.69/9.11 c Running for: 1188 seconds
1196.87/1202.52 c Starting solver: HOME/cpHydra_k_40/solver/mistral
1196.87/1202.52 c On Instance: HOME/instance-1107607-1215477307.xml
1196.87/1202.53 c Running for: 540 seconds
1736.80/1745.03 c Starting solver: HOME/cpHydra_k_40/solver/choco
1736.80/1745.03 c On Instance: HOME/instance-1107607-1215477307.xml
1736.80/1745.03 c Running for: 72 seconds