0.00/0.00 c cpHydra_k_40 version 0.0
7.21/7.33 c CASE TO CLASSIFY:
7.21/7.33 c Case: 0
7.21/7.33 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 16.882200 | c 34 > -1.000000 | c 16 > 105.000000 | c 13 > 9.484820 | c 14 > 12.931300 | c 11 > 13.371800 | c 12 > 8.327810 | 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 > 7.679480 | c 1 > 13.358100 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > 7.679480 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 14.952200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.21/7.34 c choco : 1801.0
7.21/7.34 c mistral : 1801.0
7.21/7.34 c abscon : 1801.0
7.21/7.34 c
7.21/7.34 c
7.32/7.41 c List of same ones: 40
7.32/7.41 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-10_glb.xml
7.32/7.41 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.32/7.42 c choco : 1801.0
7.32/7.42 c mistral : 197.92
7.32/7.42 c abscon : 1801.0
7.32/7.42 c
7.32/7.42 c
7.32/7.42 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-9_glb.xml
7.32/7.42 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.32/7.43 c choco : 12.89
7.32/7.43 c mistral : 7.43
7.32/7.43 c abscon : 1801.0
7.32/7.43 c
7.32/7.43 c
7.32/7.43 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-8_glb.xml
7.32/7.43 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.32/7.43 c choco : 30.19
7.32/7.43 c mistral : 1.82
7.32/7.44 c abscon : 1801.0
7.32/7.44 c
7.32/7.44 c
7.32/7.44 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-7_glb.xml
7.32/7.44 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.32/7.44 c choco : 8.91
7.32/7.44 c mistral : 0.14
7.32/7.44 c abscon : 62.66
7.32/7.44 c
7.32/7.44 c
7.32/7.44 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-6_glb.xml
7.32/7.44 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.32/7.45 c choco : 3.57
7.32/7.45 c mistral : 0.47
7.32/7.45 c abscon : 35.91
7.32/7.45 c
7.32/7.45 c
7.32/7.45 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-5_glb.xml
7.32/7.45 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.32/7.46 c choco : 8.05
7.32/7.46 c mistral : 0.17
7.32/7.46 c abscon : 3.99
7.32/7.46 c
7.32/7.46 c
7.32/7.46 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-4_glb.xml
7.32/7.46 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.32/7.47 c choco : 1.16
7.32/7.47 c mistral : 0.02
7.32/7.47 c abscon : 1.71
7.32/7.47 c
7.32/7.47 c
7.32/7.47 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-3_glb.xml
7.32/7.47 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.32/7.48 c choco : 1.13
7.32/7.48 c mistral : 0.02
7.32/7.48 c abscon : 1.49
7.32/7.48 c
7.32/7.48 c
7.32/7.48 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-37-37.xml
7.32/7.48 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.32/7.48 c choco : 21.79
7.32/7.48 c mistral : 1801.0
7.32/7.48 c abscon : 1801.0
7.32/7.48 c
7.32/7.48 c
7.32/7.48 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-36-36.xml
7.32/7.48 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.32/7.49 c choco : 21.51
7.32/7.49 c mistral : 1801.0
7.32/7.49 c abscon : 1801.0
7.32/7.49 c
7.32/7.49 c
7.32/7.49 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-35-35.xml
7.32/7.49 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.39/7.50 c choco : 20.27
7.39/7.50 c mistral : 1801.0
7.39/7.50 c abscon : 1801.0
7.39/7.50 c
7.39/7.50 c
7.39/7.50 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-31-31.xml
7.39/7.50 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.39/7.51 c choco : 19.61
7.39/7.51 c mistral : 1801.0
7.39/7.52 c abscon : 1801.0
7.39/7.52 c
7.39/7.52 c
7.39/7.52 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-30-30.xml
7.39/7.52 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.39/7.52 c choco : 19.73
7.39/7.52 c mistral : 1801.0
7.39/7.52 c abscon : 1801.0
7.39/7.52 c
7.39/7.52 c
7.39/7.52 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-29-29.xml
7.39/7.52 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.39/7.53 c choco : 20.93
7.39/7.53 c mistral : 1801.0
7.39/7.53 c abscon : 1801.0
7.39/7.53 c
7.39/7.53 c
7.39/7.53 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-27-27.xml
7.39/7.53 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.39/7.54 c choco : 17.5
7.39/7.54 c mistral : 1801.0
7.39/7.54 c abscon : 1801.0
7.39/7.54 c
7.39/7.54 c
7.39/7.54 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-26-26.xml
7.39/7.54 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.39/7.55 c choco : 47.2
7.39/7.55 c mistral : 1801.0
7.39/7.55 c abscon : 1801.0
7.39/7.55 c
7.39/7.55 c
7.39/7.55 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-25-25.xml
7.39/7.55 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.39/7.55 c choco : 14.93
7.39/7.55 c mistral : 1801.0
7.39/7.55 c abscon : 1801.0
7.39/7.55 c
7.39/7.55 c
7.39/7.55 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-24-24.xml
7.39/7.55 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.39/7.56 c choco : 719.66
7.39/7.56 c mistral : 1801.0
7.39/7.56 c abscon : 1801.0
7.39/7.56 c
7.39/7.56 c
7.39/7.56 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-100-50-3-20_glb.xml
7.39/7.56 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.464530 | c 33 > 60.000000 | c 15 > 20.218500 | c 34 > 20.000000 | c 16 > 100.000000 | c 13 > 13.204400 | c 14 > 12.708000 | c 11 > 11.036200 | c 12 > 11.253500 | c 21 > 1.414210 | c 20 > 92.535500 | 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.662700 | c 1 > 11.036200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.036200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.57 c choco : 1801.0
7.39/7.57 c mistral : 0.25
7.39/7.57 c abscon : 1801.0
7.39/7.57 c
7.39/7.57 c
7.39/7.57 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-23-23.xml
7.39/7.57 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.39/7.58 c choco : 13.48
7.39/7.58 c mistral : 1801.0
7.39/7.58 c abscon : 1801.0
7.39/7.58 c
7.39/7.58 c
7.39/7.58 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-90-45-3-18_glb.xml
7.39/7.58 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.597540 | c 33 > 60.000000 | c 15 > 21.043400 | c 34 > 20.000000 | c 16 > 90.000000 | c 13 > 13.730600 | c 14 > 13.581800 | c 11 > 10.884200 | c 12 > 12.360000 | c 21 > 1.414210 | c 20 > 92.402500 | 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.512700 | c 1 > 10.884200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.884200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.58 c choco : 1801.0
7.39/7.58 c mistral : 64.09
7.39/7.58 c abscon : 1801.0
7.39/7.58 c
7.39/7.58 c
7.39/7.58 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-22-22.xml
7.39/7.58 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.39/7.59 c choco : 12.45
7.39/7.59 c mistral : 1801.0
7.39/7.59 c abscon : 1801.0
7.39/7.59 c
7.39/7.59 c
7.39/7.59 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-21-21.xml
7.39/7.59 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.39/7.59 c choco : 1801.0
7.39/7.59 c mistral : 687.44
7.39/7.59 c abscon : 1801.0
7.39/7.59 c
7.39/7.59 c
7.39/7.59 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-21-21.xml
7.39/7.59 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.39/7.60 c choco : 11.12
7.39/7.60 c mistral : 1801.0
7.39/7.60 c abscon : 1801.0
7.39/7.60 c
7.39/7.60 c
7.39/7.60 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-80-40-3-16_glb.xml
7.39/7.60 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.763260 | c 33 > 60.000000 | c 15 > 20.669300 | c 34 > 20.000000 | c 16 > 80.000000 | c 13 > 14.163300 | c 14 > 13.801900 | c 11 > 10.714200 | c 12 > 12.382000 | c 21 > 1.414210 | c 20 > 92.236700 | 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.345400 | c 1 > 10.714200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.714200 | 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 : 0.2
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-20-20.xml
7.45/7.61 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.61 c choco : 9.7
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-20-20.xml
7.45/7.61 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.62 c choco : 1801.0
7.45/7.62 c mistral : 394.02
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_5c/data5/bibd7/bibd-7-98-42-3-14_glb.xml
7.45/7.62 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.769230 | c 33 > 60.000000 | c 15 > 20.189000 | c 34 > 20.000000 | c 16 > 98.000000 | c 13 > 11.267000 | c 14 > 13.952600 | c 11 > 11.422100 | c 12 > 9.350030 | c 21 > 1.414210 | c 20 > 94.230800 | 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 > 11.092800 | c 1 > 11.422100 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.422100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.62 c choco : 1801.0
7.45/7.62 c mistral : 11.66
7.45/7.62 c abscon : 16.56
7.45/7.62 c
7.45/7.62 c
7.45/7.62 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-19-19.xml
7.45/7.62 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.63 c choco : 54.4
7.45/7.63 c mistral : 98.37
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-19-19.xml
7.45/7.63 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.63 c choco : 8.21
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_5c/data5/bibd7/bibd-7-91-39-3-13_glb.xml
7.45/7.63 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.862070 | c 33 > 60.000000 | c 15 > 20.445600 | c 34 > 20.000000 | c 16 > 91.000000 | c 13 > 11.211100 | c 14 > 14.129000 | c 11 > 11.315100 | c 12 > 9.331050 | c 21 > 1.414210 | c 20 > 94.137900 | 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.987300 | c 1 > 11.315100 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.315100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.64 c choco : 1801.0
7.45/7.64 c mistral : 0.54
7.45/7.64 c abscon : 14.27
7.45/7.64 c
7.45/7.64 c
7.45/7.64 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-18-18.xml
7.45/7.64 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.64 c choco : 1801.0
7.45/7.64 c mistral : 916.51
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-18-18.xml
7.45/7.64 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.65 c choco : 26.66
7.45/7.65 c mistral : 13.36
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_5c/data5/bibd7/bibd-7-84-36-3-12_glb.xml
7.45/7.65 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.970150 | c 33 > 60.000000 | c 15 > 20.445100 | c 34 > 20.000000 | c 16 > 84.000000 | c 13 > 10.967300 | c 14 > 13.729000 | c 11 > 11.199700 | c 12 > 9.361060 | c 21 > 1.414210 | c 20 > 94.029900 | 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.873400 | c 1 > 11.199700 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.199700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.66 c choco : 1801.0
7.45/7.66 c mistral : 1801.0
7.45/7.66 c abscon : 13.53
7.45/7.66 c
7.45/7.66 c
7.45/7.66 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-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.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.66 c choco : 6.14
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_5c/data5/bibd6/bibd-6-70-35-3-14_glb.xml
7.45/7.67 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.975460 | c 33 > 60.000000 | c 15 > 21.159200 | c 34 > 20.000000 | c 16 > 70.000000 | c 13 > 14.354800 | c 14 > 14.459000 | c 11 > 10.521600 | c 12 > 13.063400 | c 21 > 1.414210 | c 20 > 92.024500 | 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.156100 | c 1 > 10.521600 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.521600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.67 c choco : 1801.0
7.45/7.67 c mistral : 1.73
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_5c/data5/bibd8/bibd-8-98-49-4-21_glb.xml
7.45/7.67 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 4.656010 | c 33 > 60.000000 | c 15 > 19.889800 | c 34 > 20.000000 | c 16 > 98.000000 | c 13 > 14.236200 | c 14 > 13.363900 | c 11 > 11.784600 | c 12 > 12.139700 | c 21 > 1.414210 | c 20 > 95.344000 | 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 > 11.490900 | c 1 > 11.784600 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.784600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.68 c choco : 1801.0
7.45/7.68 c mistral : 16.49
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-16-16.xml
7.45/7.68 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.68 c choco : 21.34
7.45/7.69 c mistral : 77.84
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_5c/data5/bibd7/bibd-7-77-33-3-11_glb.xml
7.45/7.69 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 6.097560 | c 33 > 60.000000 | c 15 > 20.860800 | c 34 > 20.000000 | c 16 > 77.000000 | c 13 > 11.902600 | c 14 > 14.472400 | c 11 > 11.074100 | c 12 > 10.069800 | c 21 > 1.414210 | c 20 > 93.902400 | 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.749900 | c 1 > 11.074100 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.074100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.69 c choco : 1801.0
7.45/7.69 c mistral : 1.6
7.45/7.69 c abscon : 11.26
7.45/7.69 c
7.45/7.69 c
7.45/7.69 c Length: 40
7.45/7.69 c 26.228405241028288 34.02338601880477 47.9105053107677 61.23052227232918 73.4744477787904 83.52441308801039 93.36785729458346 100.98578510994456 143.59799554670673 144.0359218264338 144.489386056049 146.3251793026038 146.7898461840677 147.25546828589054 148.19240778964954 148.67353013121954 149.18587840128873 149.64247894026275 149.70233780376375 150.13314458605532 150.27156094086766 150.5968439899766 151.11290179157012 151.1365870789291 151.405508244056 151.64198142625375 151.69058238434874 151.81572949215933 152.17241475519697 152.18026084768712 152.19279262042502 152.5921519167965 152.60537562417352 152.8604532981052 153.0745742322013 153.13484615937026 153.17049025496033 153.2933383231424 153.60740792026857 153.86017611168558
7.45/7.70 c
7.45/7.70 c 1.0 0.9424413516318242 0.8547884403961739 0.7847796822492401 0.7298339816988615 0.6901708967452335 0.6552906992852848 0.6306255567764542 0.5209431092866313 0.5200136139309206 0.5190546284739925 0.5152081723386843 0.5142436005319218 0.513280661945111 0.5113538948284095 0.5103701022933084 0.5093266128170691 0.5084002529072904 0.5082790598761225 0.5074085299236171 0.5071294650200537 0.5064748599349084 0.5054397967073008 0.5053923923789984 0.5048547897667074 0.5043829983661821 0.5042861430396925 0.5040369124187554 0.5033279230254705 0.5033123496326146 0.5032874778205758 0.5024961546706377 0.5024699946964784 0.5019659163812538 0.5015435559559914 0.501424795804169 0.5013545889351614 0.5011127701688834 0.5004956029659028 0.5
7.50/7.71 c
7.50/7.71 c solver 0
7.50/7.71 c before 0.0 seconds: {} 0
7.50/7.71 c before 18.0 seconds: {5, 6, 7, 27, 30, 33, 39} 3985
7.50/7.71 c before 36.0 seconds: {4, 5, 6, 7, 27, 30, 33, 39} 4715
7.50/7.71 c before 72.0 seconds: {3, 4, 5, 6, 7, 27, 30, 33, 39} 5499
7.50/7.71 c
7.50/7.71 c solver 1
7.50/7.71 c before 0.0 seconds: {} 0
7.50/7.71 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 7, 18, 24, 27, 30, 32, 35, 36, 37, 39} 9814
7.50/7.71 c before 72.0 seconds: {1, 2, 3, 4, 5, 6, 7, 18, 20, 24, 27, 30, 32, 35, 36, 37, 39} 10321
7.50/7.71 c before 90.0 seconds: {1, 2, 3, 4, 5, 6, 7, 18, 20, 24, 27, 30, 32, 35, 36, 37, 38, 39} 10822
7.50/7.71 c before 108.0 seconds: {1, 2, 3, 4, 5, 6, 7, 18, 20, 24, 27, 28, 30, 32, 35, 36, 37, 38, 39} 11325
7.50/7.71 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 18, 20, 24, 27, 28, 30, 32, 35, 36, 37, 38, 39} 12325
7.50/7.71 c before 396.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 18, 20, 24, 26, 27, 28, 30, 32, 35, 36, 37, 38, 39} 12829
7.50/7.71 c before 702.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 18, 20, 22, 24, 26, 27, 28, 30, 32, 35, 36, 37, 38, 39} 13335
7.50/7.71 c before 918.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 18, 20, 22, 24, 26, 27, 28, 30, 31, 32, 35, 36, 37, 38, 39} 13837
7.50/7.71 c
7.50/7.71 c solver 2
7.50/7.71 c before 0.0 seconds: {} 0
7.50/7.71 c before 18.0 seconds: {1, 3, 4, 5, 6, 7, 14, 16, 19, 21, 23, 25, 29, 34, 35} 8983
7.50/7.71 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 19, 21, 23, 25, 29, 32, 34, 35, 38} 13944
7.50/7.71 c before 54.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 19, 21, 23, 25, 29, 32, 34, 35, 38} 14454
7.50/7.71 c before 72.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 19, 21, 23, 25, 28, 29, 32, 34, 35, 38} 14957
7.50/7.71 c before 720.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 21, 23, 25, 28, 29, 32, 34, 35, 38} 15466
7.50/7.71 c
7.50/7.71 cTotal time: 95
7.50/7.71 c 1710.0 seconds unused
7.50/7.71 c 0 c 1 c 4
7.50/7.71 c 15 c 0 c 12
7.50/7.71 c 22 c 16 c 0
7.50/7.71 c is solver0 dominated by:
7.50/7.71 c solver 1 (0 solves instances that 1 can't: true) (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.50/7.71 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: false) (0 is faster than 2: true) (0 is equally as fast as 2: false) (0 < 2: false)
7.50/7.71 c is dominated? false
7.50/7.71 c
7.50/7.71 c is solver1 dominated by:
7.50/7.71 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.50/7.71 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.50/7.71 c is dominated? false
7.50/7.71 c
7.50/7.71 c is solver2 dominated by:
7.50/7.71 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true)
7.50/7.71 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.50/7.71 c is dominated? false
7.50/7.71 c
7.50/7.71 c Number of non-dominated solvers: 3
7.50/7.71 c remove dominated solvers
7.50/7.71 c solver 0 is not dominated by another solver
7.50/7.71 c solver 1 is not dominated by another solver
7.50/7.71 c solver 2 is not dominated by another solver
7.50/7.71 c
7.50/7.71 c solver 0: 72.0
7.50/7.71 c
7.50/7.71 c+ 4/95 of 5
7.50/7.71 c
7.50/7.71 c solver 1: 918.0
7.50/7.71 c
7.50/7.71 c+ 51/95 of 5
7.50/7.71 c
7.50/7.71 c solver 2: 720.0
7.50/7.71 c
7.50/7.71 c+ 40/95 of 5
7.50/7.71 c run abscon for 72.0 seconds {3, 4, 5, 6, 7, 27, 30, 33, 39} 5499
7.50/7.71 c run mistral for 954.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 18, 20, 22, 24, 26, 27, 28, 30, 31, 32, 35, 36, 37, 38, 39} 13837
7.50/7.71 c run choco for 756.0 seconds {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 21, 23, 25, 28, 29, 32, 34, 35, 38} 15466
7.50/7.72 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.50/7.72 c On Instance: HOME/instance-1070645-1215166346.xml
7.50/7.72 c Running for: 72 seconds
79.96/80.52 c Starting solver: HOME/cpHydra_k_40/solver/mistral
79.96/80.52 c On Instance: HOME/instance-1070645-1215166346.xml
79.96/80.52 c Running for: 954 seconds
1033.81/1038.23 c Starting solver: HOME/cpHydra_k_40/solver/choco
1033.81/1038.23 c On Instance: HOME/instance-1070645-1215166346.xml
1033.81/1038.23 c Running for: 756 seconds