0.00/0.00 c cpHydra_k_40 version 0.0
7.66/7.86 c CASE TO CLASSIFY:
7.66/7.86 c Case: 0
7.66/7.87 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.131900 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 3.819420 | c 14 > 6.442940 | c 11 > 5.614710 | c 12 > 5.164190 | 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.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 > 10.315100 | c 31 > -1.000000 | c 4 > 5.614710 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.66/7.88 c choco : 1801.0
7.66/7.88 c mistral : 1801.0
7.66/7.88 c abscon : 1801.0
7.66/7.88 c
7.66/7.88 c
7.76/7.96 c List of same ones: 40
7.76/7.96 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg6-7_ext.xml
7.76/7.96 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 12.010500 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 3.857090 | c 14 > 5.807350 | c 11 > 5.392320 | c 12 > 4.788830 | 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.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 > 10.092800 | c 31 > -1.000000 | c 4 > 5.392320 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.76/7.96 c choco : 1801.0
7.76/7.96 c mistral : 54.51
7.76/7.96 c abscon : 6.72
7.76/7.96 c
7.76/7.96 c
7.76/7.97 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg8-8_ext.xml
7.76/7.97 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.826600 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 3.546870 | c 14 > 6.768180 | c 11 > 6.000000 | c 12 > 5.118940 | 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.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 > 10.700400 | c 31 > -1.000000 | c 4 > 6.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.76/7.97 c choco : 1801.0
7.76/7.97 c mistral : 717.88
7.76/7.97 c abscon : 1801.0
7.76/7.97 c
7.76/7.97 c
7.76/7.97 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg5-7_ext.xml
7.76/7.97 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 12.867500 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 4.876290 | c 14 > 6.988680 | c 11 > 5.129280 | c 12 > 6.104340 | 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.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 > 9.829720 | c 31 > -1.000000 | c 4 > 5.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.76/7.98 c choco : 14.28
7.76/7.98 c mistral : 10.24
7.76/7.98 c abscon : 5.09
7.76/7.98 c
7.76/7.98 c
7.76/7.98 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg7-7_ext.xml
7.76/7.98 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.338500 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 3.888940 | c 14 > 7.562240 | c 11 > 5.614710 | c 12 > 6.084430 | 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.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 > 10.315100 | c 31 > -1.000000 | c 4 > 5.614710 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.76/7.99 c choco : 374.35
7.76/7.99 c mistral : 168.5
7.76/7.99 c abscon : 32.25
7.76/7.99 c
7.76/7.99 c
7.76/7.99 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg7-9_ext.xml
7.76/7.99 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.843000 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 3.459370 | c 14 > 6.714250 | c 11 > 5.977280 | c 12 > 5.114820 | 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.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 > 10.677700 | c 31 > -1.000000 | c 4 > 5.977280 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.85/8.00 c choco : 1801.0
7.85/8.00 c mistral : 629.74
7.85/8.00 c abscon : 1801.0
7.85/8.00 c
7.85/8.00 c
7.85/8.00 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg6-9_ext.xml
7.85/8.00 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.111100 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 4.236350 | c 14 > 7.108520 | c 11 > 5.754890 | c 12 > 5.768180 | 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
7.85/8.01 c choco : 1801.0
7.85/8.01 c mistral : 661.42
7.85/8.01 c abscon : 1801.0
7.85/8.01 c
7.85/8.01 c
7.85/8.01 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg7-7_ext.xml
7.85/8.01 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.778100 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 2.850790 | c 14 > 5.044390 | c 11 > 5.614710 | c 12 > 3.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 > 3.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 > 10.315100 | c 31 > -1.000000 | c 4 > 5.614710 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.85/8.02 c choco : 111.31
7.85/8.02 c mistral : 1801.0
7.85/8.02 c abscon : 44.67
7.85/8.02 c
7.85/8.02 c
7.85/8.02 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg9-9_ext.xml
7.85/8.02 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.184400 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 3.922820 | c 14 > 6.629360 | c 11 > 6.339850 | c 12 > 5.187630 | 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.169930 | 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.040300 | c 31 > -1.000000 | c 4 > 6.339850 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.85/8.03 c choco : 565.32
7.85/8.03 c mistral : 112.49
7.85/8.03 c abscon : 85.82
7.85/8.03 c
7.85/8.03 c
7.85/8.03 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg8-9_ext.xml
7.85/8.03 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.707800 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 2.797980 | c 14 > 6.491850 | c 11 > 6.169930 | c 12 > 4.407500 | 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.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 > 10.870400 | c 31 > -1.000000 | c 4 > 6.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.85/8.04 c choco : 1137.53
7.85/8.04 c mistral : 298.41
7.85/8.04 c abscon : 1801.0
7.85/8.04 c
7.85/8.04 c
7.85/8.04 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-9_ext.xml
7.85/8.04 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.228000 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 4.132830 | c 14 > 7.577430 | c 11 > 5.491850 | c 12 > 6.683700 | 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.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 > 10.192300 | c 31 > -1.000000 | c 4 > 5.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.85/8.05 c choco : 1801.0
7.85/8.05 c mistral : 256.55
7.85/8.05 c abscon : 1801.0
7.85/8.05 c
7.85/8.05 c
7.85/8.05 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg5-9_ext.xml
7.85/8.05 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.467600 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 3.378420 | c 14 > 5.285400 | c 11 > 5.491850 | c 12 > 4.380050 | 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.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 > 10.192300 | c 31 > -1.000000 | c 4 > 5.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.03/8.28 c choco : 29.71
8.03/8.28 c mistral : 26.53
8.03/8.28 c abscon : 8.02
8.03/8.28 c
8.03/8.28 c
8.03/8.28 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-8_ext.xml
8.03/8.28 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.245700 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 5.324780 | c 14 > 7.741470 | c 11 > 5.321930 | c 12 > 6.751210 | 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.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 > 10.022400 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.03/8.29 c choco : 1801.0
8.03/8.29 c mistral : 693.86
8.03/8.29 c abscon : 1801.0
8.03/8.29 c
8.03/8.29 c
8.03/8.29 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg8-9_ext.xml
8.03/8.29 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.692900 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 4.272910 | c 14 > 7.546890 | c 11 > 6.169930 | c 12 > 6.054080 | 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.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 > 10.870400 | c 31 > -1.000000 | c 4 > 6.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.13/8.30 c choco : 267.94
8.13/8.30 c mistral : 64.45
8.13/8.30 c abscon : 23.72
8.13/8.30 c
8.13/8.30 c
8.13/8.30 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg7-10_ext.xml
8.13/8.30 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.723100 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 3.721100 | c 14 > 6.672430 | c 11 > 6.129280 | c 12 > 5.009630 | 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.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 > 10.829700 | c 31 > -1.000000 | c 4 > 6.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.13/8.31 c choco : 776.94
8.13/8.31 c mistral : 142.84
8.13/8.31 c abscon : 95.4
8.13/8.31 c
8.13/8.31 c
8.13/8.31 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg8-8_ext.xml
8.13/8.31 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.104700 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 3.650460 | c 14 > 8.060700 | c 11 > 6.000000 | c 12 > 6.738090 | 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.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 > 10.700400 | c 31 > -1.000000 | c 4 > 6.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.13/8.31 c choco : 679.84
8.13/8.31 c mistral : 200.01
8.13/8.31 c abscon : 45.48
8.13/8.31 c
8.13/8.31 c
8.13/8.31 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg6-10_ext.xml
8.13/8.31 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.068200 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 3.985900 | c 14 > 7.149750 | c 11 > 5.906890 | c 12 > 5.597930 | 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.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 > 10.607300 | c 31 > -1.000000 | c 4 > 5.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.13/8.32 c choco : 452.6
8.13/8.32 c mistral : 83.31
8.13/8.32 c abscon : 101.93
8.13/8.32 c
8.13/8.32 c
8.13/8.32 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-8_ext.xml
8.13/8.32 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.891400 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 4.986610 | c 14 > 7.954200 | c 11 > 5.807350 | c 12 > 7.031060 | 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.507800 | c 31 > -1.000000 | c 4 > 5.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.13/8.33 c choco : 1078.47
8.13/8.33 c mistral : 441.78
8.13/8.33 c abscon : 97.35
8.13/8.33 c
8.13/8.33 c
8.13/8.33 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-7_ext.xml
8.13/8.33 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.616300 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 4.827460 | c 14 > 8.199670 | c 11 > 5.129280 | c 12 > 7.288310 | 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.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 > 9.829720 | c 31 > -1.000000 | c 4 > 5.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.13/8.33 c choco : 61.64
8.13/8.33 c mistral : 39.17
8.13/8.33 c abscon : 7.89
8.13/8.33 c
8.13/8.33 c
8.13/8.33 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg9-10_ext.xml
8.13/8.33 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.698700 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 4.254430 | c 14 > 6.375040 | c 11 > 6.491850 | c 12 > 5.058890 | 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.192300 | c 31 > -1.000000 | c 4 > 6.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.13/8.35 c choco : 100.46
8.13/8.35 c mistral : 44.21
8.13/8.35 c abscon : 41.31
8.13/8.35 c
8.13/8.35 c
8.13/8.35 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg6-8_ext.xml
8.13/8.35 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.207000 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 2.286140 | c 14 > 5.247930 | c 11 > 5.584960 | c 12 > 3.215940 | 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.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 > 10.285400 | c 31 > -1.000000 | c 4 > 5.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.13/8.36 c choco : 297.08
8.13/8.36 c mistral : 157.04
8.13/8.36 c abscon : 14.11
8.13/8.36 c
8.13/8.36 c
8.13/8.36 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-9_ext.xml
8.13/8.36 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.974500 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 4.384800 | c 14 > 7.781360 | c 11 > 5.977280 | c 12 > 6.698680 | 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.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 > 10.677700 | c 31 > -1.000000 | c 4 > 5.977280 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.13/8.36 c choco : 422.1
8.13/8.36 c mistral : 144.09
8.13/8.36 c abscon : 38.22
8.13/8.36 c
8.13/8.36 c
8.13/8.36 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg8-10_ext.xml
8.13/8.36 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.752200 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 2.852440 | c 14 > 6.247930 | c 11 > 6.321930 | c 12 > 4.536050 | 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.169930 | 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.022400 | c 31 > -1.000000 | c 4 > 6.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.13/8.37 c choco : 506.42
8.13/8.37 c mistral : 89.79
8.13/8.37 c abscon : 69.82
8.13/8.37 c
8.13/8.37 c
8.13/8.37 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg6-6_ext.xml
8.13/8.37 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.950400 | c 34 > -1.000000 | c 16 > 6.000000 | c 13 > 6.102740 | c 14 > 7.826550 | c 11 > 5.169930 | c 12 > 7.013090 | 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.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 > 9.870360 | c 31 > -1.000000 | c 4 > 5.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.13/8.38 c choco : 10.76
8.13/8.38 c mistral : 4.42
8.13/8.38 c abscon : 4.74
8.13/8.38 c
8.13/8.38 c
8.13/8.38 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg9-9_ext.xml
8.13/8.38 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.034100 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 5.012300 | c 14 > 7.741470 | c 11 > 6.339850 | c 12 > 6.046820 | 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.169930 | 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.040300 | c 31 > -1.000000 | c 4 > 6.339850 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.13/8.39 c choco : 128.5
8.13/8.39 c mistral : 26.94
8.13/8.39 c abscon : 13.66
8.13/8.39 c
8.13/8.39 c
8.13/8.39 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-6_ext.xml
8.13/8.39 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.139200 | c 34 > -1.000000 | c 16 > 6.000000 | c 13 > 6.045130 | c 14 > 8.179910 | c 11 > 4.906890 | c 12 > 7.007490 | 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.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 > 9.607330 | c 31 > -1.000000 | c 4 > 4.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.13/8.39 c choco : 7.99
8.13/8.39 c mistral : 4.74
8.13/8.39 c abscon : 5.29
8.13/8.39 c
8.13/8.39 c
8.13/8.39 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg10-10_ext.xml
8.13/8.39 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.455800 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 4.572090 | c 14 > 6.942510 | c 11 > 6.643860 | c 12 > 5.501440 | 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.344300 | c 31 > -1.000000 | c 4 > 6.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.40 c choco : 89.14
8.19/8.40 c mistral : 1801.0
8.19/8.40 c abscon : 19.07
8.19/8.40 c
8.19/8.40 c
8.19/8.40 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg9-10_ext.xml
8.19/8.40 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.909000 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 4.246160 | c 14 > 7.285400 | c 11 > 6.491850 | c 12 > 6.158970 | 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.192300 | c 31 > -1.000000 | c 4 > 6.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.41 c choco : 64.01
8.19/8.41 c mistral : 51.8
8.19/8.41 c abscon : 9.14
8.19/8.41 c
8.19/8.41 c
8.19/8.41 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-10_ext.xml
8.19/8.41 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.948500 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 4.412020 | c 14 > 7.761550 | c 11 > 6.129280 | c 12 > 6.525800 | 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.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 > 10.829700 | c 31 > -1.000000 | c 4 > 6.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.41 c choco : 109.22
8.19/8.41 c mistral : 1801.0
8.19/8.41 c abscon : 13.55
8.19/8.41 c
8.19/8.41 c
8.19/8.41 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg8-10_ext.xml
8.19/8.41 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.922200 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 4.743700 | c 14 > 7.607330 | c 11 > 6.321930 | c 12 > 6.297370 | 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.169930 | 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.022400 | c 31 > -1.000000 | c 4 > 6.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.42 c choco : 91.35
8.19/8.42 c mistral : 1801.0
8.19/8.42 c abscon : 10.8
8.19/8.42 c
8.19/8.42 c
8.19/8.42 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-8_ext.xml
8.19/8.42 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.250000 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 5.285280 | c 14 > 8.396600 | c 11 > 5.584960 | c 12 > 7.741750 | 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.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 > 10.285400 | c 31 > -1.000000 | c 4 > 5.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.42 c choco : 1149.65
8.19/8.42 c mistral : 387.27
8.19/8.42 c abscon : 83.11
8.19/8.42 c
8.19/8.42 c
8.19/8.42 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg7-11_ext.xml
8.19/8.42 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.002900 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 4.430250 | c 14 > 6.794420 | c 11 > 6.266790 | c 12 > 5.645730 | 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.169930 | 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.967200 | c 31 > -1.000000 | c 4 > 6.266790 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.43 c choco : 71.34
8.19/8.43 c mistral : 34.14
8.19/8.43 c abscon : 33.08
8.19/8.43 c
8.19/8.43 c
8.19/8.43 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg8-11_ext.xml
8.19/8.43 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
8.19/8.43 c choco : 100.04
8.19/8.44 c mistral : 1801.0
8.19/8.44 c abscon : 25.81
8.19/8.44 c
8.19/8.44 c
8.19/8.44 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-7_ext.xml
8.19/8.44 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.116400 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 5.893840 | c 14 > 8.396600 | c 11 > 5.392320 | c 12 > 7.851300 | 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.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 > 10.092800 | c 31 > -1.000000 | c 4 > 5.392320 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.44 c choco : 1801.0
8.19/8.44 c mistral : 711.03
8.19/8.44 c abscon : 160.78
8.19/8.44 c
8.19/8.44 c
8.19/8.44 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-9_ext.xml
8.19/8.44 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.120000 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 5.652310 | c 14 > 8.199670 | c 11 > 5.754890 | c 12 > 7.535280 | 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.19/8.45 c choco : 419.03
8.19/8.45 c mistral : 108.95
8.19/8.45 c abscon : 41.83
8.19/8.45 c
8.19/8.45 c
8.19/8.45 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-7_ext.xml
8.19/8.45 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.352500 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 5.541390 | c 14 > 8.592460 | c 11 > 5.614710 | c 12 > 7.926510 | 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.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 > 10.315100 | c 31 > -1.000000 | c 4 > 5.614710 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.46 c choco : 1801.0
8.19/8.46 c mistral : 461.55
8.19/8.46 c abscon : 119.24
8.19/8.46 c
8.19/8.46 c
8.19/8.46 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg6-9_ext.xml
8.19/8.46 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.19/8.46 c choco : 1801.0
8.19/8.46 c mistral : 1801.0
8.19/8.46 c abscon : 392.65
8.19/8.46 c
8.19/8.46 c
8.19/8.46 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg10-10_ext.xml
8.19/8.46 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.142600 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 5.295870 | c 14 > 7.562240 | c 11 > 6.643860 | c 12 > 6.217230 | 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.344300 | c 31 > -1.000000 | c 4 > 6.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.47 c choco : 42.25
8.19/8.47 c mistral : 28.91
8.19/8.47 c abscon : 6.97
8.19/8.47 c
8.19/8.47 c
8.19/8.47 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg9-11_ext.xml
8.19/8.47 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.19/8.47 c choco : 74.98
8.19/8.47 c mistral : 1801.0
8.19/8.47 c abscon : 18.17
8.19/8.47 c
8.19/8.47 c
8.19/8.47 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg10-11_ext.xml
8.19/8.47 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
8.19/8.48 c choco : 54.14
8.19/8.48 c mistral : 65.23
8.19/8.48 c abscon : 11.31
8.19/8.48 c
8.19/8.48 c
8.19/8.48 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-9_ext.xml
8.19/8.48 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.311500 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 5.201180 | c 14 > 8.647460 | c 11 > 5.491850 | c 12 > 7.766420 | 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.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 > 10.192300 | c 31 > -1.000000 | c 4 > 5.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.19/8.49 c choco : 257.0
8.19/8.49 c mistral : 85.15
8.19/8.49 c abscon : 27.98
8.19/8.49 c
8.19/8.49 c
8.19/8.49 c Length: 40
8.19/8.49 c 1.4012809956964374 1.4653283226976814 1.7677475366409081 1.8868997689331568 2.2677858183258843 2.4513932850116076 2.518468036624646 2.6196917749231496 2.6369168789895525 2.9901351537179717 2.9940639405998 2.996667333188654 3.1074655579104977 3.2106974410554483 3.2399479671593494 3.2992904102852174 3.3687601534392453 3.4020449284511223 3.4682177232261537 3.504649304281385 3.5060467414454144 3.5191574237734806 3.585974036576394 3.635323747316049 3.873920878012353 3.8890713220124935 4.067168213044551 4.137241083874615 4.163102976879145 4.254215358182987 4.346756097378827 4.368973554245894 4.408919118831735 4.482082167865734 4.488551331298329 4.493308764552019 4.585508639780325 4.586668596345283 4.693332968019636 4.7261713109133066
8.19/8.49 c
8.19/8.49 c 1.0 0.9811010606381875 0.9007230795546652 0.8725580330701174 0.7932657756828226 0.759974476763199 0.7484989676321788 0.7318225770427546 0.7290584837125106 0.6766510414461173 0.6761104569878601 0.6757527167473799 0.660870767424295 0.647583105229953 0.6439146756043462 0.6365985347646321 0.6282422896218307 0.6243158418485878 0.6166537407185037 0.6125150892107273 0.6123574454595244 0.610882382441522 0.6034740016298317 0.5981166305189969 0.573501163759668 0.5720063633738575 0.5550014663611286 0.5485847849592852 0.5462538975570792 0.5381975838869036 0.530254633367293 0.5283824435715073 0.5250494091870298 0.5190525209907645 0.5185288542002325 0.5181444225491424 0.5108050485497801 0.510714036817695 0.5024813835051506 0.5
8.25/8.51 c
8.25/8.51 c solver 0
8.25/8.51 c before 0.0 seconds: {} 0
8.25/8.51 c before 18.0 seconds: {0, 2, 10, 17, 19, 22, 23, 24, 26, 27, 28, 36, 38} 8251
8.25/8.51 c before 36.0 seconds: {0, 2, 3, 10, 12, 17, 19, 22, 23, 24, 25, 26, 27, 28, 30, 31, 36, 37, 38, 39} 12426
8.25/8.51 c before 54.0 seconds: {0, 2, 3, 6, 10, 12, 14, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 30, 31, 33, 36, 37, 38, 39} 15567
8.25/8.51 c before 72.0 seconds: {0, 2, 3, 6, 10, 12, 14, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 33, 36, 37, 38, 39} 16178
8.25/8.51 c before 90.0 seconds: {0, 2, 3, 6, 7, 10, 12, 14, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 36, 37, 38, 39} 17448
8.25/8.51 c before 108.0 seconds: {0, 2, 3, 6, 7, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 36, 37, 38, 39} 19360
8.25/8.51 c before 126.0 seconds: {0, 2, 3, 6, 7, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 36, 37, 38, 39} 19879
8.25/8.51 c before 162.0 seconds: {0, 2, 3, 6, 7, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 20404
8.25/8.51 c before 396.0 seconds: {0, 2, 3, 6, 7, 10, 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} 20922
8.25/8.51 c
8.25/8.51 c solver 1
8.25/8.51 c before 0.0 seconds: {} 0
8.25/8.51 c before 18.0 seconds: {2, 22, 24} 2077
8.25/8.51 c before 36.0 seconds: {2, 10, 22, 23, 24, 30, 36} 4392
8.25/8.51 c before 54.0 seconds: {2, 10, 17, 18, 22, 23, 24, 26, 30, 36} 6188
8.25/8.51 c before 72.0 seconds: {0, 2, 10, 12, 17, 18, 22, 23, 24, 26, 30, 36, 38} 8352
8.25/8.51 c before 90.0 seconds: {0, 2, 10, 12, 15, 17, 18, 21, 22, 23, 24, 26, 30, 36, 38, 39} 10099
8.25/8.51 c before 126.0 seconds: {0, 2, 7, 10, 12, 15, 17, 18, 21, 22, 23, 24, 26, 30, 33, 36, 38, 39} 11350
8.25/8.51 c before 144.0 seconds: {0, 2, 7, 10, 12, 13, 15, 17, 18, 21, 22, 23, 24, 26, 30, 33, 36, 38, 39} 11998
8.25/8.51 c before 162.0 seconds: {0, 2, 7, 10, 12, 13, 15, 17, 18, 19, 20, 21, 22, 23, 24, 26, 30, 33, 36, 38, 39} 13223
8.25/8.51 c before 180.0 seconds: {0, 2, 3, 7, 10, 12, 13, 15, 17, 18, 19, 20, 21, 22, 23, 24, 26, 30, 33, 36, 38, 39} 14095
8.25/8.51 c before 216.0 seconds: {0, 2, 3, 7, 10, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 26, 30, 33, 36, 38, 39} 14739
8.25/8.51 c before 270.0 seconds: {0, 2, 3, 7, 9, 10, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 26, 30, 33, 36, 38, 39} 15416
8.25/8.51 c before 306.0 seconds: {0, 2, 3, 7, 8, 9, 10, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 26, 30, 33, 36, 38, 39} 16145
8.25/8.51 c before 396.0 seconds: {0, 2, 3, 7, 8, 9, 10, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 26, 29, 30, 33, 36, 38, 39} 16683
8.25/8.51 c before 450.0 seconds: {0, 2, 3, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 29, 30, 33, 36, 38, 39} 17311
8.25/8.51 c before 468.0 seconds: {0, 2, 3, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 29, 30, 33, 34, 36, 38, 39} 17830
8.25/8.51 c before 630.0 seconds: {0, 2, 3, 4, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 29, 30, 33, 34, 36, 38, 39} 18623
8.25/8.51 c before 666.0 seconds: {0, 2, 3, 4, 5, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 29, 30, 33, 34, 36, 38, 39} 19383
8.25/8.51 c before 702.0 seconds: {0, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 29, 30, 33, 34, 36, 38, 39} 20059
8.25/8.51 c before 720.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 29, 30, 32, 33, 34, 36, 38, 39} 21565
8.25/8.51 c
8.25/8.51 c solver 2
8.25/8.51 c before 0.0 seconds: {} 0
8.25/8.51 c before 18.0 seconds: {2, 22, 24} 2077
8.25/8.51 c before 36.0 seconds: {2, 10, 22, 24} 2753
8.25/8.51 c before 54.0 seconds: {2, 10, 22, 24, 36} 3264
8.25/8.51 c before 72.0 seconds: {2, 10, 17, 22, 24, 26, 30, 36, 38} 5476
8.25/8.51 c before 90.0 seconds: {2, 10, 17, 22, 24, 25, 26, 30, 36, 37, 38} 6559
8.25/8.51 c before 108.0 seconds: {2, 10, 17, 18, 22, 24, 25, 26, 28, 30, 31, 36, 37, 38} 8250
8.25/8.51 c before 126.0 seconds: {2, 6, 10, 17, 18, 22, 24, 25, 26, 27, 28, 30, 31, 36, 37, 38} 9547
8.25/8.51 c before 144.0 seconds: {2, 6, 10, 17, 18, 22, 23, 24, 25, 26, 27, 28, 30, 31, 36, 37, 38} 10145
8.25/8.51 c before 270.0 seconds: {2, 6, 10, 12, 17, 18, 22, 23, 24, 25, 26, 27, 28, 30, 31, 36, 37, 38, 39} 11306
8.25/8.51 c before 306.0 seconds: {2, 6, 10, 12, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 30, 31, 36, 37, 38, 39} 11919
8.25/8.51 c before 378.0 seconds: {2, 3, 6, 10, 12, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 30, 31, 36, 37, 38, 39} 12791
8.25/8.51 c before 432.0 seconds: {2, 3, 6, 10, 12, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 30, 31, 33, 36, 37, 38, 39} 13923
8.25/8.51 c before 468.0 seconds: {2, 3, 6, 10, 12, 15, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 30, 31, 33, 36, 37, 38, 39} 14559
8.25/8.51 c before 522.0 seconds: {2, 3, 6, 10, 12, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 33, 36, 37, 38, 39} 15170
8.25/8.51 c before 576.0 seconds: {2, 3, 6, 7, 10, 12, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 33, 36, 37, 38, 39} 15902
8.25/8.52 c before 684.0 seconds: {2, 3, 6, 7, 10, 12, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 33, 36, 37, 38, 39} 16546
8.25/8.52 c before 792.0 seconds: {2, 3, 6, 7, 10, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 33, 36, 37, 38, 39} 17194
8.25/8.52 c before 1080.0 seconds: {2, 3, 6, 7, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 33, 36, 37, 38, 39} 17822
8.25/8.52 c before 1152.0 seconds: {2, 3, 6, 7, 8, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 36, 37, 38, 39} 19089
8.25/8.52 c
8.25/8.52 cTotal time: 126
8.25/8.52 c run abscon for 396.0 seconds {0, 2, 3, 6, 7, 10, 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} 20922
8.25/8.52 c run mistral for 720.0 seconds {0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 29, 30, 32, 33, 34, 36, 38, 39} 21565
8.25/8.52 c run choco for 684.0 seconds {2, 3, 6, 7, 10, 12, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 33, 36, 37, 38, 39} 16546
8.25/8.52 c Starting solver: HOME/cpHydra_k_40/solver/abscon
8.25/8.52 c On Instance: HOME/instance-1107655-1215477920.xml
8.25/8.52 c Running for: 396 seconds
12.94/13.27 s SAT
12.94/13.27 v 0 14 17 8 18 19 4 18 19 14 10 4 17 18 19 4 19 4 17 0 18 0 17 0 1 8 2 0 1 0 13 0 13 4 17 11 8 6 13 4 13 19 4 18 18 0 17 19 0
12.94/13.27 d ASSIGNMENTS 2296
12.94/13.27 d CHECKS 3562