0.00/0.00 c cpHydra_k_40 version 0.0
7.31/7.53 c CASE TO CLASSIFY:
7.31/7.53 c Case: 0
7.31/7.53 c 19 > 0.000000 | c 35 > 29.992300 | c 17 > 0.000000 | c 18 > 20.086000 | c 33 > 0.000000 | c 15 > 21.534800 | c 34 > 39.976900 | c 16 > 26.000000 | c 13 > 5.903750 | c 14 > 10.580300 | c 11 > 10.400900 | c 12 > 3.489380 | 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.31/7.54 c choco : 1801.0
7.31/7.54 c mistral : 1801.0
7.31/7.54 c abscon : 1801.0
7.31/7.54 c
7.31/7.54 c
7.60/7.81 c List of same ones: 40
7.60/7.81 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-26-26.xml
7.60/7.81 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.60/7.82 c choco : 47.2
7.60/7.82 c mistral : 1801.0
7.60/7.82 c abscon : 1801.0
7.60/7.82 c
7.60/7.82 c
7.60/7.82 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-27-27.xml
7.60/7.82 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.60/7.83 c choco : 17.5
7.60/7.83 c mistral : 1801.0
7.60/7.83 c abscon : 1801.0
7.60/7.83 c
7.60/7.83 c
7.60/7.83 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-29-29.xml
7.60/7.83 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.60/7.84 c choco : 20.93
7.60/7.84 c mistral : 1801.0
7.60/7.84 c abscon : 1801.0
7.60/7.84 c
7.60/7.84 c
7.60/7.84 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-24-24.xml
7.60/7.84 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.60/7.85 c choco : 719.66
7.60/7.85 c mistral : 1801.0
7.60/7.85 c abscon : 1801.0
7.60/7.85 c
7.60/7.85 c
7.60/7.85 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-25-25.xml
7.60/7.85 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.60/7.86 c choco : 14.93
7.60/7.86 c mistral : 1801.0
7.60/7.86 c abscon : 1801.0
7.60/7.86 c
7.60/7.86 c
7.60/7.86 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-30-30.xml
7.60/7.86 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.60/7.87 c choco : 19.73
7.60/7.87 c mistral : 1801.0
7.60/7.87 c abscon : 1801.0
7.60/7.87 c
7.60/7.87 c
7.60/7.87 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-23-23.xml
7.60/7.87 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.60/7.88 c choco : 13.48
7.60/7.88 c mistral : 1801.0
7.60/7.88 c abscon : 1801.0
7.60/7.88 c
7.60/7.88 c
7.60/7.88 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-22-22.xml
7.60/7.88 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.60/7.89 c choco : 12.45
7.60/7.89 c mistral : 1801.0
7.60/7.89 c abscon : 1801.0
7.60/7.89 c
7.60/7.89 c
7.60/7.89 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-31-31.xml
7.60/7.89 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.60/7.89 c choco : 19.61
7.60/7.89 c mistral : 1801.0
7.60/7.89 c abscon : 1801.0
7.60/7.89 c
7.60/7.89 c
7.60/7.89 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-21-21.xml
7.60/7.89 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.66/7.90 c choco : 11.12
7.66/7.90 c mistral : 1801.0
7.66/7.90 c abscon : 1801.0
7.66/7.90 c
7.66/7.90 c
7.66/7.90 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-21-21.xml
7.66/7.90 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.66/7.91 c choco : 1801.0
7.66/7.91 c mistral : 687.44
7.66/7.91 c abscon : 1801.0
7.66/7.91 c
7.66/7.91 c
7.66/7.91 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-20-20.xml
7.66/7.91 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.66/7.93 c choco : 9.7
7.66/7.93 c mistral : 1801.0
7.66/7.93 c abscon : 1801.0
7.66/7.93 c
7.66/7.93 c
7.66/7.93 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-20-20.xml
7.66/7.93 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.66/7.94 c choco : 1801.0
7.66/7.94 c mistral : 394.02
7.66/7.94 c abscon : 1801.0
7.66/7.94 c
7.66/7.94 c
7.66/7.94 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-19-19.xml
7.66/7.94 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.66/7.95 c choco : 54.4
7.66/7.95 c mistral : 98.37
7.66/7.95 c abscon : 1801.0
7.66/7.95 c
7.66/7.95 c
7.66/7.95 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-19-19.xml
7.66/7.95 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.66/7.96 c choco : 8.21
7.66/7.96 c mistral : 1801.0
7.66/7.96 c abscon : 1801.0
7.66/7.96 c
7.66/7.96 c
7.66/7.96 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-18-18.xml
7.66/7.96 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.66/7.96 c choco : 26.66
7.66/7.96 c mistral : 13.36
7.66/7.96 c abscon : 1801.0
7.66/7.96 c
7.66/7.96 c
7.66/7.96 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-18-18.xml
7.66/7.96 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.66/7.97 c choco : 1801.0
7.66/7.97 c mistral : 916.51
7.66/7.97 c abscon : 1801.0
7.66/7.97 c
7.66/7.97 c
7.66/7.97 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-35-35.xml
7.66/7.97 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.66/7.97 c choco : 20.27
7.66/7.97 c mistral : 1801.0
7.66/7.97 c abscon : 1801.0
7.66/7.97 c
7.66/7.97 c
7.66/7.97 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-17-17.xml
7.66/7.97 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.66/7.98 c choco : 17.66
7.66/7.98 c mistral : 11.81
7.66/7.98 c abscon : 1801.0
7.66/7.98 c
7.66/7.98 c
7.66/7.98 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-17-17.xml
7.66/7.98 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.66/7.99 c choco : 6.14
7.66/7.99 c mistral : 1801.0
7.66/7.99 c abscon : 1801.0
7.66/7.99 c
7.66/7.99 c
7.66/7.99 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-36-36.xml
7.66/7.99 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.66/8.00 c choco : 21.51
7.66/8.00 c mistral : 1801.0
7.74/8.00 c abscon : 1801.0
7.74/8.00 c
7.74/8.00 c
7.74/8.00 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-16-16.xml
7.74/8.00 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.74/8.00 c choco : 21.34
7.74/8.00 c mistral : 77.84
7.74/8.00 c abscon : 1801.0
7.74/8.00 c
7.74/8.00 c
7.74/8.00 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-37-37.xml
7.74/8.00 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.74/8.01 c choco : 21.79
7.74/8.01 c mistral : 1801.0
7.74/8.01 c abscon : 1801.0
7.74/8.01 c
7.74/8.01 c
7.74/8.01 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-16-16.xml
7.74/8.01 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.74/8.02 c choco : 5.97
7.74/8.02 c mistral : 0.11
7.74/8.02 c abscon : 1801.0
7.74/8.02 c
7.74/8.02 c
7.74/8.02 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-15-15.xml
7.74/8.02 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.74/8.02 c choco : 6.04
7.74/8.02 c mistral : 0.11
7.74/8.02 c abscon : 1801.0
7.74/8.02 c
7.74/8.02 c
7.74/8.02 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-15-15.xml
7.74/8.02 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.74/8.03 c choco : 5.68
7.74/8.03 c mistral : 0.09
7.74/8.03 c abscon : 1801.0
7.74/8.03 c
7.74/8.03 c
7.74/8.03 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-14-14.xml
7.74/8.03 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.74/8.03 c choco : 20.83
7.74/8.03 c mistral : 0.08
7.74/8.03 c abscon : 1801.0
7.74/8.03 c
7.74/8.03 c
7.74/8.03 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-14-14.xml
7.74/8.03 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.74/8.04 c choco : 5.56
7.74/8.04 c mistral : 0.08
7.74/8.04 c abscon : 1801.0
7.74/8.04 c
7.74/8.04 c
7.74/8.04 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-13-13.xml
7.74/8.04 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.74/8.04 c choco : 9.2
7.74/8.04 c mistral : 0.07
7.74/8.04 c abscon : 1801.0
7.74/8.04 c
7.74/8.04 c
7.74/8.04 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-13-13.xml
7.74/8.04 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.74/8.05 c choco : 5.63
7.74/8.05 c mistral : 0.13
7.74/8.05 c abscon : 19.35
7.74/8.05 c
7.74/8.05 c
7.74/8.05 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-12-12.xml
7.74/8.05 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.74/8.06 c choco : 11.72
7.74/8.06 c mistral : 0.06
7.74/8.06 c abscon : 1801.0
7.74/8.06 c
7.74/8.06 c
7.74/8.06 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-12-12.xml
7.74/8.06 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.74/8.06 c choco : 5.24
7.74/8.06 c mistral : 0.1
7.74/8.06 c abscon : 1801.0
7.74/8.06 c
7.74/8.06 c
7.74/8.06 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-11-11.xml
7.74/8.06 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.74/8.07 c choco : 4.39
7.74/8.07 c mistral : 0.08
7.74/8.07 c abscon : 1801.0
7.74/8.07 c
7.74/8.07 c
7.74/8.07 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-11-11.xml
7.74/8.07 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.74/8.08 c choco : 13.01
7.74/8.08 c mistral : 0.04
7.74/8.08 c abscon : 1801.0
7.74/8.08 c
7.74/8.08 c
7.74/8.08 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-10-10.xml
7.74/8.08 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.74/8.08 c choco : 7.82
7.74/8.08 c mistral : 0.04
7.74/8.08 c abscon : 1801.0
7.74/8.08 c
7.74/8.08 c
7.74/8.08 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-10-10.xml
7.74/8.08 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.74/8.09 c choco : 4.04
7.74/8.09 c mistral : 0.08
7.74/8.09 c abscon : 1801.0
7.74/8.09 c
7.74/8.09 c
7.74/8.09 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-9-9.xml
7.74/8.09 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.74/8.10 c choco : 3.32
7.74/8.10 c mistral : 0.03
7.74/8.10 c abscon : 1801.0
7.74/8.10 c
7.74/8.10 c
7.74/8.10 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-9-9.xml
7.74/8.10 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.81/8.10 c choco : 3.17
7.81/8.10 c mistral : 0.03
7.81/8.10 c abscon : 1801.0
7.81/8.10 c
7.81/8.10 c
7.81/8.10 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-8-8.xml
7.81/8.10 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.81/8.11 c choco : 3.01
7.81/8.11 c mistral : 0.02
7.81/8.11 c abscon : 1801.0
7.81/8.11 c
7.81/8.11 c
7.81/8.11 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-8-8.xml
7.81/8.11 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.81/8.11 c choco : 2.95
7.81/8.12 c mistral : 0.03
7.81/8.12 c abscon : 2.31
7.81/8.12 c
7.81/8.12 c
7.81/8.12 c Length: 40
7.81/8.12 c 2.1209580625745525 2.8626457690047853 4.378792789996462 4.861581008746947 4.908006431430281 5.3661652501879775 5.465549146631928 5.947641944157701 6.310729121284244 6.763536032233804 6.76539202947804 7.639437398958184 7.760837421593177 8.573503836600356 8.628836923653209 9.338460002179215 9.469267921148974 10.203925717627946 10.391638333587297 10.560265538128338 11.149072426799684 11.538351500563719 12.20301574122561 15.260072764235463 15.264904137737158 16.191436110139243 17.09670412473003 17.182539555420377 18.24469958360896 18.338501180157607 19.3793245481565 19.555947325451715 20.828157577525236 20.952585816013283 22.216990336386722 22.26336955871912 23.785086684631207 24.115921912762634 26.332494212982127 28.613501271209383
7.81/8.12 c
7.81/8.12 c 1.0 0.9727663428887227 0.9214676505316374 0.9062495341195973 0.9048125940732608 0.89087247204742 0.8879050832681159 0.8737868920537961 0.8634467067183096 0.850889356008165 0.8508386366242312 0.8276069023217625 0.8244801073699284 0.8041424086782146 0.8027940719263911 0.785894622571231 0.7828568374449547 0.7662227555532011 0.7620853464335698 0.7584065169678024 0.7458348189161007 0.7377496504473916 0.7243426466984142 0.6684692138945932 0.6683877328021689 0.6531205612448258 0.6388626990526907 0.6375430453403547 0.6216530459350639 0.620287746699594 0.6055312539509722 0.6030965482938485 0.5861215487585254 0.5845124719612259 0.5686489216356556 0.5680833910174192 0.5501323534520185 0.5463787440442183 0.5224933288116241 0.5
7.81/8.13 c
7.81/8.13 c solver 0
7.81/8.13 c before 0.0 seconds: {} 0
7.81/8.13 c before 18.0 seconds: {39} 500
7.81/8.13 c before 36.0 seconds: {29, 39} 1120
7.81/8.13 c
7.81/8.13 c solver 1
7.81/8.13 c before 0.0 seconds: {} 0
7.81/8.13 c before 18.0 seconds: {15, 18, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 11691
7.81/8.13 c before 90.0 seconds: {15, 18, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 12429
7.81/8.13 c before 108.0 seconds: {13, 15, 18, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13233
7.81/8.13 c before 396.0 seconds: {12, 13, 15, 18, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14057
7.81/8.13 c before 702.0 seconds: {10, 12, 13, 15, 18, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14908
7.81/8.13 c before 918.0 seconds: {10, 12, 13, 15, 16, 18, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15691
7.81/8.13 c
7.81/8.13 c solver 2
7.81/8.13 c before 0.0 seconds: {} 0
7.81/8.13 c before 18.0 seconds: {1, 4, 6, 7, 9, 11, 14, 18, 19, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17145
7.81/8.13 c before 36.0 seconds: {1, 2, 4, 5, 6, 7, 8, 9, 11, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24220
7.81/8.13 c before 54.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9, 11, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25220
7.81/8.14 c before 72.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9, 11, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26024
7.81/8.14 c before 720.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26930
7.81/8.14 c
7.81/8.14 cTotal time: 93
7.81/8.14 c 1674.0 seconds unused
7.81/8.14 c 0 c 0 c 0
7.81/8.14 c 22 c 0 c 3
7.81/8.14 c 35 c 16 c 0
7.81/8.14 c is solver0 dominated by:
7.81/8.14 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.81/8.14 c is dominated? true
7.81/8.14 c
7.81/8.14 c is solver1 dominated by:
7.81/8.14 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.81/8.14 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.81/8.14 c is dominated? false
7.81/8.14 c
7.81/8.14 c is solver2 dominated by:
7.81/8.14 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.81/8.14 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.81/8.14 c is dominated? false
7.81/8.14 c
7.81/8.14 c Number of non-dominated solvers: 2
7.81/8.14 c remove dominated solvers
7.81/8.14 c solver 1 is not dominated by another solver
7.81/8.14 c solver 2 is not dominated by another solver
7.81/8.14 c solver 0 is dominated by another solver
7.81/8.14 c
7.81/8.14 c solver 0: 0.0
7.81/8.14 c
7.81/8.14 c solver 1: 918.0
7.81/8.14 c
7.81/8.14 c+ 51/91 of 9
7.81/8.14 c
7.81/8.14 c solver 2: 720.0
7.81/8.14 c
7.81/8.14 c+ 40/91 of 9
7.81/8.14 c do not run abscon
7.81/8.14 c run mistral for 1008.0 seconds {10, 12, 13, 15, 16, 18, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15691
7.81/8.14 c run choco for 774.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26930
7.81/8.14 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.81/8.14 c On Instance: HOME/instance-1046490-1215027862.xml
7.81/8.14 c Running for: 1008 seconds
1015.62/1016.37 c Starting solver: HOME/cpHydra_k_40/solver/choco
1015.62/1016.37 c On Instance: HOME/instance-1046490-1215027862.xml
1015.62/1016.37 c Running for: 774 seconds
1026.70/1027.47 s SATISFIABLE
1026.70/1027.47 v 5 9 9 5 0 62 47 54 69 40 69 68 67 26 47 47 63 62 50 47 26 25 24 0 0 0 55 54 51 51 51 56 56 56 17 21 26 50 37 21 64 0 0 62 17 36 0 35 57 56 26 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 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 1 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 1 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 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 1 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 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 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1
1026.70/1027.47 d ASSIGNMENTS 4096
1026.70/1027.47 c SAT 10933 TIME 4096 NDS 563 PARSTIME 1224 BUILDPB 9146 RES true RESTART 1 HEURISTIC