0.00/0.00 c cpHydra_k_40 version 0.0
7.30/7.48 c CASE TO CLASSIFY:
7.30/7.48 c Case: 0
7.30/7.48 c 19 > 1.713460 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 1.542110 | c 15 > 13.348900 | c 34 > 13.637900 | c 16 > 2.000000 | c 13 > 3.191060 | c 14 > -1.000000 | c 11 > 7.179910 | c 12 > 7.164660 | c 21 > 11.964600 | c 20 > 98.286500 | c 22 > 12.000000 | c 23 > 99.529800 | c 24 > 31.818200 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.334700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.341300 | c 31 > -1.000000 | c 4 > 7.179910 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.49 c choco : 1801.0
7.30/7.49 c mistral : 1801.0
7.30/7.49 c abscon : 1801.0
7.30/7.49 c
7.30/7.49 c
7.41/7.56 c List of same ones: 40
7.41/7.56 c /home/eomahony/cpZilla/CSP/queenAttacking/queenAttacking-7.xml
7.41/7.56 c 19 > 5.289670 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.760710 | c 15 > 18.053700 | c 34 > 21.133500 | c 16 > 2.000000 | c 13 > 9.539650 | c 14 > 10.849400 | c 11 > 5.643860 | c 12 > 12.164900 | c 21 > 6.944060 | c 20 > 94.710300 | c 22 > 7.000000 | c 23 > 98.800000 | c 24 > 40.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.219200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.235400 | c 31 > -1.000000 | c 4 > 5.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.57 c choco : 1801.0
7.41/7.57 c mistral : 496.858
7.41/7.57 c abscon : 1800.18
7.41/7.57 c
7.41/7.57 c
7.41/7.57 c /home/eomahony/cpZilla/CSP/queenAttacking/queenAttacking-6.xml
7.41/7.57 c 19 > 7.176290 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.458660 | c 15 > 18.248000 | c 34 > 25.101400 | c 16 > 2.000000 | c 13 > 10.934600 | c 14 > 11.374500 | c 11 > 5.209450 | c 12 > 11.118300 | c 21 > 5.932050 | c 20 > 92.823700 | c 22 > 6.000000 | c 23 > 98.378400 | c 24 > 40.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.326430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.346500 | c 31 > -1.000000 | c 4 > 5.209450 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.58 c choco : 1801.0
7.41/7.58 c mistral : 1.74573
7.41/7.58 c abscon : 81.7776
7.41/7.58 c
7.41/7.58 c
7.41/7.58 c /home/eomahony/cpZilla/CSP/queenAttacking/queenAttacking-5.xml
7.41/7.58 c 19 > 10.679600 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.611650 | c 15 > 18.333100 | c 34 > 32.330100 | c 16 > 2.000000 | c 13 > 11.606500 | c 14 > 11.786700 | c 11 > 4.700440 | c 12 > 13.370800 | c 21 > 4.926380 | c 20 > 89.320400 | c 22 > 5.000000 | c 23 > 97.929000 | c 24 > 46.153800 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.276120 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.301500 | c 31 > -1.000000 | c 4 > 4.700440 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.41/7.59 c choco : 5.92
7.41/7.59 c mistral : 0.085986
7.41/7.59 c abscon : 1.46978
7.41/7.59 c
7.41/7.59 c
7.41/7.59 c /home/eomahony/cpZilla/CSP/queenAttacking/queenAttacking-4.xml
7.41/7.59 c 19 > 16.666700 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 15.000000 | c 15 > 14.513200 | c 34 > 44.761900 | c 16 > 2.000000 | c 13 > 6.650280 | c 14 > 8.388020 | c 11 > 4.087460 | c 12 > 8.438790 | c 21 > 3.903240 | c 20 > 83.333300 | c 22 > 4.000000 | c 23 > 97.058800 | c 24 > 50.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.988680 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.016810 | c 31 > -1.000000 | c 4 > 4.087460 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.49/7.60 c choco : 5.51
7.49/7.60 c mistral : 0.056991
7.49/7.60 c abscon : 0.809876
7.49/7.60 c
7.49/7.60 c
7.49/7.60 c /home/ehebrard/new_instances/competition_4c/data/sgb/miles/miles1500-73.xml
7.49/7.60 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.354800 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.008930 | c 14 > 6.988680 | c 11 > 7.000000 | c 12 > 5.363590 | c 21 > 8.544000 | c 20 > 100.000000 | c 22 > 8.544000 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.344000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.189800 | c 31 > -1.000000 | c 4 > 7.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.49/7.61 c choco : 16.0
7.49/7.61 c mistral : 0.32
7.49/7.61 c abscon : 7.52
7.49/7.61 c
7.49/7.61 c
7.49/7.61 c /home/ehebrard/new_instances/competition_4c/data/sgb/miles/miles1000-42.xml
7.49/7.61 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.705800 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 4.590640 | c 14 > 6.977280 | c 11 > 7.000000 | c 12 > 4.738940 | c 21 > 6.480740 | c 20 > 100.000000 | c 22 > 6.480740 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.653300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.392300 | c 31 > -1.000000 | c 4 > 7.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.49/7.62 c choco : 13.73
7.49/7.62 c mistral : 0.21
7.49/7.62 c abscon : 4.82
7.49/7.62 c
7.49/7.62 c
7.49/7.62 c /home/ehebrard/new_instances/competition_4c/data/sgb/miles/miles1500-71.xml
7.49/7.62 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 2.584960 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 4.666350 | c 14 > -1.000000 | c 11 > 7.000000 | c 12 > 6.401810 | c 21 > 8.426150 | c 20 > 100.000000 | c 22 > 8.426150 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.345400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.149700 | c 31 > -1.000000 | c 4 > 7.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.49/7.63 c choco : 14.64
7.49/7.63 c mistral : 0.31
7.49/7.63 c abscon : 8.27
7.49/7.63 c
7.49/7.63 c
7.49/7.63 c /home/ehebrard/new_instances/competition_4c/data/sgb/miles/miles1500-72.xml
7.49/7.63 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 2.321930 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 4.648380 | c 14 > -1.000000 | c 11 > 7.000000 | c 12 > 6.392450 | c 21 > 8.485280 | c 20 > 100.000000 | c 22 > 8.485280 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.345100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.169900 | c 31 > -1.000000 | c 4 > 7.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.49/7.63 c choco : 15.58
7.49/7.63 c mistral : 0.27
7.49/7.64 c abscon : 7.61
7.49/7.64 c
7.49/7.64 c
7.49/7.64 c /home/ehebrard/new_instances/competition_4c/data/sgb/miles/miles750-31.xml
7.49/7.64 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.138300 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 4.092790 | c 14 > 6.930740 | c 11 > 7.000000 | c 12 > 4.199670 | c 21 > 5.567760 | c 20 > 100.000000 | c 22 > 5.567760 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.050500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.954200 | c 31 > -1.000000 | c 4 > 7.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.49/7.64 c choco : 11.02
7.49/7.64 c mistral : 0.13
7.49/7.64 c abscon : 4.07
7.49/7.64 c
7.49/7.64 c
7.49/7.64 c /home/ehebrard/new_instances/competition_4c/data/sgb/miles/miles1500-70.xml
7.49/7.64 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 1.584960 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 4.743290 | c 14 > -1.000000 | c 11 > 7.000000 | c 12 > 6.438140 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.346500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.129300 | c 31 > -1.000000 | c 4 > 7.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.49/7.65 c choco : 15.02
7.49/7.65 c mistral : 0.3
7.49/7.65 c abscon : 7.19
7.49/7.65 c
7.49/7.65 c
7.49/7.65 c /home/ehebrard/new_instances/competition_4c/data/register/mulsol/mulsol-i-1-49.xml
7.49/7.65 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.992100 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 4.875410 | c 14 > 7.599910 | c 11 > 7.622050 | c 12 > 4.417550 | c 21 > 7.000000 | c 20 > 100.000000 | c 22 > 7.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 5.882640 | c 10 > 11.940700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.236800 | c 31 > -1.000000 | c 4 > 7.108520 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.49/7.66 c choco : 13.83
7.49/7.66 c mistral : 0.25
7.49/7.66 c abscon : 5.42
7.49/7.66 c
7.49/7.66 c
7.49/7.66 c /home/ehebrard/new_instances/competition_4c/data/register/mulsol/mulsol-i-5-30.xml
7.49/7.66 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 4.857980 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.270580 | c 14 > -1.000000 | c 11 > 7.539160 | c 12 > 5.602950 | c 21 > 5.477230 | c 20 > 100.000000 | c 22 > 5.477230 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > 3.321930 | c 10 > 11.969400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.446000 | c 31 > -1.000000 | c 4 > 7.459430 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.49/7.68 c choco : 13.87
7.49/7.68 c mistral : 0.23
7.49/7.68 c abscon : 1801.0
7.49/7.68 c
7.49/7.68 c
7.49/7.68 c /home/ehebrard/new_instances/competition_4c/data/register/mulsol/mulsol-i-3-31.xml
7.49/7.68 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.050900 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.317330 | c 14 > 7.499850 | c 11 > 7.523560 | c 12 > 4.602500 | c 21 > 5.567760 | c 20 > 100.000000 | c 22 > 5.567760 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > 3.321930 | c 10 > 11.942100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.477800 | c 31 > -1.000000 | c 4 > 7.442940 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.49/7.69 c choco : 14.46
7.49/7.69 c mistral : 0.22
7.49/7.69 c abscon : 5.45
7.49/7.69 c
7.49/7.69 c
7.49/7.69 c /home/ehebrard/new_instances/competition_4c/data/sgb/miles/miles1500-65.xml
7.49/7.69 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 1.000000 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.135290 | c 14 > -1.000000 | c 11 > 7.000000 | c 12 > 6.622620 | c 21 > 8.062260 | c 20 > 100.000000 | c 22 > 8.062260 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.352900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.022400 | c 31 > -1.000000 | c 4 > 7.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.49/7.69 c choco : 15.27
7.49/7.69 c mistral : 0.31
7.49/7.69 c abscon : 7.3
7.49/7.69 c
7.49/7.69 c
7.49/7.69 c /home/ehebrard/new_instances/competition_4c/data/register/mulsol/mulsol-i-4-31.xml
7.49/7.69 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.061000 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.323660 | c 14 > 7.507790 | c 11 > 7.531380 | c 12 > 4.604330 | c 21 > 5.567760 | c 20 > 100.000000 | c 22 > 5.567760 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > 3.321930 | c 10 > 11.953100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.485600 | c 31 > -1.000000 | c 4 > 7.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.70 c choco : 13.6
7.57/7.70 c mistral : 0.23
7.57/7.70 c abscon : 6.59
7.57/7.70 c
7.57/7.70 c
7.57/7.70 c /home/ehebrard/new_instances/competition_4c/data/register/mulsol/mulsol-i-5-31.xml
7.57/7.70 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.070000 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.330460 | c 14 > 7.523560 | c 11 > 7.539160 | c 12 > 4.604860 | c 21 > 5.567760 | c 20 > 100.000000 | c 22 > 5.567760 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > 3.321930 | c 10 > 11.962900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.493400 | c 31 > -1.000000 | c 4 > 7.459430 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.71 c choco : 14.31
7.57/7.71 c mistral : 0.23
7.57/7.71 c abscon : 7.02
7.57/7.71 c
7.57/7.71 c
7.57/7.71 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-55-11-a3.xml
7.57/7.71 c 19 > 0.000000 | c 35 > 20.344800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.362800 | c 34 > 10.344800 | c 16 > 3.000000 | c 13 > 3.633260 | c 14 > 0.000000 | c 11 > 6.044390 | c 12 > 5.411960 | c 21 > 7.427430 | c 20 > 100.000000 | c 22 > 7.483310 | 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 > -1.000000 | c 3 > 5.781360 | c 2 > 3.459430 | c 10 > 10.640200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.826200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.71 c choco : 2.97
7.57/7.71 c mistral : 0.88
7.57/7.71 c abscon : 224.977
7.57/7.71 c
7.57/7.71 c
7.57/7.71 c /home/ehebrard/new_instances/competition_4c/data/register/zeroin/zeroin-i-1-49.xml
7.57/7.71 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.045400 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.138890 | c 14 > 7.714250 | c 11 > 7.721100 | c 12 > 4.361050 | c 21 > 7.000000 | c 20 > 100.000000 | c 22 > 7.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 6.409390 | c 10 > 12.003200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.335800 | c 31 > -1.000000 | c 4 > 6.977280 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.72 c choco : 13.77
7.57/7.73 c mistral : 0.22
7.57/7.73 c abscon : 6.26
7.57/7.73 c
7.57/7.73 c
7.57/7.73 c /home/ehebrard/new_instances/competition_4c/data/register/mulsol/mulsol-i-2-31.xml
7.57/7.73 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.034800 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.291520 | c 14 > 7.531380 | c 11 > 7.554590 | c 12 > 4.551970 | c 21 > 5.567760 | c 20 > 100.000000 | c 22 > 5.567760 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > 3.906890 | c 10 > 11.930400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.508800 | c 31 > -1.000000 | c 4 > 7.434630 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.73 c choco : 13.79
7.57/7.73 c mistral : 0.24
7.57/7.73 c abscon : 6.29
7.57/7.73 c
7.57/7.73 c
7.57/7.73 c /home/ehebrard/new_instances/competition_4c/data/sgb/miles/miles1500-60.xml
7.57/7.73 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 1.000000 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.435860 | c 14 > -1.000000 | c 11 > 7.000000 | c 12 > 6.768490 | c 21 > 7.745970 | c 20 > 100.000000 | c 22 > 7.745970 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.358900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.906900 | c 31 > -1.000000 | c 4 > 7.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.74 c choco : 14.81
7.57/7.74 c mistral : 0.3
7.57/7.74 c abscon : 7.69
7.57/7.74 c
7.57/7.74 c
7.57/7.74 c /home/ehebrard/new_instances/competition_4c/data/school/school1-16.xml
7.57/7.74 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.249000 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.709210 | c 14 > 6.459430 | c 11 > 8.588710 | c 12 > 5.632270 | c 21 > 4.000000 | c 20 > 100.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.220900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.588700 | c 31 > -1.000000 | c 4 > 8.588710 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.75 c choco : 1801.0
7.57/7.75 c mistral : 1801.0
7.57/7.75 c abscon : 12.73
7.57/7.75 c
7.57/7.75 c
7.57/7.75 c /home/ehebrard/new_instances/competition_4c/data/leighton/leighton-25/lei450-25b-25.xml
7.57/7.75 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 14.059600 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 4.456660 | c 14 > 8.764870 | c 11 > 8.813780 | c 12 > 4.252140 | c 21 > 5.000000 | c 20 > 100.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.014700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.457600 | c 31 > -1.000000 | c 4 > 8.813780 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.75 c choco : 25.46
7.57/7.75 c mistral : 0.52
7.57/7.75 c abscon : 7.77
7.57/7.75 c
7.57/7.75 c
7.57/7.75 c /home/ehebrard/new_instances/competition_4c/data/leighton/leighton-25/lei450-25a-25.xml
7.57/7.75 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 14.061500 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 4.531140 | c 14 > 8.764870 | c 11 > 8.813780 | c 12 > 4.251630 | c 21 > 5.000000 | c 20 > 100.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.014200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.457600 | c 31 > -1.000000 | c 4 > 8.813780 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.76 c choco : 24.06
7.57/7.76 c mistral : 0.56
7.57/7.76 c abscon : 7.45
7.57/7.76 c
7.57/7.76 c
7.57/7.76 c /home/ehebrard/new_instances/competition_4c/data/sgb/miles/miles1000-41.xml
7.57/7.76 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 1.584960 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 4.529420 | c 14 > -1.000000 | c 11 > 7.000000 | c 12 > 5.747980 | c 21 > 6.403120 | c 20 > 100.000000 | c 22 > 6.403120 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.656000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.357600 | c 31 > -1.000000 | c 4 > 7.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.76 c choco : 12.8
7.57/7.76 c mistral : 0.19
7.57/7.77 c abscon : 1801.0
7.57/7.77 c
7.57/7.77 c
7.57/7.77 c /home/ehebrard/new_instances/competition_4c/data/sgb/miles/miles1000-40.xml
7.57/7.77 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 1.584960 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 4.585600 | c 14 > -1.000000 | c 11 > 7.000000 | c 12 > 5.772310 | c 21 > 6.324560 | c 20 > 100.000000 | c 22 > 6.324560 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.657300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.321900 | c 31 > -1.000000 | c 4 > 7.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.77 c choco : 12.38
7.57/7.77 c mistral : 0.19
7.57/7.77 c abscon : 1801.0
7.57/7.77 c
7.57/7.77 c
7.57/7.77 c /home/ehebrard/new_instances/competition_4c/data/register/mulsol/mulsol-i-4-30.xml
7.57/7.77 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 3.459430 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.256480 | c 14 > -1.000000 | c 11 > 7.531380 | c 12 > 5.597580 | c 21 > 5.477230 | c 20 > 100.000000 | c 22 > 5.477230 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > 3.321930 | c 10 > 11.959300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.438300 | c 31 > -1.000000 | c 4 > 7.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.78 c choco : 12.28
7.57/7.78 c mistral : 0.22
7.57/7.78 c abscon : 1801.0
7.57/7.78 c
7.57/7.78 c
7.57/7.78 c /home/ehebrard/new_instances/competition_4c/data/sgb/miles/miles500-20.xml
7.57/7.78 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 11.270300 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 3.317410 | c 14 > 6.977280 | c 11 > 7.000000 | c 12 > 3.321930 | c 21 > 4.472140 | c 20 > 100.000000 | c 22 > 4.472140 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.199700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.321900 | c 31 > -1.000000 | c 4 > 7.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.78 c choco : 11.2
7.57/7.78 c mistral : 0.08
7.57/7.78 c abscon : 3.16
7.57/7.78 c
7.57/7.78 c
7.57/7.78 c /home/ehebrard/new_instances/competition_4c/data/register/mulsol/mulsol-i-5-29.xml
7.57/7.78 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 3.459430 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.301160 | c 14 > -1.000000 | c 11 > 7.539160 | c 12 > 5.620710 | c 21 > 5.385160 | c 20 > 100.000000 | c 22 > 5.385160 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > 3.321930 | c 10 > 11.970800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.397100 | c 31 > -1.000000 | c 4 > 7.459430 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.79 c choco : 13.29
7.57/7.79 c mistral : 0.24
7.57/7.79 c abscon : 6.87
7.57/7.79 c
7.57/7.79 c
7.57/7.79 c /home/ehebrard/new_instances/competition_4c/data/register/mulsol/mulsol-i-4-29.xml
7.57/7.79 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 3.321930 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.279170 | c 14 > -1.000000 | c 11 > 7.531380 | c 12 > 5.611040 | c 21 > 5.385160 | c 20 > 100.000000 | c 22 > 5.385160 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > 3.321930 | c 10 > 11.960400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.389400 | c 31 > -1.000000 | c 4 > 7.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.79 c choco : 12.8
7.57/7.79 c mistral : 0.23
7.57/7.79 c abscon : 6.96
7.57/7.79 c
7.57/7.79 c
7.57/7.79 c /home/ehebrard/new_instances/competition_4c/data/register/mulsol/mulsol-i-3-29.xml
7.57/7.79 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 3.169930 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.273160 | c 14 > -1.000000 | c 11 > 7.523560 | c 12 > 5.609260 | c 21 > 5.385160 | c 20 > 100.000000 | c 22 > 5.385160 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > 3.321930 | c 10 > 11.949500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.381500 | c 31 > -1.000000 | c 4 > 7.442940 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.80 c choco : 13.53
7.62/7.80 c mistral : 0.25
7.62/7.80 c abscon : 6.59
7.62/7.80 c
7.62/7.80 c
7.62/7.80 c /home/ehebrard/new_instances/competition_4c/data/register/zeroin/zeroin-i-3-30.xml
7.62/7.81 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.846100 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.315390 | c 14 > 7.672430 | c 11 > 7.686500 | c 12 > 4.203000 | c 21 > 5.477230 | c 20 > 100.000000 | c 22 > 5.477230 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > 5.614710 | c 10 > 11.793200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.593400 | c 31 > -1.000000 | c 4 > 7.294620 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.81 c choco : 14.76
7.62/7.81 c mistral : 0.2
7.62/7.81 c abscon : 5.88
7.62/7.81 c
7.62/7.81 c
7.62/7.81 c /home/ehebrard/new_instances/competition_4c/data/langford2/langford-2-40.xml
7.62/7.81 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 14.823200 | c 34 > 10.125000 | c 16 > 2.000000 | c 13 > 4.707480 | c 14 > 7.636620 | c 11 > 6.321930 | c 12 > 6.573460 | c 21 > 8.944270 | c 20 > 100.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.321930 | c 2 > -1.000000 | c 10 > 11.644300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.643900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.82 c choco : 12.21
7.62/7.82 c mistral : 0.21
7.62/7.82 c abscon : 7.79
7.62/7.82 c
7.62/7.82 c
7.62/7.82 c /home/ehebrard/new_instances/competition_4c/data/register/inithx/inithx-i-3-29.xml
7.62/7.82 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 5.087460 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 6.358500 | c 14 > -1.000000 | c 11 > 9.278450 | c 12 > 5.578900 | c 21 > 5.385160 | c 20 > 100.000000 | c 22 > 5.385160 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > 5.954200 | c 10 > 13.776200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.136400 | c 31 > -1.000000 | c 4 > 9.126700 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.82 c choco : 23.01
7.62/7.82 c mistral : 0.85
7.62/7.82 c abscon : 1801.0
7.62/7.82 c
7.62/7.82 c
7.62/7.82 c /home/ehebrard/new_instances/competition_4c/data/register/zeroin/zeroin-i-2-30.xml
7.62/7.82 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.846500 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.301670 | c 14 > 7.707360 | c 11 > 7.721100 | c 12 > 4.168780 | c 21 > 5.477230 | c 20 > 100.000000 | c 22 > 5.477230 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > 5.754890 | c 10 > 11.793600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.628000 | c 31 > -1.000000 | c 4 > 7.294620 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.83 c choco : 15.39
7.62/7.83 c mistral : 0.23
7.62/7.83 c abscon : 6.49
7.62/7.83 c
7.62/7.83 c
7.62/7.83 c /home/ehebrard/new_instances/competition_4c/data/register/inithx/inithx-i-2-29.xml
7.62/7.83 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 5.459430 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 6.358870 | c 14 > -1.000000 | c 11 > 9.333160 | c 12 > 5.538700 | c 21 > 5.385160 | c 20 > 100.000000 | c 22 > 5.385160 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > 6.442940 | c 10 > 13.778300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.191100 | c 31 > -1.000000 | c 4 > 9.124120 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.84 c choco : 23.23
7.62/7.84 c mistral : 0.7
7.62/7.84 c abscon : 1801.0
7.62/7.84 c
7.62/7.84 c
7.62/7.84 c /home/ehebrard/new_instances/competition_4c/data/register/mulsol/mulsol-i-3-30.xml
7.62/7.84 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 2.807350 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.250560 | c 14 > -1.000000 | c 11 > 7.523560 | c 12 > 5.595700 | c 21 > 5.477230 | c 20 > 100.000000 | c 22 > 5.477230 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > 3.321930 | c 10 > 11.948400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.430500 | c 31 > -1.000000 | c 4 > 7.442940 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.84 c choco : 12.93
7.62/7.84 c mistral : 0.25
7.62/7.84 c abscon : 1801.0
7.62/7.84 c
7.62/7.84 c
7.62/7.84 c /home/ehebrard/new_instances/competition_4c/data/register/fpsol/fpsol2-i-1-65.xml
7.62/7.84 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 14.516700 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.853780 | c 14 > 8.948370 | c 11 > 8.954200 | c 12 > 4.570100 | c 21 > 8.062260 | c 20 > 100.000000 | c 22 > 8.062260 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.826550 | c 10 > 13.508800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.976600 | c 31 > -1.000000 | c 4 > 8.071460 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.85 c choco : 22.73
7.62/7.85 c mistral : 0.76
7.62/7.85 c abscon : 9.18
7.62/7.85 c
7.62/7.85 c
7.62/7.85 c /home/ehebrard/new_instances/competition_4c/data/register/mulsol/mulsol-i-2-29.xml
7.62/7.85 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 3.169930 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.270680 | c 14 > -1.000000 | c 11 > 7.554590 | c 12 > 5.563380 | c 21 > 5.385160 | c 20 > 100.000000 | c 22 > 5.385160 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > 3.906890 | c 10 > 11.937700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.412600 | c 31 > -1.000000 | c 4 > 7.434630 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.85 c choco : 13.29
7.62/7.85 c mistral : 0.24
7.62/7.85 c abscon : 6.9
7.62/7.85 c
7.62/7.85 c
7.62/7.85 c /home/ehebrard/new_instances/competition_4c/data/leighton/leighton-5/lei450-05c-05.xml
7.62/7.85 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.046500 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 4.765910 | c 14 > 2.584960 | c 11 > 8.813780 | c 12 > 5.163860 | c 21 > 2.236070 | c 20 > 100.000000 | c 22 > 2.236070 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.523800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.135700 | c 31 > -1.000000 | c 4 > 8.813780 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.86 c choco : 26.17
7.62/7.86 c mistral : 0.72
7.62/7.86 c abscon : 9.65
7.62/7.86 c
7.62/7.86 c
7.62/7.86 c /home/ehebrard/new_instances/competition_4c/data/register/zeroin/zeroin-i-1-48.xml
7.62/7.86 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 2.807350 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.408760 | c 14 > -1.000000 | c 11 > 7.721100 | c 12 > 5.369510 | c 21 > 6.928200 | c 20 > 100.000000 | c 22 > 6.928200 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > 6.409390 | c 10 > 12.005300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.306100 | c 31 > -1.000000 | c 4 > 6.977280 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.87 c choco : 14.19
7.62/7.87 c mistral : 0.23
7.62/7.87 c abscon : 6.87
7.62/7.87 c
7.62/7.87 c
7.62/7.87 c Length: 40
7.62/7.87 c 21.487774282284335 25.464512895423702 35.25434824771265 47.593725796164556 69.04236053405256 69.35115208480894 69.4034624776394 69.43812129722477 69.55360294789695 69.57333065181514 69.68008696878685 69.7014879715792 69.7169773283825 69.71753561821875 69.71767325546443 69.71942318334469 69.73577637785142 69.75537329684573 69.76023793051382 69.76476782600655 69.81165666329083 69.85795390851925 69.8593858467257 69.86934106258839 69.883575350384 69.88568200048562 69.89291000026326 69.90474128100396 69.92422626698202 69.946410338502 69.95212290602194 69.96027132029792 69.96498333054471 69.97028905072425 69.97473946526489 69.98115946342915 69.98312618227982 69.98544993132143 69.98792639461037 69.99206275631401
7.62/7.87 c
7.62/7.87 c 1.0 0.9242252136846683 0.7789243086393306 0.6501022980476873 0.504943334100948 0.5033253408340604 0.503052273496668 0.5028715128945388 0.5022701629727913 0.5021675783058616 0.5016131683212383 0.501502175283998 0.5014218727330558 0.501418978832348 0.5014182653935008 0.5014091948678399 0.5013244460516324 0.5012229246820064 0.501197729933669 0.5011742711274778 0.5009315785449117 0.5006921784987556 0.5006847776874105 0.5006333313227378 0.5005597900189909 0.5005489078679773 0.5005115743740995 0.5004504763938732 0.500349886379096 0.5002354117206819 0.5002059421040012 0.500163912609849 0.5001396112993773 0.500112250867447 0.5000893033670355 0.5000562038885779 0.5000460649853945 0.5000340860365683 0.5000213204760454 0.5
7.62/7.88 c
7.62/7.88 c solver 0
7.62/7.88 c before 0.0 seconds: {} 0
7.62/7.88 c before 18.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 26, 27, 28, 29, 30, 31, 33, 36, 37, 38, 39} 15462
7.62/7.89 c before 90.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 26, 27, 28, 29, 30, 31, 33, 36, 37, 38, 39} 16387
7.62/7.89 c before 234.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 26, 27, 28, 29, 30, 31, 33, 36, 37, 38, 39} 16888
7.62/7.89 c
7.62/7.89 c solver 1
7.62/7.89 c before 0.0 seconds: {} 0
7.62/7.89 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19891
7.62/7.89 c before 504.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20891
7.62/7.89 c
7.62/7.89 c solver 2
7.62/7.89 c before 0.0 seconds: {} 0
7.62/7.89 c before 18.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 35, 37, 39} 15965
7.62/7.89 c before 36.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18966
7.62/7.89 c
7.62/7.89 cTotal time: 43
7.62/7.89 c 774.0 seconds unused
7.62/7.89 c 0 c 1 c 2
7.62/7.89 c 8 c 0 c 2
7.62/7.89 c 7 c 0 c 0
7.62/7.89 c is solver0 dominated by:
7.62/7.89 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
7.62/7.89 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: false) (0 is equally as fast as 2: false) (0 < 2: false)
7.62/7.89 c is dominated? false
7.62/7.89 c
7.62/7.89 c is solver1 dominated by:
7.62/7.89 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.62/7.89 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: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.62/7.89 c is dominated? false
7.62/7.89 c
7.62/7.89 c is solver2 dominated by:
7.62/7.89 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: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.62/7.89 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: true) (2 is equally as fast as 1: false) (2 < 1: true)
7.62/7.89 c is dominated? true
7.62/7.89 c
7.62/7.89 c Number of non-dominated solvers: 2
7.62/7.89 c remove dominated solvers
7.62/7.89 c solver 0 is not dominated by another solver
7.62/7.89 c solver 1 is not dominated by another solver
7.62/7.89 c solver 2 is dominated by another solver
7.62/7.89 c
7.62/7.89 c solver 0: 234.0
7.62/7.89 c
7.62/7.89 c+ 13/41 of 59
7.62/7.89 c
7.62/7.89 c solver 1: 504.0
7.62/7.89 c
7.62/7.89 c+ 28/41 of 59
7.62/7.89 c
7.62/7.89 c solver 2: 0.0
7.62/7.89 c run abscon for 558.0 seconds {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 26, 27, 28, 29, 30, 31, 33, 36, 37, 38, 39} 16888
7.62/7.89 c run mistral for 1224.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20891
7.62/7.89 c do not run choco
7.62/7.89 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.62/7.89 c On Instance: HOME/instance-1055915-1215060580.xml
7.62/7.89 c Running for: 558 seconds
566.08/568.68 c Starting solver: HOME/cpHydra_k_40/solver/mistral
566.08/568.68 c On Instance: HOME/instance-1055915-1215060580.xml
566.08/568.68 c Running for: 1224 seconds