0.00/0.00 c cpHydra_k_40 version 0.0
7.59/7.71 c CASE TO CLASSIFY:
7.59/7.71 c Case: 0
7.59/7.71 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 19.214800 | c 34 > -1.000000 | c 16 > 35.000000 | c 13 > 12.725900 | c 14 > 11.540100 | c 11 > 11.587800 | c 12 > 10.902000 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 10.336500 | c 1 > 10.801700 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > 10.336500 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 14.683800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.59/7.72 c choco : 1801.0
7.59/7.72 c mistral : 1801.0
7.59/7.72 c abscon : 1801.0
7.59/7.72 c
7.59/7.72 c
7.78/7.98 c List of same ones: 40
7.78/7.98 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-6_glb.xml
7.78/7.98 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.78/7.98 c choco : 3.57
7.78/7.98 c mistral : 0.47
7.78/7.98 c abscon : 35.91
7.78/7.98 c
7.78/7.98 c
7.78/7.98 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-5_glb.xml
7.78/7.98 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.78/7.99 c choco : 8.05
7.78/7.99 c mistral : 0.17
7.78/7.99 c abscon : 3.99
7.78/7.99 c
7.78/7.99 c
7.78/7.99 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-7_glb.xml
7.78/7.99 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.87/8.00 c choco : 8.91
7.87/8.00 c mistral : 0.14
7.87/8.00 c abscon : 62.66
7.87/8.00 c
7.87/8.00 c
7.87/8.00 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-4_glb.xml
7.87/8.00 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.87/8.01 c choco : 1.16
7.87/8.01 c mistral : 0.02
7.87/8.01 c abscon : 1.71
7.87/8.01 c
7.87/8.01 c
7.87/8.01 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-8_glb.xml
7.87/8.01 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.87/8.02 c choco : 30.19
7.87/8.02 c mistral : 1.82
7.87/8.02 c abscon : 1801.0
7.87/8.02 c
7.87/8.02 c
7.87/8.02 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-3_glb.xml
7.87/8.02 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.87/8.03 c choco : 1.13
7.87/8.03 c mistral : 0.02
7.87/8.03 c abscon : 1.49
7.87/8.03 c
7.87/8.03 c
7.87/8.03 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-9_glb.xml
7.87/8.03 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.87/8.04 c choco : 12.89
7.87/8.04 c mistral : 7.43
7.87/8.04 c abscon : 1801.0
7.87/8.04 c
7.87/8.04 c
7.87/8.04 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-10_glb.xml
7.87/8.04 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.87/8.05 c choco : 1801.0
7.87/8.05 c mistral : 197.92
7.87/8.05 c abscon : 1801.0
7.87/8.05 c
7.87/8.05 c
7.87/8.05 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-3-3.xml
7.87/8.05 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.87/8.05 c choco : 1.63
7.87/8.06 c mistral : 0.0
7.87/8.06 c abscon : 1801.0
7.87/8.06 c
7.87/8.06 c
7.87/8.06 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-27-27.xml
7.87/8.06 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.87/8.06 c choco : 17.5
7.87/8.07 c mistral : 1801.0
7.87/8.07 c abscon : 1801.0
7.87/8.07 c
7.87/8.07 c
7.87/8.07 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-29-29.xml
7.87/8.07 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.87/8.08 c choco : 20.93
7.87/8.08 c mistral : 1801.0
7.87/8.08 c abscon : 1801.0
7.87/8.08 c
7.87/8.08 c
7.87/8.08 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-30-30.xml
7.87/8.08 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.87/8.09 c choco : 19.73
7.87/8.09 c mistral : 1801.0
7.87/8.09 c abscon : 1801.0
7.87/8.09 c
7.87/8.09 c
7.87/8.09 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-26-26.xml
7.87/8.09 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.94/8.10 c choco : 47.2
7.94/8.10 c mistral : 1801.0
7.94/8.10 c abscon : 1801.0
7.94/8.10 c
7.94/8.10 c
7.94/8.10 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-31-31.xml
7.94/8.10 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.94/8.10 c choco : 19.61
7.94/8.10 c mistral : 1801.0
7.94/8.11 c abscon : 1801.0
7.94/8.11 c
7.94/8.11 c
7.94/8.11 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-22-22.xml
7.94/8.11 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.94/8.12 c choco : 12.45
7.94/8.12 c mistral : 1801.0
7.94/8.12 c abscon : 1801.0
7.94/8.12 c
7.94/8.12 c
7.94/8.12 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-24-24.xml
7.94/8.12 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.94/8.12 c choco : 719.66
7.94/8.12 c mistral : 1801.0
7.94/8.12 c abscon : 1801.0
7.94/8.12 c
7.94/8.12 c
7.94/8.12 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-35-35.xml
7.94/8.12 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.94/8.13 c choco : 20.27
7.94/8.13 c mistral : 1801.0
7.94/8.13 c abscon : 1801.0
7.94/8.13 c
7.94/8.13 c
7.94/8.13 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-25-25.xml
7.94/8.13 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.94/8.14 c choco : 14.93
7.94/8.14 c mistral : 1801.0
7.94/8.14 c abscon : 1801.0
7.94/8.14 c
7.94/8.14 c
7.94/8.14 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-23-23.xml
7.94/8.14 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.94/8.14 c choco : 13.48
7.94/8.14 c mistral : 1801.0
7.94/8.14 c abscon : 1801.0
7.94/8.14 c
7.94/8.14 c
7.94/8.14 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-36-36.xml
7.94/8.14 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.94/8.15 c choco : 21.51
7.94/8.15 c mistral : 1801.0
7.94/8.15 c abscon : 1801.0
7.94/8.15 c
7.94/8.15 c
7.94/8.15 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-21-21.xml
7.94/8.15 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.94/8.16 c choco : 1801.0
7.94/8.16 c mistral : 687.44
7.94/8.16 c abscon : 1801.0
7.94/8.16 c
7.94/8.16 c
7.94/8.16 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-37-37.xml
7.94/8.16 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.94/8.17 c choco : 21.79
7.94/8.17 c mistral : 1801.0
7.94/8.17 c abscon : 1801.0
7.94/8.17 c
7.94/8.17 c
7.94/8.17 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-21-21.xml
7.94/8.17 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.94/8.17 c choco : 11.12
7.94/8.17 c mistral : 1801.0
7.94/8.17 c abscon : 1801.0
7.94/8.17 c
7.94/8.17 c
7.94/8.17 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-18-18.xml
7.94/8.17 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.94/8.18 c choco : 1801.0
7.94/8.18 c mistral : 916.51
7.94/8.18 c abscon : 1801.0
7.94/8.18 c
7.94/8.18 c
7.94/8.18 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-17-17.xml
7.94/8.18 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.94/8.18 c choco : 6.14
7.94/8.18 c mistral : 1801.0
7.94/8.18 c abscon : 1801.0
7.94/8.18 c
7.94/8.18 c
7.94/8.18 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-18-18.xml
7.94/8.18 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.94/8.19 c choco : 26.66
7.94/8.19 c mistral : 13.36
7.94/8.19 c abscon : 1801.0
7.94/8.19 c
7.94/8.19 c
7.94/8.19 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-20-20.xml
7.94/8.19 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.94/8.19 c choco : 9.7
7.94/8.19 c mistral : 1801.0
7.94/8.19 c abscon : 1801.0
7.94/8.19 c
7.94/8.19 c
7.94/8.19 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-16-16.xml
7.94/8.19 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
8.00/8.20 c choco : 21.34
8.00/8.20 c mistral : 77.84
8.00/8.20 c abscon : 1801.0
8.00/8.20 c
8.00/8.20 c
8.00/8.20 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-20-20.xml
8.00/8.20 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
8.00/8.21 c choco : 1801.0
8.00/8.21 c mistral : 394.02
8.00/8.21 c abscon : 1801.0
8.00/8.21 c
8.00/8.21 c
8.00/8.21 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-17-17.xml
8.00/8.21 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
8.00/8.21 c choco : 17.66
8.00/8.21 c mistral : 11.81
8.00/8.21 c abscon : 1801.0
8.00/8.21 c
8.00/8.21 c
8.00/8.21 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-19-19.xml
8.00/8.21 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
8.00/8.22 c choco : 54.4
8.00/8.22 c mistral : 98.37
8.00/8.22 c abscon : 1801.0
8.00/8.22 c
8.00/8.22 c
8.00/8.22 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-19-19.xml
8.00/8.22 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
8.00/8.22 c choco : 8.21
8.00/8.22 c mistral : 1801.0
8.00/8.22 c abscon : 1801.0
8.00/8.22 c
8.00/8.22 c
8.00/8.22 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-16-16.xml
8.00/8.22 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
8.00/8.23 c choco : 5.97
8.00/8.23 c mistral : 0.11
8.00/8.23 c abscon : 1801.0
8.00/8.23 c
8.00/8.23 c
8.00/8.23 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-15-15.xml
8.00/8.23 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
8.00/8.24 c choco : 6.04
8.00/8.24 c mistral : 0.11
8.00/8.24 c abscon : 1801.0
8.00/8.24 c
8.00/8.24 c
8.00/8.24 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-15-15.xml
8.00/8.24 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
8.00/8.24 c choco : 5.68
8.00/8.24 c mistral : 0.09
8.00/8.24 c abscon : 1801.0
8.00/8.24 c
8.00/8.24 c
8.00/8.24 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-14-14.xml
8.00/8.24 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
8.00/8.25 c choco : 20.83
8.00/8.25 c mistral : 0.08
8.00/8.25 c abscon : 1801.0
8.00/8.25 c
8.00/8.25 c
8.00/8.25 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-13-13.xml
8.00/8.25 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
8.00/8.26 c choco : 9.2
8.00/8.26 c mistral : 0.07
8.00/8.26 c abscon : 1801.0
8.00/8.26 c
8.00/8.26 c
8.00/8.26 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-14-14.xml
8.00/8.26 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
8.00/8.26 c choco : 5.56
8.00/8.26 c mistral : 0.08
8.00/8.26 c abscon : 1801.0
8.00/8.26 c
8.00/8.26 c
8.00/8.26 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-12-12.xml
8.00/8.26 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
8.00/8.27 c choco : 11.72
8.00/8.27 c mistral : 0.06
8.00/8.27 c abscon : 1801.0
8.00/8.27 c
8.00/8.27 c
8.00/8.27 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-13-13.xml
8.00/8.27 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
8.00/8.28 c choco : 5.63
8.00/8.28 c mistral : 0.13
8.00/8.28 c abscon : 19.35
8.00/8.28 c
8.00/8.28 c
8.00/8.28 c Length: 40
8.00/8.28 c 23.25808304148259 25.402709740775688 26.759765373091373 34.871541022051204 36.96208533232128 41.62588773721228 51.68596995635952 69.24671606697534 124.23189983348487 126.26439384054589 126.26593722189376 126.27387125894316 126.27928648852013 126.28554985046569 126.37884125382168 126.38042505143459 126.3875488385152 126.41589945614832 126.42237811119317 126.42551928357912 126.44159949123713 126.48078436094987 126.49524776059224 126.52199591124857 126.53793374089842 126.56789548616507 126.5755443388224 126.63635352432452 126.63952642263551 126.65449881803607 126.66363237544469 126.6656972612625 127.33016099578018 127.41155615941989 127.418799817007 127.49445145338483 127.59810066768861 127.62451792559267 127.68403165640329 127.72565732779356
8.00/8.28 c
8.00/8.28 c 1.0 0.9798838530724762 0.9675677832625957 0.8999538705525262 0.8840330078706203 0.8504681236957377 0.7860883535229205 0.694338745823983 0.5085030515904579 0.5035215600427166 0.5035178144146691 0.5034985602009993 0.5034854194406895 0.5034702214321027 0.50324395898787 0.5032401195114871 0.5032228505973427 0.5031541370427366 0.5031384373233323 0.5031308256755586 0.5030918639338825 0.5029969457241383 0.5029619198220827 0.5028971568851299 0.5028585759534125 0.5027860631511538 0.502767554905339 0.5026204608629027 0.5026127881607209 0.5025765850771784 0.5025545027992385 0.502549510776511 0.5009482521136006 0.5007528031621974 0.5007354168248821 0.5005539087365088 0.5003054406665405 0.5002421526134624 0.5000996337052775 0.5
8.00/8.30 c
8.00/8.30 c solver 0
8.00/8.30 c before 0.0 seconds: {} 0
8.00/8.30 c before 18.0 seconds: {1, 3, 5} 2730
8.00/8.30 c before 36.0 seconds: {0, 1, 3, 5, 39} 4230
8.00/8.30 c before 72.0 seconds: {0, 1, 2, 3, 5, 39} 5197
8.00/8.30 c
8.00/8.30 c solver 1
8.00/8.30 c before 0.0 seconds: {} 0
8.00/8.30 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 25, 29, 32, 33, 34, 35, 36, 37, 38, 39} 11885
8.00/8.30 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 25, 27, 29, 32, 33, 34, 35, 36, 37, 38, 39} 12388
8.00/8.30 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 25, 27, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 12890
8.00/8.30 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 25, 27, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 13585
8.00/8.30 c before 396.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 25, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 14087
8.00/8.30 c before 702.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 20, 25, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 14590
8.00/8.30 c before 918.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 20, 23, 25, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 15093
8.00/8.30 c
8.00/8.30 c solver 2
8.00/8.30 c before 0.0 seconds: {} 0
8.00/8.30 c before 18.0 seconds: {0, 1, 2, 3, 5, 6, 8, 9, 14, 17, 18, 22, 24, 26, 29, 31, 32, 33, 34, 36, 37, 38, 39} 14022
8.00/8.30 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14, 16, 17, 18, 19, 21, 22, 24, 25, 26, 27, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19432
8.06/8.30 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 21, 22, 24, 25, 26, 27, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19935
8.06/8.30 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 21, 22, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20438
8.06/8.30 c before 720.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20941
8.06/8.30 c
8.06/8.30 cTotal time: 95
8.06/8.30 c 1710.0 seconds unused
8.06/8.30 c 0 c 0 c 0
8.06/8.30 c 18 c 0 c 4
8.06/8.30 c 30 c 16 c 0
8.06/8.30 c is solver0 dominated by:
8.06/8.30 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)
8.06/8.30 c is dominated? true
8.06/8.30 c
8.06/8.30 c is solver1 dominated by:
8.06/8.30 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)
8.06/8.30 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)
8.06/8.30 c is dominated? false
8.06/8.30 c
8.06/8.30 c is solver2 dominated by:
8.06/8.30 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)
8.06/8.30 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)
8.06/8.30 c is dominated? false
8.06/8.30 c
8.06/8.30 c Number of non-dominated solvers: 2
8.06/8.30 c remove dominated solvers
8.06/8.30 c solver 1 is not dominated by another solver
8.06/8.30 c solver 2 is not dominated by another solver
8.06/8.30 c solver 0 is dominated by another solver
8.06/8.30 c
8.06/8.30 c solver 0: 0.0
8.06/8.30 c
8.06/8.30 c solver 1: 918.0
8.06/8.30 c
8.06/8.30 c+ 51/91 of 9
8.06/8.30 c
8.06/8.30 c solver 2: 720.0
8.06/8.30 c
8.06/8.30 c+ 40/91 of 9
8.06/8.30 c do not run abscon
8.06/8.30 c run mistral for 1008.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 20, 23, 25, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 15093
8.06/8.30 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, 21, 22, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20941
8.06/8.30 c Starting solver: HOME/cpHydra_k_40/solver/mistral
8.06/8.30 c On Instance: HOME/instance-1070261-1215164139.xml
8.06/8.30 c Running for: 1008 seconds
1015.87/1016.95 c Starting solver: HOME/cpHydra_k_40/solver/choco
1015.87/1016.95 c On Instance: HOME/instance-1070261-1215164139.xml
1015.87/1016.95 c Running for: 774 seconds