0.00/0.00 c cpHydra_k_40 version 0.0
7.30/7.40 c CASE TO CLASSIFY:
7.30/7.40 c Case: 0
7.30/7.40 c 19 > 2.492460 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.243220 | c 15 > 13.314700 | c 34 > 15.282400 | c 16 > 2.000000 | c 13 > 2.918730 | c 14 > 4.459430 | c 11 > 6.658210 | c 12 > 6.650980 | c 21 > 9.957830 | c 20 > 97.507500 | c 22 > 10.000000 | c 23 > 99.339900 | c 24 > 33.333300 | 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.280800 | 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.289900 | c 31 > -1.000000 | c 4 > 6.658210 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.41 c choco : 1801.0
7.30/7.41 c mistral : 1801.0
7.30/7.41 c abscon : 1801.0
7.30/7.41 c
7.30/7.41 c
7.30/7.49 c List of same ones: 40
7.30/7.49 c /home/eomahony/cpZilla/CSP/queenAttacking/queenAttacking-7.xml
7.30/7.49 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.30/7.50 c choco : 1801.0
7.30/7.50 c mistral : 496.858
7.30/7.50 c abscon : 1800.18
7.30/7.50 c
7.30/7.50 c
7.30/7.50 c /home/eomahony/cpZilla/CSP/queenAttacking/queenAttacking-6.xml
7.30/7.50 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.40/7.50 c choco : 1801.0
7.40/7.50 c mistral : 1.74573
7.40/7.50 c abscon : 81.7776
7.40/7.50 c
7.40/7.50 c
7.40/7.50 c /home/eomahony/cpZilla/CSP/queenAttacking/queenAttacking-5.xml
7.40/7.50 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.40/7.51 c choco : 5.92
7.40/7.51 c mistral : 0.085986
7.40/7.51 c abscon : 1.46978
7.40/7.52 c
7.40/7.52 c
7.40/7.52 c /home/eomahony/cpZilla/CSP/queenAttacking/queenAttacking-4.xml
7.40/7.52 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.40/7.52 c choco : 5.51
7.40/7.52 c mistral : 0.056991
7.40/7.52 c abscon : 0.809876
7.40/7.52 c
7.40/7.52 c
7.40/7.52 c /home/ehebrard/new_instances/competition_4c/data/sgb/miles/miles1500-73.xml
7.40/7.52 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.40/7.53 c choco : 16.0
7.40/7.53 c mistral : 0.32
7.40/7.53 c abscon : 7.52
7.40/7.53 c
7.40/7.53 c
7.40/7.53 c /home/ehebrard/new_instances/competition_4c/data/sgb/miles/miles1000-42.xml
7.40/7.53 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.40/7.54 c choco : 13.73
7.40/7.54 c mistral : 0.21
7.40/7.54 c abscon : 4.82
7.40/7.54 c
7.40/7.54 c
7.40/7.54 c /home/ehebrard/new_instances/competition_4c/data/sgb/miles/miles750-31.xml
7.40/7.54 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.40/7.55 c choco : 11.02
7.40/7.55 c mistral : 0.13
7.40/7.55 c abscon : 4.07
7.40/7.55 c
7.40/7.55 c
7.40/7.55 c /home/ehebrard/new_instances/competition_4c/data/register/mulsol/mulsol-i-3-31.xml
7.40/7.55 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.40/7.56 c choco : 14.46
7.40/7.56 c mistral : 0.22
7.40/7.56 c abscon : 5.45
7.40/7.56 c
7.40/7.56 c
7.40/7.56 c /home/ehebrard/new_instances/competition_4c/data/register/mulsol/mulsol-i-4-31.xml
7.40/7.56 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.40/7.57 c choco : 13.6
7.40/7.57 c mistral : 0.23
7.40/7.57 c abscon : 6.59
7.40/7.57 c
7.40/7.57 c
7.40/7.57 c /home/ehebrard/new_instances/competition_4c/data/register/mulsol/mulsol-i-5-31.xml
7.40/7.57 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.40/7.58 c choco : 14.31
7.40/7.58 c mistral : 0.23
7.40/7.58 c abscon : 7.02
7.40/7.58 c
7.40/7.58 c
7.40/7.58 c /home/ehebrard/new_instances/competition_4c/data/register/mulsol/mulsol-i-2-31.xml
7.40/7.58 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.40/7.59 c choco : 13.79
7.40/7.59 c mistral : 0.24
7.40/7.59 c abscon : 6.29
7.40/7.59 c
7.40/7.59 c
7.40/7.59 c /home/ehebrard/new_instances/competition_4c/data/register/mulsol/mulsol-i-1-49.xml
7.40/7.59 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.47/7.61 c choco : 13.83
7.47/7.61 c mistral : 0.25
7.47/7.61 c abscon : 5.42
7.47/7.61 c
7.47/7.61 c
7.47/7.61 c /home/ehebrard/new_instances/competition_4c/data/leighton/leighton-25/lei450-25b-25.xml
7.47/7.61 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.47/7.61 c choco : 25.46
7.47/7.61 c mistral : 0.52
7.47/7.61 c abscon : 7.77
7.47/7.61 c
7.47/7.61 c
7.47/7.61 c /home/ehebrard/new_instances/competition_4c/data/leighton/leighton-25/lei450-25a-25.xml
7.47/7.61 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.47/7.62 c choco : 24.06
7.47/7.62 c mistral : 0.56
7.47/7.62 c abscon : 7.45
7.47/7.62 c
7.47/7.62 c
7.47/7.62 c /home/ehebrard/new_instances/competition_4c/data/sgb/miles/miles500-20.xml
7.47/7.62 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.47/7.63 c choco : 11.2
7.47/7.63 c mistral : 0.08
7.47/7.63 c abscon : 3.16
7.47/7.63 c
7.47/7.63 c
7.47/7.63 c /home/ehebrard/new_instances/competition_4c/data/register/zeroin/zeroin-i-1-49.xml
7.47/7.63 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.47/7.63 c choco : 13.77
7.47/7.63 c mistral : 0.22
7.47/7.63 c abscon : 6.26
7.47/7.63 c
7.47/7.63 c
7.47/7.63 c /home/ehebrard/new_instances/competition_4c/data/school/school1-16.xml
7.47/7.63 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.47/7.64 c choco : 1801.0
7.47/7.64 c mistral : 1801.0
7.47/7.64 c abscon : 12.73
7.47/7.64 c
7.47/7.64 c
7.47/7.64 c /home/ehebrard/new_instances/competition_4c/data/register/zeroin/zeroin-i-3-30.xml
7.47/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.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.47/7.65 c choco : 14.76
7.47/7.65 c mistral : 0.2
7.47/7.65 c abscon : 5.88
7.47/7.65 c
7.47/7.65 c
7.47/7.65 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen8-12-12.xml
7.47/7.65 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.531600 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 4.121670 | c 14 > 7.149750 | c 11 > 6.584960 | c 12 > 4.609790 | c 21 > 3.464100 | c 20 > 100.000000 | c 22 > 3.464100 | 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.425200 | 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.169900 | c 31 > -1.000000 | c 4 > 6.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.66 c choco : 1801.0
7.47/7.66 c mistral : 0.14
7.47/7.66 c abscon : 5.79
7.47/7.66 c
7.47/7.66 c
7.47/7.66 c /home/ehebrard/new_instances/competition_4c/data/register/zeroin/zeroin-i-2-30.xml
7.47/7.66 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.47/7.67 c choco : 15.39
7.47/7.67 c mistral : 0.23
7.47/7.67 c abscon : 6.49
7.47/7.67 c
7.47/7.67 c
7.47/7.67 c /home/ehebrard/new_instances/competition_4c/data/langford2/langford-2-40.xml
7.47/7.67 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.47/7.68 c choco : 12.21
7.47/7.68 c mistral : 0.21
7.47/7.68 c abscon : 7.79
7.47/7.68 c
7.47/7.68 c
7.47/7.68 c /home/ehebrard/new_instances/competition_4c/data/register/fpsol/fpsol2-i-3-30.xml
7.47/7.68 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 14.123800 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 6.108900 | c 14 > 8.714250 | c 11 > 8.731320 | c 12 > 4.422390 | 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.954200 | c 10 > 13.087300 | 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.638200 | c 31 > -1.000000 | c 4 > 8.503830 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.68 c choco : 20.6
7.47/7.68 c mistral : 0.54
7.47/7.68 c abscon : 7.76
7.47/7.68 c
7.47/7.68 c
7.47/7.68 c /home/ehebrard/new_instances/competition_4c/data/register/fpsol/fpsol2-i-1-65.xml
7.47/7.68 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.47/7.69 c choco : 22.73
7.47/7.69 c mistral : 0.76
7.47/7.69 c abscon : 9.18
7.47/7.69 c
7.47/7.69 c
7.47/7.69 c /home/ehebrard/new_instances/competition_4c/data/register/fpsol/fpsol2-i-2-30.xml
7.47/7.69 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 14.129400 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 6.077970 | c 14 > 8.800900 | c 11 > 8.816980 | c 12 > 4.346040 | 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 > 6.459430 | c 10 > 13.088100 | 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.723900 | c 31 > -1.000000 | c 4 > 8.503830 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.69 c choco : 23.58
7.47/7.69 c mistral : 0.56
7.47/7.69 c abscon : 8.06
7.47/7.69 c
7.47/7.69 c
7.47/7.69 c /home/ehebrard/new_instances/competition_4c/data/langford2/langford-2-20.xml
7.47/7.69 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.098000 | c 34 > 10.250000 | c 16 > 2.000000 | c 13 > 3.594220 | c 14 > 5.321930 | c 11 > 5.321930 | c 12 > 5.197710 | 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 > 5.321930 | c 2 > -1.000000 | c 10 > 9.645660 | 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.643900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.70 c choco : 4.82
7.47/7.70 c mistral : 0.06
7.47/7.70 c abscon : 5.06
7.47/7.70 c
7.47/7.70 c
7.47/7.70 c /home/ehebrard/new_instances/competition_4c/data/register/inithx/inithx-i-3-31.xml
7.47/7.70 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 14.782200 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 6.284900 | c 14 > 9.276120 | c 11 > 9.278450 | c 12 > 4.509450 | 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 > 5.954200 | c 10 > 13.770600 | 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.232600 | c 31 > -1.000000 | c 4 > 9.126700 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.71 c choco : 25.3
7.53/7.71 c mistral : 0.86
7.53/7.71 c abscon : 8.14
7.53/7.71 c
7.53/7.71 c
7.53/7.71 c /home/ehebrard/new_instances/competition_4c/data/leighton/leighton-5/lei450-05d-05.xml
7.53/7.71 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 14.891800 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 4.600110 | c 14 > 3.169930 | c 11 > 8.813780 | c 12 > 5.117700 | 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.501100 | 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.53/7.71 c choco : 25.44
7.53/7.71 c mistral : 0.71
7.53/7.71 c abscon : 10.03
7.53/7.71 c
7.53/7.71 c
7.53/7.71 c /home/ehebrard/new_instances/competition_4c/data/leighton/leighton-5/lei450-05c-05.xml
7.53/7.71 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.53/7.72 c choco : 26.17
7.53/7.72 c mistral : 0.72
7.53/7.72 c abscon : 9.65
7.53/7.72 c
7.53/7.72 c
7.53/7.72 c /home/ehebrard/new_instances/competition_4c/data/sgb/book/david-11.xml
7.53/7.72 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 9.749870 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 3.491350 | c 14 > 6.409390 | c 11 > 6.442940 | c 12 > 2.348220 | c 21 > 3.316620 | c 20 > 100.000000 | c 22 > 3.316620 | 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 > 8.679480 | 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.902380 | c 31 > -1.000000 | c 4 > 6.442940 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.72 c choco : 4.89
7.53/7.72 c mistral : 0.03
7.53/7.72 c abscon : 1.79
7.53/7.72 c
7.53/7.72 c
7.53/7.72 c /home/ehebrard/new_instances/competition_4c/data/langford2/langford-2-19.xml
7.53/7.72 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 11.708200 | c 34 > 10.263200 | c 16 > 2.000000 | c 13 > 3.472830 | c 14 > 5.087460 | c 11 > 5.247930 | c 12 > 4.682810 | c 21 > 6.164410 | c 20 > 100.000000 | c 22 > 6.164410 | 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.247930 | c 2 > -1.000000 | c 10 > 9.497850 | 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.495900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.73 c choco : 4.62
7.53/7.73 c mistral : 0.07
7.53/7.73 c abscon : 3.78
7.53/7.73 c
7.53/7.73 c
7.53/7.73 c /home/ehebrard/new_instances/competition_4c/data/sgb/book/anna-11.xml
7.53/7.73 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 9.964340 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 3.364140 | c 14 > 7.098030 | c 11 > 7.108520 | c 12 > 1.865890 | c 21 > 3.316620 | c 20 > 100.000000 | c 22 > 3.316620 | 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 > 8.948370 | 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.568000 | c 31 > -1.000000 | c 4 > 7.108520 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.73 c choco : 5.64
7.53/7.73 c mistral : 0.04
7.53/7.73 c abscon : 2.32
7.53/7.73 c
7.53/7.73 c
7.53/7.73 c /home/ehebrard/new_instances/competition_4c/data/sgb/games/games120-9.xml
7.53/7.73 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.376100 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 1.954230 | c 14 > 6.882640 | c 11 > 6.906890 | c 12 > 2.506740 | c 21 > 3.000000 | c 20 > 100.000000 | c 22 > 3.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 > 9.330920 | 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.076800 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.74 c choco : 6.75
7.53/7.74 c mistral : 0.05
7.53/7.74 c abscon : 2.23
7.53/7.74 c
7.53/7.74 c
7.53/7.74 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/1-fullins-5-6.xml
7.53/7.74 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.664900 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 4.075020 | c 14 > 8.118940 | c 11 > 8.139550 | c 12 > 3.525340 | c 21 > 2.449490 | c 20 > 100.000000 | c 22 > 2.449490 | 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.664900 | 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.724500 | c 31 > -1.000000 | c 4 > 8.139550 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.74 c choco : 13.13
7.53/7.74 c mistral : 0.2
7.53/7.74 c abscon : 7.92
7.53/7.74 c
7.53/7.74 c
7.53/7.75 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/3-fullins-4-7.xml
7.53/7.75 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.783000 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 3.685810 | c 14 > 8.658210 | c 11 > 8.661780 | c 12 > 3.121220 | c 21 > 2.645750 | c 20 > 100.000000 | c 22 > 2.645750 | 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.783000 | 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.469100 | c 31 > -1.000000 | c 4 > 8.661780 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.75 c choco : 13.56
7.53/7.75 c mistral : 0.23
7.53/7.75 c abscon : 8.4
7.53/7.75 c
7.53/7.75 c
7.53/7.75 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/5-fullins-3-8.xml
7.53/7.75 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.677700 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 2.744610 | c 14 > 7.257390 | c 11 > 7.266790 | c 12 > 2.437120 | c 21 > 2.828430 | c 20 > 100.000000 | c 22 > 2.828430 | 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 > 9.642050 | 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.266800 | c 31 > -1.000000 | c 4 > 7.266790 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.76 c choco : 5.3
7.53/7.76 c mistral : 0.06
7.53/7.76 c abscon : 3.26
7.53/7.76 c
7.53/7.76 c
7.53/7.76 c /home/ehebrard/new_instances/competition_4c/data/register/inithx/inithx-i-2-31.xml
7.53/7.76 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 14.783200 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 6.256430 | c 14 > 9.330920 | c 11 > 9.333160 | c 12 > 4.455770 | 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 > 6.442940 | c 10 > 13.771600 | 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.287400 | c 31 > -1.000000 | c 4 > 9.124120 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.77 c choco : 24.94
7.53/7.77 c mistral : 0.86
7.53/7.77 c abscon : 9.0
7.53/7.77 c
7.53/7.77 c
7.53/7.77 c /home/ehebrard/new_instances/competition_4c/data/langford4/langford-4-8.xml
7.53/7.77 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.622200 | c 34 > 10.461500 | c 16 > 2.000000 | c 13 > 2.855400 | c 14 > 5.247930 | c 11 > 5.000000 | c 12 > 5.912890 | c 21 > 5.656850 | c 20 > 100.000000 | c 22 > 5.656850 | 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.000000 | c 2 > -1.000000 | c 10 > 9.025140 | 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.000000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.77 c choco : 4.6
7.53/7.77 c mistral : 0.05
7.53/7.77 c abscon : 3.12
7.53/7.77 c
7.53/7.77 c
7.53/7.77 c /home/ehebrard/new_instances/competition_4c/data/sgb/miles/miles1500-71.xml
7.53/7.77 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.53/7.78 c choco : 14.64
7.53/7.78 c mistral : 0.31
7.53/7.78 c abscon : 8.27
7.53/7.78 c
7.53/7.78 c
7.53/7.78 c /home/ehebrard/new_instances/competition_4c/data/langford4/langford-4-9.xml
7.53/7.78 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.217800 | c 34 > 10.411000 | c 16 > 2.000000 | c 13 > 3.969750 | c 14 > 6.741470 | c 11 > 5.169930 | c 12 > 6.063690 | c 21 > 6.000000 | c 20 > 100.000000 | c 22 > 6.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 > 5.169930 | c 2 > -1.000000 | c 10 > 9.361940 | 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.339900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.78 c choco : 5.75
7.53/7.78 c mistral : 0.12
7.53/7.78 c abscon : 4.21
7.53/7.78 c
7.53/7.78 c
7.53/7.78 c /home/ehebrard/new_instances/competition_4c/data/school/school1-nsh-15.xml
7.53/7.78 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.260700 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 9.684630 | c 14 > 6.599910 | c 11 > 8.459430 | c 12 > 8.086570 | c 21 > 3.872980 | c 20 > 100.000000 | c 22 > 3.872980 | 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.347400 | 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.366300 | c 31 > -1.000000 | c 4 > 8.459430 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.79 c choco : 1801.0
7.53/7.79 c mistral : 1801.0
7.53/7.79 c abscon : 13.76
7.53/7.79 c
7.53/7.79 c
7.53/7.79 c Length: 40
7.53/7.79 c 16.343186314663363 20.336953941463303 30.573912535581695 43.5000485357005 67.13446840991368 67.3001876387139 67.43569371494964 67.59618345039607 67.59672146053607 67.5976862261017 67.63823455629293 67.64169244813364 67.65276377372028 67.6545314905284 67.68377687696882 67.71294642201667 67.74966017016911 67.81589590328508 67.83228294042593 67.83231746132296 67.96949558966065 67.9817271747254 67.98281458941001 68.04507310972042 68.06992417930623 68.07982286460577 68.08010150532311 68.10113410090906 68.1095296729437 68.11032707684055 68.11182382076844 68.11327702614079 68.11681820490956 68.12010426776443 68.13161702026305 68.13854120408581 68.13978066117984 68.14231280877469 68.14814019958284 68.14994236914804
7.53/7.80 c
7.53/7.80 c 1.0 0.9284277751654963 0.7845053183346626 0.656083867303538 0.5049487981327301 0.5041345059392098 0.503470620829625 0.5026865915238992 0.5026839673271273 0.5026792616578869 0.5024815657511941 0.5024647137800198 0.5024107654844151 0.5024021528359651 0.5022597066597898 0.5021177103249247 0.5019391031524156 0.5016171969121979 0.5015376194710616 0.5015374518600464 0.5008722876911391 0.5008130635197537 0.5008077990391917 0.5005065724781073 0.5003864362478886 0.5003385996092002 0.5003372531753272 0.5002356414223615 0.5001950926274943 0.5001912416811816 0.5001840135338579 0.5001769958448826 0.5001598959267084 0.5001440289778746 0.5000884469127288 0.5000550238067465 0.5000490414061363 0.5000368201118782 0.5000086967465659 0.5
7.59/7.81 c
7.59/7.81 c solver 0
7.59/7.81 c before 0.0 seconds: {} 0
7.59/7.81 c before 18.0 seconds: {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} 19487
7.59/7.81 c before 90.0 seconds: {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} 20415
7.59/7.81 c
7.59/7.81 c solver 1
7.59/7.81 c before 0.0 seconds: {} 0
7.59/7.81 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 19414
7.59/7.81 c before 504.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 20414
7.59/7.81 c
7.59/7.81 c solver 2
7.59/7.81 c before 0.0 seconds: {} 0
7.59/7.81 c before 18.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15, 17, 19, 20, 24, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38} 13476
7.59/7.81 c before 36.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 17984
7.59/7.81 c
7.59/7.81 cTotal time: 35
7.59/7.81 c 630.0 seconds unused
7.59/7.81 c 0 c 2 c 4
7.59/7.81 c 1 c 0 c 3
7.59/7.81 c 0 c 0 c 0
7.59/7.81 c is solver0 dominated by:
7.59/7.81 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.59/7.81 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
7.59/7.81 c is dominated? false
7.59/7.81 c
7.59/7.81 c is solver1 dominated by:
7.59/7.81 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.59/7.81 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.59/7.81 c is dominated? false
7.59/7.81 c
7.59/7.81 c is solver2 dominated by:
7.59/7.81 c solver 0 (2 solves instances that 0 can't: false) (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.59/7.81 c is dominated? true
7.59/7.81 c
7.59/7.81 c Number of non-dominated solvers: 2
7.59/7.81 c remove dominated solvers
7.59/7.81 c solver 0 is not dominated by another solver
7.59/7.81 c solver 1 is not dominated by another solver
7.59/7.81 c solver 2 is dominated by another solver
7.59/7.81 c
7.59/7.81 c solver 0: 90.0
7.59/7.81 c
7.59/7.81 c+ 5/33 of 67
7.59/7.81 c
7.59/7.81 c solver 1: 504.0
7.59/7.81 c
7.59/7.81 c+ 28/33 of 67
7.59/7.81 c
7.59/7.81 c solver 2: 0.0
7.59/7.81 c run abscon for 270.0 seconds {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} 20415
7.59/7.81 c run mistral for 1512.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 20414
7.59/7.81 c do not run choco
7.59/7.81 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.59/7.81 c On Instance: HOME/instance-1056020-1215061095.xml
7.59/7.81 c Running for: 270 seconds
277.98/278.46 c Starting solver: HOME/cpHydra_k_40/solver/mistral
277.98/278.46 c On Instance: HOME/instance-1056020-1215061095.xml
277.98/278.46 c Running for: 1512 seconds