0.00/0.00 c cpHydra_k_40 version 0.0
7.24/7.33 c CASE TO CLASSIFY:
7.24/7.33 c Case: 0
7.24/7.33 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.133470 | c 33 > 60.000000 | c 15 > 21.822000 | c 34 > 20.000000 | c 16 > 22.000000 | c 13 > 12.557700 | c 14 > 13.792600 | c 11 > 12.442400 | c 12 > 10.607000 | c 21 > 1.414210 | c 20 > 94.866500 | 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.387200 | c 1 > 12.442400 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.442400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.24/7.34 c choco : 1801.0
7.24/7.34 c mistral : 1801.0
7.24/7.34 c abscon : 1801.0
7.24/7.34 c
7.24/7.34 c
7.33/7.41 c List of same ones: 40
7.33/7.41 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-16-24-9-6-3_glb.xml
7.33/7.41 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.33/7.42 c choco : 1801.0
7.33/7.42 c mistral : 1.77
7.33/7.42 c abscon : 1801.0
7.33/7.42 c
7.33/7.42 c
7.33/7.42 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-19-19-9-9-4_glb.xml
7.33/7.42 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 6.043960 | c 33 > 60.000000 | c 15 > 20.422900 | c 34 > 20.000000 | c 16 > 19.000000 | c 13 > 11.204500 | c 14 > 13.003900 | c 11 > 11.817800 | c 12 > 9.511810 | c 21 > 1.414210 | c 20 > 93.956000 | 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.755700 | c 1 > 11.817800 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.817800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.33/7.43 c choco : 77.1
7.33/7.43 c mistral : 17.38
7.33/7.43 c abscon : 1801.0
7.33/7.43 c
7.33/7.43 c
7.33/7.43 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-12-22-11-6-5_glb.xml
7.33/7.43 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.33/7.44 c choco : 1801.0
7.33/7.44 c mistral : 1.3
7.33/7.44 c abscon : 53.25
7.33/7.44 c
7.33/7.44 c
7.33/7.44 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-14-26-13-7-6_glb.xml
7.33/7.44 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.33/7.45 c choco : 1801.0
7.33/7.45 c mistral : 41.67
7.33/7.45 c abscon : 1801.0
7.33/7.45 c
7.33/7.45 c
7.33/7.45 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-13-26-8-4-2_glb.xml
7.33/7.45 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.33/7.46 c choco : 54.96
7.33/7.46 c mistral : 1.09
7.33/7.46 c abscon : 13.0
7.33/7.46 c
7.33/7.46 c
7.33/7.46 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-11-22-10-5-4_glb.xml
7.33/7.46 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 6.779660 | c 33 > 60.000000 | c 15 > 19.109100 | c 34 > 20.000000 | c 16 > 22.000000 | c 13 > 12.306500 | c 14 > 12.559600 | c 11 > 10.503800 | c 12 > 10.671000 | c 21 > 1.414210 | c 20 > 93.220300 | 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.342100 | c 1 > 10.503800 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.503800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.33/7.47 c choco : 72.32
7.33/7.47 c mistral : 0.45
7.33/7.47 c abscon : 32.37
7.33/7.47 c
7.33/7.47 c
7.33/7.47 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-15-15-7-7-3_glb.xml
7.33/7.47 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.894740 | c 33 > 60.000000 | c 15 > 21.286100 | c 34 > 20.000000 | c 16 > 15.000000 | c 13 > 11.936200 | c 14 > 14.224200 | c 11 > 10.813800 | c 12 > 10.587000 | 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 > 10.739800 | c 1 > 10.813800 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.813800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.33/7.48 c choco : 23.64
7.33/7.48 c mistral : 0.45
7.33/7.48 c abscon : 13.22
7.33/7.48 c
7.33/7.48 c
7.33/7.48 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-28-14-4-6_glb.xml
7.33/7.48 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.33/7.48 c choco : 1801.0
7.33/7.48 c mistral : 0.14
7.33/7.48 c abscon : 39.3
7.33/7.48 c
7.33/7.48 c
7.33/7.48 c /home/ehebrard/new_instances/competition_5c/data5/bibd12-13/bibd-13-26-6-3-1_glb.xml
7.33/7.48 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.33/7.49 c choco : 1801.0
7.33/7.49 c mistral : 0.29
7.33/7.49 c abscon : 29.41
7.33/7.49 c
7.33/7.49 c
7.33/7.49 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-28-12-3-4_glb.xml
7.33/7.49 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.40/7.50 c choco : 10.93
7.40/7.50 c mistral : 0.1
7.40/7.50 c abscon : 7.43
7.40/7.50 c
7.40/7.50 c
7.40/7.50 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-25-30-6-5-1_glb.xml
7.40/7.50 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.40/7.51 c choco : 1801.0
7.40/7.51 c mistral : 5.2
7.40/7.51 c abscon : 1801.0
7.40/7.51 c
7.40/7.51 c
7.40/7.51 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-30-15-3-6_glb.xml
7.40/7.51 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.40/7.52 c choco : 20.41
7.40/7.52 c mistral : 0.14
7.40/7.52 c abscon : 16.64
7.40/7.52 c
7.40/7.52 c
7.40/7.52 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-31-31-6-6-1_glb.xml
7.40/7.52 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.40/7.53 c choco : 1801.0
7.40/7.53 c mistral : 6.96
7.40/7.53 c abscon : 1801.0
7.40/7.53 c
7.40/7.53 c
7.40/7.53 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-10-18-9-5-4_glb.xml
7.40/7.53 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 8.267270 | c 33 > 60.000000 | c 15 > 15.062300 | c 34 > 20.000000 | c 16 > 18.000000 | c 13 > 7.502680 | c 14 > 8.636620 | c 11 > 9.951280 | c 12 > 5.458670 | c 21 > 1.414210 | c 20 > 91.732700 | 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.786270 | c 1 > 9.951280 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.951300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.54 c choco : 54.11
7.40/7.54 c mistral : 0.21
7.40/7.54 c abscon : 13.55
7.40/7.54 c
7.40/7.54 c
7.40/7.54 c /home/ehebrard/new_instances/competition_5c/data5/bibd9/bibd-9-24-8-3-2_glb.xml
7.40/7.54 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.395500 | c 33 > 60.000000 | c 15 > 14.156200 | c 34 > 20.000000 | c 16 > 24.000000 | c 13 > 6.285980 | c 14 > 8.276120 | c 11 > 10.076800 | c 12 > 4.846560 | c 21 > 1.414210 | c 20 > 92.604500 | 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.865730 | c 1 > 10.076800 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.076800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.54 c choco : 18.65
7.40/7.54 c mistral : 0.13
7.40/7.54 c abscon : 9.76
7.40/7.54 c
7.40/7.54 c
7.40/7.54 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-21-21-5-5-1_glb.xml
7.40/7.54 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.405410 | c 33 > 60.000000 | c 15 > 14.747500 | c 34 > 20.000000 | c 16 > 21.000000 | c 13 > 4.972030 | c 14 > 7.988680 | c 11 > 12.244100 | c 12 > 2.499930 | c 21 > 1.414210 | c 20 > 94.594600 | 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.186700 | c 1 > 12.244100 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.244100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.56 c choco : 26.91
7.40/7.56 c mistral : 2.22
7.40/7.56 c abscon : 24.5
7.40/7.56 c
7.40/7.56 c
7.40/7.56 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-35-15-3-5_glb.xml
7.40/7.56 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.40/7.56 c choco : 12.35
7.40/7.56 c mistral : 0.12
7.40/7.56 c abscon : 8.74
7.40/7.56 c
7.40/7.56 c
7.40/7.56 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-21-9-3-3_glb.xml
7.40/7.56 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 10.000000 | c 33 > 60.000000 | c 15 > 13.905100 | c 34 > 20.000000 | c 16 > 21.000000 | c 13 > 6.619260 | c 14 > 8.703900 | c 11 > 9.199670 | c 12 > 5.361620 | c 21 > 1.414210 | c 20 > 90.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 > 8.936640 | c 1 > 9.199670 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.199700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.57 c choco : 12.17
7.40/7.57 c mistral : 0.07
7.40/7.57 c abscon : 6.56
7.40/7.57 c
7.40/7.57 c
7.40/7.57 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-9-18-8-4-3_glb.xml
7.40/7.57 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 8.860760 | c 33 > 60.000000 | c 15 > 13.949600 | c 34 > 20.000000 | c 16 > 18.000000 | c 13 > 5.691890 | c 14 > 7.592460 | c 11 > 9.661780 | c 12 > 4.116810 | c 21 > 1.414210 | c 20 > 91.139200 | 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.473710 | c 1 > 9.661780 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.661800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.57 c choco : 21.16
7.40/7.57 c mistral : 0.11
7.40/7.57 c abscon : 13.48
7.40/7.57 c
7.40/7.57 c
7.40/7.57 c /home/ehebrard/new_instances/competition_5c/data5/bibd10-11/bibd-10-30-9-3-2_glb.xml
7.40/7.58 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.40/7.58 c choco : 90.14
7.40/7.58 c mistral : 0.17
7.40/7.58 c abscon : 15.55
7.40/7.58 c
7.40/7.58 c
7.40/7.59 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-15-35-7-3-1_glb.xml
7.40/7.59 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.40/7.59 c choco : 65.48
7.40/7.59 c mistral : 0.98
7.40/7.59 c abscon : 1801.0
7.40/7.59 c
7.40/7.59 c
7.40/7.59 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-16-16-6-6-2_glb.xml
7.40/7.59 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.335910 | c 33 > 60.000000 | c 15 > 14.192700 | c 34 > 20.000000 | c 16 > 16.000000 | c 13 > 2.720580 | c 14 > 7.366320 | c 11 > 11.087500 | c 12 > 2.086680 | c 21 > 1.414210 | c 20 > 92.664100 | 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.016800 | c 1 > 11.087500 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.087500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.60 c choco : 1801.0
7.40/7.60 c mistral : 0.79
7.40/7.60 c abscon : 1801.0
7.40/7.60 c
7.40/7.60 c
7.40/7.60 c /home/ehebrard/new_instances/competition_5c/data5/bibd9/bibd-9-36-12-3-3_glb.xml
7.40/7.60 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.47/7.60 c choco : 1801.0
7.47/7.60 c mistral : 40.43
7.47/7.60 c abscon : 37.33
7.47/7.60 c
7.47/7.60 c
7.47/7.60 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-40-20-3-8_glb.xml
7.47/7.60 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.47/7.61 c choco : 59.6
7.47/7.61 c mistral : 0.23
7.47/7.61 c abscon : 26.24
7.47/7.61 c
7.47/7.61 c
7.47/7.61 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-10-15-6-4-2_glb.xml
7.47/7.61 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 9.395970 | c 33 > 60.000000 | c 15 > 13.132200 | c 34 > 20.000000 | c 16 > 15.000000 | c 13 > 2.510580 | c 14 > 6.857980 | c 11 > 9.688250 | c 12 > 2.324720 | c 21 > 1.414210 | c 20 > 90.604000 | 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.541100 | c 1 > 9.688250 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.688300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.61 c choco : 17.03
7.47/7.61 c mistral : 0.11
7.47/7.61 c abscon : 9.54
7.47/7.61 c
7.47/7.61 c
7.47/7.61 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-42-18-3-6_glb.xml
7.47/7.61 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.47/7.62 c choco : 1801.0
7.47/7.62 c mistral : 0.08
7.47/7.62 c abscon : 11.27
7.47/7.62 c
7.47/7.62 c
7.47/7.62 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-42-21-4-9_glb.xml
7.47/7.62 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.47/7.62 c choco : 1801.0
7.47/7.62 c mistral : 0.46
7.47/7.62 c abscon : 1801.0
7.47/7.62 c
7.47/7.62 c
7.47/7.62 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-20-10-3-4_glb.xml
7.47/7.62 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 12.023500 | c 33 > 60.000000 | c 15 > 11.642100 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 3.107150 | c 14 > 6.339850 | c 11 > 8.714250 | c 12 > 2.691960 | c 21 > 1.414210 | c 20 > 87.976500 | 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.413630 | c 1 > 8.714250 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.714250 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.63 c choco : 12.66
7.47/7.63 c mistral : 0.05
7.47/7.63 c abscon : 6.5
7.47/7.63 c
7.47/7.63 c
7.47/7.63 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-14-7-4-3_glb.xml
7.47/7.63 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 11.312200 | c 33 > 60.000000 | c 15 > 13.335900 | c 34 > 20.000000 | c 16 > 14.000000 | c 13 > 2.506490 | c 14 > 6.643860 | c 11 > 8.977280 | c 12 > 2.562850 | c 21 > 1.414210 | c 20 > 88.687800 | 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.787900 | c 1 > 8.977280 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.977280 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.63 c choco : 9.53
7.47/7.63 c mistral : 0.07
7.47/7.63 c abscon : 6.37
7.47/7.63 c
7.47/7.63 c
7.47/7.63 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-13-13-4-4-1_glb.xml
7.47/7.63 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 9.302330 | c 33 > 60.000000 | c 15 > 12.400300 | c 34 > 20.000000 | c 16 > 13.000000 | c 13 > 1.548190 | c 14 > 6.357550 | c 11 > 10.208200 | c 12 > 1.533230 | c 21 > 1.414210 | c 20 > 90.697700 | 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.126700 | c 1 > 10.208200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.208200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.64 c choco : 13.54
7.47/7.64 c mistral : 0.08
7.47/7.64 c abscon : 8.72
7.47/7.64 c
7.47/7.64 c
7.47/7.64 c /home/ehebrard/new_instances/competition_5c/data5/bibd12-13/bibd-12-44-11-3-2_glb.xml
7.47/7.64 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.47/7.64 c choco : 1801.0
7.47/7.64 c mistral : 0.6
7.47/7.65 c abscon : 1801.0
7.47/7.65 c
7.47/7.65 c
7.47/7.65 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-11-11-5-5-2_glb.xml
7.47/7.65 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 11.290300 | c 33 > 60.000000 | c 15 > 12.279300 | c 34 > 20.000000 | c 16 > 11.000000 | c 13 > 1.897650 | c 14 > 5.754890 | c 11 > 9.503830 | c 12 > 1.748840 | c 21 > 1.414210 | c 20 > 88.709700 | 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.413630 | c 1 > 9.503830 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.503800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.65 c choco : 7.25
7.47/7.65 c mistral : 0.1
7.47/7.65 c abscon : 7.83
7.47/7.65 c
7.47/7.65 c
7.47/7.65 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-14-6-3-2_glb.xml
7.47/7.65 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 12.500000 | c 33 > 60.000000 | c 15 > 11.166800 | c 34 > 20.000000 | c 16 > 14.000000 | c 13 > 2.142940 | c 14 > 5.727920 | c 11 > 8.614710 | c 12 > 1.904930 | c 21 > 1.414210 | c 20 > 87.500000 | 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.392320 | c 1 > 8.614710 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.614710 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.66 c choco : 5.63
7.47/7.66 c mistral : 0.06
7.47/7.66 c abscon : 5.74
7.47/7.66 c
7.47/7.66 c
7.47/7.66 c /home/ehebrard/new_instances/competition_5c/data5/bibd9/bibd-9-12-4-3-1_glb.xml
7.47/7.66 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 11.656400 | c 33 > 60.000000 | c 15 > 11.219200 | c 34 > 20.000000 | c 16 > 12.000000 | c 13 > 1.236830 | c 14 > 5.857980 | c 11 > 9.076820 | c 12 > 1.523100 | c 21 > 1.414210 | c 20 > 88.343600 | 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.933690 | c 1 > 9.076820 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.076800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.66 c choco : 5.45
7.47/7.66 c mistral : 0.07
7.47/7.66 c abscon : 7.08
7.47/7.66 c
7.47/7.66 c
7.47/7.66 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-49-21-3-7_glb.xml
7.47/7.66 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.47/7.67 c choco : 1801.0
7.47/7.67 c mistral : 5.51
7.47/7.67 c abscon : 13.54
7.47/7.67 c
7.47/7.67 c
7.47/7.67 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-50-25-3-10_glb.xml
7.47/7.67 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.47/7.67 c choco : 21.63
7.47/7.67 c mistral : 0.12
7.47/7.68 c abscon : 1801.0
7.47/7.68 c
7.47/7.68 c
7.47/7.68 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-10-5-3-2_glb.xml
7.47/7.68 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 17.127100 | c 33 > 60.000000 | c 15 > 9.491850 | c 34 > 20.000000 | c 16 > 10.000000 | c 13 > 0.840716 | c 14 > 4.584960 | c 11 > 7.714250 | c 12 > 1.359900 | c 21 > 1.414210 | c 20 > 82.872900 | 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.499850 | c 1 > 7.714250 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.714250 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.68 c choco : 3.67
7.47/7.68 c mistral : 0.03
7.47/7.68 c abscon : 4.61
7.47/7.68 c
7.47/7.68 c
7.47/7.68 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-07-3-3-1_glb.xml
7.47/7.68 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 19.230800 | c 33 > 60.000000 | c 15 > 9.834470 | c 34 > 20.000000 | c 16 > 7.000000 | c 13 > 1.153720 | c 14 > 4.523560 | c 11 > 7.614710 | c 12 > 1.451380 | c 21 > 1.414210 | c 20 > 80.769200 | 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.507790 | c 1 > 7.614710 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.614710 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.69 c choco : 3.43
7.47/7.69 c mistral : 0.03
7.47/7.69 c abscon : 4.33
7.47/7.69 c
7.47/7.69 c
7.47/7.69 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-56-28-4-12_glb.xml
7.47/7.69 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.47/7.69 c choco : 1801.0
7.47/7.69 c mistral : 0.39
7.47/7.69 c abscon : 1801.0
7.47/7.69 c
7.47/7.69 c
7.47/7.69 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-56-24-3-8_glb.xml
7.47/7.69 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.47/7.70 c choco : 1801.0
7.47/7.70 c mistral : 0.28
7.47/7.70 c abscon : 8.76
7.47/7.70 c
7.47/7.70 c
7.47/7.70 c Length: 40
7.47/7.70 c 2.794704590131128 4.2234215863680955 4.503236927910854 4.641494650314702 5.372130714753689 5.461151224430615 8.705165576420704 9.252390223461179 9.806034547328498 10.257392816061984 12.210952793234442 13.235730445653536 13.480793221149858 13.614675225777514 14.110017956905653 14.43284659531168 14.885672018746753 15.593885150221544 16.283354768437615 17.029641706465817 17.146000945558704 17.943094544386707 18.742465270889525 19.86133901634026 20.232058962008786 21.04728164313149 21.279337171465187 21.623269394101808 21.86738934853221 21.98713506019145 22.64167875329919 24.069320464146887 24.396913403102857 24.840732507297364 27.70559212241457 29.04517956721907 31.340960493980653 34.05420840399319 34.17563144748608 34.31980953021156
7.53/7.70 c
7.53/7.70 c 1.0 0.9566448772164293 0.9485902694461334 0.9446603179061613 0.9244212659836776 0.9220144593760558 0.8421164248481098 0.8299839075581061 0.8180597147637898 0.8085891090538393 0.7700064243071797 0.7512035144155723 0.7468423011299259 0.7444810172484697 0.735872948631691 0.7303691721816044 0.7227864231696959 0.7112377466289652 0.7003438139557316 0.6889221146522289 0.68717475760609 0.6754391333121726 0.6640657674189795 0.6487749842095778 0.6438627753402302 0.6333180589739492 0.6303793321566861 0.6260736327724132 0.6230530054364515 0.6215819575053153 0.6136622361871072 0.5970695385128633 0.5933878962263421 0.5884718739117717 0.5585992831705396 0.5456475726470822 0.5247942529882932 0.5021151770433043 0.5011459797940343 0.5
7.53/7.71 c
7.53/7.71 c solver 0
7.53/7.71 c before 0.0 seconds: {} 0
7.53/7.72 c before 18.0 seconds: {4, 6, 9, 11, 13, 14, 16, 17, 18, 19, 24, 25, 27, 28, 29, 31, 32, 33, 34, 36, 37, 39} 14642
7.53/7.72 c before 36.0 seconds: {4, 5, 6, 8, 9, 11, 13, 14, 15, 16, 17, 18, 19, 23, 24, 25, 27, 28, 29, 31, 32, 33, 34, 36, 37, 39} 17761
7.53/7.72 c before 54.0 seconds: {2, 4, 5, 6, 7, 8, 9, 11, 13, 14, 15, 16, 17, 18, 19, 22, 23, 24, 25, 27, 28, 29, 31, 32, 33, 34, 36, 37, 39} 20204
7.53/7.72 c
7.53/7.72 c solver 1
7.53/7.72 c before 0.0 seconds: {} 0
7.53/7.72 c before 18.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26667
7.53/7.72 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 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} 28275
7.53/7.72 c
7.53/7.72 c solver 2
7.53/7.72 c before 0.0 seconds: {} 0
7.53/7.72 c before 18.0 seconds: {9, 16, 17, 24, 27, 28, 29, 31, 32, 33, 36, 37} 7563
7.53/7.72 c before 36.0 seconds: {6, 9, 11, 14, 15, 16, 17, 18, 24, 27, 28, 29, 31, 32, 33, 35, 36, 37} 11868
7.53/7.72 c before 72.0 seconds: {4, 6, 9, 11, 13, 14, 15, 16, 17, 18, 20, 23, 24, 27, 28, 29, 31, 32, 33, 35, 36, 37} 14873
7.53/7.72 c before 90.0 seconds: {1, 4, 5, 6, 9, 11, 13, 14, 15, 16, 17, 18, 20, 23, 24, 27, 28, 29, 31, 32, 33, 35, 36, 37} 16752
7.53/7.72 c before 108.0 seconds: {1, 4, 5, 6, 9, 11, 13, 14, 15, 16, 17, 18, 19, 20, 23, 24, 27, 28, 29, 31, 32, 33, 35, 36, 37} 17441
7.53/7.72 c
7.53/7.72 cTotal time: 12
7.53/7.72 c 216.0 seconds unused
7.53/7.72 c 0 c 0 c 7
7.53/7.72 c 11 c 0 c 15
7.53/7.72 c 3 c 0 c 0
7.53/7.72 c is solver0 dominated by:
7.53/7.72 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: false) (0 is equally as fast as 1: true) (0 < 1: false)
7.53/7.72 c is dominated? true
7.53/7.72 c
7.53/7.72 c is solver1 dominated by:
7.53/7.72 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: true) (1 < 0: true)
7.53/7.72 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.53/7.72 c is dominated? false
7.53/7.72 c
7.53/7.72 c is solver2 dominated by:
7.53/7.72 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.53/7.72 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.53/7.72 c is dominated? true
7.53/7.72 c
7.53/7.72 c Number of non-dominated solvers: 1
7.53/7.72 c remove dominated solvers
7.53/7.72 c solver 1 is not dominated by another solver
7.53/7.72 c solver 2 is dominated by another solver
7.53/7.72 c solver 0 is dominated by another solver
7.53/7.72 c
7.53/7.72 c solver 0: 0.0
7.53/7.72 c
7.53/7.72 c solver 1: 54.0
7.53/7.72 c
7.53/7.72 c+ 3/3 of 97
7.53/7.72 c
7.53/7.72 c solver 2: 0.0
7.53/7.72 c do not run abscon
7.53/7.72 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 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} 28275
7.53/7.72 c do not run choco
7.53/7.72 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.53/7.72 c On Instance: HOME/instance-1091953-1215263726.xml
7.53/7.72 c Running for: 1800 seconds