0.00/0.00 c cpHydra_k_40 version 0.0
17.58/17.89 c CASE TO CLASSIFY:
17.58/17.89 c Case: 0
17.58/17.89 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 8.055280 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 1.578720 | c 14 > 3.700440 | c 11 > 4.523560 | c 12 > 3.842760 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | 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 > 6.108520 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
17.68/17.90 c choco : 1801.0
17.68/17.90 c mistral : 1801.0
17.68/17.90 c abscon : 1801.0
17.68/17.90 c
17.68/17.90 c
17.68/17.98 c List of same ones: 40
17.68/17.98 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg11-14_ext.xml
17.68/17.98 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
17.68/17.98 c choco : 4.62
17.68/17.99 c mistral : 0.79
17.68/17.99 c abscon : 3.74
17.68/17.99 c
17.68/17.99 c
17.68/17.99 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-3_ext.xml
17.68/17.99 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.544000 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.161690 | c 14 > 6.894820 | c 11 > 4.321930 | c 12 > 7.027910 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 0.000000 | c 10 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c
17.68/17.99 c choco : 17.53
17.68/17.99 c mistral : 0.372942
17.68/17.99 c abscon : 3.39048
17.68/17.99 c
17.68/17.99 c
17.68/17.99 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg11-13_ext.xml
17.68/17.99 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
17.78/18.01 c choco : 3.73
17.78/18.01 c mistral : 0.39
17.78/18.01 c abscon : 3.71
17.78/18.01 c
17.78/18.01 c
17.78/18.01 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg10-13_ext.xml
17.78/18.01 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
17.78/18.01 c choco : 4.84
17.78/18.01 c mistral : 0.74
17.78/18.01 c abscon : 4.34
17.78/18.01 c
17.78/18.01 c
17.78/18.01 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg13-13_ext.xml
17.78/18.01 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
17.78/18.03 c choco : 1801.0
17.78/18.03 c mistral : 1801.0
17.78/18.03 c abscon : 1174.08
17.78/18.03 c
17.78/18.03 c
17.78/18.03 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg12-13_ext.xml
17.78/18.03 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
17.78/18.04 c choco : 5.15
17.78/18.04 c mistral : 0.67
17.78/18.04 c abscon : 4.23
17.78/18.04 c
17.78/18.04 c
17.78/18.04 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg12-12_ext.xml
17.78/18.04 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
17.78/18.04 c choco : 3.76
17.78/18.04 c mistral : 0.36
17.78/18.04 c abscon : 3.19
17.78/18.04 c
17.78/18.04 c
17.78/18.04 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg10-14_ext.xml
17.78/18.04 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
17.78/18.05 c choco : 7.01
17.78/18.05 c mistral : 2.5
17.78/18.05 c abscon : 4.33
17.78/18.05 c
17.78/18.05 c
17.78/18.05 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg13-13_ext.xml
17.78/18.05 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
17.78/18.06 c choco : 3.1
17.78/18.06 c mistral : 0.32
17.78/18.06 c abscon : 3.73
17.78/18.06 c
17.78/18.06 c
17.78/18.06 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg10-14_ext.xml
17.78/18.06 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
17.78/18.07 c choco : 3.12
17.78/18.07 c mistral : 0.14
17.78/18.07 c abscon : 3.47
17.78/18.07 c
17.78/18.07 c
17.78/18.07 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-5_ext.xml
17.78/18.07 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.879600 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.378470 | c 14 > 7.321930 | c 11 > 4.321930 | c 12 > 7.438790 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
17.96/18.29 c choco : 18.94
17.96/18.29 c mistral : 0.335948
17.96/18.29 c abscon : 4.94625
17.96/18.29 c
17.96/18.29 c
17.96/18.29 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg13-15_ext.xml
17.96/18.29 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
18.05/18.31 c choco : 496.99
18.05/18.31 c mistral : 194.64
18.05/18.31 c abscon : 171.97
18.05/18.31 c
18.05/18.31 c
18.05/18.31 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg13-14_ext.xml
18.05/18.31 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
18.05/18.32 c choco : 1801.0
18.05/18.32 c mistral : 530.74
18.05/18.32 c abscon : 514.87
18.05/18.32 c
18.05/18.32 c
18.05/18.32 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-9_ext.xml
18.05/18.32 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.692600 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.745710 | c 14 > 7.228820 | c 11 > 4.321930 | c 12 > 7.353150 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
18.05/18.32 c choco : 19.8
18.05/18.32 c mistral : 0.338947
18.05/18.32 c abscon : 21.2268
18.05/18.32 c
18.05/18.32 c
18.05/18.32 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg12-15_ext.xml
18.05/18.32 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
18.05/18.33 c choco : 1801.0
18.05/18.33 c mistral : 931.64
18.05/18.33 c abscon : 754.37
18.05/18.33 c
18.05/18.33 c
18.05/18.33 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg6-9_ext.xml
18.05/18.33 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
18.05/18.33 c choco : 1801.0
18.05/18.33 c mistral : 1801.0
18.05/18.33 c abscon : 392.65
18.05/18.33 c
18.05/18.33 c
18.05/18.33 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-13_ext.xml
18.05/18.34 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.730500 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.610230 | c 14 > 7.348730 | c 11 > 4.321930 | c 12 > 7.463520 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 0.000000 | c 10 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c
18.05/18.34 c choco : 17.39
18.05/18.34 c mistral : 0.360944
18.05/18.34 c abscon : 3.55346
18.05/18.34 c
18.05/18.34 c
18.05/18.34 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg12-16_ext.xml
18.05/18.34 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
18.05/18.35 c choco : 101.69
18.05/18.35 c mistral : 52.88
18.05/18.35 c abscon : 59.37
18.05/18.35 c
18.05/18.35 c
18.05/18.35 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg11-12_ext.xml
18.05/18.35 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
18.05/18.36 c choco : 5.64
18.05/18.36 c mistral : 1.5
18.05/18.36 c abscon : 3.88
18.05/18.36 c
18.05/18.36 c
18.05/18.36 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg5-9_ext.xml
18.05/18.36 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
18.05/18.37 c choco : 29.71
18.05/18.37 c mistral : 26.53
18.05/18.37 c abscon : 8.02
18.05/18.37 c
18.05/18.37 c
18.05/18.37 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-15_ext.xml
18.05/18.37 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.884900 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.563780 | c 14 > 7.475730 | c 11 > 4.321930 | c 12 > 7.629360 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
18.05/18.38 c choco : 19.01
18.05/18.38 c mistral : 0.372942
18.05/18.38 c abscon : 4.08338
18.05/18.38 c
18.05/18.38 c
18.05/18.38 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg14-14_ext.xml
18.05/18.38 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
18.05/18.38 c choco : 492.67
18.05/18.38 c mistral : 399.64
18.05/18.38 c abscon : 242.1
18.05/18.38 c
18.05/18.38 c
18.05/18.38 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg13-16_ext.xml
18.05/18.38 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
18.05/18.39 c choco : 57.44
18.05/18.39 c mistral : 45.26
18.05/18.39 c abscon : 26.95
18.05/18.39 c
18.05/18.39 c
18.05/18.39 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg14-15_ext.xml
18.05/18.39 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
18.05/18.40 c choco : 198.21
18.05/18.40 c mistral : 116.61
18.05/18.40 c abscon : 77.5
18.05/18.40 c
18.05/18.40 c
18.05/18.40 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-17_ext.xml
18.05/18.40 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.660000 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.695210 | c 14 > 7.312880 | c 11 > 4.321930 | c 12 > 7.471680 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
18.11/18.40 c choco : 19.83
18.11/18.40 c mistral : 0.362944
18.11/18.40 c abscon : 3.61945
18.11/18.40 c
18.11/18.40 c
18.11/18.40 c /home/eomahony/cpZilla/CSP/cril/cril-0_ext.xml
18.11/18.40 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 9.022370 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 3.540390 | c 14 > 6.820180 | c 11 > 6.741470 | c 12 > 2.168430 | c 21 > 1.726700 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.571429 | c 27 > 2.857140 | c 28 > 6.571430 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 4.459430 | 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 > 8.321930 | c 31 > -1.000000 | c 4 > 6.409390 | c 9 > -1.000000 | c 8 > -1.000000 | c
18.11/18.41 c choco : 1.39
18.11/18.41 c mistral : 0.14
18.11/18.41 c abscon : 0.987849
18.11/18.41 c
18.11/18.41 c
18.11/18.41 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-1_ext.xml
18.11/18.41 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.802500 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.831110 | c 14 > 7.417850 | c 11 > 4.321930 | c 12 > 7.558420 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 0.000000 | c 10 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c
18.11/18.41 c choco : 17.5
18.11/18.42 c mistral : 0.370943
18.11/18.42 c abscon : 3.36349
18.11/18.42 c
18.11/18.42 c
18.11/18.42 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg9-13_ext.xml
18.11/18.42 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
18.11/18.42 c choco : 6.72
18.11/18.42 c mistral : 1.44
18.11/18.42 c abscon : 3.61
18.11/18.42 c
18.11/18.42 c
18.11/18.42 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg11-13_ext.xml
18.11/18.42 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
18.11/18.43 c choco : 8.05
18.11/18.43 c mistral : 5.3
18.11/18.43 c abscon : 4.33
18.11/18.43 c
18.11/18.43 c
18.11/18.43 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-19_ext.xml
18.11/18.43 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.839200 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.996420 | c 14 > 7.400880 | c 11 > 4.321930 | c 12 > 7.554590 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
18.11/18.43 c choco : 16.19
18.11/18.43 c mistral : 0.367943
18.11/18.43 c abscon : 18.0253
18.11/18.43 c
18.11/18.43 c
18.11/18.43 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-7_ext.xml
18.11/18.43 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.687400 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 7.246250 | c 14 > 7.285400 | c 11 > 4.321930 | c 12 > 7.442940 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
18.11/18.44 c choco : 15.04
18.11/18.44 c mistral : 0.364943
18.11/18.44 c abscon : 13.8239
18.11/18.44 c
18.11/18.44 c
18.11/18.44 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-11_ext.xml
18.11/18.44 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.961400 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.976610 | c 14 > 7.467610 | c 11 > 4.321930 | c 12 > 7.614710 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
18.11/18.44 c choco : 17.79
18.11/18.44 c mistral : 0.368943
18.11/18.44 c abscon : 12.0622
18.11/18.44 c
18.11/18.44 c
18.11/18.44 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg15-15_ext.xml
18.11/18.45 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
18.11/18.45 c choco : 95.26
18.11/18.45 c mistral : 92.1
18.11/18.45 c abscon : 33.25
18.11/18.45 c
18.11/18.45 c
18.11/18.45 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg5-8_ext.xml
18.11/18.45 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 9.105910 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > -0.434535 | c 14 > 3.807350 | c 11 > 5.321930 | c 12 > 0.963474 | 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
18.11/18.46 c choco : 3.46
18.11/18.46 c mistral : 1.32
18.11/18.46 c abscon : 6.93
18.11/18.46 c
18.11/18.46 c
18.11/18.46 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg11-14_ext.xml
18.11/18.46 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
18.11/18.47 c choco : 2.91
18.11/18.47 c mistral : 0.06
18.11/18.47 c abscon : 3.04
18.11/18.47 c
18.11/18.47 c
18.11/18.47 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg11-15_ext.xml
18.11/18.47 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
18.11/18.47 c choco : 2.54
18.11/18.47 c mistral : 0.13
18.11/18.47 c abscon : 3.49
18.11/18.47 c
18.11/18.47 c
18.11/18.47 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg6-8_ext.xml
18.11/18.47 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
18.11/18.48 c choco : 297.08
18.11/18.48 c mistral : 157.04
18.11/18.48 c abscon : 14.11
18.11/18.48 c
18.11/18.48 c
18.11/18.48 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg14-16_ext.xml
18.11/18.48 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
18.11/18.48 c choco : 42.95
18.11/18.48 c mistral : 30.16
18.11/18.48 c abscon : 11.33
18.11/18.48 c
18.11/18.48 c
18.11/18.48 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg12-14_ext.xml
18.11/18.48 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
18.11/18.49 c choco : 2.66
18.11/18.49 c mistral : 0.16
18.11/18.49 c abscon : 3.28
18.11/18.49 c
18.11/18.49 c
18.11/18.49 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg12-13_ext.xml
18.11/18.49 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
18.11/18.50 c choco : 2.27
18.11/18.50 c mistral : 0.08
18.11/18.50 c abscon : 2.53
18.11/18.50 c
18.11/18.50 c
18.18/18.50 c Length: 40
18.18/18.50 c 9.08878640253472 9.106454604636209 9.124466648517052 9.195073690243053 9.29052428164848 9.36901908181961 9.483295105990324 9.499638927601406 9.550578278690773 9.554123466990575 9.560680831719049 9.568729537650231 9.613401189599859 9.631778583371817 9.642985387094235 9.695662339696035 9.709466923075643 9.713583313510004 9.740747878828401 9.744031236557076 9.787458278439813 9.82208724032219 9.85525279665621 9.86229130709492 9.879870024377851 9.895811254472317 9.90661470353521 9.91934376365695 9.925626501561501 9.945764669395713 9.960311194405525 10.01736189712641 10.085586168170892 10.090326696069905 10.172961444486065 10.178276836360318 10.228927855156668 10.230777531243653 10.24784697904882 10.269103399591417
18.18/18.50 c
18.18/18.50 c 1.0 0.9852517359029936 0.9706576259226048 0.9173892944653573 0.8540304856253196 0.8081320451990219 0.7494905605571028 0.7417921099202475 0.7187812064783696 0.7172327554503436 0.7143861725627063 0.7109229295968362 0.6922957317407546 0.6849130801353153 0.6804878188305213 0.6604306532652813 0.6553684752609436 0.6538739698391297 0.6441799181859352 0.6430276425844157 0.6281660386823905 0.6167987022094275 0.6062908705741389 0.6041067489723189 0.5987200093887521 0.5939174468921907 0.5907062905807344 0.5869670535386439 0.5851388567347611 0.5793549015506786 0.5752475670522573 0.5596857126339895 0.5421468509556496 0.5409689268616222 0.5212281503863152 0.5200075482165009 0.5086568118555006 0.5082516759775639 0.5045431786605853 0.5
18.18/18.52 c
18.18/18.52 c solver 0
18.18/18.52 c before 0.0 seconds: {} 0
18.18/18.52 c before 18.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 16, 18, 19, 20, 24, 25, 26, 27, 28, 30, 31, 33, 34, 35, 36, 37, 38, 39} 18587
18.18/18.52 c before 36.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 13, 16, 18, 19, 20, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21000
18.18/18.52 c before 72.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 13, 16, 17, 18, 19, 20, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21654
18.18/18.52 c before 90.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 13, 16, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22258
18.18/18.52 c before 180.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 13, 16, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22969
18.18/18.52 c before 252.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23586
18.18/18.52 c before 396.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 13, 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} 24246
18.18/18.52 c before 522.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 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} 24939
18.18/18.52 c before 756.0 seconds: {0, 1, 2, 3, 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} 25619
18.18/18.52 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} 26473
18.18/18.52 c
18.18/18.52 c solver 1
18.18/18.52 c before 0.0 seconds: {} 0
18.18/18.52 c before 18.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 13, 16, 18, 20, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 38, 39} 18192
18.18/18.52 c before 36.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 13, 16, 18, 19, 20, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 37, 38, 39} 19343
18.18/18.52 c before 54.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 13, 16, 17, 18, 19, 20, 22, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 37, 38, 39} 20603
18.18/18.52 c before 108.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 13, 16, 17, 18, 19, 20, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 21145
18.18/18.52 c before 126.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 13, 16, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 21749
18.18/18.52 c before 162.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 13, 16, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22258
18.18/18.52 c before 198.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 13, 16, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22969
18.18/18.52 c before 414.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23586
18.18/18.52 c before 540.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24278
18.18/18.52 c before 936.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24959
18.18/18.52 c
18.18/18.52 c solver 2
18.18/18.52 c before 0.0 seconds: {} 0
18.18/18.52 c before 18.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 16, 18, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 38, 39} 15566
18.18/18.52 c before 36.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 13, 16, 18, 19, 20, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 38, 39} 18835
18.18/18.52 c before 54.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 13, 16, 18, 19, 20, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 37, 38, 39} 19343
18.18/18.52 c before 72.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 13, 16, 18, 19, 20, 22, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 37, 38, 39} 19949
18.18/18.52 c before 108.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 13, 16, 17, 18, 19, 20, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 21145
18.18/18.52 c before 216.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 13, 16, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 21749
18.18/18.52 c before 306.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 13, 16, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22258
18.18/18.52 c before 504.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23586
18.18/18.52 c
18.18/18.52 cTotal time: 146
18.18/18.52 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} 26473
18.18/18.52 c run mistral for 540.0 seconds {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24278
18.18/18.53 c run choco for 72.0 seconds {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 13, 16, 18, 19, 20, 22, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 37, 38, 39} 19949
18.18/18.53 c Starting solver: HOME/cpHydra_k_40/solver/abscon
18.18/18.53 c On Instance: HOME/instance-1094776-1215252987.xml
18.18/18.53 c Running for: 1188 seconds
191.00/191.50 s UNSATISFIABLE
191.00/191.50 d ASSIGNMENTS 51744
191.00/191.50 d CHECKS 743