0.00/0.00 c cpHydra_k_40 version 0.0
6.99/7.15 c CASE TO CLASSIFY:
6.99/7.15 c Case: 0
6.99/7.15 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 21.135100 | c 34 > -1.000000 | c 16 > 49.000000 | c 13 > 12.906600 | c 14 > 14.876600 | c 11 > 5.614710 | c 12 > 15.697400 | c 21 > 7.000000 | c 20 > 0.000000 | c 22 > 7.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 5.882350 | c 3 > 5.614710 | c 2 > -1.000000 | c 10 > 10.220400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 94.117600 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.229400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/7.16 c choco : 1801.0
6.99/7.16 c mistral : 1801.0
6.99/7.16 c abscon : 1801.0
6.99/7.16 c
6.99/7.16 c
7.09/7.23 c List of same ones: 40
7.09/7.23 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-7_glb.xml
7.09/7.23 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 21.029600 | c 34 > -1.000000 | c 16 > 49.000000 | c 13 > 13.116600 | c 14 > 14.704700 | c 11 > 5.614710 | c 12 > 14.754600 | c 21 > 7.000000 | c 20 > 0.000000 | c 22 > 7.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 5.882350 | c 3 > 5.614710 | c 2 > -1.000000 | c 10 > 10.220400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 94.117600 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.229400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.24 c choco : 8.91
7.09/7.24 c mistral : 0.14
7.09/7.24 c abscon : 62.66
7.09/7.24 c
7.09/7.24 c
7.09/7.24 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-6_glb.xml
7.09/7.24 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 21.180100 | c 34 > -1.000000 | c 16 > 36.000000 | c 13 > 13.913900 | c 14 > 15.471700 | c 11 > 5.169930 | c 12 > 15.410800 | c 21 > 6.000000 | c 20 > 0.000000 | c 22 > 6.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 6.666670 | c 3 > 5.169930 | c 2 > -1.000000 | c 10 > 9.333160 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 93.333300 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.339900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.25 c choco : 3.57
7.09/7.25 c mistral : 0.47
7.09/7.25 c abscon : 35.91
7.09/7.25 c
7.09/7.25 c
7.09/7.25 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-8_glb.xml
7.09/7.25 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.914200 | c 34 > -1.000000 | c 16 > 64.000000 | c 13 > 12.258500 | c 14 > 14.563600 | c 11 > 6.000000 | c 12 > 14.663600 | c 21 > 8.000000 | c 20 > 0.000000 | c 22 > 8.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 5.263160 | c 3 > 6.000000 | c 2 > -1.000000 | c 10 > 10.990800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 94.736800 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.000000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.26 c choco : 30.19
7.09/7.26 c mistral : 1.82
7.09/7.26 c abscon : 1801.0
7.09/7.26 c
7.09/7.26 c
7.09/7.26 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-5_glb.xml
7.09/7.26 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 17.453500 | c 34 > -1.000000 | c 16 > 25.000000 | c 13 > 8.763490 | c 14 > 11.124100 | c 11 > 4.643860 | c 12 > 10.603400 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 7.692310 | c 3 > 4.643860 | c 2 > -1.000000 | c 10 > 8.290020 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 92.307700 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.287710 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.27 c choco : 8.05
7.09/7.27 c mistral : 0.17
7.09/7.27 c abscon : 3.99
7.09/7.27 c
7.09/7.27 c
7.09/7.27 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-9_glb.xml
7.09/7.27 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 16.832600 | c 34 > -1.000000 | c 16 > 81.000000 | c 13 > 7.189530 | c 14 > 10.327600 | c 11 > 6.339850 | c 12 > 9.808860 | c 21 > 9.000000 | c 20 > 0.000000 | c 22 > 9.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 4.761900 | c 3 > 6.339850 | c 2 > -1.000000 | c 10 > 11.671100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 95.238100 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.679700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.28 c choco : 12.89
7.09/7.28 c mistral : 7.43
7.09/7.28 c abscon : 1801.0
7.09/7.28 c
7.09/7.28 c
7.09/7.28 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-4_glb.xml
7.09/7.28 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 10.576500 | c 34 > -1.000000 | c 16 > 16.000000 | c 13 > 3.038030 | c 14 > 4.459430 | c 11 > 4.000000 | c 12 > 3.774790 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 9.090910 | c 3 > 4.000000 | c 2 > -1.000000 | c 10 > 7.033420 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 90.909100 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.000000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.29 c choco : 1.16
7.09/7.29 c mistral : 0.02
7.09/7.29 c abscon : 1.71
7.09/7.29 c
7.09/7.29 c
7.09/7.29 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-3_glb.xml
7.09/7.29 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 8.005620 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 2.660960 | c 14 > 3.000000 | c 11 > 3.169930 | c 12 > 3.502500 | c 21 > 3.000000 | c 20 > 0.000000 | c 22 > 3.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 11.111100 | c 3 > 3.169930 | c 2 > -1.000000 | c 10 > 5.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 88.888900 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 6.339850 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.17/7.30 c choco : 1.13
7.17/7.30 c mistral : 0.02
7.17/7.30 c abscon : 1.49
7.17/7.30 c
7.17/7.30 c
7.17/7.30 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-10_glb.xml
7.17/7.30 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.696000 | c 34 > -1.000000 | c 16 > 100.000000 | c 13 > 12.108300 | c 14 > 14.463800 | c 11 > 6.643860 | c 12 > 14.945800 | c 21 > 10.000000 | c 20 > 0.000000 | c 22 > 10.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 4.347830 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 12.279900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 95.652200 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.287700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.17/7.31 c choco : 1801.0
7.17/7.31 c mistral : 197.92
7.17/7.31 c abscon : 1801.0
7.17/7.31 c
7.17/7.31 c
7.17/7.31 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-3-3.xml
7.17/7.31 c 19 > 44.444400 | c 35 > 29.230800 | c 17 > 0.000000 | c 18 > 27.777800 | c 33 > 0.000000 | c 15 > 3.169930 | c 34 > 37.692300 | c 16 > 4.000000 | c 13 > 0.786261 | c 14 > -1.000000 | c 11 > 5.672430 | c 12 > 1.173060 | c 21 > 1.490710 | c 20 > 27.777800 | c 22 > 2.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 > 2.000000 | c 2 > -1.000000 | c 10 > 5.554590 | c 1 > 3.584960 | c 0 > -1.000000 | c 30 > 60.000000 | c 7 > 3.906890 | c 6 > 4.321930 | c 32 > 40.000000 | c 5 > 7.149750 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.17/7.31 c choco : 1.63
7.17/7.31 c mistral : 0.0
7.17/7.31 c abscon : 1801.0
7.17/7.31 c
7.17/7.31 c
7.17/7.31 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-37-37.xml
7.17/7.31 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.17/7.32 c choco : 21.79
7.17/7.32 c mistral : 1801.0
7.17/7.32 c abscon : 1801.0
7.17/7.32 c
7.17/7.32 c
7.17/7.32 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-36-36.xml
7.17/7.32 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.52 c choco : 21.51
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/allsquaresUnsat/allsquaresUnsat-35-35.xml
7.36/7.52 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.53 c choco : 20.27
7.36/7.53 c mistral : 1801.0
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-31-31.xml
7.36/7.53 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.54 c choco : 19.61
7.36/7.54 c mistral : 1801.0
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-30-30.xml
7.36/7.54 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.55 c choco : 19.73
7.36/7.55 c mistral : 1801.0
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-29-29.xml
7.36/7.55 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.56 c choco : 20.93
7.36/7.56 c mistral : 1801.0
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/allsquaresUnsat/allsquaresUnsat-27-27.xml
7.36/7.56 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.57 c choco : 17.5
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-26-26.xml
7.36/7.57 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.36/7.57 c choco : 47.2
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/allsquaresUnsat/allsquaresUnsat-25-25.xml
7.36/7.57 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.36/7.58 c choco : 14.93
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/allsquares/allsquares-24-24.xml
7.36/7.58 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.36/7.59 c choco : 719.66
7.36/7.59 c mistral : 1801.0
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/allsquaresUnsat/allsquaresUnsat-23-23.xml
7.36/7.59 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.45/7.60 c choco : 13.48
7.45/7.60 c mistral : 1801.0
7.45/7.60 c abscon : 1801.0
7.45/7.60 c
7.45/7.60 c
7.45/7.60 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-22-22.xml
7.45/7.60 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.45/7.61 c choco : 12.45
7.45/7.61 c mistral : 1801.0
7.45/7.61 c abscon : 1801.0
7.45/7.61 c
7.45/7.61 c
7.45/7.61 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-21-21.xml
7.45/7.61 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.45/7.61 c choco : 1801.0
7.45/7.61 c mistral : 687.44
7.45/7.61 c abscon : 1801.0
7.45/7.61 c
7.45/7.61 c
7.45/7.61 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-21-21.xml
7.45/7.61 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.45/7.62 c choco : 11.12
7.45/7.62 c mistral : 1801.0
7.45/7.62 c abscon : 1801.0
7.45/7.62 c
7.45/7.62 c
7.45/7.62 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-20-20.xml
7.45/7.62 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.45/7.63 c choco : 9.7
7.45/7.63 c mistral : 1801.0
7.45/7.63 c abscon : 1801.0
7.45/7.63 c
7.45/7.63 c
7.45/7.63 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-18-18.xml
7.45/7.63 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.45/7.63 c choco : 1801.0
7.45/7.63 c mistral : 916.51
7.45/7.63 c abscon : 1801.0
7.45/7.63 c
7.45/7.63 c
7.45/7.63 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-18-18.xml
7.45/7.63 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.45/7.64 c choco : 26.66
7.45/7.64 c mistral : 13.36
7.45/7.64 c abscon : 1801.0
7.45/7.64 c
7.45/7.64 c
7.45/7.64 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-17-17.xml
7.45/7.64 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.45/7.64 c choco : 6.14
7.45/7.64 c mistral : 1801.0
7.45/7.64 c abscon : 1801.0
7.45/7.64 c
7.45/7.64 c
7.45/7.64 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-20-20.xml
7.45/7.64 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.45/7.65 c choco : 1801.0
7.45/7.65 c mistral : 394.02
7.45/7.65 c abscon : 1801.0
7.45/7.65 c
7.45/7.65 c
7.45/7.65 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-19-19.xml
7.45/7.65 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.45/7.65 c choco : 54.4
7.45/7.65 c mistral : 98.37
7.45/7.66 c abscon : 1801.0
7.45/7.66 c
7.45/7.66 c
7.45/7.66 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-19-19.xml
7.45/7.66 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.45/7.66 c choco : 8.21
7.45/7.66 c mistral : 1801.0
7.45/7.66 c abscon : 1801.0
7.45/7.66 c
7.45/7.66 c
7.45/7.66 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-17-17.xml
7.45/7.66 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.45/7.67 c choco : 17.66
7.45/7.67 c mistral : 11.81
7.45/7.67 c abscon : 1801.0
7.45/7.67 c
7.45/7.67 c
7.45/7.67 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-16-16.xml
7.45/7.67 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.45/7.67 c choco : 21.34
7.45/7.67 c mistral : 77.84
7.45/7.67 c abscon : 1801.0
7.45/7.67 c
7.45/7.67 c
7.45/7.67 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-16-16.xml
7.45/7.67 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.45/7.68 c choco : 5.97
7.45/7.68 c mistral : 0.11
7.45/7.68 c abscon : 1801.0
7.45/7.68 c
7.45/7.68 c
7.45/7.68 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-15-15.xml
7.45/7.68 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.45/7.68 c choco : 6.04
7.45/7.68 c mistral : 0.11
7.45/7.68 c abscon : 1801.0
7.45/7.68 c
7.45/7.68 c
7.45/7.68 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-15-15.xml
7.45/7.68 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.45/7.69 c choco : 5.68
7.45/7.69 c mistral : 0.09
7.45/7.69 c abscon : 1801.0
7.45/7.69 c
7.45/7.69 c
7.45/7.69 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-14-14.xml
7.45/7.69 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.45/7.70 c choco : 20.83
7.45/7.70 c mistral : 0.08
7.45/7.70 c abscon : 1801.0
7.45/7.70 c
7.45/7.70 c
7.45/7.70 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-14-14.xml
7.45/7.70 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.52/7.71 c choco : 5.56
7.52/7.71 c mistral : 0.08
7.52/7.71 c abscon : 1801.0
7.52/7.71 c
7.52/7.71 c
7.52/7.71 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-13-13.xml
7.52/7.71 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.52/7.71 c choco : 9.2
7.52/7.71 c mistral : 0.07
7.52/7.71 c abscon : 1801.0
7.52/7.71 c
7.52/7.71 c
7.52/7.71 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-12-12.xml
7.52/7.71 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.52/7.72 c choco : 11.72
7.52/7.72 c mistral : 0.06
7.52/7.72 c abscon : 1801.0
7.52/7.72 c
7.52/7.72 c
7.52/7.72 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-13-13.xml
7.52/7.72 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.52/7.72 c choco : 5.63
7.52/7.72 c mistral : 0.13
7.52/7.72 c abscon : 19.35
7.52/7.72 c
7.52/7.72 c
7.52/7.73 c Length: 40
7.52/7.73 c 0.9867379084640464 13.25357724453289 15.194952584470279 25.897547199285107 33.8575720487781 40.16128160303279 48.08352639630645 51.34074001682679 127.72037941071002 129.1816609356723 129.21915320557994 129.28329561152037 129.55798487213573 129.63624329073662 129.71297332338472 129.87852510333718 129.9586266294094 130.39713929476102 130.417994669869 130.54776691283612 130.56044331856475 130.7015105186796 130.77005388922845 130.92220053015492 130.94002982119142 130.98784614726472 130.99503875153326 131.00775355016853 131.06820486695963 131.08341630079718 131.1431573938145 131.15048712509383 132.15583464922463 132.24897015797708 132.29925926909644 132.41914106165316 132.55936941381782 132.5703337505865 132.6903241191825 132.7089893455279
7.52/7.73 c
7.52/7.73 c 1.0 0.9148071616384028 0.9026370911129866 0.840960719435228 0.8002903097356363 0.7707707528137394 0.7366231889645511 0.7234455283000436 0.5096507954956734 0.5067854854476738 0.5067123937103937 0.5065873960144196 0.5060527913542832 0.5059006900216972 0.5057516479714582 0.5054303756179999 0.505275075831109 0.5044265817119598 0.5043862988697012 0.5041357840215425 0.5041113265832503 0.5038393162448278 0.5037072546398247 0.503414362962316 0.5033800627710397 0.5032880962562813 0.5032742654211805 0.5032498176826978 0.5031336156885465 0.5031043840981818 0.5029896133698061 0.5029755355699501 0.5010520595297969 0.5008746127929339 0.5007788515413256 0.5005507185201151 0.5002841299649238 0.5002632975993017 0.5000354278580114 0.5
7.52/7.74 c
7.52/7.74 c solver 0
7.52/7.74 c before 0.0 seconds: {} 0
7.52/7.74 c before 18.0 seconds: {3, 5, 6} 2348
7.52/7.74 c before 36.0 seconds: {1, 3, 5, 6, 39} 3763
7.52/7.74 c before 72.0 seconds: {0, 1, 3, 5, 6, 39} 4763
7.52/7.74 c
7.52/7.74 c solver 1
7.52/7.74 c before 0.0 seconds: {} 0
7.52/7.74 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 25, 30, 32, 33, 34, 35, 36, 37, 38, 39} 11485
7.52/7.74 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 25, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 11988
7.52/7.74 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 25, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 12491
7.52/7.74 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 25, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13215
7.52/7.74 c before 396.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 25, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13718
7.52/7.74 c before 702.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 21, 25, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14222
7.52/7.74 c before 918.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 21, 24, 25, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14725
7.52/7.74 c
7.52/7.74 c solver 2
7.52/7.74 c before 0.0 seconds: {} 0
7.52/7.74 c before 18.0 seconds: {0, 1, 3, 4, 5, 6, 8, 15, 17, 19, 20, 22, 23, 26, 29, 30, 32, 33, 34, 36, 37, 38, 39} 13610
7.52/7.74 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 17, 19, 20, 22, 23, 25, 26, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19058
7.52/7.74 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 22, 23, 25, 26, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19563
7.52/7.74 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 22, 23, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20066
7.52/7.74 c before 720.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20571
7.52/7.74 c
7.52/7.74 cTotal time: 95
7.52/7.74 c 1710.0 seconds unused
7.52/7.74 c 0 c 0 c 0
7.52/7.74 c 18 c 0 c 4
7.52/7.74 c 30 c 16 c 0
7.52/7.74 c is solver0 dominated by:
7.52/7.74 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.52/7.74 c is dominated? true
7.52/7.74 c
7.52/7.74 c is solver1 dominated by:
7.52/7.74 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.52/7.74 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.52/7.75 c is dominated? false
7.52/7.75 c
7.52/7.75 c is solver2 dominated by:
7.52/7.75 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.52/7.75 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.52/7.75 c is dominated? false
7.52/7.75 c
7.52/7.75 c Number of non-dominated solvers: 2
7.52/7.75 c remove dominated solvers
7.52/7.75 c solver 1 is not dominated by another solver
7.52/7.75 c solver 2 is not dominated by another solver
7.52/7.75 c solver 0 is dominated by another solver
7.52/7.75 c
7.52/7.75 c solver 0: 0.0
7.52/7.75 c
7.52/7.75 c solver 1: 918.0
7.52/7.75 c
7.52/7.75 c+ 51/91 of 9
7.52/7.75 c
7.52/7.75 c solver 2: 720.0
7.52/7.75 c
7.52/7.75 c+ 40/91 of 9
7.52/7.75 c do not run abscon
7.52/7.75 c run mistral for 1008.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 21, 24, 25, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14725
7.52/7.75 c run choco for 774.0 seconds {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20571
7.52/7.75 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.52/7.75 c On Instance: HOME/instance-1046277-1215024823.xml
7.52/7.75 c Running for: 1008 seconds
7.52/7.79 c mistral-prime version 1.313
7.52/7.79 s SATISFIABLE
7.52/7.79 v 40 41 39 18 22 7 8 15 9 11 34 45 44 17 21 37 30 27 5 29 26 33 38 16 31 3 19 35 20 25 43 36 6 13 32 4 2 24 1 48 49 47 42 23 12 28 46 14 10
7.52/7.79 d CHECKS 32107
7.52/7.79 d ASSIGNMENTS 314