0.00/0.00 c cpHydra_k_40 version 0.0
9.61/9.76 c CASE TO CLASSIFY:
9.61/9.76 c Case: 0
9.61/9.76 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.529300 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 12.244900 | c 14 > 12.956700 | c 11 > 4.321930 | c 12 > 13.505700 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.61/9.77 c choco : 1801.0
9.61/9.77 c mistral : 1801.0
9.61/9.77 c abscon : 1801.0
9.61/9.77 c
9.61/9.77 c
9.71/9.85 c List of same ones: 40
9.71/9.85 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-13_ext.xml
9.71/9.85 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.376900 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.847200 | c 14 > 12.758000 | c 11 > 4.321930 | c 12 > 13.525400 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.71/9.85 c choco : 1801.0
9.71/9.85 c mistral : 0.394939
9.71/9.85 c abscon : 54.6227
9.71/9.85 c
9.71/9.85 c
9.71/9.85 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-15_ext.xml
9.71/9.85 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.235400 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 12.017500 | c 14 > 12.640000 | c 11 > 4.321930 | c 12 > 13.456800 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.71/9.86 c choco : 1801.0
9.71/9.86 c mistral : 0.400938
9.71/9.86 c abscon : 23.1755
9.71/9.86 c
9.71/9.86 c
9.71/9.86 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-5_ext.xml
9.71/9.86 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.266900 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.746800 | c 14 > 12.757400 | c 11 > 4.321930 | c 12 > 13.701400 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.71/9.87 c choco : 1801.0
9.71/9.87 c mistral : 0.364944
9.71/9.87 c abscon : 238.94
9.71/9.87 c
9.71/9.87 c
9.71/9.87 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-17_ext.xml
9.71/9.87 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.168900 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.906000 | c 14 > 12.528900 | c 11 > 4.321930 | c 12 > 13.384000 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.71/9.88 c choco : 1801.0
9.71/9.88 c mistral : 0.372942
9.71/9.88 c abscon : 17.1624
9.71/9.88 c
9.71/9.88 c
9.71/9.88 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-19_ext.xml
9.71/9.88 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.154200 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.865400 | c 14 > 12.509500 | c 11 > 4.321930 | c 12 > 13.544000 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.71/9.89 c choco : 1801.0
9.71/9.89 c mistral : 0.39294
9.71/9.89 c abscon : 110.339
9.71/9.89 c
9.71/9.89 c
9.71/9.89 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-7_ext.xml
9.71/9.89 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.026400 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 12.432000 | c 14 > 12.470400 | c 11 > 4.321930 | c 12 > 13.399000 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.71/9.90 c choco : 1801.0
9.71/9.90 c mistral : 0.400938
9.71/9.90 c abscon : 22.6236
9.71/9.90 c
9.71/9.90 c
9.71/9.90 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-11_ext.xml
9.71/9.90 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.033000 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.993700 | c 14 > 12.472200 | c 11 > 4.321930 | c 12 > 13.306700 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.79/9.91 c choco : 1801.0
9.79/9.91 c mistral : 0.378941
9.79/9.91 c abscon : 108.028
9.79/9.91 c
9.79/9.91 c
9.79/9.91 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-1_ext.xml
9.79/9.91 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.985200 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.789600 | c 14 > 12.374200 | c 11 > 4.321930 | c 12 > 13.244200 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.79/9.92 c choco : 1801.0
9.79/9.92 c mistral : 0.395938
9.79/9.92 c abscon : 283.768
9.79/9.92 c
9.79/9.92 c
9.79/9.92 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-3_ext.xml
9.79/9.92 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 17.980300 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.568500 | c 14 > 12.435100 | c 11 > 4.321930 | c 12 > 13.097600 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.79/9.92 c choco : 1801.0
9.79/9.92 c mistral : 0.381941
9.79/9.92 c abscon : 114.395
9.79/9.93 c
9.79/9.93 c
9.79/9.93 c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-9_ext.xml
9.79/9.93 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.071500 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.387400 | c 14 > 12.391200 | c 11 > 4.321930 | c 12 > 13.208400 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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 > 6.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.79/9.93 c choco : 1801.0
9.79/9.93 c mistral : 0.376941
9.79/9.93 c abscon : 120.175
9.79/9.93 c
9.79/9.93 c
9.79/9.93 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-6_ext.xml
9.79/9.93 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.160400 | c 34 > -1.000000 | c 16 > 6.000000 | c 13 > 6.896720 | c 14 > 9.945440 | c 11 > 4.906890 | c 12 > 9.893550 | 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
9.97/10.16 c choco : 195.58
9.97/10.16 c mistral : 69.51
9.97/10.16 c abscon : 19.8
9.97/10.16 c
9.97/10.16 c
9.97/10.16 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-7_ext.xml
9.97/10.16 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.530000 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 6.792590 | c 14 > 9.174930 | c 11 > 5.129280 | c 12 > 8.975560 | 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
9.97/10.17 c choco : 1801.0
9.97/10.17 c mistral : 492.76
9.97/10.17 c abscon : 95.65
9.97/10.17 c
9.97/10.17 c
9.97/10.17 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-6_ext.xml
9.97/10.17 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.860800 | c 34 > -1.000000 | c 16 > 6.000000 | c 13 > 6.508230 | c 14 > 9.364130 | c 11 > 5.169930 | c 12 > 8.629960 | 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
9.97/10.18 c choco : 15.86
9.97/10.18 c mistral : 34.19
9.97/10.18 c abscon : 6.11
9.97/10.18 c
9.97/10.18 c
9.97/10.18 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-8_ext.xml
9.97/10.18 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.480800 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 5.882850 | c 14 > 8.894820 | c 11 > 5.321930 | c 12 > 8.183640 | 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
9.97/10.19 c choco : 952.36
9.97/10.19 c mistral : 331.59
9.97/10.19 c abscon : 52.73
9.97/10.19 c
9.97/10.19 c
9.97/10.19 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-7_ext.xml
9.97/10.19 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
9.97/10.19 c choco : 1801.0
9.97/10.19 c mistral : 711.03
9.97/10.19 c abscon : 160.78
9.97/10.19 c
9.97/10.19 c
9.97/10.19 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-7_ext.xml
9.97/10.19 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
10.06/10.20 c choco : 1801.0
10.06/10.20 c mistral : 461.55
10.06/10.20 c abscon : 119.24
10.06/10.20 c
10.06/10.20 c
10.06/10.20 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-9_ext.xml
10.06/10.20 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
10.06/10.21 c choco : 257.0
10.06/10.21 c mistral : 85.15
10.06/10.21 c abscon : 27.98
10.06/10.21 c
10.06/10.21 c
10.06/10.21 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-8_ext.xml
10.06/10.21 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
10.06/10.22 c choco : 1149.65
10.06/10.22 c mistral : 387.27
10.06/10.22 c abscon : 83.11
10.06/10.22 c
10.06/10.22 c
10.06/10.22 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-9_ext.xml
10.06/10.22 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
10.06/10.23 c choco : 419.03
10.06/10.23 c mistral : 108.95
10.06/10.23 c abscon : 41.83
10.06/10.23 c
10.06/10.23 c
10.06/10.23 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-6_ext.xml
10.06/10.23 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
10.06/10.24 c choco : 7.99
10.06/10.24 c mistral : 4.74
10.06/10.24 c abscon : 5.29
10.06/10.24 c
10.06/10.24 c
10.06/10.24 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg6-6_ext.xml
10.06/10.24 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
10.06/10.24 c choco : 10.76
10.06/10.24 c mistral : 4.42
10.06/10.24 c abscon : 4.74
10.06/10.25 c
10.06/10.25 c
10.06/10.25 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-11_ext.xml
10.06/10.25 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
10.06/10.25 c choco : 17.79
10.06/10.25 c mistral : 0.368943
10.06/10.25 c abscon : 12.0622
10.06/10.25 c
10.06/10.25 c
10.06/10.25 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-7_ext.xml
10.06/10.25 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
10.06/10.26 c choco : 61.64
10.06/10.26 c mistral : 39.17
10.06/10.26 c abscon : 7.89
10.06/10.26 c
10.06/10.26 c
10.06/10.26 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-19_ext.xml
10.06/10.26 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
10.06/10.26 c choco : 16.19
10.06/10.26 c mistral : 0.367943
10.06/10.26 c abscon : 18.0253
10.06/10.26 c
10.06/10.26 c
10.06/10.26 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-15_ext.xml
10.06/10.26 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
10.06/10.27 c choco : 19.01
10.06/10.27 c mistral : 0.372942
10.06/10.27 c abscon : 4.08338
10.06/10.27 c
10.06/10.27 c
10.06/10.27 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-7_ext.xml
10.06/10.27 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
10.06/10.27 c choco : 15.04
10.06/10.27 c mistral : 0.364943
10.06/10.27 c abscon : 13.8239
10.06/10.27 c
10.06/10.27 c
10.06/10.27 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-1_ext.xml
10.06/10.27 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
10.06/10.28 c choco : 17.5
10.06/10.28 c mistral : 0.370943
10.06/10.28 c abscon : 3.36349
10.06/10.28 c
10.06/10.28 c
10.06/10.28 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-10_ext.xml
10.06/10.28 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.317900 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 4.604050 | c 14 > 8.204570 | c 11 > 5.906890 | c 12 > 7.565550 | 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
10.06/10.28 c choco : 113.92
10.06/10.28 c mistral : 1801.0
10.06/10.28 c abscon : 16.64
10.06/10.28 c
10.06/10.28 c
10.06/10.28 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-8_ext.xml
10.06/10.28 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
10.06/10.29 c choco : 1078.47
10.06/10.29 c mistral : 441.78
10.06/10.29 c abscon : 97.35
10.06/10.29 c
10.06/10.29 c
10.06/10.29 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-8_ext.xml
10.06/10.29 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
10.06/10.30 c choco : 1801.0
10.06/10.30 c mistral : 693.86
10.06/10.30 c abscon : 1801.0
10.06/10.30 c
10.06/10.30 c
10.06/10.30 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-5_ext.xml
10.06/10.30 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
10.12/10.30 c choco : 18.94
10.12/10.30 c mistral : 0.335948
10.12/10.30 c abscon : 4.94625
10.12/10.30 c
10.12/10.30 c
10.12/10.30 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-13_ext.xml
10.12/10.30 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
10.12/10.31 c choco : 17.39
10.12/10.31 c mistral : 0.360944
10.12/10.31 c abscon : 3.55346
10.12/10.31 c
10.12/10.31 c
10.12/10.31 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-9_ext.xml
10.12/10.31 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
10.12/10.31 c choco : 19.8
10.12/10.31 c mistral : 0.338947
10.12/10.31 c abscon : 21.2268
10.12/10.31 c
10.12/10.31 c
10.12/10.31 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-17_ext.xml
10.12/10.31 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
10.12/10.32 c choco : 19.83
10.12/10.32 c mistral : 0.362944
10.12/10.32 c abscon : 3.61945
10.12/10.32 c
10.12/10.32 c
10.12/10.32 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg4-8_ext.xml
10.12/10.32 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.725000 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 6.965660 | c 14 > 9.483820 | c 11 > 5.000000 | c 12 > 9.495110 | 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 > 6.666670 | c 28 > 3.333330 | 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.700440 | c 31 > -1.000000 | c 4 > 5.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.12/10.33 c choco : 1801.0
10.12/10.33 c mistral : 85.4
10.12/10.33 c abscon : 10.28
10.12/10.33 c
10.12/10.33 c
10.12/10.33 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-9_ext.xml
10.12/10.33 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
10.12/10.33 c choco : 422.1
10.12/10.33 c mistral : 144.09
10.12/10.33 c abscon : 38.22
10.12/10.33 c
10.12/10.33 c
10.12/10.33 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg8-11_ext.xml
10.12/10.33 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.985300 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 5.468270 | c 14 > 7.554590 | c 11 > 6.459430 | c 12 > 6.648930 | 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
10.12/10.34 c choco : 37.76
10.12/10.34 c mistral : 19.41
10.12/10.34 c abscon : 7.14
10.12/10.34 c
10.12/10.34 c
10.12/10.34 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-3_ext.xml
10.12/10.34 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
10.12/10.34 c choco : 17.53
10.12/10.34 c mistral : 0.372942
10.12/10.34 c abscon : 3.39048
10.12/10.34 c
10.12/10.34 c
10.12/10.34 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg9-9_ext.xml
10.12/10.34 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
10.12/10.35 c choco : 128.5
10.12/10.35 c mistral : 26.94
10.12/10.35 c abscon : 13.66
10.12/10.35 c
10.12/10.35 c
10.12/10.35 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-9_ext.xml
10.12/10.35 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
10.12/10.36 c choco : 1801.0
10.12/10.36 c mistral : 256.55
10.12/10.36 c abscon : 1801.0
10.12/10.36 c
10.12/10.36 c
10.12/10.36 c Length: 40
10.12/10.36 c 0.4703837050749092 0.4906914203448024 0.628471439287418 0.6652556651393489 0.6972624971988673 0.7319749995730732 0.7640395146849384 0.9544796488139488 1.0943171980737565 1.1632130630284372 9.31097832838204 10.135873167571702 10.454345519797018 11.163339241786034 11.685488598963246 11.813045731292162 12.013758541031194 12.090636188460058 12.225252465237679 12.374120917067199 12.639167055866457 12.64882192421492 12.680841662803772 12.770977266955727 12.861384594167921 12.865979708840673 12.891775248320146 12.95062527017904 12.9872319004744 13.003344480713414 13.10044941458498 13.102074799450657 13.131956147931655 13.234084066043255 13.407705744831963 13.664242183396047 13.769975186197684 13.806336311302864 13.864562486378716 13.87935059055718
10.12/10.36 c
10.12/10.36 c 1.0 0.9984878025155017 0.9883476746689721 0.9856752228340141 0.9833615899234944 0.9808646222740747 0.9785693719994784 0.9651555636298685 0.9555378092788556 0.9508694250013696 0.6026620740451551 0.581117348260154 0.5732059913201514 0.5563442886669946 0.5445471003181507 0.541740785356723 0.5373831055688674 0.5357325247690707 0.5328665738524995 0.5297326920840543 0.5242434053666675 0.5240455931602063 0.5233906290849265 0.5215556645915962 0.5197280478271066 0.5196354979168964 0.5191165628801088 0.5179365337134729 0.5172052197259681 0.5168839825877056 0.5149564153954397 0.5149242732596798 0.5143340809565282 0.5123271067185832 0.5089508781875043 0.5040429616820666 0.5020475722211996 0.5013650121339298 0.5002758650861788 0.5
10.12/10.37 c
10.12/10.37 c solver 0
10.12/10.37 c before 0.0 seconds: {} 0
10.12/10.37 c before 18.0 seconds: {3, 12, 19, 20, 21, 22, 24, 25, 26, 27, 30, 31, 33, 34, 36, 37, 38} 9291
10.12/10.37 c before 36.0 seconds: {1, 3, 5, 10, 12, 16, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 36, 37, 38} 13446
10.12/10.37 c before 54.0 seconds: {1, 3, 5, 10, 12, 13, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 35, 36, 37, 38} 15040
10.12/10.37 c before 72.0 seconds: {0, 1, 3, 5, 10, 12, 13, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 35, 36, 37, 38} 16040
10.12/10.37 c before 90.0 seconds: {0, 1, 3, 5, 10, 12, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 35, 36, 37, 38} 16575
10.12/10.37 c before 108.0 seconds: {0, 1, 3, 5, 10, 11, 12, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38} 17674
10.12/10.37 c before 126.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38} 22084
10.12/10.37 c before 162.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38} 22628
10.12/10.37 c before 252.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38} 23617
10.12/10.37 c before 288.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, 30, 31, 32, 33, 34, 35, 36, 37, 38} 24582
10.12/10.37 c
10.12/10.37 c solver 1
10.12/10.37 c before 0.0 seconds: {} 0
10.12/10.37 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 19, 20, 21, 23, 24, 25, 26, 30, 31, 32, 33, 37} 16002
10.12/10.38 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 19, 20, 21, 23, 24, 25, 26, 30, 31, 32, 33, 36, 37, 38} 17578
10.12/10.38 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 19, 20, 21, 22, 23, 24, 25, 26, 30, 31, 32, 33, 36, 37, 38} 18101
10.12/10.38 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 19, 20, 21, 22, 23, 24, 25, 26, 30, 31, 32, 33, 36, 37, 38} 18704
10.12/10.38 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 16, 19, 20, 21, 22, 23, 24, 25, 26, 30, 31, 32, 33, 34, 36, 37, 38} 19750
10.12/10.38 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 30, 31, 32, 33, 34, 36, 37, 38} 20283
10.12/10.38 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 30, 31, 32, 33, 34, 35, 36, 37, 38} 20787
10.12/10.38 c before 270.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21287
10.12/10.38 c before 342.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21844
10.12/10.38 c before 396.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22379
10.12/10.38 c before 450.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22896
10.12/10.38 c before 468.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23438
10.12/10.38 c before 504.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24019
10.12/10.38 c before 702.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24536
10.12/10.38 c before 720.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} 25081
10.12/10.38 c
10.12/10.38 c solver 2
10.12/10.38 c before 0.0 seconds: {} 0
10.12/10.38 c before 18.0 seconds: {12, 19, 20, 21, 23, 25, 26, 31, 37} 4727
10.12/10.38 c before 36.0 seconds: {12, 19, 20, 21, 23, 24, 25, 26, 30, 31, 32, 33, 37} 6789
10.12/10.38 c before 54.0 seconds: {12, 19, 20, 21, 23, 24, 25, 26, 30, 31, 32, 33, 36, 37} 7291
10.12/10.38 c before 72.0 seconds: {12, 19, 20, 21, 22, 23, 24, 25, 26, 30, 31, 32, 33, 36, 37} 7814
10.12/10.38 c before 126.0 seconds: {12, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 36, 37} 8332
10.12/10.38 c before 144.0 seconds: {12, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 36, 37, 38} 8832
10.12/10.38 c before 198.0 seconds: {10, 12, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 36, 37, 38} 9435
10.12/10.38 c before 270.0 seconds: {10, 12, 16, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 36, 37, 38} 9972
10.12/10.38 c before 432.0 seconds: {10, 12, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 35, 36, 37, 38} 11009
10.12/10.38 c before 954.0 seconds: {10, 12, 13, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 35, 36, 37, 38} 11566
10.12/10.38 c before 1080.0 seconds: {10, 12, 13, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 35, 36, 37, 38} 12083
10.12/10.38 c before 1152.0 seconds: {10, 12, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 35, 36, 37, 38} 12619
10.12/10.38 c
10.12/10.38 cTotal time: 120
10.12/10.38 c run abscon for 288.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, 30, 31, 32, 33, 34, 35, 36, 37, 38} 24582
10.12/10.38 c run mistral for 720.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} 25081
10.12/10.38 c run choco for 432.0 seconds {10, 12, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 35, 36, 37, 38} 11009
10.12/10.38 c Starting solver: HOME/cpHydra_k_40/solver/abscon
10.12/10.38 c On Instance: HOME/instance-1084893-1215232278.xml
10.12/10.38 c Running for: 288 seconds
182.09/184.65 s SAT
182.09/184.65 v 2 0 0 0 1 0 1 0 2 4 4 1 2 2 0 0 4 3 2 1
182.09/184.65 d ASSIGNMENTS 60001
182.09/184.65 d CHECKS 256472