0.00/0.00 c cpHydra_k_40 version 0.0
7.19/7.35 c CASE TO CLASSIFY:
7.19/7.35 c Case: 0
7.19/7.36 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.088000 | c 34 > -1.000000 | c 16 > 17.000000 | c 13 > 4.680050 | c 14 > 5.700440 | c 11 > 8.087460 | c 12 > 4.518020 | 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
7.19/7.36 c choco : 1801.0
7.19/7.36 c mistral : 1801.0
7.19/7.36 c abscon : 1801.0
7.19/7.36 c
7.19/7.36 c
7.49/7.62 c List of same ones: 40
7.49/7.62 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg15-17_ext.xml
7.49/7.62 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
7.49/7.63 c choco : 15.25
7.49/7.63 c mistral : 7.95
7.49/7.63 c abscon : 7.49
7.49/7.63 c
7.49/7.63 c
7.49/7.63 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg15-16_ext.xml
7.49/7.63 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
7.49/7.64 c choco : 24.65
7.49/7.64 c mistral : 10.16
7.49/7.64 c abscon : 7.73
7.49/7.64 c
7.49/7.64 c
7.49/7.64 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg14-18_ext.xml
7.49/7.64 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
7.49/7.65 c choco : 17.32
7.49/7.65 c mistral : 5.07
7.49/7.65 c abscon : 7.19
7.49/7.65 c
7.49/7.65 c
7.49/7.65 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg14-17_ext.xml
7.49/7.65 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
7.49/7.65 c choco : 32.14
7.49/7.65 c mistral : 20.42
7.49/7.65 c abscon : 9.17
7.49/7.65 c
7.49/7.65 c
7.49/7.65 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg14-16_ext.xml
7.49/7.65 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
7.49/7.66 c choco : 42.95
7.49/7.66 c mistral : 30.16
7.49/7.67 c abscon : 11.33
7.49/7.67 c
7.49/7.67 c
7.49/7.67 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg13-17_ext.xml
7.49/7.67 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
7.49/7.67 c choco : 43.92
7.49/7.67 c mistral : 24.47
7.49/7.67 c abscon : 15.05
7.49/7.67 c
7.49/7.67 c
7.49/7.68 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg15-18_ext.xml
7.49/7.68 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
7.49/7.68 c choco : 10.18
7.49/7.68 c mistral : 2.29
7.49/7.68 c abscon : 6.29
7.49/7.68 c
7.49/7.68 c
7.49/7.68 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg15-15_ext.xml
7.49/7.68 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
7.49/7.69 c choco : 95.26
7.49/7.69 c mistral : 92.1
7.49/7.69 c abscon : 33.25
7.49/7.69 c
7.49/7.69 c
7.49/7.69 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg13-16_ext.xml
7.49/7.69 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
7.49/7.70 c choco : 57.44
7.49/7.70 c mistral : 45.26
7.49/7.70 c abscon : 26.95
7.49/7.70 c
7.49/7.70 c
7.49/7.70 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg10-14_ext.xml
7.49/7.70 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
7.56/7.71 c choco : 7.01
7.56/7.71 c mistral : 2.5
7.56/7.71 c abscon : 4.33
7.56/7.71 c
7.56/7.71 c
7.56/7.71 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg10-13_ext.xml
7.56/7.71 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.402700 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 4.917930 | c 14 > 6.475730 | c 11 > 7.022370 | c 12 > 5.494810 | 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
7.56/7.72 c choco : 13.51
7.56/7.72 c mistral : 8.69
7.56/7.72 c abscon : 4.37
7.56/7.72 c
7.56/7.72 c
7.56/7.72 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg16-16_ext.xml
7.56/7.72 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
7.56/7.73 c choco : 6.55
7.56/7.73 c mistral : 1.34
7.56/7.73 c abscon : 4.31
7.56/7.73 c
7.56/7.73 c
7.56/7.73 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg9-13_ext.xml
7.56/7.73 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
7.56/7.74 c choco : 24.83
7.56/7.74 c mistral : 13.96
7.56/7.74 c abscon : 5.0
7.56/7.74 c
7.56/7.74 c
7.56/7.74 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg14-15_ext.xml
7.56/7.74 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
7.56/7.75 c choco : 198.21
7.56/7.75 c mistral : 116.61
7.56/7.75 c abscon : 77.5
7.56/7.75 c
7.56/7.75 c
7.56/7.75 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg9-13_ext.xml
7.56/7.75 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
7.56/7.75 c choco : 6.72
7.56/7.75 c mistral : 1.44
7.56/7.75 c abscon : 3.61
7.56/7.75 c
7.56/7.75 c
7.56/7.75 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg11-13_ext.xml
7.56/7.75 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
7.56/7.76 c choco : 8.05
7.56/7.76 c mistral : 5.3
7.56/7.76 c abscon : 4.33
7.56/7.76 c
7.56/7.76 c
7.56/7.76 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg12-16_ext.xml
7.56/7.76 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
7.56/7.76 c choco : 101.69
7.56/7.76 c mistral : 52.88
7.56/7.76 c abscon : 59.37
7.56/7.76 c
7.56/7.76 c
7.56/7.76 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg12-12_ext.xml
7.56/7.76 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.655000 | c 34 > -1.000000 | c 16 > 12.000000 | c 13 > 4.268380 | c 14 > 5.727920 | c 11 > 7.169930 | c 12 > 4.942510 | 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
7.56/7.77 c choco : 8.3
7.56/7.77 c mistral : 2.12
7.56/7.77 c abscon : 4.72
7.56/7.77 c
7.56/7.77 c
7.56/7.77 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg11-12_ext.xml
7.56/7.77 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.291700 | c 34 > -1.000000 | c 16 > 12.000000 | c 13 > 4.987700 | c 14 > 6.658210 | c 11 > 7.044390 | c 12 > 5.485770 | 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
7.56/7.78 c choco : 23.68
7.56/7.78 c mistral : 10.51
7.56/7.78 c abscon : 6.16
7.56/7.78 c
7.56/7.78 c
7.56/7.78 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg10-12_ext.xml
7.56/7.78 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
7.56/7.79 c choco : 7.99
7.56/7.79 c mistral : 2.61
7.56/7.79 c abscon : 4.77
7.56/7.79 c
7.56/7.79 c
7.56/7.79 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg10-12_ext.xml
7.56/7.79 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.335400 | c 34 > -1.000000 | c 16 > 12.000000 | c 13 > 4.791000 | c 14 > 6.768180 | c 11 > 6.906890 | c 12 > 5.240310 | 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
7.63/7.80 c choco : 35.74
7.63/7.80 c mistral : 30.8
7.63/7.80 c abscon : 5.57
7.63/7.80 c
7.63/7.80 c
7.63/7.80 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg9-12_ext.xml
7.63/7.80 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
7.63/7.81 c choco : 45.48
7.63/7.81 c mistral : 35.56
7.63/7.81 c abscon : 9.09
7.63/7.81 c
7.63/7.81 c
7.63/7.81 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg13-15_ext.xml
7.63/7.81 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
7.63/7.81 c choco : 496.99
7.63/7.81 c mistral : 194.64
7.63/7.81 c abscon : 171.97
7.63/7.81 c
7.63/7.81 c
7.63/7.81 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg8-12_ext.xml
7.63/7.81 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.957700 | c 34 > -1.000000 | c 16 > 12.000000 | c 13 > 3.655180 | c 14 > 6.247930 | c 11 > 6.584960 | c 12 > 4.798740 | 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.285400 | c 31 > -1.000000 | c 4 > 6.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.82 c choco : 48.06
7.63/7.82 c mistral : 58.98
7.63/7.82 c abscon : 11.24
7.63/7.82 c
7.63/7.82 c
7.63/7.82 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg10-13_ext.xml
7.63/7.82 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
7.63/7.82 c choco : 4.84
7.63/7.82 c mistral : 0.74
7.63/7.82 c abscon : 4.34
7.63/7.82 c
7.63/7.82 c
7.63/7.82 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg11-14_ext.xml
7.63/7.82 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
7.63/7.83 c choco : 4.62
7.63/7.83 c mistral : 0.79
7.63/7.83 c abscon : 3.74
7.63/7.83 c
7.63/7.83 c
7.63/7.83 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg9-12_ext.xml
7.63/7.83 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.454800 | c 34 > -1.000000 | c 16 > 12.000000 | c 13 > 5.268380 | c 14 > 7.087460 | c 11 > 6.754890 | c 12 > 5.884680 | 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
7.63/7.84 c choco : 15.24
7.63/7.84 c mistral : 5.3
7.63/7.84 c abscon : 4.18
7.63/7.84 c
7.63/7.84 c
7.63/7.84 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg13-14_ext.xml
7.63/7.84 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
7.63/7.84 c choco : 1801.0
7.63/7.84 c mistral : 530.74
7.63/7.84 c abscon : 514.87
7.63/7.84 c
7.63/7.84 c
7.63/7.84 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg11-12_ext.xml
7.63/7.84 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
7.63/7.85 c choco : 5.64
7.63/7.85 c mistral : 1.5
7.63/7.85 c abscon : 3.88
7.63/7.85 c
7.63/7.85 c
7.63/7.85 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg8-12_ext.xml
7.63/7.85 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.990600 | c 34 > -1.000000 | c 16 > 12.000000 | c 13 > 5.581350 | c 14 > 7.577430 | c 11 > 6.584960 | c 12 > 6.637830 | 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.285400 | c 31 > -1.000000 | c 4 > 6.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.85 c choco : 20.1
7.63/7.85 c mistral : 8.13
7.63/7.85 c abscon : 5.46
7.63/7.85 c
7.63/7.85 c
7.63/7.85 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg11-11_ext.xml
7.63/7.85 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.347500 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 4.576300 | c 14 > 6.781360 | c 11 > 6.918860 | c 12 > 5.158950 | 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.619300 | c 31 > -1.000000 | c 4 > 6.918860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.86 c choco : 39.85
7.63/7.86 c mistral : 55.49
7.63/7.86 c abscon : 5.2
7.63/7.86 c
7.63/7.86 c
7.63/7.86 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg12-13_ext.xml
7.63/7.86 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
7.63/7.86 c choco : 5.15
7.63/7.86 c mistral : 0.67
7.63/7.86 c abscon : 4.23
7.63/7.86 c
7.63/7.86 c
7.63/7.86 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg10-11_ext.xml
7.63/7.86 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.321400 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 4.004320 | c 14 > 6.426260 | c 11 > 6.781360 | c 12 > 4.773710 | 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.481800 | c 31 > -1.000000 | c 4 > 6.781360 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.87 c choco : 54.14
7.63/7.87 c mistral : 65.23
7.63/7.87 c abscon : 11.31
7.63/7.87 c
7.63/7.87 c
7.63/7.87 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg11-11_ext.xml
7.63/7.87 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.564700 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 4.926420 | c 14 > 6.845490 | c 11 > 6.918860 | c 12 > 5.745140 | 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.619300 | c 31 > -1.000000 | c 4 > 6.918860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.88 c choco : 12.8
7.63/7.88 c mistral : 3.26
7.63/7.88 c abscon : 4.72
7.63/7.88 c
7.63/7.88 c
7.63/7.88 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg14-14_ext.xml
7.63/7.88 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
7.63/7.89 c choco : 492.67
7.63/7.89 c mistral : 399.64
7.63/7.89 c abscon : 242.1
7.63/7.89 c
7.63/7.89 c
7.63/7.89 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg8-11_ext.xml
7.63/7.89 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.840900 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 3.762630 | c 14 > 6.087460 | c 11 > 6.459430 | c 12 > 4.816690 | 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.247930 | 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.159900 | c 31 > -1.000000 | c 4 > 6.459430 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.90 c choco : 100.04
7.63/7.90 c mistral : 1801.0
7.63/7.90 c abscon : 25.81
7.63/7.90 c
7.63/7.90 c
7.63/7.90 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg9-11_ext.xml
7.63/7.90 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
7.69/7.90 c choco : 74.98
7.69/7.90 c mistral : 1801.0
7.69/7.90 c abscon : 18.17
7.69/7.90 c
7.69/7.90 c
7.69/7.90 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg12-12_ext.xml
7.69/7.90 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
7.69/7.91 c choco : 3.76
7.69/7.91 c mistral : 0.36
7.69/7.91 c abscon : 3.19
7.69/7.91 c
7.69/7.91 c
7.69/7.91 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg11-13_ext.xml
7.69/7.91 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
7.69/7.91 c choco : 3.73
7.69/7.91 c mistral : 0.39
7.69/7.91 c abscon : 3.71
7.69/7.91 c
7.69/7.91 c
7.69/7.92 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg10-11_ext.xml
7.69/7.92 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.983300 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 5.086970 | c 14 > 7.366320 | c 11 > 6.781360 | c 12 > 6.170470 | 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.481800 | c 31 > -1.000000 | c 4 > 6.781360 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.69/7.92 c choco : 17.99
7.69/7.92 c mistral : 8.62
7.69/7.92 c abscon : 4.92
7.69/7.92 c
7.69/7.92 c
7.69/7.93 c Length: 40
7.69/7.93 c 2.6194115776639606 2.8345257792618503 3.7986527626251916 3.8254184828198854 3.840680956106612 3.848232658156208 4.1345573907735265 4.226609151790593 4.471499500547886 4.512699368271722 4.624429866232162 4.642199393832626 4.687463323589849 4.716395325160943 4.824211710445552 4.897410375320819 4.902683318255422 5.317378383762058 5.524972144418468 5.527060288109765 5.5909546434933635 5.66716783062757 5.7109171120845375 5.808644663516611 5.835346759893538 5.874883063729865 5.918172194149137 5.936247607403182 6.0946441429422284 6.475969545002509 6.488169210601709 6.501767585334007 6.530403169506458 6.598784747618306 6.640327911052284 6.762203931345165 6.765029190956977 6.885060276635201 6.912832828855332 6.929341965020921
7.69/7.93 c
7.69/7.93 c 1.0 0.9524614183641503 0.7851695525590553 0.7813595693350411 0.779203530851665 0.7781411410811289 0.7398925334250187 0.7283821501599465 0.699434855653403 0.6947894244098715 0.6824965029071343 0.6805814263071874 0.6757514049570675 0.6726998827580218 0.6615669480163393 0.6542162592095198 0.6536930468258013 0.6150105043467488 0.597316303875499 0.5971434921536259 0.5919036050967048 0.5857724850278728 0.5823100318514792 0.5747214876371175 0.5726823509543159 0.5696895498040463 0.5664483398235765 0.5651058589779029 0.5536082434726786 0.5277581011768501 0.5269708756052609 0.5260961567424245 0.5242636286126943 0.5199387810518206 0.517346019177675 0.5098866388261084 0.5097162699597538 0.5025818482891912 0.5009594595722217 0.5
7.69/7.94 c
7.69/7.94 c solver 0
7.69/7.94 c before 0.0 seconds: {} 0
7.69/7.94 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 37, 38, 39} 19818
7.69/7.94 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 22265
7.69/7.94 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 22919
7.69/7.94 c before 90.0 seconds: {0, 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, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 23592
7.69/7.94 c before 180.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, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 24174
7.69/7.94 c before 252.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, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24691
7.69/7.94 c before 522.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} 25257
7.69/7.94 c
7.69/7.94 c solver 1
7.69/7.94 c before 0.0 seconds: {} 0
7.69/7.94 c before 18.0 seconds: {0, 1, 2, 6, 9, 10, 11, 12, 14, 15, 17, 18, 19, 24, 25, 26, 28, 29, 31, 33, 37, 38, 39} 14676
7.69/7.94 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 14, 15, 17, 18, 19, 20, 21, 24, 25, 26, 28, 29, 31, 33, 37, 38, 39} 18192
7.69/7.94 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 24, 25, 26, 28, 29, 31, 33, 37, 38, 39} 19545
7.69/7.94 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 37, 38, 39} 21171
7.69/7.94 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 37, 38, 39} 21900
7.69/7.94 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, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 37, 38, 39} 22572
7.69/7.94 c before 198.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, 28, 29, 30, 31, 32, 33, 37, 38, 39} 23155
7.69/7.94 c before 414.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, 28, 29, 30, 31, 32, 33, 34, 37, 38, 39} 23672
7.69/7.94 c before 540.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, 37, 38, 39} 24237
7.69/7.94 c
7.69/7.94 c solver 2
7.69/7.94 c before 0.0 seconds: {} 0
7.69/7.94 c before 18.0 seconds: {0, 2, 6, 9, 10, 11, 14, 15, 17, 19, 24, 25, 26, 28, 31, 33, 37, 38, 39} 11922
7.69/7.94 c before 36.0 seconds: {0, 1, 2, 3, 6, 9, 10, 11, 12, 14, 15, 17, 18, 19, 20, 24, 25, 26, 28, 29, 31, 33, 37, 38, 39} 16049
7.69/7.94 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 28, 29, 30, 31, 33, 37, 38, 39} 19294
7.69/7.94 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 37, 38, 39} 20517
7.69/7.94 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 36, 37, 38, 39} 21027
7.69/7.94 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 22919
7.69/7.94 c before 216.0 seconds: {0, 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, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 23592
7.69/7.94 c before 504.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, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24691
7.69/7.94 c
7.69/7.94 cTotal time: 87
7.69/7.94 c 1566.0 seconds unused
7.69/7.94 c 0 c 2 c 1
7.69/7.94 c 0 c 0 c 1
7.69/7.94 c 0 c 2 c 0
7.69/7.94 c is solver0 dominated by:
7.69/7.95 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: true) (0 is equally as fast as 1: false) (0 < 1: false)
7.69/7.95 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.69/7.95 c is dominated? false
7.69/7.95 c
7.69/7.95 c is solver1 dominated by:
7.69/7.95 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: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.69/7.95 c is dominated? true
7.69/7.95 c
7.69/7.95 c is solver2 dominated by:
7.69/7.95 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.69/7.95 c is dominated? true
7.69/7.95 c
7.69/7.95 c Number of non-dominated solvers: 1
7.69/7.95 c remove dominated solvers
7.69/7.95 c solver 0 is not dominated by another solver
7.69/7.95 c solver 2 is dominated by another solver
7.69/7.95 c solver 1 is dominated by another solver
7.69/7.95 c
7.69/7.95 c solver 0: 522.0
7.69/7.95 c
7.69/7.95 c+ 29/29 of 71
7.69/7.95 c
7.69/7.95 c solver 1: 0.0
7.69/7.95 c
7.69/7.95 c solver 2: 0.0
7.69/7.95 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} 25257
7.69/7.95 c do not run mistral
7.69/7.95 c do not run choco
7.69/7.95 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.69/7.95 c On Instance: HOME/instance-1068239-1215152904.xml
7.69/7.95 c Running for: 1800 seconds
9.94/10.25 s UNSATISFIABLE
9.94/10.25 d ASSIGNMENTS 207
9.94/10.25 d CHECKS 0