0.00/0.00 c cpHydra_k_40 version 0.0
9.24/14.91 c CASE TO CLASSIFY:
9.24/14.91 c Case: 0
9.24/14.92 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 3.919930 | c 33 > 60.000000 | c 15 > 20.418100 | c 34 > 20.000000 | c 16 > 96.000000 | c 13 > 12.463700 | c 14 > 13.310800 | c 11 > 12.076800 | c 12 > 10.253900 | c 21 > 1.414210 | c 20 > 96.080100 | 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.812600 | c 1 > 12.076800 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.076800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.24/14.93 c choco : 1801.0
9.24/14.93 c mistral : 1801.0
9.24/14.93 c abscon : 1801.0
9.24/14.93 c
9.24/14.93 c
9.34/15.00 c List of same ones: 40
9.34/15.00 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-98-49-4-21_glb.xml
9.34/15.00 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
9.34/15.01 c choco : 1801.0
9.34/15.01 c mistral : 16.49
9.34/15.01 c abscon : 1801.0
9.34/15.01 c
9.34/15.01 c
9.34/15.01 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-98-42-3-14_glb.xml
9.34/15.01 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
9.34/15.02 c choco : 1801.0
9.34/15.02 c mistral : 11.66
9.34/15.02 c abscon : 16.56
9.34/15.02 c
9.34/15.02 c
9.34/15.02 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-91-39-3-13_glb.xml
9.34/15.02 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
9.34/15.03 c choco : 1801.0
9.34/15.03 c mistral : 0.54
9.34/15.03 c abscon : 14.27
9.34/15.03 c
9.34/15.03 c
9.34/15.03 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-100-50-3-20_glb.xml
9.34/15.03 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
9.34/15.03 c choco : 1801.0
9.34/15.04 c mistral : 0.25
9.34/15.04 c abscon : 1801.0
9.34/15.04 c
9.34/15.04 c
9.34/15.04 c /home/ehebrard/new_instances/competition_5c/data5/bibd10-11/bibd-10-90-27-3-6_glb.xml
9.34/15.04 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
9.34/15.05 c choco : 1801.0
9.34/15.05 c mistral : 1.7
9.34/15.05 c abscon : 1801.0
9.34/15.05 c
9.34/15.05 c
9.34/15.05 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-90-45-3-18_glb.xml
9.34/15.05 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
9.34/15.06 c choco : 1801.0
9.34/15.06 c mistral : 64.09
9.34/15.06 c abscon : 1801.0
9.34/15.06 c
9.34/15.06 c
9.34/15.06 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-84-36-3-12_glb.xml
9.34/15.06 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
9.34/15.06 c choco : 1801.0
9.34/15.06 c mistral : 1801.0
9.34/15.06 c abscon : 13.53
9.34/15.06 c
9.34/15.06 c
9.34/15.06 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-16-80-15-3-2_glb.xml
9.34/15.06 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
9.34/15.07 c choco : 1801.0
9.34/15.07 c mistral : 1801.0
9.34/15.07 c abscon : 0.63
9.34/15.07 c
9.34/15.07 c
9.34/15.07 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-80-40-3-16_glb.xml
9.34/15.07 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
9.34/15.08 c choco : 1801.0
9.34/15.08 c mistral : 0.2
9.34/15.08 c abscon : 1801.0
9.34/15.08 c
9.34/15.08 c
9.34/15.08 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-77-33-3-11_glb.xml
9.34/15.08 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
9.34/15.09 c choco : 1801.0
9.34/15.09 c mistral : 1.6
9.34/15.09 c abscon : 11.26
9.34/15.09 c
9.34/15.09 c
9.34/15.09 c /home/ehebrard/new_instances/competition_5c/data5/bibd9/bibd-9-72-24-3-6_glb.xml
9.34/15.09 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
9.40/15.10 c choco : 1801.0
9.40/15.10 c mistral : 3.07
9.40/15.10 c abscon : 1801.0
9.40/15.10 c
9.40/15.10 c
9.40/15.10 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-70-35-4-15_glb.xml
9.40/15.10 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
9.40/15.12 c choco : 1801.0
9.40/15.12 c mistral : 2.44
9.40/15.12 c abscon : 1801.0
9.40/15.12 c
9.40/15.12 c
9.40/15.12 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-70-30-3-10_glb.xml
9.40/15.12 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
9.40/15.12 c choco : 1801.0
9.40/15.12 c mistral : 11.53
9.40/15.12 c abscon : 10.67
9.40/15.12 c
9.40/15.12 c
9.40/15.12 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-70-35-3-14_glb.xml
9.40/15.12 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
9.40/15.13 c choco : 1801.0
9.40/15.13 c mistral : 1.73
9.40/15.13 c abscon : 1801.0
9.40/15.13 c
9.40/15.13 c
9.40/15.13 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-63-27-3-9_glb.xml
9.40/15.13 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
9.40/15.14 c choco : 1801.0
9.40/15.14 c mistral : 0.27
9.40/15.14 c abscon : 9.51
9.40/15.14 c
9.40/15.14 c
9.40/15.14 c /home/ehebrard/new_instances/competition_5c/data5/bibd9/bibd-9-60-20-3-5_glb.xml
9.40/15.14 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
9.40/15.15 c choco : 1801.0
9.40/15.15 c mistral : 75.53
9.40/15.15 c abscon : 1801.0
9.40/15.15 c
9.40/15.15 c
9.40/15.15 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-60-30-3-12_glb.xml
9.40/15.15 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
9.40/15.15 c choco : 1801.0
9.40/15.15 c mistral : 1.03
9.40/15.15 c abscon : 1801.0
9.40/15.15 c
9.40/15.15 c
9.40/15.15 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-56-28-4-12_glb.xml
9.40/15.15 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
9.40/15.16 c choco : 1801.0
9.40/15.16 c mistral : 0.39
9.40/15.16 c abscon : 1801.0
9.40/15.16 c
9.40/15.16 c
9.40/15.16 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-56-24-3-8_glb.xml
9.40/15.16 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
9.40/15.17 c choco : 1801.0
9.40/15.17 c mistral : 0.28
9.40/15.17 c abscon : 8.76
9.40/15.17 c
9.40/15.17 c
9.40/15.17 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-8-56-21-3-6_glb.xml
9.40/15.17 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
9.40/15.18 c choco : 1801.0
9.40/15.18 c mistral : 0.29
9.40/15.18 c abscon : 1801.0
9.40/15.18 c
9.40/15.18 c
9.40/15.18 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-50-25-3-10_glb.xml
9.40/15.18 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
9.40/15.18 c choco : 21.63
9.40/15.18 c mistral : 0.12
9.40/15.18 c abscon : 1801.0
9.40/15.18 c
9.40/15.18 c
9.40/15.18 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-49-21-3-7_glb.xml
9.40/15.18 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
9.40/15.19 c choco : 1801.0
9.40/15.19 c mistral : 5.51
9.40/15.19 c abscon : 13.54
9.40/15.19 c
9.40/15.19 c
9.40/15.19 c /home/ehebrard/new_instances/competition_5c/data5/bibd12-13/bibd-12-44-11-3-2_glb.xml
9.40/15.19 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
9.40/15.20 c choco : 1801.0
9.40/15.20 c mistral : 0.6
9.40/15.20 c abscon : 1801.0
9.40/15.20 c
9.40/15.20 c
9.40/15.20 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-42-18-3-6_glb.xml
9.40/15.20 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
9.48/15.20 c choco : 1801.0
9.48/15.20 c mistral : 0.08
9.48/15.20 c abscon : 11.27
9.48/15.20 c
9.48/15.20 c
9.48/15.20 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-42-21-4-9_glb.xml
9.48/15.20 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
9.48/15.21 c choco : 1801.0
9.48/15.21 c mistral : 0.46
9.48/15.21 c abscon : 1801.0
9.48/15.21 c
9.48/15.21 c
9.48/15.21 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-40-20-3-8_glb.xml
9.48/15.21 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
9.48/15.21 c choco : 59.6
9.48/15.21 c mistral : 0.23
9.48/15.21 c abscon : 26.24
9.48/15.21 c
9.48/15.21 c
9.48/15.21 c /home/ehebrard/new_instances/competition_5c/data5/bibd9/bibd-9-36-12-3-3_glb.xml
9.48/15.21 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
9.48/15.22 c choco : 1801.0
9.48/15.22 c mistral : 40.43
9.48/15.22 c abscon : 37.33
9.48/15.22 c
9.48/15.22 c
9.48/15.22 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-35-15-3-5_glb.xml
9.48/15.22 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
9.48/15.23 c choco : 12.35
9.48/15.23 c mistral : 0.12
9.48/15.23 c abscon : 8.74
9.48/15.23 c
9.48/15.23 c
9.48/15.23 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-15-35-7-3-1_glb.xml
9.48/15.23 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
9.48/15.23 c choco : 65.48
9.48/15.23 c mistral : 0.98
9.48/15.23 c abscon : 1801.0
9.48/15.23 c
9.48/15.23 c
9.48/15.23 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-31-31-6-6-1_glb.xml
9.48/15.23 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
9.48/15.24 c choco : 1801.0
9.48/15.24 c mistral : 6.96
9.48/15.24 c abscon : 1801.0
9.48/15.24 c
9.48/15.24 c
9.48/15.24 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-25-30-6-5-1_glb.xml
9.48/15.24 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
9.48/15.24 c choco : 1801.0
9.48/15.24 c mistral : 5.2
9.48/15.24 c abscon : 1801.0
9.48/15.24 c
9.48/15.24 c
9.48/15.24 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-30-15-3-6_glb.xml
9.48/15.24 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
9.48/15.25 c choco : 20.41
9.48/15.25 c mistral : 0.14
9.48/15.25 c abscon : 16.64
9.48/15.25 c
9.48/15.25 c
9.48/15.25 c /home/ehebrard/new_instances/competition_5c/data5/bibd10-11/bibd-10-30-9-3-2_glb.xml
9.48/15.25 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
9.48/15.26 c choco : 90.14
9.48/15.26 c mistral : 0.17
9.48/15.26 c abscon : 15.55
9.48/15.26 c
9.48/15.26 c
9.48/15.26 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-28-14-4-6_glb.xml
9.48/15.26 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
9.48/15.26 c choco : 1801.0
9.48/15.26 c mistral : 0.14
9.48/15.26 c abscon : 39.3
9.48/15.26 c
9.48/15.26 c
9.48/15.26 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-28-12-3-4_glb.xml
9.48/15.26 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
9.48/15.27 c choco : 10.93
9.48/15.27 c mistral : 0.1
9.48/15.27 c abscon : 7.43
9.48/15.27 c
9.48/15.27 c
9.48/15.27 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-14-26-13-7-6_glb.xml
9.48/15.27 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
9.48/15.27 c choco : 1801.0
9.48/15.28 c mistral : 41.67
9.48/15.28 c abscon : 1801.0
9.48/15.28 c
9.48/15.28 c
9.48/15.28 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-13-26-8-4-2_glb.xml
9.48/15.28 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
9.48/15.28 c choco : 54.96
9.48/15.28 c mistral : 1.09
9.48/15.28 c abscon : 13.0
9.48/15.28 c
9.48/15.28 c
9.48/15.28 c /home/ehebrard/new_instances/competition_5c/data5/bibd12-13/bibd-13-26-6-3-1_glb.xml
9.48/15.28 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
9.48/15.29 c choco : 1801.0
9.48/15.29 c mistral : 0.29
9.48/15.29 c abscon : 29.41
9.48/15.29 c
9.48/15.29 c
9.48/15.29 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-16-24-9-6-3_glb.xml
9.48/15.29 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
9.48/15.29 c choco : 1801.0
9.48/15.29 c mistral : 1.77
9.48/15.29 c abscon : 1801.0
9.48/15.29 c
9.48/15.29 c
9.48/15.29 c /home/ehebrard/new_instances/competition_5c/data5/bibd9/bibd-9-24-8-3-2_glb.xml
9.48/15.29 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
9.53/15.30 c choco : 18.65
9.53/15.30 c mistral : 0.13
9.53/15.30 c abscon : 9.76
9.53/15.30 c
9.53/15.30 c
9.53/15.30 c Length: 40
9.53/15.30 c 3.5246572565853853 3.918838502273345 6.169002816671426 6.902915185629911 7.049539015772591 8.6897246948393 12.601933519266002 16.916503136984307 17.34898704792012 19.40422703270862 24.47616510914445 26.10772328407056 26.351024985829294 27.05979102323039 33.34180982241516 36.523974940700256 36.77127702871631 40.15119176046957 40.36481814201075 40.47753183591608 46.7692416886697 47.51144713003384 52.11930428871821 54.50550093989138 54.55650170006229 56.74064317518088 61.05919242740196 61.54152241972 61.787120074293 65.65027524215722 66.52399658676109 66.94004095285571 67.47317698017338 68.45468929380075 68.61750453635719 70.04057571605833 70.06794434114933 70.42372768453399 72.03225360422164 73.18410093434366
9.53/15.31 c
9.53/15.31 c 1.0 0.9943731499102478 0.9634272893860731 0.9537463822830663 0.9518355639934922 0.9309709163318729 0.8847135584318573 0.8387521018439913 0.8344069845327162 0.8143587453848211 0.768775103906188 0.755177237700402 0.753190598839081 0.7474624123846125 0.700259621943471 0.6785533232006186 0.6769226354837624 0.6553963643135547 0.6540817119788553 0.6533901974608494 0.6169792596769681 0.6129498664500053 0.5890658264723502 0.5774144375939237 0.5771704384146179 0.5669110896018008 0.5476630600626798 0.545594122434775 0.544546634631554 0.5285837620633855 0.5251023874807604 0.5234607104315003 0.5213719444888745 0.5175697676784127 0.5169444109838018 0.5115421951847553 0.5114394057143836 0.5101069247417006 0.5041683144182227 0.5
9.53/15.31 c
9.53/15.31 c solver 0
9.53/15.31 c before 0.0 seconds: {} 0
9.53/15.32 c before 18.0 seconds: {1, 2, 6, 7, 9, 12, 14, 18, 21, 23, 27, 31, 32, 34, 36, 39} 10912
9.53/15.32 c before 36.0 seconds: {1, 2, 6, 7, 9, 12, 14, 18, 21, 23, 25, 27, 31, 32, 34, 36, 37, 39} 11989
9.53/15.32 c before 54.0 seconds: {1, 2, 6, 7, 9, 12, 14, 18, 21, 23, 25, 26, 27, 31, 32, 33, 34, 36, 37, 39} 13054
9.53/15.32 c
9.53/15.32 c solver 1
9.53/15.32 c before 0.0 seconds: {} 0
9.53/15.32 c before 18.0 seconds: {0, 1, 2, 3, 4, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 22666
9.53/15.32 c before 54.0 seconds: {0, 1, 2, 3, 4, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23725
9.53/15.32 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24656
9.53/15.32 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 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} 25334
9.53/15.32 c
9.53/15.32 c solver 2
9.53/15.32 c before 0.0 seconds: {} 0
9.53/15.32 c before 18.0 seconds: {27, 34} 1062
9.53/15.32 c before 36.0 seconds: {20, 27, 31, 34, 39} 2702
9.53/15.32 c before 72.0 seconds: {20, 25, 27, 28, 31, 34, 36, 39} 4325
9.53/15.32 c before 108.0 seconds: {20, 25, 27, 28, 31, 32, 34, 36, 39} 4847
9.53/15.32 c
9.53/15.32 cTotal time: 14
9.53/15.32 c 252.0 seconds unused
9.53/15.32 c 0 c 2 c 13
9.53/15.32 c 20 c 0 c 29
9.53/15.32 c 2 c 0 c 0
9.53/15.32 c is solver0 dominated by:
9.53/15.32 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)
9.53/15.32 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)
9.53/15.32 c is dominated? false
9.53/15.32 c
9.53/15.32 c is solver1 dominated by:
9.53/15.32 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)
9.53/15.32 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)
9.53/15.32 c is dominated? false
9.53/15.32 c
9.53/15.32 c is solver2 dominated by:
9.53/15.32 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)
9.53/15.32 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)
9.53/15.32 c is dominated? true
9.53/15.32 c
9.53/15.32 c Number of non-dominated solvers: 2
9.53/15.32 c remove dominated solvers
9.53/15.32 c solver 0 is not dominated by another solver
9.53/15.32 c solver 1 is not dominated by another solver
9.53/15.32 c solver 2 is dominated by another solver
9.53/15.32 c
9.53/15.32 c solver 0: 54.0
9.53/15.32 c
9.53/15.32 c+ 3/8 of 92
9.53/15.32 c
9.53/15.32 c solver 1: 90.0
9.53/15.32 c
9.53/15.32 c+ 5/8 of 92
9.53/15.32 c
9.53/15.32 c solver 2: 0.0
9.53/15.32 c run abscon for 666.0 seconds {1, 2, 6, 7, 9, 12, 14, 18, 21, 23, 25, 26, 27, 31, 32, 33, 34, 36, 37, 39} 13054
9.53/15.32 c run mistral for 1116.0 seconds {0, 1, 2, 3, 4, 5, 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} 25334
9.53/15.32 c do not run choco
9.53/15.32 c Starting solver: HOME/cpHydra_k_40/solver/abscon
9.53/15.32 c On Instance: HOME/instance-1093753-1215266024.xml
9.53/15.32 c Running for: 666 seconds
675.97/694.68 c Starting solver: HOME/cpHydra_k_40/solver/mistral
675.97/694.68 c On Instance: HOME/instance-1093753-1215266024.xml
675.97/694.68 c Running for: 1116 seconds
676.08/695.10 c mistral-prime version 1.313
676.08/695.10 s SATISFIABLE
676.08/695.10 v 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 1 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 1 0 1 0 0 1 1 0 1 0 0 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 1 1 1 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 1 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 0 0 0 0 0 0 0 1 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 1 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 0 0 0 0 0 0 0 0 0 1 0 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 1 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 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 1 0 0 0 0 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 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 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 1 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 0 1 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 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 0 0 0 0 1 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 1 0 0 0 1 0 0 0 0 1 0 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 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 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 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 0 0 0 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 1 0 0 0 0 0 0 0 0 1 0 0 1 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 0 1 0 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 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 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 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 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 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 0 0 0 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 0 0 0 0 0 0 0 0 0 1 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 0 0 1 0 0 0 1 0 0 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 0 0 0 0 1 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 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 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 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 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 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 0 0 0 0 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 1 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 1 0 1 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 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 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 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 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 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 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 0 0 0 0 1 0 0 0 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 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 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 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 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 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 0 1 0 0 0 0 0 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 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 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 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 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 0 0 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 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 0 0 0 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 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 1 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0
676.08/695.10 d CHECKS 126677
676.08/695.10 d ASSIGNMENTS 2562