0.00/0.00 c cpHydra_k_40 version 0.0
7.58/7.71 c CASE TO CLASSIFY:
7.58/7.71 c Case: 0
7.58/7.72 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 6.443300 | c 33 > 60.000000 | c 15 > 21.701700 | c 34 > 20.000000 | c 16 > 22.000000 | c 13 > 14.075000 | c 14 > 15.221600 | c 11 > 10.744800 | c 12 > 12.659300 | 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.58/7.73 c choco : 1801.0
7.58/7.73 c mistral : 1801.0
7.58/7.73 c abscon : 1801.0
7.58/7.73 c
7.58/7.73 c
7.67/7.80 c List of same ones: 40
7.67/7.80 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-12-22-11-6-5_glb.xml
7.67/7.80 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.67/7.81 c choco : 1801.0
7.67/7.81 c mistral : 1.3
7.67/7.81 c abscon : 53.25
7.67/7.81 c
7.67/7.81 c
7.67/7.81 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-11-22-10-5-4_glb.xml
7.67/7.81 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.67/7.82 c choco : 72.32
7.67/7.82 c mistral : 0.45
7.67/7.82 c abscon : 32.37
7.67/7.82 c
7.67/7.82 c
7.67/7.82 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-16-24-9-6-3_glb.xml
7.67/7.82 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.67/7.83 c choco : 1801.0
7.67/7.83 c mistral : 1.77
7.67/7.83 c abscon : 1801.0
7.67/7.83 c
7.67/7.83 c
7.67/7.83 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-14-26-13-7-6_glb.xml
7.67/7.83 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.67/7.84 c choco : 1801.0
7.67/7.84 c mistral : 41.67
7.67/7.84 c abscon : 1801.0
7.67/7.84 c
7.67/7.84 c
7.67/7.84 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-19-19-9-9-4_glb.xml
7.67/7.84 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.67/7.85 c choco : 77.1
7.67/7.85 c mistral : 17.38
7.67/7.85 c abscon : 1801.0
7.67/7.85 c
7.67/7.85 c
7.67/7.85 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-28-14-4-6_glb.xml
7.67/7.85 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.67/7.86 c choco : 1801.0
7.67/7.86 c mistral : 0.14
7.67/7.86 c abscon : 39.3
7.67/7.86 c
7.67/7.86 c
7.67/7.86 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-13-26-8-4-2_glb.xml
7.67/7.86 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.67/7.86 c choco : 54.96
7.67/7.86 c mistral : 1.09
7.67/7.87 c abscon : 13.0
7.67/7.87 c
7.67/7.87 c
7.67/7.87 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-28-12-3-4_glb.xml
7.67/7.87 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.67/7.87 c choco : 10.93
7.67/7.87 c mistral : 0.1
7.67/7.87 c abscon : 7.43
7.67/7.87 c
7.67/7.87 c
7.67/7.87 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-15-15-7-7-3_glb.xml
7.67/7.87 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.67/7.88 c choco : 23.64
7.67/7.88 c mistral : 0.45
7.67/7.88 c abscon : 13.22
7.67/7.88 c
7.67/7.88 c
7.67/7.88 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-30-15-3-6_glb.xml
7.67/7.88 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.67/7.89 c choco : 20.41
7.67/7.89 c mistral : 0.14
7.67/7.89 c abscon : 16.64
7.67/7.89 c
7.67/7.89 c
7.67/7.89 c /home/ehebrard/new_instances/competition_5c/data5/bibd12-13/bibd-13-26-6-3-1_glb.xml
7.67/7.89 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.74/7.90 c choco : 1801.0
7.74/7.90 c mistral : 0.29
7.74/7.90 c abscon : 29.41
7.74/7.90 c
7.74/7.90 c
7.74/7.90 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-35-15-3-5_glb.xml
7.74/7.90 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.74/7.91 c choco : 12.35
7.74/7.91 c mistral : 0.12
7.74/7.92 c abscon : 8.74
7.74/7.92 c
7.74/7.92 c
7.74/7.92 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-10-18-9-5-4_glb.xml
7.74/7.92 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.74/7.92 c choco : 54.11
7.74/7.92 c mistral : 0.21
7.74/7.92 c abscon : 13.55
7.74/7.92 c
7.74/7.92 c
7.74/7.92 c /home/ehebrard/new_instances/competition_5c/data5/bibd9/bibd-9-24-8-3-2_glb.xml
7.74/7.92 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.74/7.93 c choco : 18.65
7.74/7.93 c mistral : 0.13
7.74/7.93 c abscon : 9.76
7.74/7.93 c
7.74/7.93 c
7.74/7.93 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-25-30-6-5-1_glb.xml
7.74/7.93 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.74/7.94 c choco : 1801.0
7.74/7.94 c mistral : 5.2
7.74/7.94 c abscon : 1801.0
7.74/7.94 c
7.74/7.94 c
7.74/7.94 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-21-9-3-3_glb.xml
7.74/7.94 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.74/7.95 c choco : 12.17
7.74/7.95 c mistral : 0.07
7.74/7.95 c abscon : 6.56
7.74/7.95 c
7.74/7.95 c
7.74/7.95 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-31-31-6-6-1_glb.xml
7.74/7.95 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.74/7.96 c choco : 1801.0
7.74/7.96 c mistral : 6.96
7.74/7.96 c abscon : 1801.0
7.74/7.96 c
7.74/7.96 c
7.74/7.96 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-9-18-8-4-3_glb.xml
7.74/7.96 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.74/7.96 c choco : 21.16
7.74/7.97 c mistral : 0.11
7.74/7.97 c abscon : 13.48
7.74/7.97 c
7.74/7.97 c
7.74/7.97 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-21-21-5-5-1_glb.xml
7.74/7.97 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.74/7.97 c choco : 26.91
7.74/7.97 c mistral : 2.22
7.74/7.97 c abscon : 24.5
7.74/7.97 c
7.74/7.97 c
7.74/7.97 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-40-20-3-8_glb.xml
7.74/7.97 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.74/7.98 c choco : 59.6
7.74/7.98 c mistral : 0.23
7.74/7.98 c abscon : 26.24
7.74/7.98 c
7.74/7.98 c
7.74/7.98 c /home/ehebrard/new_instances/competition_5c/data5/bibd10-11/bibd-10-30-9-3-2_glb.xml
7.74/7.98 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.74/7.99 c choco : 90.14
7.74/7.99 c mistral : 0.17
7.74/7.99 c abscon : 15.55
7.74/7.99 c
7.74/7.99 c
7.74/7.99 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-15-35-7-3-1_glb.xml
7.74/7.99 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.74/7.99 c choco : 65.48
7.74/7.99 c mistral : 0.98
7.74/7.99 c abscon : 1801.0
7.74/7.99 c
7.74/7.99 c
7.74/7.99 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-16-16-6-6-2_glb.xml
7.74/7.99 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.81/8.00 c choco : 1801.0
7.81/8.00 c mistral : 0.79
7.81/8.00 c abscon : 1801.0
7.81/8.00 c
7.81/8.00 c
7.81/8.00 c /home/ehebrard/new_instances/competition_5c/data5/bibd9/bibd-9-36-12-3-3_glb.xml
7.81/8.00 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.81/8.01 c choco : 1801.0
7.81/8.01 c mistral : 40.43
7.81/8.01 c abscon : 37.33
7.81/8.01 c
7.81/8.01 c
7.81/8.01 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-42-18-3-6_glb.xml
7.81/8.01 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.81/8.01 c choco : 1801.0
7.81/8.01 c mistral : 0.08
7.81/8.01 c abscon : 11.27
7.81/8.01 c
7.81/8.01 c
7.81/8.01 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-42-21-4-9_glb.xml
7.81/8.01 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.81/8.02 c choco : 1801.0
7.81/8.02 c mistral : 0.46
7.81/8.02 c abscon : 1801.0
7.81/8.02 c
7.81/8.02 c
7.81/8.02 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-10-15-6-4-2_glb.xml
7.81/8.02 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.81/8.02 c choco : 17.03
7.81/8.02 c mistral : 0.11
7.81/8.02 c abscon : 9.54
7.81/8.02 c
7.81/8.02 c
7.81/8.02 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-20-10-3-4_glb.xml
7.81/8.02 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.81/8.03 c choco : 12.66
7.81/8.03 c mistral : 0.05
7.81/8.03 c abscon : 6.5
7.81/8.03 c
7.81/8.03 c
7.81/8.03 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-14-7-4-3_glb.xml
7.81/8.03 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.81/8.04 c choco : 9.53
7.81/8.04 c mistral : 0.07
7.81/8.04 c abscon : 6.37
7.81/8.04 c
7.81/8.04 c
7.81/8.04 c /home/ehebrard/new_instances/competition_5c/data5/bibd12-13/bibd-12-44-11-3-2_glb.xml
7.81/8.04 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.81/8.04 c choco : 1801.0
7.81/8.04 c mistral : 0.6
7.81/8.04 c abscon : 1801.0
7.81/8.04 c
7.81/8.04 c
7.81/8.04 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-13-13-4-4-1_glb.xml
7.81/8.04 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.81/8.05 c choco : 13.54
7.81/8.05 c mistral : 0.08
7.81/8.05 c abscon : 8.72
7.81/8.05 c
7.81/8.05 c
7.81/8.05 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-14-6-3-2_glb.xml
7.81/8.05 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.81/8.05 c choco : 5.63
7.81/8.05 c mistral : 0.06
7.81/8.05 c abscon : 5.74
7.81/8.05 c
7.81/8.05 c
7.81/8.05 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-11-11-5-5-2_glb.xml
7.81/8.05 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.81/8.06 c choco : 7.25
7.81/8.06 c mistral : 0.1
7.81/8.06 c abscon : 7.83
7.81/8.06 c
7.81/8.06 c
7.81/8.06 c /home/ehebrard/new_instances/competition_5c/data5/bibd9/bibd-9-12-4-3-1_glb.xml
7.81/8.06 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.81/8.07 c choco : 5.45
7.81/8.07 c mistral : 0.07
7.81/8.07 c abscon : 7.08
7.81/8.07 c
7.81/8.07 c
7.81/8.07 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-49-21-3-7_glb.xml
7.81/8.07 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.81/8.07 c choco : 1801.0
7.81/8.07 c mistral : 5.51
7.81/8.07 c abscon : 13.54
7.81/8.07 c
7.81/8.07 c
7.81/8.07 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-50-25-3-10_glb.xml
7.81/8.07 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.81/8.08 c choco : 21.63
7.81/8.08 c mistral : 0.12
7.81/8.08 c abscon : 1801.0
7.81/8.08 c
7.81/8.08 c
7.81/8.08 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-10-5-3-2_glb.xml
7.81/8.08 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.81/8.09 c choco : 3.67
7.81/8.09 c mistral : 0.03
7.81/8.09 c abscon : 4.61
7.81/8.09 c
7.81/8.09 c
7.81/8.09 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-07-3-3-1_glb.xml
7.81/8.09 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.81/8.09 c choco : 3.43
7.81/8.09 c mistral : 0.03
7.81/8.09 c abscon : 4.33
7.81/8.09 c
7.81/8.09 c
7.81/8.09 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-56-24-3-8_glb.xml
7.81/8.09 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.88/8.10 c choco : 1801.0
7.88/8.10 c mistral : 0.28
7.88/8.10 c abscon : 8.76
7.88/8.10 c
7.88/8.10 c
7.88/8.10 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-8-56-21-3-6_glb.xml
7.88/8.10 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.88/8.11 c choco : 1801.0
7.88/8.11 c mistral : 0.29
7.88/8.11 c abscon : 1801.0
7.88/8.11 c
7.88/8.11 c
7.88/8.11 c Length: 40
7.88/8.11 c 0.8569059925102629 4.621228705614991 4.6635456885936035 5.481131534637713 6.229667715512602 6.4532742726541565 6.464499138564409 7.24861856418863 7.95509383311096 10.59061305256216 11.543554049490131 13.29140909574301 14.411553806175794 15.315777773828529 15.396520053833594 15.758820648493973 16.838175100535686 17.14715652463405 17.296501922536244 18.708590021343138 18.844419714315958 19.176831920267748 19.922682423090016 19.95276887032474 20.0832908400491 20.29478581310973 21.326799253078274 21.980652311089404 22.43660087092963 23.22131417609477 23.328812598252835 24.79913501220557 24.894584933533235 25.531732465467364 27.051605470154634 28.29403064467309 31.216845382817848 33.746851738431836 34.051015330337805 34.112988250619445
7.88/8.11 c
7.88/8.11 c 1.0 0.8983176246712653 0.8972919554913388 0.8779253440464767 0.8609132148601321 0.8559584221171876 0.8557111984973654 0.838787690485216 0.8241031785920563 0.7735809545840254 0.7568050965346983 0.7278541519025191 0.7104371627427677 0.6969739975151035 0.6957965846098179 0.6905619915511305 0.6754238669503795 0.6712117806762266 0.669194655764836 0.6507050625416602 0.6489802603069471 0.6447975217132512 0.6356059033754962 0.6352406232808534 0.6336608031624004 0.6311175122575671 0.6189944796171846 0.6115518038312736 0.6064668724455047 0.5979106259944102 0.5967572657135831 0.5814172047246093 0.5804485787295969 0.574064570823401 0.5593884771091086 0.5479374702884708 0.5227626845624485 0.5027676379310735 0.5004663110729498 0.5
7.88/8.12 c
7.88/8.12 c solver 0
7.88/8.12 c before 0.0 seconds: {} 0
7.88/8.12 c before 18.0 seconds: {6, 7, 8, 9, 11, 12, 13, 15, 17, 20, 24, 26, 27, 28, 30, 31, 32, 33, 34, 36, 37, 38} 14326
7.88/8.12 c before 36.0 seconds: {1, 6, 7, 8, 9, 10, 11, 12, 13, 15, 17, 18, 19, 20, 24, 26, 27, 28, 30, 31, 32, 33, 34, 36, 37, 38} 17301
7.88/8.12 c before 54.0 seconds: {0, 1, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 17, 18, 19, 20, 23, 24, 26, 27, 28, 30, 31, 32, 33, 34, 36, 37, 38} 19793
7.88/8.12 c
7.88/8.12 c solver 1
7.88/8.13 c before 0.0 seconds: {} 0
7.88/8.13 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, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25844
7.88/8.13 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} 27357
7.88/8.13 c
7.88/8.13 c solver 2
7.88/8.13 c before 0.0 seconds: {} 0
7.88/8.13 c before 18.0 seconds: {7, 11, 15, 26, 27, 28, 30, 31, 32, 33, 36, 37} 7452
7.88/8.13 c before 36.0 seconds: {7, 8, 9, 11, 13, 15, 17, 18, 26, 27, 28, 30, 31, 32, 33, 35, 36, 37} 11635
7.88/8.13 c before 72.0 seconds: {6, 7, 8, 9, 11, 12, 13, 15, 17, 18, 19, 21, 26, 27, 28, 30, 31, 32, 33, 35, 36, 37} 14497
7.88/8.13 c before 90.0 seconds: {1, 4, 6, 7, 8, 9, 11, 12, 13, 15, 17, 18, 19, 21, 26, 27, 28, 30, 31, 32, 33, 35, 36, 37} 16256
7.88/8.13 c before 108.0 seconds: {1, 4, 6, 7, 8, 9, 11, 12, 13, 15, 17, 18, 19, 20, 21, 26, 27, 28, 30, 31, 32, 33, 35, 36, 37} 16905
7.88/8.13 c
7.88/8.13 cTotal time: 12
7.88/8.13 c 216.0 seconds unused
7.88/8.13 c 0 c 0 c 7
7.88/8.13 c 11 c 0 c 15
7.88/8.13 c 3 c 0 c 0
7.88/8.13 c is solver0 dominated by:
7.88/8.13 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.88/8.13 c is dominated? true
7.88/8.13 c
7.88/8.13 c is solver1 dominated by:
7.88/8.13 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.88/8.13 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.88/8.13 c is dominated? false
7.88/8.13 c
7.88/8.13 c is solver2 dominated by:
7.88/8.13 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.88/8.13 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.88/8.13 c is dominated? true
7.88/8.13 c
7.88/8.13 c Number of non-dominated solvers: 1
7.88/8.13 c remove dominated solvers
7.88/8.13 c solver 1 is not dominated by another solver
7.88/8.13 c solver 2 is dominated by another solver
7.88/8.13 c solver 0 is dominated by another solver
7.88/8.13 c
7.88/8.13 c solver 0: 0.0
7.88/8.13 c
7.88/8.13 c solver 1: 54.0
7.88/8.13 c
7.88/8.13 c+ 3/3 of 97
7.88/8.13 c
7.88/8.13 c solver 2: 0.0
7.88/8.13 c do not run abscon
7.88/8.13 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} 27357
7.88/8.13 c do not run choco
7.88/8.13 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.88/8.13 c On Instance: HOME/instance-1092209-1215264431.xml
7.88/8.13 c Running for: 1800 seconds
7.91/8.34 c mistral-prime version 1.313
7.91/8.34 s SATISFIABLE
7.91/8.34 v 1 1 1 1 1 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 1 0 1 0 1 0 0 0 1 0 1 1 1 0 1 0 0 1 1 1 1 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 1 1 1 1 1 0 1 0 0 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 1 1 1 1 1 1 0 1 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 1 0 0 0 1 0 0 1 1 1 0 1 0 1 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 1 0 0 1 1 1 0 1 0 0 1 0 1 1 0 0 1 1 1 0 1 0 0 0 1 0 1 1 1 0 1 0 1 1 0 1 0 1 0 0 1 1 1 1 1 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 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 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 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 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 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 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0
7.91/8.34 d CHECKS 199414
7.91/8.34 d ASSIGNMENTS 1869