0.00/0.00 c cpHydra_k_40 version 0.0
7.09/7.26 c CASE TO CLASSIFY:
7.09/7.26 c Case: 0
7.09/7.26 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.975460 | c 33 > 60.000000 | c 15 > 21.287900 | c 34 > 20.000000 | c 16 > 70.000000 | c 13 > 14.095300 | c 14 > 14.596600 | c 11 > 10.521600 | c 12 > 13.352200 | 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.09/7.27 c choco : 1801.0
7.09/7.27 c mistral : 1801.0
7.09/7.27 c abscon : 1801.0
7.09/7.27 c
7.09/7.27 c
7.19/7.34 c List of same ones: 40
7.19/7.34 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-70-35-3-14_glb.xml
7.19/7.34 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.19/7.35 c choco : 1801.0
7.19/7.35 c mistral : 1.73
7.19/7.35 c abscon : 1801.0
7.19/7.35 c
7.19/7.35 c
7.19/7.35 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-70-30-3-10_glb.xml
7.19/7.35 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 60.000000 | c 15 > 20.902600 | c 34 > 20.000000 | c 16 > 70.000000 | c 13 > 11.685600 | c 14 > 14.416700 | c 11 > 10.936600 | c 12 > 9.908070 | c 21 > 1.414210 | c 20 > 93.750000 | 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.614700 | c 1 > 10.936600 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.936600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.19/7.36 c choco : 1801.0
7.19/7.36 c mistral : 11.53
7.19/7.36 c abscon : 10.67
7.19/7.36 c
7.19/7.36 c
7.19/7.36 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-70-35-4-15_glb.xml
7.19/7.36 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.130690 | c 33 > 60.000000 | c 15 > 20.273800 | c 34 > 20.000000 | c 16 > 70.000000 | c 13 > 12.698900 | c 14 > 13.022900 | c 11 > 11.299200 | c 12 > 10.515100 | c 21 > 1.414210 | c 20 > 94.869300 | 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.012600 | c 1 > 11.299200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.299200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.19/7.37 c choco : 1801.0
7.19/7.37 c mistral : 2.44
7.19/7.37 c abscon : 1801.0
7.19/7.37 c
7.19/7.37 c
7.19/7.37 c /home/ehebrard/new_instances/competition_5c/data5/bibd9/bibd-9-72-24-3-6_glb.xml
7.19/7.37 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 4.318940 | c 33 > 60.000000 | c 15 > 20.877800 | c 34 > 20.000000 | c 16 > 72.000000 | c 13 > 15.759400 | c 14 > 14.282600 | c 11 > 11.661800 | c 12 > 13.426100 | c 21 > 1.414210 | c 20 > 95.681100 | 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.403500 | c 1 > 11.661800 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.661800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.19/7.38 c choco : 1801.0
7.19/7.38 c mistral : 3.07
7.19/7.38 c abscon : 1801.0
7.19/7.38 c
7.19/7.38 c
7.19/7.38 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-63-27-3-9_glb.xml
7.19/7.38 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 6.435640 | c 33 > 60.000000 | c 15 > 21.279400 | c 34 > 20.000000 | c 16 > 63.000000 | c 13 > 12.359700 | c 14 > 14.844100 | c 11 > 10.784600 | c 12 > 10.556100 | c 21 > 1.414210 | c 20 > 93.564400 | 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.465600 | c 1 > 10.784600 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.784600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.19/7.39 c choco : 1801.0
7.19/7.39 c mistral : 0.27
7.19/7.39 c abscon : 9.51
7.19/7.39 c
7.19/7.39 c
7.19/7.39 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-77-33-3-11_glb.xml
7.19/7.39 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.28/7.40 c choco : 1801.0
7.28/7.40 c mistral : 1.6
7.28/7.40 c abscon : 11.26
7.28/7.40 c
7.28/7.40 c
7.28/7.40 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-80-40-3-16_glb.xml
7.28/7.40 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.28/7.41 c choco : 1801.0
7.28/7.41 c mistral : 0.2
7.28/7.41 c abscon : 1801.0
7.28/7.41 c
7.28/7.41 c
7.28/7.41 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-60-30-3-12_glb.xml
7.28/7.41 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 8.256880 | c 33 > 60.000000 | c 15 > 20.985500 | c 34 > 20.000000 | c 16 > 60.000000 | c 13 > 13.027000 | c 14 > 14.700000 | c 11 > 10.299200 | c 12 > 11.970200 | c 21 > 1.414210 | c 20 > 91.743100 | 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 > 9.938110 | c 1 > 10.299200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.299200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.42 c choco : 1801.0
7.28/7.42 c mistral : 1.03
7.28/7.42 c abscon : 1801.0
7.28/7.42 c
7.28/7.42 c
7.28/7.42 c /home/ehebrard/new_instances/competition_5c/data5/bibd9/bibd-9-60-20-3-5_glb.xml
7.28/7.42 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 4.635760 | c 33 > 60.000000 | c 15 > 20.663800 | c 34 > 20.000000 | c 16 > 60.000000 | c 13 > 16.416800 | c 14 > 14.459500 | c 11 > 11.398700 | c 12 > 14.513500 | c 21 > 1.414210 | c 20 > 95.364200 | 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.145300 | c 1 > 11.398700 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.398700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.42 c choco : 1801.0
7.28/7.42 c mistral : 75.53
7.28/7.42 c abscon : 1801.0
7.28/7.42 c
7.28/7.42 c
7.28/7.42 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-56-24-3-8_glb.xml
7.28/7.42 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 6.666670 | c 33 > 60.000000 | c 15 > 21.294400 | c 34 > 20.000000 | c 16 > 56.000000 | c 13 > 12.822500 | c 14 > 15.104600 | c 11 > 10.614700 | c 12 > 11.441800 | c 21 > 1.414210 | c 20 > 93.333300 | 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.299200 | c 1 > 10.614700 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.614700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.43 c choco : 1801.0
7.28/7.43 c mistral : 0.28
7.28/7.43 c abscon : 8.76
7.28/7.43 c
7.28/7.43 c
7.28/7.43 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-8-56-21-3-6_glb.xml
7.28/7.43 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.542170 | c 33 > 60.000000 | c 15 > 21.135200 | c 34 > 20.000000 | c 16 > 56.000000 | c 13 > 16.046000 | c 14 > 14.712300 | c 11 > 10.977300 | c 12 > 13.857300 | c 21 > 1.414210 | c 20 > 94.457800 | 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.697000 | c 1 > 10.977300 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.977300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.64 c choco : 1801.0
7.46/7.64 c mistral : 0.29
7.46/7.64 c abscon : 1801.0
7.46/7.64 c
7.46/7.64 c
7.46/7.64 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-56-28-4-12_glb.xml
7.46/7.64 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.542170 | c 33 > 60.000000 | c 15 > 21.000600 | c 34 > 20.000000 | c 16 > 56.000000 | c 13 > 11.528100 | c 14 > 14.110600 | c 11 > 10.977300 | c 12 > 9.894620 | c 21 > 1.414210 | c 20 > 94.457800 | 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.697000 | c 1 > 10.977300 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.977300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.66 c choco : 1801.0
7.46/7.66 c mistral : 0.39
7.46/7.66 c abscon : 1801.0
7.46/7.66 c
7.46/7.66 c
7.46/7.66 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-84-36-3-12_glb.xml
7.46/7.66 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.46/7.66 c choco : 1801.0
7.46/7.66 c mistral : 1801.0
7.46/7.66 c abscon : 13.53
7.46/7.66 c
7.46/7.66 c
7.46/7.66 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-16-80-15-3-2_glb.xml
7.46/7.66 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 2.200490 | c 33 > 60.000000 | c 15 > 17.365100 | c 34 > 20.000000 | c 16 > 80.000000 | c 13 > 13.481000 | c 14 > 10.774000 | c 11 > 13.409400 | c 12 > 10.451800 | c 21 > 1.414210 | c 20 > 97.799500 | 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 > 13.260900 | c 1 > 13.409400 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 14.409400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.67 c choco : 1801.0
7.46/7.67 c mistral : 1801.0
7.46/7.67 c abscon : 0.63
7.46/7.67 c
7.46/7.67 c
7.46/7.67 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-90-45-3-18_glb.xml
7.46/7.67 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.46/7.68 c choco : 1801.0
7.46/7.68 c mistral : 64.09
7.46/7.68 c abscon : 1801.0
7.46/7.68 c
7.46/7.68 c
7.46/7.68 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-50-25-3-10_glb.xml
7.46/7.68 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 8.647990 | c 33 > 60.000000 | c 15 > 20.097800 | c 34 > 20.000000 | c 16 > 50.000000 | c 13 > 14.123500 | c 14 > 13.848100 | c 11 > 10.036200 | c 12 > 12.797800 | c 21 > 1.414210 | c 20 > 91.352000 | 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 > 9.681240 | c 1 > 10.036200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.036200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.69 c choco : 21.63
7.46/7.69 c mistral : 0.12
7.46/7.69 c abscon : 1801.0
7.46/7.69 c
7.46/7.69 c
7.46/7.69 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-49-21-3-7_glb.xml
7.46/7.69 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 6.962030 | c 33 > 60.000000 | c 15 > 21.331700 | c 34 > 20.000000 | c 16 > 49.000000 | c 13 > 15.019500 | c 14 > 14.726200 | c 11 > 10.422100 | c 12 > 13.311600 | c 21 > 1.414210 | c 20 > 93.038000 | 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.111100 | c 1 > 10.422100 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.422100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.69 c choco : 1801.0
7.46/7.70 c mistral : 5.51
7.46/7.70 c abscon : 13.54
7.46/7.70 c
7.46/7.70 c
7.46/7.70 c /home/ehebrard/new_instances/competition_5c/data5/bibd10-11/bibd-10-90-27-3-6_glb.xml
7.46/7.70 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 3.456500 | c 33 > 60.000000 | c 15 > 19.917700 | c 34 > 20.000000 | c 16 > 90.000000 | c 13 > 15.060300 | c 14 > 13.684400 | c 11 > 12.273200 | c 12 > 12.697100 | c 21 > 1.414210 | c 20 > 96.543500 | 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 > 12.034500 | c 1 > 12.273200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.273200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.70 c choco : 1801.0
7.46/7.70 c mistral : 1.7
7.46/7.70 c abscon : 1801.0
7.46/7.70 c
7.46/7.70 c
7.46/7.70 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-91-39-3-13_glb.xml
7.46/7.70 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.54/7.71 c choco : 1801.0
7.54/7.71 c mistral : 0.54
7.54/7.71 c abscon : 14.27
7.54/7.71 c
7.54/7.71 c
7.54/7.71 c /home/ehebrard/new_instances/competition_5c/data5/bibd12-13/bibd-12-44-11-3-2_glb.xml
7.54/7.71 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 4.031730 | c 33 > 60.000000 | c 15 > 17.568800 | c 34 > 20.000000 | c 16 > 44.000000 | c 13 > 12.364900 | c 14 > 11.355900 | c 11 > 11.744800 | c 12 > 10.486500 | c 21 > 1.414210 | c 20 > 95.968300 | 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.563200 | c 1 > 11.744800 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.744800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.54/7.72 c choco : 1801.0
7.54/7.72 c mistral : 0.6
7.54/7.72 c abscon : 1801.0
7.54/7.72 c
7.54/7.72 c
7.54/7.72 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-42-18-3-6_glb.xml
7.54/7.72 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.352940 | c 33 > 60.000000 | c 15 > 21.569500 | c 34 > 20.000000 | c 16 > 42.000000 | c 13 > 14.373200 | c 14 > 15.327600 | c 11 > 10.199700 | c 12 > 13.080700 | c 21 > 1.414210 | c 20 > 92.647100 | 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 > 9.894820 | c 1 > 10.199700 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.199700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.54/7.73 c choco : 1801.0
7.54/7.73 c mistral : 0.08
7.54/7.73 c abscon : 11.27
7.54/7.73 c
7.54/7.73 c
7.54/7.73 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-42-21-4-9_glb.xml
7.54/7.73 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 6.220100 | c 33 > 60.000000 | c 15 > 21.183000 | c 34 > 20.000000 | c 16 > 42.000000 | c 13 > 16.723700 | c 14 > 14.802500 | c 11 > 10.562200 | c 12 > 14.690000 | c 21 > 1.414210 | c 20 > 93.779900 | 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.292300 | c 1 > 10.562200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.562200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.54/7.73 c choco : 1801.0
7.54/7.73 c mistral : 0.46
7.54/7.73 c abscon : 1801.0
7.54/7.73 c
7.54/7.73 c
7.54/7.73 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-98-49-4-21_glb.xml
7.54/7.73 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.54/7.74 c choco : 1801.0
7.54/7.74 c mistral : 16.49
7.54/7.74 c abscon : 1801.0
7.54/7.74 c
7.54/7.74 c
7.54/7.74 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-98-42-3-14_glb.xml
7.54/7.74 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.54/7.74 c choco : 1801.0
7.54/7.74 c mistral : 11.66
7.54/7.74 c abscon : 16.56
7.54/7.74 c
7.54/7.74 c
7.54/7.74 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-40-20-3-8_glb.xml
7.54/7.74 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 9.228440 | c 33 > 60.000000 | c 15 > 20.109800 | c 34 > 20.000000 | c 16 > 40.000000 | c 13 > 12.788500 | c 14 > 14.052800 | c 11 > 9.714250 | c 12 > 12.169700 | c 21 > 1.414210 | c 20 > 90.771600 | 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 > 9.368510 | c 1 > 9.714250 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.714200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.54/7.75 c choco : 59.6
7.54/7.75 c mistral : 0.23
7.54/7.75 c abscon : 26.24
7.54/7.75 c
7.54/7.75 c
7.54/7.75 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-100-50-3-20_glb.xml
7.54/7.75 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.54/7.75 c choco : 1801.0
7.54/7.75 c mistral : 0.25
7.54/7.75 c abscon : 1801.0
7.54/7.75 c
7.54/7.75 c
7.54/7.75 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-35-15-3-5_glb.xml
7.54/7.75 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.894740 | c 33 > 60.000000 | c 15 > 21.534600 | c 34 > 20.000000 | c 16 > 35.000000 | c 13 > 13.806700 | c 14 > 15.884600 | c 11 > 9.936640 | c 12 > 12.828000 | c 21 > 1.414210 | c 20 > 92.105300 | 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 > 9.640240 | c 1 > 9.936640 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.936600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.54/7.76 c choco : 12.35
7.54/7.76 c mistral : 0.12
7.54/7.76 c abscon : 8.74
7.54/7.76 c
7.54/7.76 c
7.54/7.76 c /home/ehebrard/new_instances/competition_5c/data5/bibd9/bibd-9-36-12-3-3_glb.xml
7.54/7.76 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.882350 | c 33 > 60.000000 | c 15 > 14.457800 | c 34 > 20.000000 | c 16 > 36.000000 | c 13 > 7.081620 | c 14 > 8.629360 | c 11 > 10.661800 | c 12 > 5.136390 | c 21 > 1.414210 | c 20 > 94.117600 | 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.427300 | c 1 > 10.661800 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.661800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.54/7.77 c choco : 1801.0
7.54/7.77 c mistral : 40.43
7.54/7.77 c abscon : 37.33
7.54/7.77 c
7.54/7.77 c
7.54/7.77 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-15-35-7-3-1_glb.xml
7.54/7.77 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 4.047000 | c 33 > 60.000000 | c 15 > 15.303000 | c 34 > 20.000000 | c 16 > 35.000000 | c 13 > 7.223010 | c 14 > 9.092760 | c 11 > 12.036200 | c 12 > 5.235750 | c 21 > 1.414210 | c 20 > 95.953000 | 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.903100 | c 1 > 12.036200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.036200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.54/7.77 c choco : 65.48
7.54/7.77 c mistral : 0.98
7.54/7.77 c abscon : 1801.0
7.54/7.77 c
7.54/7.77 c
7.54/7.77 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-30-15-3-6_glb.xml
7.54/7.77 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 10.179600 | c 33 > 60.000000 | c 15 > 19.126400 | c 34 > 20.000000 | c 16 > 30.000000 | c 13 > 14.779900 | c 14 > 13.233900 | c 11 > 9.299210 | c 12 > 13.140000 | c 21 > 1.414210 | c 20 > 89.820400 | 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 > 8.968670 | c 1 > 9.299210 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.299200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.54/7.78 c choco : 20.41
7.54/7.78 c mistral : 0.14
7.54/7.78 c abscon : 16.64
7.54/7.78 c
7.54/7.78 c
7.54/7.78 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-31-31-6-6-1_glb.xml
7.54/7.78 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 3.526970 | c 33 > 60.000000 | c 15 > 18.227100 | c 34 > 20.000000 | c 16 > 31.000000 | c 13 > 7.541670 | c 14 > 9.864190 | c 11 > 13.908400 | c 12 > 4.826320 | c 21 > 1.414210 | c 20 > 96.473000 | 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 > 13.867100 | c 1 > 13.908400 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 14.908400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.54/7.78 c choco : 1801.0
7.54/7.78 c mistral : 6.96
7.54/7.78 c abscon : 1801.0
7.54/7.78 c
7.54/7.78 c
7.54/7.78 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-28-14-4-6_glb.xml
7.54/7.78 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.547170 | c 33 > 60.000000 | c 15 > 21.674800 | c 34 > 20.000000 | c 16 > 28.000000 | c 13 > 14.230600 | c 14 > 15.096100 | c 11 > 9.977280 | c 12 > 13.458900 | c 21 > 1.414210 | c 20 > 92.452800 | 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 > 9.727920 | c 1 > 9.977280 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.977300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.54/7.79 c choco : 1801.0
7.54/7.79 c mistral : 0.14
7.54/7.79 c abscon : 39.3
7.54/7.79 c
7.54/7.79 c
7.54/7.79 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-28-12-3-4_glb.xml
7.54/7.79 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 8.695650 | c 33 > 60.000000 | c 15 > 21.072700 | c 34 > 20.000000 | c 16 > 28.000000 | c 13 > 13.848200 | c 14 > 15.923900 | c 11 > 9.614710 | c 12 > 12.540400 | c 21 > 1.414210 | c 20 > 91.304300 | 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 > 9.330920 | c 1 > 9.614710 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.614700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.54/7.80 c choco : 10.93
7.60/7.80 c mistral : 0.1
7.60/7.80 c abscon : 7.43
7.60/7.80 c
7.60/7.80 c
7.60/7.80 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-25-30-6-5-1_glb.xml
7.60/7.80 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 3.794760 | c 33 > 60.000000 | c 15 > 18.308900 | c 34 > 20.000000 | c 16 > 30.000000 | c 13 > 7.093370 | c 14 > 10.011200 | c 11 > 13.251200 | c 12 > 5.872660 | c 21 > 1.414210 | c 20 > 96.205200 | 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 > 13.191500 | c 1 > 13.251200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 14.251200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.60/7.80 c choco : 1801.0
7.60/7.80 c mistral : 5.2
7.60/7.80 c abscon : 1801.0
7.60/7.80 c
7.60/7.80 c
7.60/7.80 c /home/ehebrard/new_instances/competition_5c/data5/bibd10-11/bibd-10-30-9-3-2_glb.xml
7.60/7.80 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.923340 | c 33 > 60.000000 | c 15 > 14.368300 | c 34 > 20.000000 | c 16 > 30.000000 | c 13 > 4.219610 | c 14 > 8.092760 | c 11 > 10.688300 | c 12 > 3.234800 | c 21 > 1.414210 | c 20 > 94.076700 | 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.486800 | c 1 > 10.688300 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.688300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.60/7.81 c choco : 90.14
7.60/7.81 c mistral : 0.17
7.60/7.81 c abscon : 15.55
7.60/7.81 c
7.60/7.81 c
7.60/7.81 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-14-26-13-7-6_glb.xml
7.60/7.81 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.246300 | c 33 > 60.000000 | c 15 > 20.769600 | c 34 > 20.000000 | c 16 > 26.000000 | c 13 > 12.618400 | c 14 > 13.912900 | c 11 > 11.414700 | c 12 > 10.501300 | c 21 > 1.414210 | c 20 > 94.753700 | 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.286000 | c 1 > 11.414700 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.414700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.60/7.82 c choco : 1801.0
7.60/7.82 c mistral : 41.67
7.60/7.82 c abscon : 1801.0
7.60/7.82 c
7.60/7.82 c
7.60/7.82 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-13-26-8-4-2_glb.xml
7.60/7.82 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.454550 | c 33 > 60.000000 | c 15 > 19.978400 | c 34 > 20.000000 | c 16 > 26.000000 | c 13 > 11.244700 | c 14 > 12.756600 | c 11 > 11.208200 | c 12 > 10.227100 | c 21 > 1.414210 | c 20 > 94.545500 | 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.066800 | c 1 > 11.208200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.208200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.60/7.82 c choco : 54.96
7.60/7.82 c mistral : 1.09
7.60/7.82 c abscon : 13.0
7.60/7.82 c
7.60/7.82 c
7.60/7.82 c /home/ehebrard/new_instances/competition_5c/data5/bibd12-13/bibd-13-26-6-3-1_glb.xml
7.60/7.82 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.454550 | c 33 > 60.000000 | c 15 > 15.721800 | c 34 > 20.000000 | c 16 > 26.000000 | c 13 > 9.674550 | c 14 > 9.465570 | c 11 > 11.208200 | c 12 > 7.542560 | c 21 > 1.414210 | c 20 > 94.545500 | 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.066800 | c 1 > 11.208200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.208200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.60/7.83 c choco : 1801.0
7.60/7.83 c mistral : 0.29
7.60/7.83 c abscon : 29.41
7.60/7.83 c
7.60/7.83 c
7.60/7.83 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-16-24-9-6-3_glb.xml
7.60/7.83 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.263160 | c 33 > 60.000000 | c 15 > 20.784700 | c 34 > 20.000000 | c 16 > 24.000000 | c 13 > 12.111600 | c 14 > 13.564000 | c 11 > 11.672400 | c 12 > 10.659900 | c 21 > 1.414210 | c 20 > 94.736800 | 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.569900 | c 1 > 11.672400 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.672400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.60/7.83 c choco : 1801.0
7.60/7.83 c mistral : 1.77
7.60/7.83 c abscon : 1801.0
7.60/7.83 c
7.60/7.83 c
7.60/7.83 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-12-22-11-6-5_glb.xml
7.60/7.83 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 6.443300 | c 33 > 60.000000 | c 15 > 21.305300 | c 34 > 20.000000 | c 16 > 22.000000 | c 13 > 13.611800 | c 14 > 14.816800 | c 11 > 10.744800 | c 12 > 12.213500 | c 21 > 1.414210 | c 20 > 93.556700 | 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.599900 | c 1 > 10.744800 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.744800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.60/7.84 c choco : 1801.0
7.60/7.84 c mistral : 1.3
7.60/7.84 c abscon : 53.25
7.60/7.84 c
7.60/7.84 c
7.60/7.84 c Length: 40
7.60/7.84 c 0.43155896468501315 4.9528837123942235 5.677779565367078 6.264064573453884 8.058377377760364 8.549930240066288 10.10926815056362 10.173869190553809 11.521280276514409 14.317825372384592 14.589532880599705 15.087131005612033 15.268054872042477 15.496747023517544 20.07521789636167 20.102776654246053 21.070369170114226 21.3926387482143 21.86158898741352 27.36997464070619 28.03424491936246 28.265487924845733 28.59316821467149 28.682473410635282 30.174578847823213 30.190758922638896 35.04830406440802 36.930260694560495 38.01337096212069 40.28215182780955 41.90663284313714 42.02223132082945 42.07984986003039 42.44282251590367 43.57392896143404 44.335215673159865 44.4291190776736 45.40438246426329 46.359335768753205 48.068916827879534
7.60/7.85 c
7.60/7.85 c 1.0 0.9133159711598232 0.900796792632601 0.890919758719281 0.8619934480711645 0.8543939537548904 0.8311489511546317 0.8302132000703277 0.811165113817788 0.7742937518349522 0.7708892644751364 0.764731373793395 0.7625167168036803 0.7597356241711994 0.7080356411442627 0.7077457437181536 0.6977157507626184 0.6944379419910831 0.689722882554586 0.6387779248195715 0.6331383588572431 0.6311984314603303 0.6284697493577147 0.6277301671743825 0.6156258117446602 0.6154971125883552 0.5791487129179536 0.5661943059087384 0.5589981449138965 0.5445019281822513 0.5345758939819305 0.5338833295556689 0.5335387996342262 0.5313785879984059 0.5247576632603506 0.5203935971880478 0.5198603208830938 0.5143857528643568 0.5091357804656935 0.5
7.60/7.86 c
7.60/7.86 c solver 0
7.60/7.86 c before 0.0 seconds: {} 0
7.60/7.86 c before 18.0 seconds: {1, 4, 5, 9, 12, 13, 16, 18, 20, 23, 26, 29, 32, 34, 36} 10276
7.60/7.86 c before 36.0 seconds: {1, 4, 5, 9, 12, 13, 16, 18, 20, 23, 24, 26, 29, 32, 34, 36, 37} 11406
7.60/7.86 c before 54.0 seconds: {1, 4, 5, 9, 12, 13, 16, 18, 20, 23, 24, 26, 27, 29, 31, 32, 34, 36, 37, 39} 13006
7.60/7.86 c
7.60/7.86 c solver 1
7.60/7.86 c before 0.0 seconds: {} 0
7.60/7.86 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 22956
7.60/7.86 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24043
7.60/7.86 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24751
7.60/7.86 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25562
7.60/7.86 c
7.60/7.86 c solver 2
7.60/7.86 c before 0.0 seconds: {} 0
7.60/7.86 c before 18.0 seconds: {26, 32} 1112
7.60/7.86 c before 36.0 seconds: {15, 26, 29, 32} 2364
7.60/7.86 c before 72.0 seconds: {15, 24, 26, 28, 29, 32, 36} 4059
7.60/7.86 c before 108.0 seconds: {15, 24, 26, 28, 29, 32, 34, 36} 4584
7.60/7.86 c
7.60/7.86 cTotal time: 14
7.60/7.86 c 252.0 seconds unused
7.60/7.86 c 0 c 2 c 14
7.60/7.86 c 20 c 0 c 30
7.60/7.86 c 2 c 0 c 0
7.60/7.86 c is solver0 dominated by:
7.60/7.86 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.60/7.86 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.60/7.86 c is dominated? false
7.60/7.86 c
7.60/7.86 c is solver1 dominated by:
7.60/7.86 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.60/7.86 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.60/7.86 c is dominated? false
7.60/7.86 c
7.60/7.86 c is solver2 dominated by:
7.60/7.86 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.60/7.86 c solver 1 (2 solves instances that 1 can't: false) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: false) (2 is equally as fast as 1: false) (2 < 1: true)
7.60/7.86 c is dominated? true
7.60/7.86 c
7.60/7.86 c Number of non-dominated solvers: 2
7.60/7.86 c remove dominated solvers
7.60/7.86 c solver 0 is not dominated by another solver
7.60/7.86 c solver 1 is not dominated by another solver
7.60/7.86 c solver 2 is dominated by another solver
7.60/7.86 c
7.60/7.86 c solver 0: 54.0
7.60/7.86 c
7.60/7.86 c+ 3/8 of 92
7.60/7.86 c
7.60/7.86 c solver 1: 90.0
7.60/7.86 c
7.60/7.86 c+ 5/8 of 92
7.60/7.86 c
7.60/7.86 c solver 2: 0.0
7.60/7.86 c run abscon for 666.0 seconds {1, 4, 5, 9, 12, 13, 16, 18, 20, 23, 24, 26, 27, 29, 31, 32, 34, 36, 37, 39} 13006
7.60/7.86 c run mistral for 1116.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25562
7.60/7.86 c do not run choco
7.60/7.86 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.60/7.86 c On Instance: HOME/instance-1096173-1215267235.xml
7.60/7.86 c Running for: 666 seconds
673.94/674.56 c Starting solver: HOME/cpHydra_k_40/solver/mistral
673.94/674.56 c On Instance: HOME/instance-1096173-1215267235.xml
673.94/674.56 c Running for: 1116 seconds
674.02/674.67 c mistral-prime version 1.313
674.02/674.67 s SATISFIABLE
674.02/674.67 v 1 1 1 1 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 1 1 1 0 0 0 1 0 1 0 1 1 0 1 1 1 0 1 1 1 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 1 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 0 1 1 0 0 0 1 0 1 0 0 0 1 1 0 1 1 1 0 1 0 1 0 1 1 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 1 1 1 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 1 1 1 1 1 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 1 1 0 1 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 0 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1
674.02/674.67 d CHECKS 12417
674.02/674.67 d ASSIGNMENTS 321