0.00/0.00 c cpHydra_k_40 version 0.0
6.91/7.08 c CASE TO CLASSIFY:
6.91/7.08 c Case: 0
6.91/7.08 c 19 > 0.000000 | c 35 > 29.988100 | c 17 > 0.000000 | c 18 > 20.133000 | c 33 > 0.000000 | c 15 > 21.351500 | c 34 > 39.964300 | c 16 > 21.000000 | c 13 > 7.357800 | c 14 > 9.656420 | c 11 > 12.969700 | c 12 > 5.005970 | c 21 > 2.036510 | c 20 > 79.867000 | c 22 > 7.615770 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.321930 | c 10 > 12.962400 | c 1 > 9.714250 | c 0 > -1.000000 | c 30 > 99.056600 | c 7 > 10.187400 | c 6 > 12.544500 | c 32 > 0.943396 | c 5 > 15.939600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.91/7.09 c choco : 1801.0
6.91/7.09 c mistral : 1801.0
6.91/7.09 c abscon : 1801.0
6.91/7.09 c
6.91/7.09 c
7.01/7.16 c List of same ones: 40
7.01/7.16 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-21-21.xml
7.01/7.16 c 19 > 0.000000 | c 35 > 29.988100 | c 17 > 0.000000 | c 18 > 20.133000 | c 33 > 0.000000 | c 15 > 19.476200 | c 34 > 39.964300 | c 16 > 21.000000 | c 13 > 5.786630 | c 14 > 8.405140 | c 11 > 12.969700 | c 12 > 3.353290 | c 21 > 2.036510 | c 20 > 79.867000 | c 22 > 7.615770 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.321930 | c 10 > 12.962400 | c 1 > 9.714250 | c 0 > -1.000000 | c 30 > 99.056600 | c 7 > 10.187400 | c 6 > 12.544500 | c 32 > 0.943396 | c 5 > 15.939600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.01/7.17 c choco : 1801.0
7.01/7.17 c mistral : 687.44
7.01/7.17 c abscon : 1801.0
7.01/7.17 c
7.01/7.17 c
7.01/7.17 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-22-22.xml
7.01/7.17 c 19 > 0.000000 | c 35 > 29.989200 | c 17 > 0.000000 | c 18 > 20.120900 | c 33 > 0.000000 | c 15 > 19.476700 | c 34 > 39.967600 | c 16 > 22.000000 | c 13 > 5.811350 | c 14 > 8.511750 | c 11 > 13.112000 | c 12 > 3.384030 | c 21 > 2.040400 | c 20 > 79.879100 | c 22 > 7.810250 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.392320 | c 10 > 13.104900 | c 1 > 9.851750 | c 0 > -1.000000 | c 30 > 99.141600 | c 7 > 10.318500 | c 6 > 12.690000 | c 32 > 0.858369 | c 5 > 16.126800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.01/7.18 c choco : 12.45
7.01/7.18 c mistral : 1801.0
7.01/7.18 c abscon : 1801.0
7.01/7.18 c
7.01/7.18 c
7.01/7.18 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-21-21.xml
7.01/7.18 c 19 > 0.000000 | c 35 > 29.988100 | c 17 > 0.000000 | c 18 > 20.133000 | c 33 > 0.000000 | c 15 > 19.571000 | c 34 > 39.964300 | c 16 > 21.000000 | c 13 > 5.254530 | c 14 > 8.581200 | c 11 > 12.948400 | c 12 > 2.794150 | c 21 > 2.025350 | c 20 > 79.867000 | c 22 > 7.549830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.321930 | c 10 > 12.940900 | c 1 > 9.714250 | c 0 > -1.000000 | c 30 > 99.056600 | c 7 > 10.184900 | c 6 > 12.516200 | c 32 > 0.943396 | c 5 > 15.909400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.01/7.19 c choco : 11.12
7.01/7.19 c mistral : 1801.0
7.01/7.19 c abscon : 1801.0
7.01/7.19 c
7.01/7.19 c
7.01/7.19 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-18-18.xml
7.01/7.19 c 19 > 0.000000 | c 35 > 29.983700 | c 17 > 0.000000 | c 18 > 20.182300 | c 33 > 0.000000 | c 15 > 19.855200 | c 34 > 39.951100 | c 16 > 18.000000 | c 13 > 6.389030 | c 14 > 8.936640 | c 11 > 12.418100 | c 12 > 4.388670 | c 21 > 1.982170 | c 20 > 79.817700 | c 22 > 6.782330 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.087460 | c 10 > 12.408900 | c 1 > 9.257390 | c 0 > -1.000000 | c 30 > 98.709700 | c 7 > 9.743150 | c 6 > 11.954200 | c 32 > 1.290320 | c 5 > 15.209600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.20 c choco : 1801.0
7.10/7.20 c mistral : 916.51
7.10/7.20 c abscon : 1801.0
7.10/7.20 c
7.10/7.20 c
7.10/7.20 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-18-18.xml
7.10/7.20 c 19 > 0.000000 | c 35 > 29.983700 | c 17 > 0.000000 | c 18 > 20.182300 | c 33 > 0.000000 | c 15 > 19.730400 | c 34 > 39.951100 | c 16 > 18.000000 | c 13 > 5.904500 | c 14 > 9.501840 | c 11 > 12.444200 | c 12 > 3.936270 | c 21 > 1.995360 | c 20 > 79.817700 | c 22 > 6.855650 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.087460 | c 10 > 12.435100 | c 1 > 9.257390 | c 0 > -1.000000 | c 30 > 98.709700 | c 7 > 9.746510 | c 6 > 11.989400 | c 32 > 1.290320 | c 5 > 15.247000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.21 c choco : 26.66
7.10/7.21 c mistral : 13.36
7.10/7.21 c abscon : 1801.0
7.10/7.21 c
7.10/7.21 c
7.10/7.21 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-20-20.xml
7.10/7.21 c 19 > 0.000000 | c 35 > 29.986900 | c 17 > 0.000000 | c 18 > 20.146900 | c 33 > 0.000000 | c 15 > 19.287500 | c 34 > 39.960600 | c 16 > 20.000000 | c 13 > 4.979830 | c 14 > 9.330920 | c 11 > 12.774400 | c 12 > 2.421650 | c 21 > 2.008110 | c 20 > 79.853100 | c 22 > 7.280110 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.247930 | c 10 > 12.766300 | c 1 > 9.569860 | c 0 > -1.000000 | c 30 > 98.958300 | c 7 > 10.044400 | c 6 > 12.330400 | c 32 > 1.041670 | c 5 > 15.677900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.22 c choco : 9.7
7.10/7.22 c mistral : 1801.0
7.10/7.22 c abscon : 1801.0
7.10/7.22 c
7.10/7.22 c
7.10/7.22 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-20-20.xml
7.10/7.22 c 19 > 0.000000 | c 35 > 29.986900 | c 17 > 0.000000 | c 18 > 20.146900 | c 33 > 0.000000 | c 15 > 19.523500 | c 34 > 39.960600 | c 16 > 20.000000 | c 13 > 4.691230 | c 14 > 8.826550 | c 11 > 12.797700 | c 12 > 2.007930 | c 21 > 2.020520 | c 20 > 79.853100 | c 22 > 7.348470 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.247930 | c 10 > 12.789700 | c 1 > 9.569860 | c 0 > -1.000000 | c 30 > 98.958300 | c 7 > 10.047100 | c 6 > 12.361400 | c 32 > 1.041670 | c 5 > 15.711700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.23 c choco : 1801.0
7.10/7.23 c mistral : 394.02
7.10/7.23 c abscon : 1801.0
7.10/7.23 c
7.10/7.23 c
7.10/7.23 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-23-23.xml
7.10/7.23 c 19 > 0.000000 | c 35 > 29.990100 | c 17 > 0.000000 | c 18 > 20.110400 | c 33 > 0.000000 | c 15 > 19.185200 | c 34 > 39.970400 | c 16 > 23.000000 | c 13 > 4.933950 | c 14 > 8.636620 | c 11 > 13.241200 | c 12 > 2.739170 | c 21 > 2.054550 | c 20 > 79.889600 | c 22 > 8.062260 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.459430 | c 10 > 13.260300 | c 1 > 9.982990 | c 0 > -1.000000 | c 30 > 99.215700 | c 7 > 10.446000 | c 6 > 12.854100 | c 32 > 0.784314 | c 5 > 16.333700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.23 c choco : 13.48
7.10/7.23 c mistral : 1801.0
7.10/7.23 c abscon : 1801.0
7.10/7.23 c
7.10/7.23 c
7.10/7.23 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-19-19.xml
7.10/7.23 c 19 > 0.000000 | c 35 > 29.985400 | c 17 > 0.000000 | c 18 > 20.163200 | c 33 > 0.000000 | c 15 > 19.533100 | c 34 > 39.956200 | c 16 > 19.000000 | c 13 > 4.399460 | c 14 > 9.252670 | c 11 > 12.614000 | c 12 > 2.695070 | c 21 > 2.002080 | c 20 > 79.836800 | c 22 > 7.071070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.169930 | c 10 > 12.605500 | c 1 > 9.417850 | c 0 > -1.000000 | c 30 > 98.843900 | c 7 > 9.899360 | c 6 > 12.164900 | c 32 > 1.156070 | c 5 > 15.468200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.24 c choco : 54.4
7.10/7.24 c mistral : 98.37
7.10/7.24 c abscon : 1801.0
7.10/7.24 c
7.10/7.24 c
7.10/7.24 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-19-19.xml
7.10/7.24 c 19 > 0.000000 | c 35 > 29.985400 | c 17 > 0.000000 | c 18 > 20.163200 | c 33 > 0.000000 | c 15 > 19.691900 | c 34 > 39.956200 | c 16 > 19.000000 | c 13 > 4.496160 | c 14 > 8.848620 | c 11 > 12.589400 | c 12 > 2.581290 | c 21 > 1.989590 | c 20 > 79.836800 | c 22 > 7.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.169930 | c 10 > 12.580700 | c 1 > 9.417850 | c 0 > -1.000000 | c 30 > 98.843900 | c 7 > 9.896330 | c 6 > 12.131900 | c 32 > 1.156070 | c 5 > 15.433000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.25 c choco : 8.21
7.10/7.25 c mistral : 1801.0
7.10/7.25 c abscon : 1801.0
7.10/7.25 c
7.10/7.25 c
7.10/7.25 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-17-17.xml
7.10/7.25 c 19 > 0.000000 | c 35 > 29.981700 | c 17 > 0.000000 | c 18 > 20.205000 | c 33 > 0.000000 | c 15 > 19.797000 | c 34 > 39.945000 | c 16 > 17.000000 | c 13 > 6.849390 | c 14 > 9.392320 | c 11 > 12.207000 | c 12 > 4.819460 | c 21 > 1.958920 | c 20 > 79.795000 | c 22 > 6.480740 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.000000 | c 10 > 12.196900 | c 1 > 9.087460 | c 0 > -1.000000 | c 30 > 98.550700 | c 7 > 9.577430 | c 6 > 11.725400 | c 32 > 1.449280 | c 5 > 14.930500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.45 c choco : 6.14
7.28/7.45 c mistral : 1801.0
7.28/7.45 c abscon : 1801.0
7.28/7.45 c
7.28/7.45 c
7.28/7.45 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-24-24.xml
7.28/7.45 c 19 > 0.000000 | c 35 > 29.991000 | c 17 > 0.000000 | c 18 > 20.101200 | c 33 > 0.000000 | c 15 > 19.360800 | c 34 > 39.972900 | c 16 > 24.000000 | c 13 > 5.161530 | c 14 > 8.511750 | c 11 > 13.388300 | c 12 > 2.842520 | c 21 > 2.086660 | c 20 > 79.898800 | c 22 > 8.426150 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.523560 | c 10 > 13.443300 | c 1 > 10.108500 | c 0 > -1.000000 | c 30 > 99.280600 | c 7 > 10.571800 | c 6 > 13.055300 | c 32 > 0.719424 | c 5 > 16.579800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.47 c choco : 719.66
7.28/7.47 c mistral : 1801.0
7.28/7.47 c abscon : 1801.0
7.28/7.47 c
7.28/7.47 c
7.28/7.47 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-17-17.xml
7.28/7.47 c 19 > 0.000000 | c 35 > 29.981700 | c 17 > 0.000000 | c 18 > 20.205000 | c 33 > 0.000000 | c 15 > 19.969600 | c 34 > 39.945000 | c 16 > 17.000000 | c 13 > 5.744290 | c 14 > 9.306060 | c 11 > 12.236000 | c 12 > 3.850580 | c 21 > 1.973880 | c 20 > 79.795000 | c 22 > 6.557440 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.000000 | c 10 > 12.226100 | c 1 > 9.087460 | c 0 > -1.000000 | c 30 > 98.550700 | c 7 > 9.581200 | c 6 > 11.764900 | c 32 > 1.449280 | c 5 > 14.973200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.47 c choco : 17.66
7.28/7.47 c mistral : 11.81
7.28/7.47 c abscon : 1801.0
7.28/7.47 c
7.28/7.47 c
7.28/7.47 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-16-16.xml
7.28/7.47 c 19 > 0.000000 | c 35 > 29.979200 | c 17 > 0.000000 | c 18 > 20.232200 | c 33 > 0.000000 | c 15 > 20.121300 | c 34 > 39.937600 | c 16 > 16.000000 | c 13 > 6.625550 | c 14 > 9.539160 | c 11 > 12.010500 | c 12 > 4.633540 | c 21 > 1.948560 | c 20 > 79.767800 | c 22 > 6.245000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.906890 | c 10 > 11.999600 | c 1 > 8.906890 | c 0 > -1.000000 | c 30 > 98.360700 | c 7 > 9.405140 | c 6 > 11.519600 | c 32 > 1.639340 | c 5 > 14.676000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.48 c choco : 21.34
7.28/7.48 c mistral : 77.84
7.28/7.48 c abscon : 1801.0
7.28/7.48 c
7.28/7.48 c
7.28/7.48 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-25-25.xml
7.28/7.48 c 19 > 0.000000 | c 35 > 29.991700 | c 17 > 0.000000 | c 18 > 20.093100 | c 33 > 0.000000 | c 15 > 19.338800 | c 34 > 39.975000 | c 16 > 25.000000 | c 13 > 4.622900 | c 14 > 8.252670 | c 11 > 13.493900 | c 12 > 2.315110 | c 21 > 2.088060 | c 20 > 79.906900 | c 22 > 8.602330 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.584960 | c 10 > 13.564500 | c 1 > 10.228800 | c 0 > -1.000000 | c 30 > 99.337700 | c 7 > 10.686500 | c 6 > 13.177700 | c 32 > 0.662252 | c 5 > 16.740300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.49 c choco : 14.93
7.28/7.49 c mistral : 1801.0
7.28/7.49 c abscon : 1801.0
7.28/7.49 c
7.28/7.49 c
7.28/7.49 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-26-26.xml
7.28/7.49 c 19 > 0.000000 | c 35 > 29.992300 | c 17 > 0.000000 | c 18 > 20.086000 | c 33 > 0.000000 | c 15 > 20.159900 | c 34 > 39.976900 | c 16 > 26.000000 | c 13 > 5.236150 | c 14 > 9.131860 | c 11 > 10.400900 | c 12 > 3.235520 | c 21 > 2.116430 | c 20 > 79.914000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.643860 | c 10 > 13.729600 | c 1 > 10.344300 | c 0 > -1.000000 | c 30 > 99.388400 | c 7 > 10.801700 | c 6 > 13.357800 | c 32 > 0.611621 | c 5 > 16.962500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.49 c choco : 47.2
7.28/7.49 c mistral : 1801.0
7.28/7.49 c abscon : 1801.0
7.28/7.49 c
7.28/7.49 c
7.28/7.49 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-27-27.xml
7.28/7.49 c 19 > 0.000000 | c 35 > 29.992900 | c 17 > 0.000000 | c 18 > 20.079600 | c 33 > 0.000000 | c 15 > 20.004500 | c 34 > 39.978600 | c 16 > 27.000000 | c 13 > 5.238830 | c 14 > 8.527480 | c 11 > 10.509800 | c 12 > 3.205540 | c 21 > 2.116630 | c 20 > 79.920400 | c 22 > 9.110430 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.700440 | c 10 > 13.839600 | c 1 > 10.455300 | c 0 > -1.000000 | c 30 > 99.433400 | c 7 > 10.907600 | c 6 > 13.468400 | c 32 > 0.566572 | c 5 > 17.109100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.36/7.50 c choco : 17.5
7.36/7.50 c mistral : 1801.0
7.36/7.50 c abscon : 1801.0
7.36/7.50 c
7.36/7.50 c
7.36/7.50 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-29-29.xml
7.36/7.50 c 19 > 0.000000 | c 35 > 29.993800 | c 17 > 0.000000 | c 18 > 20.068900 | c 33 > 0.000000 | c 15 > 20.252600 | c 34 > 39.981500 | c 16 > 29.000000 | c 13 > 5.222930 | c 14 > 7.994350 | c 11 > 10.716000 | c 12 > 3.171920 | c 21 > 2.140710 | c 20 > 79.931100 | c 22 > 9.591660 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.807350 | c 10 > 14.090000 | c 1 > 10.665300 | c 0 > -1.000000 | c 30 > 99.509800 | c 7 > 11.112400 | c 6 > 13.731300 | c 32 > 0.490196 | c 5 > 17.445800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.36/7.50 c choco : 20.93
7.36/7.50 c mistral : 1801.0
7.36/7.50 c abscon : 1801.0
7.36/7.50 c
7.36/7.50 c
7.36/7.50 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-30-30.xml
7.36/7.50 c 19 > 0.000000 | c 35 > 29.994300 | c 17 > 0.000000 | c 18 > 20.064300 | c 33 > 0.000000 | c 15 > 20.179900 | c 34 > 39.982800 | c 16 > 30.000000 | c 13 > 5.275120 | c 14 > 7.727920 | c 11 > 10.813800 | c 12 > 3.193420 | c 21 > 2.155360 | c 20 > 79.935700 | c 22 > 9.848860 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.857980 | c 10 > 14.214200 | c 1 > 10.764900 | c 0 > -1.000000 | c 30 > 99.542300 | c 7 > 11.210100 | c 6 > 13.862600 | c 32 > 0.457666 | c 5 > 17.613100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.36/7.51 c choco : 19.73
7.36/7.51 c mistral : 1801.0
7.36/7.51 c abscon : 1801.0
7.36/7.51 c
7.36/7.51 c
7.36/7.51 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-31-31.xml
7.36/7.51 c 19 > 0.000000 | c 35 > 29.994600 | c 17 > 0.000000 | c 18 > 20.060100 | c 33 > 0.000000 | c 15 > 20.155900 | c 34 > 39.983900 | c 16 > 31.000000 | c 13 > 5.323160 | c 14 > 7.607330 | c 11 > 10.908400 | c 12 > 3.212410 | c 21 > 2.168980 | c 20 > 79.939900 | c 22 > 10.099500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.906890 | c 10 > 14.333000 | c 1 > 10.861100 | c 0 > -1.000000 | c 30 > 99.571700 | c 7 > 11.304400 | c 6 > 13.988000 | c 32 > 0.428266 | c 5 > 17.773600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.36/7.52 c choco : 19.61
7.36/7.52 c mistral : 1801.0
7.36/7.52 c abscon : 1801.0
7.36/7.52 c
7.36/7.52 c
7.36/7.52 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-15-15.xml
7.36/7.52 c 19 > 0.000000 | c 35 > 29.976200 | c 17 > 0.000000 | c 18 > 20.265200 | c 33 > 0.000000 | c 15 > 15.501700 | c 34 > 39.928700 | c 16 > 15.000000 | c 13 > 1.974310 | c 14 > 6.189820 | c 11 > 11.799700 | c 12 > 0.919702 | c 21 > 1.936780 | c 20 > 79.734800 | c 22 > 6.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.807350 | c 10 > 11.787900 | c 1 > 8.714250 | c 0 > -1.000000 | c 30 > 98.130800 | c 7 > 9.221590 | c 6 > 11.298100 | c 32 > 1.869160 | c 5 > 14.404100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.36/7.53 c choco : 6.04
7.36/7.53 c mistral : 0.11
7.36/7.53 c abscon : 1801.0
7.36/7.53 c
7.36/7.53 c
7.36/7.53 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-16-16.xml
7.36/7.53 c 19 > 0.000000 | c 35 > 29.979200 | c 17 > 0.000000 | c 18 > 20.232200 | c 33 > 0.000000 | c 15 > 14.376000 | c 34 > 39.937600 | c 16 > 16.000000 | c 13 > 2.950690 | c 14 > 4.247930 | c 11 > 11.979400 | c 12 > 1.554760 | c 21 > 1.933460 | c 20 > 79.767800 | c 22 > 6.164410 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.906890 | c 10 > 11.968300 | c 1 > 8.906890 | c 0 > -1.000000 | c 30 > 98.360700 | c 7 > 9.400880 | c 6 > 11.476700 | c 32 > 1.639340 | c 5 > 14.630700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.36/7.53 c choco : 5.97
7.36/7.53 c mistral : 0.11
7.36/7.53 c abscon : 1801.0
7.36/7.53 c
7.36/7.53 c
7.36/7.53 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-15-15.xml
7.36/7.53 c 19 > 0.000000 | c 35 > 29.976200 | c 17 > 0.000000 | c 18 > 20.265200 | c 33 > 0.000000 | c 15 > 14.252400 | c 34 > 39.928700 | c 16 > 15.000000 | c 13 > 2.898240 | c 14 > 4.247930 | c 11 > 11.766100 | c 12 > 1.568720 | c 21 > 1.920650 | c 20 > 79.734800 | c 22 > 5.916080 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.807350 | c 10 > 11.754100 | c 1 > 8.714250 | c 0 > -1.000000 | c 30 > 98.130800 | c 7 > 9.216750 | c 6 > 11.251500 | c 32 > 1.869160 | c 5 > 14.355100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.36/7.54 c choco : 5.68
7.36/7.54 c mistral : 0.09
7.36/7.54 c abscon : 1801.0
7.36/7.54 c
7.36/7.54 c
7.36/7.54 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-14-14.xml
7.36/7.54 c 19 > 0.000000 | c 35 > 29.972600 | c 17 > 0.000000 | c 18 > 20.305700 | c 33 > 0.000000 | c 15 > 14.186800 | c 34 > 39.917800 | c 16 > 14.000000 | c 13 > 2.863940 | c 14 > 4.392320 | c 11 > 11.535800 | c 12 > 1.610970 | c 21 > 1.905950 | c 20 > 79.694300 | c 22 > 5.656850 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.700440 | c 10 > 11.522600 | c 1 > 8.507790 | c 0 > -1.000000 | c 30 > 97.849500 | c 7 > 9.019590 | c 6 > 11.007000 | c 32 > 2.150540 | c 5 > 14.058700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.36/7.54 c choco : 20.83
7.36/7.54 c mistral : 0.08
7.36/7.54 c abscon : 1801.0
7.36/7.54 c
7.36/7.54 c
7.36/7.54 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-14-14.xml
7.36/7.54 c 19 > 0.000000 | c 35 > 29.972600 | c 17 > 0.000000 | c 18 > 20.305700 | c 33 > 0.000000 | c 15 > 14.208500 | c 34 > 39.917800 | c 16 > 14.000000 | c 13 > 1.732440 | c 14 > 5.044390 | c 11 > 11.572200 | c 12 > 0.752235 | c 21 > 1.923270 | c 20 > 79.694300 | c 22 > 5.744560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.700440 | c 10 > 11.559400 | c 1 > 8.507790 | c 0 > -1.000000 | c 30 > 97.849500 | c 7 > 9.025140 | c 6 > 11.058000 | c 32 > 2.150540 | c 5 > 14.112100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.36/7.55 c choco : 5.56
7.36/7.55 c mistral : 0.08
7.36/7.55 c abscon : 1801.0
7.36/7.55 c
7.36/7.55 c
7.36/7.55 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-13-13.xml
7.36/7.55 c 19 > 0.000000 | c 35 > 29.968100 | c 17 > 0.000000 | c 18 > 20.356200 | c 33 > 0.000000 | c 15 > 13.979200 | c 34 > 39.904200 | c 16 > 13.000000 | c 13 > 2.786860 | c 14 > 4.247930 | c 11 > 11.285400 | c 12 > 1.605810 | c 21 > 1.888930 | c 20 > 79.643800 | c 22 > 5.385160 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.584960 | c 10 > 11.270900 | c 1 > 8.285400 | c 0 > -1.000000 | c 30 > 97.500000 | c 7 > 8.807350 | c 6 > 10.739800 | c 32 > 2.500000 | c 5 > 13.737900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.36/7.56 c choco : 9.2
7.36/7.56 c mistral : 0.07
7.36/7.56 c abscon : 1801.0
7.36/7.56 c
7.36/7.56 c
7.36/7.56 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-13-13.xml
7.36/7.56 c 19 > 0.000000 | c 35 > 29.968100 | c 17 > 0.000000 | c 18 > 20.356200 | c 33 > 0.000000 | c 15 > 13.910000 | c 34 > 39.904200 | c 16 > 13.000000 | c 13 > 1.714400 | c 14 > 4.906890 | c 11 > 11.325300 | c 12 > 0.755179 | c 21 > 1.907630 | c 20 > 79.643800 | c 22 > 5.477230 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.584960 | c 10 > 11.311200 | c 1 > 8.285400 | c 0 > -1.000000 | c 30 > 97.500000 | c 7 > 8.813780 | c 6 > 10.796000 | c 32 > 2.500000 | c 5 > 13.796600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.36/7.56 c choco : 5.63
7.36/7.56 c mistral : 0.13
7.36/7.56 c abscon : 19.35
7.36/7.56 c
7.36/7.56 c
7.36/7.56 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-12-12.xml
7.36/7.56 c 19 > 0.000000 | c 35 > 29.962300 | c 17 > 0.000000 | c 18 > 20.420400 | c 33 > 0.000000 | c 15 > 13.837800 | c 34 > 39.886800 | c 16 > 12.000000 | c 13 > 2.729300 | c 14 > 4.247930 | c 11 > 11.011200 | c 12 > 1.631050 | c 21 > 1.868970 | c 20 > 79.579600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.459430 | c 10 > 10.995100 | c 1 > 8.044390 | c 0 > -1.000000 | c 30 > 97.058800 | c 7 > 8.577430 | c 6 > 10.445000 | c 32 > 2.941180 | c 5 > 13.388000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.36/7.57 c choco : 11.72
7.36/7.57 c mistral : 0.06
7.36/7.57 c abscon : 1801.0
7.36/7.57 c
7.36/7.57 c
7.36/7.57 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-35-35.xml
7.36/7.57 c 19 > 0.000000 | c 35 > 29.995800 | c 17 > 0.000000 | c 18 > 20.047000 | c 33 > 0.000000 | c 15 > 19.771700 | c 34 > 39.987400 | c 16 > 35.000000 | c 13 > 5.498790 | c 14 > 7.643860 | c 11 > 11.258600 | c 12 > 3.280590 | c 21 > 2.215160 | c 20 > 79.953000 | c 22 > 11.045400 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 6.087460 | c 10 > 14.763600 | c 1 > 11.216700 | c 0 > -1.000000 | c 30 > 99.665000 | c 7 > 11.652400 | c 6 > 14.439300 | c 32 > 0.335008 | c 5 > 18.357000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.36/7.57 c choco : 20.27
7.36/7.57 c mistral : 1801.0
7.36/7.57 c abscon : 1801.0
7.36/7.57 c
7.36/7.57 c
7.36/7.57 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-12-12.xml
7.36/7.57 c 19 > 0.000000 | c 35 > 29.962300 | c 17 > 0.000000 | c 18 > 20.420400 | c 33 > 0.000000 | c 15 > 13.585100 | c 34 > 39.886800 | c 16 > 12.000000 | c 13 > 1.786450 | c 14 > 4.754890 | c 11 > 11.055300 | c 12 > 0.758899 | c 21 > 1.889300 | c 20 > 79.579600 | c 22 > 5.196150 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.459430 | c 10 > 11.039600 | c 1 > 8.044390 | c 0 > -1.000000 | c 30 > 97.058800 | c 7 > 8.584960 | c 6 > 10.507800 | c 32 > 2.941180 | c 5 > 13.453300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.36/7.58 c choco : 5.24
7.36/7.58 c mistral : 0.1
7.36/7.58 c abscon : 1801.0
7.36/7.58 c
7.36/7.58 c
7.36/7.58 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-36-36.xml
7.36/7.58 c 19 > 0.000000 | c 35 > 29.996000 | c 17 > 0.000000 | c 18 > 20.044400 | c 33 > 0.000000 | c 15 > 19.716100 | c 34 > 39.988100 | c 16 > 36.000000 | c 13 > 5.535640 | c 14 > 7.876520 | c 11 > 11.339900 | c 12 > 3.293490 | c 21 > 2.225000 | c 20 > 79.955600 | c 22 > 11.269400 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 6.129280 | c 10 > 14.861700 | c 1 > 11.299200 | c 0 > -1.000000 | c 30 > 99.683500 | c 7 > 11.733000 | c 6 > 14.541600 | c 32 > 0.316456 | c 5 > 18.490400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.36/7.58 c choco : 21.51
7.36/7.58 c mistral : 1801.0
7.36/7.58 c abscon : 1801.0
7.36/7.58 c
7.36/7.58 c
7.36/7.58 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-11-11.xml
7.36/7.58 c 19 > 0.000000 | c 35 > 29.954800 | c 17 > 0.000000 | c 18 > 20.503600 | c 33 > 0.000000 | c 15 > 13.517800 | c 34 > 39.864300 | c 16 > 11.000000 | c 13 > 2.617180 | c 14 > 3.459430 | c 11 > 10.708200 | c 12 > 1.531380 | c 21 > 1.845250 | c 20 > 79.496400 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.321930 | c 10 > 10.690000 | c 1 > 7.781360 | c 0 > -1.000000 | c 30 > 96.491200 | c 7 > 8.326430 | c 6 > 10.116300 | c 32 > 3.508770 | c 5 > 13.002800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.36/7.59 c choco : 13.01
7.36/7.59 c mistral : 0.04
7.36/7.59 c abscon : 1801.0
7.36/7.59 c
7.36/7.59 c
7.36/7.59 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-11-11.xml
7.36/7.59 c 19 > 0.000000 | c 35 > 29.954800 | c 17 > 0.000000 | c 18 > 20.503600 | c 33 > 0.000000 | c 15 > 13.339400 | c 34 > 39.864300 | c 16 > 11.000000 | c 13 > 1.705230 | c 14 > 4.700440 | c 11 > 10.757400 | c 12 > 0.796719 | c 21 > 1.867510 | c 20 > 79.496400 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.321930 | c 10 > 10.739800 | c 1 > 7.781360 | c 0 > -1.000000 | c 30 > 96.491200 | c 7 > 8.335390 | c 6 > 10.187400 | c 32 > 3.508770 | c 5 > 13.076100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.36/7.59 c choco : 4.39
7.36/7.60 c mistral : 0.08
7.36/7.60 c abscon : 1801.0
7.36/7.60 c
7.36/7.60 c
7.36/7.60 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-37-37.xml
7.36/7.60 c 19 > 0.000000 | c 35 > 29.996200 | c 17 > 0.000000 | c 18 > 20.042000 | c 33 > 0.000000 | c 15 > 19.566800 | c 34 > 39.988700 | c 16 > 37.000000 | c 13 > 5.571470 | c 14 > 7.768180 | c 11 > 11.418900 | c 12 > 3.305980 | c 21 > 2.234270 | c 20 > 79.958000 | c 22 > 11.489100 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 6.169930 | c 10 > 14.956500 | c 1 > 11.379400 | c 0 > -1.000000 | c 30 > 99.700600 | c 7 > 11.811400 | c 6 > 14.640200 | c 32 > 0.299401 | c 5 > 18.619500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.60 c choco : 21.79
7.41/7.60 c mistral : 1801.0
7.41/7.60 c abscon : 1801.0
7.41/7.60 c
7.41/7.60 c
7.41/7.60 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-10-10.xml
7.41/7.60 c 19 > 0.000000 | c 35 > 29.944800 | c 17 > 0.000000 | c 18 > 20.614000 | c 33 > 0.000000 | c 15 > 13.476400 | c 34 > 39.834300 | c 16 > 10.000000 | c 13 > 2.393710 | c 14 > 3.700440 | c 11 > 10.369600 | c 12 > 1.451780 | c 21 > 1.816590 | c 20 > 79.386000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.169930 | c 10 > 10.348700 | c 1 > 7.491850 | c 0 > -1.000000 | c 30 > 95.744700 | c 7 > 8.049850 | c 6 > 9.744830 | c 32 > 4.255320 | c 5 > 12.573600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.61 c choco : 7.82
7.41/7.61 c mistral : 0.04
7.41/7.61 c abscon : 1801.0
7.41/7.61 c
7.41/7.61 c
7.41/7.61 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-10-10.xml
7.41/7.61 c 19 > 0.000000 | c 35 > 29.944800 | c 17 > 0.000000 | c 18 > 20.614000 | c 33 > 0.000000 | c 15 > 13.027000 | c 34 > 39.834300 | c 16 > 10.000000 | c 13 > 1.596380 | c 14 > 4.643860 | c 11 > 10.425200 | c 12 > 0.775070 | c 21 > 1.841200 | c 20 > 79.386000 | c 22 > 4.582580 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.169930 | c 10 > 10.405100 | c 1 > 7.491850 | c 0 > -1.000000 | c 30 > 95.744700 | c 7 > 8.060700 | c 6 > 9.826550 | c 32 > 4.255320 | c 5 > 12.657300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.61 c choco : 4.04
7.41/7.61 c mistral : 0.08
7.41/7.61 c abscon : 1801.0
7.41/7.61 c
7.41/7.61 c
7.41/7.61 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-9-9.xml
7.41/7.61 c 19 > 0.000000 | c 35 > 29.931000 | c 17 > 0.000000 | c 18 > 20.765000 | c 33 > 0.000000 | c 15 > 13.356500 | c 34 > 39.793100 | c 16 > 9.000000 | c 13 > 2.358590 | c 14 > 3.584960 | c 11 > 9.985840 | c 12 > 1.451390 | c 21 > 1.781250 | c 20 > 79.235000 | c 22 > 4.123110 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.000000 | c 10 > 9.961450 | c 1 > 7.169930 | c 0 > -1.000000 | c 30 > 94.736800 | c 7 > 7.741470 | c 6 > 9.317410 | c 32 > 5.263160 | c 5 > 12.088100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.62 c choco : 3.32
7.41/7.62 c mistral : 0.03
7.41/7.62 c abscon : 1801.0
7.41/7.62 c
7.41/7.62 c
7.41/7.62 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-9-9.xml
7.41/7.62 c 19 > 0.000000 | c 35 > 29.931000 | c 17 > 0.000000 | c 18 > 20.765000 | c 33 > 0.000000 | c 15 > 12.354000 | c 34 > 39.793100 | c 16 > 9.000000 | c 13 > 1.556650 | c 14 > 4.169930 | c 11 > 10.049800 | c 12 > 0.733968 | c 21 > 1.808760 | c 20 > 79.235000 | c 22 > 4.242640 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.000000 | c 10 > 10.026500 | c 1 > 7.169930 | c 0 > -1.000000 | c 30 > 94.736800 | c 7 > 7.754890 | c 6 > 9.413630 | c 32 > 5.263160 | c 5 > 12.185500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.63 c choco : 3.17
7.41/7.63 c mistral : 0.03
7.41/7.63 c abscon : 1801.0
7.41/7.63 c
7.41/7.63 c
7.41/7.63 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-8-8.xml
7.41/7.63 c 19 > 0.000000 | c 35 > 29.911500 | c 17 > 0.000000 | c 18 > 20.979000 | c 33 > 0.000000 | c 15 > 11.760300 | c 34 > 39.734500 | c 16 > 8.000000 | c 13 > 1.491120 | c 14 > 3.321930 | c 11 > 9.618390 | c 12 > 0.686536 | c 21 > 1.767770 | c 20 > 79.021000 | c 22 > 3.872980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 3.807350 | c 10 > 9.590590 | c 1 > 6.807350 | c 0 > -1.000000 | c 30 > 93.333300 | c 7 > 7.409390 | c 6 > 8.930740 | c 32 > 6.666670 | c 5 > 11.643900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.63 c choco : 3.01
7.41/7.63 c mistral : 0.02
7.41/7.63 c abscon : 1801.0
7.41/7.63 c
7.41/7.63 c
7.41/7.63 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-8-8.xml
7.41/7.63 c 19 > 0.000000 | c 35 > 29.911500 | c 17 > 0.000000 | c 18 > 20.979000 | c 33 > 0.000000 | c 15 > 9.558420 | c 34 > 39.734500 | c 16 > 8.000000 | c 13 > 2.114310 | c 14 > -1.000000 | c 11 > 9.543030 | c 12 > 1.384010 | c 21 > 1.736560 | c 20 > 79.021000 | c 22 > 3.741660 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 3.807350 | c 10 > 9.513730 | c 1 > 6.807350 | c 0 > -1.000000 | c 30 > 93.333300 | c 7 > 7.392320 | c 6 > 8.813780 | c 32 > 6.666670 | c 5 > 11.527500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.64 c choco : 2.95
7.41/7.64 c mistral : 0.03
7.41/7.64 c abscon : 2.31
7.41/7.64 c
7.41/7.64 c
7.41/7.64 c Length: 40
7.41/7.64 c 3.206614738271502 3.32231190142181 3.6944929899649286 3.9966149758609486 4.1873061624003585 4.250928171596881 4.627247203756896 4.64427230085877 4.771374773047701 4.781369707152544 4.931724966840305 5.09510189470083 5.206102348980089 6.000670169267432 6.3357422327882 6.789705621234619 7.72035308706642 9.604651184988448 10.601280818061563 11.584167392872914 11.880462843674064 11.983907283150018 12.70048463069406 13.41013017327334 13.790804697277856 14.432462007450983 14.796707730545908 15.452694290050395 15.560361850851798 15.882129564223968 16.540667950587725 16.992676702234878 17.059845623348327 17.572833310699362 18.212920932433548 18.442856816840393 19.753151491683447 20.29091803788089 22.53550976148381 24.89832165763741
7.41/7.65 c
7.41/7.65 c 1.0 0.9946945925928403 0.9780032742753896 0.9648603092250031 0.9567451396508196 0.9540678879977444 0.9385335927346008 0.937842755527978 0.9327172077400386 0.9323165259743884 0.926330285722842 0.9199121453216605 0.9156020770429975 0.8858906089581221 0.8739314141362413 0.858234637088454 0.8277557086855137 0.7722287326255071 0.7457687116917382 0.7213914551506171 0.7143523937458904 0.7119271161109597 0.6955685652466823 0.6800926696281657 0.6720713912647704 0.6589707970136544 0.6517588284574486 0.6391609228200261 0.6371395986968397 0.6311742939279295 0.6193072423785868 0.6114168844918166 0.610261495988739 0.6015794481660518 0.5910866850546117 0.5874062196245726 0.56727780451926 0.5594104910966556 0.5288003074584464 0.5
7.41/7.66 c
7.41/7.66 c solver 0
7.41/7.66 c before 0.0 seconds: {} 0
7.41/7.66 c before 18.0 seconds: {39} 500
7.41/7.66 c before 36.0 seconds: {26, 39} 1151
7.41/7.66 c
7.41/7.66 c solver 1
7.41/7.66 c before 0.0 seconds: {} 0
7.41/7.66 c before 18.0 seconds: {4, 12, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 32, 34, 35, 36, 37, 38, 39} 12483
7.41/7.66 c before 90.0 seconds: {4, 12, 13, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 32, 34, 35, 36, 37, 38, 39} 13368
7.41/7.66 c before 108.0 seconds: {4, 8, 12, 13, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 32, 34, 35, 36, 37, 38, 39} 14301
7.41/7.66 c before 396.0 seconds: {4, 6, 8, 12, 13, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 32, 34, 35, 36, 37, 38, 39} 15240
7.41/7.66 c before 702.0 seconds: {0, 4, 6, 8, 12, 13, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 32, 34, 35, 36, 37, 38, 39} 16240
7.41/7.66 c before 918.0 seconds: {0, 3, 4, 6, 8, 12, 13, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 32, 34, 35, 36, 37, 38, 39} 17205
7.41/7.66 c
7.41/7.66 c solver 2
7.41/7.66 c before 0.0 seconds: {} 0
7.41/7.66 c before 18.0 seconds: {1, 2, 5, 7, 9, 10, 12, 14, 16, 20, 21, 22, 24, 25, 26, 27, 29, 31, 32, 34, 35, 36, 37, 38, 39} 18271
7.41/7.66 c before 36.0 seconds: {1, 2, 4, 5, 7, 9, 10, 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} 24891
7.41/7.66 c before 54.0 seconds: {1, 2, 4, 5, 7, 9, 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} 25749
7.41/7.66 c before 72.0 seconds: {1, 2, 4, 5, 7, 8, 9, 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} 26682
7.41/7.66 c before 720.0 seconds: {1, 2, 4, 5, 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} 27602
7.41/7.66 c
7.41/7.66 cTotal time: 93
7.41/7.66 c 1674.0 seconds unused
7.41/7.66 c 0 c 0 c 0
7.41/7.66 c 22 c 0 c 3
7.41/7.66 c 35 c 16 c 0
7.41/7.66 c is solver0 dominated by:
7.41/7.66 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
7.41/7.66 c is dominated? true
7.41/7.66 c
7.41/7.66 c is solver1 dominated by:
7.41/7.66 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.41/7.66 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.41/7.66 c is dominated? false
7.41/7.66 c
7.41/7.66 c is solver2 dominated by:
7.41/7.66 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true)
7.41/7.66 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: true) (2 is equally as fast as 1: false) (2 < 1: true)
7.41/7.66 c is dominated? false
7.41/7.66 c
7.41/7.66 c Number of non-dominated solvers: 2
7.41/7.66 c remove dominated solvers
7.41/7.66 c solver 1 is not dominated by another solver
7.41/7.66 c solver 2 is not dominated by another solver
7.41/7.66 c solver 0 is dominated by another solver
7.41/7.66 c
7.41/7.66 c solver 0: 0.0
7.41/7.66 c
7.41/7.66 c solver 1: 918.0
7.41/7.66 c
7.41/7.66 c+ 51/91 of 9
7.41/7.66 c
7.41/7.66 c solver 2: 720.0
7.41/7.66 c
7.41/7.66 c+ 40/91 of 9
7.41/7.66 c do not run abscon
7.41/7.66 c run mistral for 1008.0 seconds {0, 3, 4, 6, 8, 12, 13, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 32, 34, 35, 36, 37, 38, 39} 17205
7.41/7.66 c run choco for 774.0 seconds {1, 2, 4, 5, 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} 27602
7.41/7.66 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.41/7.66 c On Instance: HOME/instance-1046492-1215027877.xml
7.41/7.66 c Running for: 1008 seconds
347.48/349.49 c mistral-prime version 1.313
347.48/349.49 s SATISFIABLE
347.48/349.49 v 57 55 55 24 19 49 21 49 38 28 47 46 19 32 34 18 21 0 0 38 0 0 0 2 41 40 0 33 6 35 34 35 46 45 44 0 0 16 0 39 15 18 0 1 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0
347.48/349.49 d CHECKS 459067312
347.48/349.49 d ASSIGNMENTS 240563