0.00/0.00 c cpHydra_k_40 version 0.0
6.80/6.93 c CASE TO CLASSIFY:
6.80/6.93 c Case: 0
6.80/6.93 c 19 > 3.126920 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.814220 | c 15 > 15.622700 | c 34 > 16.609400 | c 16 > 2.000000 | c 13 > 5.480230 | c 14 > 7.643860 | c 11 > 6.357550 | c 12 > 7.467800 | c 21 > 8.955170 | c 20 > 96.873100 | c 22 > 9.000000 | c 23 > 99.226700 | c 24 > 36.585400 | 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.672000 | 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.683000 | c 31 > -1.000000 | c 4 > 6.357550 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.80/6.94 c choco : 1801.0
6.80/6.94 c mistral : 1801.0
6.80/6.94 c abscon : 1801.0
6.80/6.94 c
6.80/6.94 c
6.89/7.01 c List of same ones: 40
6.89/7.01 c /home/eomahony/cpZilla/CSP/queenAttacking/queenAttacking-7.xml
6.89/7.01 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
6.89/7.02 c choco : 1801.0
6.89/7.02 c mistral : 496.858
6.89/7.02 c abscon : 1800.18
6.89/7.02 c
6.89/7.02 c
6.89/7.02 c /home/eomahony/cpZilla/CSP/queenAttacking/queenAttacking-6.xml
6.89/7.02 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
6.89/7.03 c choco : 1801.0
6.89/7.03 c mistral : 1.74573
6.89/7.03 c abscon : 81.7776
6.89/7.03 c
6.89/7.03 c
6.89/7.03 c /home/eomahony/cpZilla/CSP/queenAttacking/queenAttacking-5.xml
6.89/7.03 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
6.89/7.04 c choco : 5.92
6.89/7.04 c mistral : 0.085986
6.89/7.04 c abscon : 1.46978
6.89/7.04 c
6.89/7.04 c
6.89/7.04 c /home/eomahony/cpZilla/CSP/queenAttacking/queenAttacking-4.xml
6.89/7.04 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
6.89/7.04 c choco : 5.51
6.89/7.04 c mistral : 0.056991
6.89/7.04 c abscon : 0.809876
6.89/7.04 c
6.89/7.04 c
6.89/7.04 c /home/ehebrard/new_instances/competition_4c/data/sgb/miles/miles1500-73.xml
6.89/7.04 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
6.89/7.05 c choco : 16.0
6.89/7.05 c mistral : 0.32
6.89/7.05 c abscon : 7.52
6.89/7.05 c
6.89/7.05 c
6.89/7.05 c /home/ehebrard/new_instances/competition_4c/data/sgb/miles/miles1000-42.xml
6.89/7.05 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
6.89/7.06 c choco : 13.73
6.89/7.06 c mistral : 0.21
6.89/7.06 c abscon : 4.82
6.89/7.06 c
6.89/7.06 c
6.89/7.06 c /home/ehebrard/new_instances/competition_4c/data/sgb/miles/miles750-31.xml
6.89/7.06 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
6.89/7.07 c choco : 11.02
6.89/7.07 c mistral : 0.13
6.89/7.07 c abscon : 4.07
6.89/7.07 c
6.89/7.07 c
6.89/7.07 c /home/ehebrard/new_instances/competition_4c/data/register/mulsol/mulsol-i-5-31.xml
6.89/7.07 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
6.89/7.08 c choco : 14.31
6.89/7.08 c mistral : 0.23
6.89/7.08 c abscon : 7.02
6.89/7.08 c
6.89/7.08 c
6.89/7.08 c /home/ehebrard/new_instances/competition_4c/data/register/mulsol/mulsol-i-4-31.xml
6.89/7.08 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
6.89/7.09 c choco : 13.6
6.89/7.09 c mistral : 0.23
6.89/7.09 c abscon : 6.59
6.89/7.09 c
6.89/7.09 c
6.89/7.09 c /home/ehebrard/new_instances/competition_4c/data/register/mulsol/mulsol-i-3-31.xml
6.89/7.09 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
6.89/7.09 c choco : 14.46
6.89/7.09 c mistral : 0.22
6.89/7.09 c abscon : 5.45
6.89/7.09 c
6.89/7.09 c
6.89/7.09 c /home/ehebrard/new_instances/competition_4c/data/leighton/leighton-25/lei450-25a-25.xml
6.89/7.09 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.07/7.28 c choco : 24.06
7.07/7.28 c mistral : 0.56
7.07/7.28 c abscon : 7.45
7.07/7.28 c
7.07/7.28 c
7.07/7.28 c /home/ehebrard/new_instances/competition_4c/data/leighton/leighton-25/lei450-25b-25.xml
7.07/7.28 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.07/7.30 c choco : 25.46
7.07/7.30 c mistral : 0.52
7.07/7.30 c abscon : 7.77
7.07/7.30 c
7.07/7.30 c
7.07/7.30 c /home/ehebrard/new_instances/competition_4c/data/register/mulsol/mulsol-i-2-31.xml
7.07/7.30 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.16/7.30 c choco : 13.79
7.16/7.30 c mistral : 0.24
7.16/7.30 c abscon : 6.29
7.16/7.30 c
7.16/7.30 c
7.16/7.30 c /home/ehebrard/new_instances/competition_4c/data/school/school1-16.xml
7.16/7.30 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.16/7.31 c choco : 1801.0
7.16/7.31 c mistral : 1801.0
7.16/7.31 c abscon : 12.73
7.16/7.31 c
7.16/7.31 c
7.16/7.31 c /home/ehebrard/new_instances/competition_4c/data/register/mulsol/mulsol-i-1-49.xml
7.16/7.31 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.16/7.32 c choco : 13.83
7.16/7.32 c mistral : 0.25
7.16/7.32 c abscon : 5.42
7.16/7.32 c
7.16/7.32 c
7.16/7.32 c /home/ehebrard/new_instances/competition_4c/data/register/zeroin/zeroin-i-1-49.xml
7.16/7.32 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.16/7.32 c choco : 13.77
7.16/7.32 c mistral : 0.22
7.16/7.32 c abscon : 6.26
7.16/7.32 c
7.16/7.32 c
7.16/7.32 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen8-12-12.xml
7.16/7.32 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.16/7.33 c choco : 1801.0
7.16/7.33 c mistral : 0.14
7.16/7.33 c abscon : 5.79
7.16/7.33 c
7.16/7.33 c
7.16/7.33 c /home/ehebrard/new_instances/competition_4c/data/sgb/miles/miles500-20.xml
7.16/7.33 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.16/7.34 c choco : 11.2
7.16/7.34 c mistral : 0.08
7.16/7.34 c abscon : 3.16
7.16/7.34 c
7.16/7.34 c
7.16/7.34 c /home/ehebrard/new_instances/competition_4c/data/register/zeroin/zeroin-i-3-30.xml
7.16/7.34 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.16/7.34 c choco : 14.76
7.16/7.34 c mistral : 0.2
7.16/7.35 c abscon : 5.88
7.16/7.35 c
7.16/7.35 c
7.16/7.35 c /home/ehebrard/new_instances/competition_4c/data/school/school1-nsh-15.xml
7.16/7.35 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.16/7.35 c choco : 1801.0
7.16/7.35 c mistral : 1801.0
7.16/7.36 c abscon : 13.76
7.16/7.36 c
7.16/7.36 c
7.16/7.36 c /home/ehebrard/new_instances/competition_4c/data/register/zeroin/zeroin-i-2-30.xml
7.16/7.36 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.16/7.36 c choco : 15.39
7.16/7.36 c mistral : 0.23
7.16/7.36 c abscon : 6.49
7.16/7.36 c
7.16/7.36 c
7.16/7.36 c /home/ehebrard/new_instances/competition_4c/data/leighton/leighton-15/lei450-15a-15.xml
7.16/7.36 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.761200 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 9.365270 | c 14 > 10.878800 | c 11 > 8.813780 | c 12 > 7.918250 | 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 > 13.002600 | 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.720700 | c 31 > -1.000000 | c 4 > 8.813780 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.16/7.37 c choco : 1801.0
7.16/7.37 c mistral : 5.16
7.16/7.37 c abscon : 35.49
7.16/7.37 c
7.16/7.37 c
7.16/7.37 c /home/ehebrard/new_instances/competition_4c/data/school/school1-nsh-14.xml
7.16/7.37 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.979900 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 9.796850 | c 14 > 5.643860 | c 11 > 8.459430 | c 12 > 8.290920 | c 21 > 3.741660 | c 20 > 100.000000 | c 22 > 3.741660 | 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.429300 | 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.266800 | c 31 > -1.000000 | c 4 > 8.459430 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.16/7.37 c choco : 1801.0
7.16/7.37 c mistral : 1801.0
7.16/7.37 c abscon : 18.32
7.16/7.37 c
7.16/7.37 c
7.16/7.37 c /home/ehebrard/new_instances/competition_4c/data/school/school1-15.xml
7.16/7.37 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.431700 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 10.010100 | c 14 > 6.357550 | c 11 > 8.588710 | c 12 > 8.273620 | 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.709500 | 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.495600 | c 31 > -1.000000 | c 4 > 8.588710 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.16/7.38 c choco : 1801.0
7.16/7.38 c mistral : 1801.0
7.16/7.38 c abscon : 13.86
7.16/7.38 c
7.16/7.38 c
7.16/7.38 c /home/ehebrard/new_instances/competition_4c/data/register/fpsol/fpsol2-i-3-30.xml
7.16/7.38 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.16/7.38 c choco : 20.6
7.16/7.38 c mistral : 0.54
7.16/7.38 c abscon : 7.76
7.16/7.38 c
7.16/7.38 c
7.16/7.38 c /home/ehebrard/new_instances/competition_4c/data/school/school1-14.xml
7.16/7.38 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.306100 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 10.179100 | c 14 > 5.614710 | c 11 > 8.588710 | c 12 > 8.474340 | c 21 > 3.741660 | c 20 > 100.000000 | c 22 > 3.741660 | 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.787100 | 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.396100 | c 31 > -1.000000 | c 4 > 8.588710 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.16/7.39 c choco : 1801.0
7.16/7.39 c mistral : 1801.0
7.16/7.39 c abscon : 13.69
7.16/7.39 c
7.16/7.39 c
7.16/7.39 c /home/ehebrard/new_instances/competition_4c/data/register/inithx/inithx-i-3-31.xml
7.16/7.39 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.16/7.39 c choco : 25.3
7.16/7.39 c mistral : 0.86
7.16/7.39 c abscon : 8.14
7.16/7.39 c
7.16/7.39 c
7.16/7.39 c /home/ehebrard/new_instances/competition_4c/data/register/fpsol/fpsol2-i-2-30.xml
7.16/7.39 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.22/7.40 c choco : 23.58
7.22/7.40 c mistral : 0.56
7.22/7.40 c abscon : 8.06
7.22/7.40 c
7.22/7.40 c
7.22/7.40 c /home/ehebrard/new_instances/competition_4c/data/langford2/langford-2-40.xml
7.22/7.40 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.22/7.40 c choco : 12.21
7.22/7.40 c mistral : 0.21
7.22/7.40 c abscon : 7.79
7.22/7.40 c
7.22/7.40 c
7.22/7.41 c /home/ehebrard/new_instances/competition_4c/data/register/fpsol/fpsol2-i-1-65.xml
7.22/7.41 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.22/7.41 c choco : 22.73
7.22/7.41 c mistral : 0.76
7.22/7.41 c abscon : 9.18
7.22/7.41 c
7.22/7.41 c
7.22/7.41 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen7-7-7.xml
7.22/7.41 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 14.513000 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 4.840520 | c 14 > 7.721100 | c 11 > 5.614710 | c 12 > 5.552080 | 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 > 8.942510 | 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.422060 | c 31 > -1.000000 | c 4 > 5.614710 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.42 c choco : 5.77
7.22/7.42 c mistral : 0.04
7.22/7.42 c abscon : 2.24
7.22/7.42 c
7.22/7.42 c
7.22/7.42 c /home/ehebrard/new_instances/competition_4c/data/langford4/langford-4-10.xml
7.22/7.42 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.632900 | c 34 > 10.370400 | c 16 > 2.000000 | c 13 > 4.343000 | c 14 > 8.066090 | c 11 > 5.321930 | c 12 > 7.391240 | 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.663560 | 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.22/7.42 c choco : 10.17
7.22/7.42 c mistral : 0.25
7.22/7.42 c abscon : 4.52
7.22/7.42 c
7.22/7.42 c
7.22/7.42 c /home/ehebrard/new_instances/competition_4c/data/register/inithx/inithx-i-2-31.xml
7.22/7.42 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.22/7.43 c choco : 24.94
7.22/7.43 c mistral : 0.86
7.22/7.43 c abscon : 9.0
7.22/7.43 c
7.22/7.43 c
7.22/7.43 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/3-fullins-4-5.xml
7.22/7.43 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.477400 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 8.153740 | c 14 > 9.537220 | c 11 > 8.661780 | c 12 > 5.761340 | 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 > 11.791600 | 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.983700 | c 31 > -1.000000 | c 4 > 8.661780 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.43 c choco : 13.51
7.22/7.43 c mistral : 0.31
7.22/7.43 c abscon : 10.19
7.22/7.43 c
7.22/7.43 c
7.22/7.43 c /home/ehebrard/new_instances/competition_4c/data/hos/will199GPIA-5.xml
7.22/7.44 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.094500 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 4.856300 | c 14 > 7.076820 | c 11 > 9.453270 | c 12 > 5.068450 | 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.118600 | 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.775200 | c 31 > -1.000000 | c 4 > 9.453270 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.44 c choco : 31.5
7.22/7.44 c mistral : 0.69
7.22/7.44 c abscon : 10.11
7.22/7.44 c
7.22/7.44 c
7.22/7.44 c /home/ehebrard/new_instances/competition_4c/data/leighton/leighton-5/lei450-05b-05.xml
7.22/7.44 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.928100 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 4.118890 | c 14 > 7.228820 | c 11 > 8.813780 | c 12 > 4.327850 | 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 > 12.600400 | 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.22/7.45 c choco : 30.58
7.22/7.45 c mistral : 0.76
7.22/7.45 c abscon : 8.98
7.22/7.45 c
7.22/7.45 c
7.22/7.45 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/1-fullins-5-6.xml
7.22/7.45 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.22/7.45 c choco : 13.13
7.22/7.45 c mistral : 0.2
7.22/7.45 c abscon : 7.92
7.22/7.45 c
7.22/7.45 c
7.22/7.45 c /home/ehebrard/new_instances/competition_4c/data/langford4/langford-4-9.xml
7.22/7.45 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.22/7.46 c choco : 5.75
7.22/7.46 c mistral : 0.12
7.22/7.46 c abscon : 4.21
7.22/7.46 c
7.22/7.46 c
7.22/7.46 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/4-fullins-4-8.xml
7.22/7.46 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.699100 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 3.904260 | c 14 > 9.428360 | c 11 > 9.430450 | c 12 > 3.268690 | 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 > 12.699100 | 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 > 9.430450 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.46 c choco : 22.0
7.22/7.46 c mistral : 0.48
7.22/7.46 c abscon : 9.86
7.22/7.46 c
7.22/7.46 c
7.22/7.46 c /home/ehebrard/new_instances/competition_4c/data/leighton/leighton-5/lei450-05a-05.xml
7.22/7.46 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.032100 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 4.598500 | c 14 > 8.800900 | c 11 > 8.813780 | c 12 > 4.504620 | 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 > 12.593600 | 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.22/7.47 c choco : 22.76
7.22/7.47 c mistral : 0.93
7.22/7.47 c abscon : 9.27
7.22/7.47 c
7.22/7.47 c
7.22/7.47 c Length: 40
7.22/7.47 c 10.651262473758685 15.03970679888075 25.656299872516687 40.012393489200306 64.07263055771318 64.21634618729409 64.36941495369055 64.44053876511586 64.44066470281479 64.44087681128882 64.45322457741428 64.45439535462341 64.48595726833865 64.53021302127478 64.55614358518947 64.61490063887277 64.62639570850057 64.65189233615672 64.67219128321926 64.67774118338936 64.68914167474168 64.72600806109395 64.72838556914655 64.73482391725416 64.74762127408003 64.79031983122711 64.81172431452507 64.8130633653147 64.81758346031731 64.82691533257001 64.8489001811033 64.87179824234333 64.8732388700888 64.89962663095066 64.90639175362855 64.90744741711231 64.92365041292271 64.92539938709426 64.92918329326422 64.93132621217897
7.22/7.47 c
7.22/7.47 c 1.0 0.9251993195332485 0.7834305333689363 0.648963275789578 0.5039864635034843 0.5033148455993507 0.5026014839789221 0.5022707062286486 0.5022701209123762 0.5022691351062667 0.5022117536706023 0.5022063136198475 0.5020597046595834 0.5018542753627718 0.5017339872359792 0.5014616350316077 0.5014083873670933 0.5012903217865061 0.5011963645155197 0.5011706819507753 0.5011179336076054 0.5009474344164446 0.500936442929917 0.5009066801456437 0.5008475318422384 0.5006502837300588 0.5005514631039231 0.5005452822453201 0.5005244192886195 0.5004813525874192 0.5003799215413726 0.5002743209259033 0.5002676785709192 0.500146042755078 0.5001148680803756 0.5001100037791829 0.5000353552551676 0.5000272989209498 0.5000098699276866 0.5
7.22/7.49 c
7.22/7.49 c solver 0
7.22/7.49 c before 0.0 seconds: {} 0
7.22/7.49 c before 18.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18472
7.22/7.49 c before 36.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} 19474
7.22/7.49 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} 20399
7.22/7.49 c
7.22/7.49 c solver 1
7.22/7.49 c before 0.0 seconds: {} 0
7.22/7.49 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 20, 21, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17894
7.22/7.49 c before 504.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 20, 21, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18894
7.22/7.49 c
7.22/7.49 c solver 2
7.22/7.49 c before 0.0 seconds: {} 0
7.22/7.49 c before 18.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 12, 14, 15, 17, 18, 20, 28, 30, 31, 33, 36, 37} 10459
7.22/7.49 c before 36.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 17, 18, 20, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15966
7.22/7.49 c
7.22/7.49 cTotal time: 35
7.22/7.49 c 630.0 seconds unused
7.22/7.49 c 0 c 5 c 8
7.22/7.49 c 1 c 0 c 4
7.22/7.49 c 0 c 0 c 0
7.22/7.49 c is solver0 dominated by:
7.22/7.49 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.22/7.49 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.22/7.49 c is dominated? false
7.22/7.49 c
7.22/7.49 c is solver1 dominated by:
7.22/7.49 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.22/7.49 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.22/7.49 c is dominated? false
7.22/7.49 c
7.22/7.49 c is solver2 dominated by:
7.22/7.49 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.22/7.49 c is dominated? true
7.22/7.49 c
7.22/7.49 c Number of non-dominated solvers: 2
7.22/7.49 c remove dominated solvers
7.22/7.49 c solver 0 is not dominated by another solver
7.22/7.49 c solver 1 is not dominated by another solver
7.22/7.49 c solver 2 is dominated by another solver
7.22/7.49 c
7.22/7.49 c solver 0: 90.0
7.22/7.49 c
7.22/7.49 c+ 5/33 of 67
7.22/7.49 c
7.22/7.49 c solver 1: 504.0
7.22/7.49 c
7.22/7.49 c+ 28/33 of 67
7.22/7.49 c
7.22/7.49 c solver 2: 0.0
7.22/7.49 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} 20399
7.22/7.49 c run mistral for 1512.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 20, 21, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18894
7.22/7.49 c do not run choco
7.22/7.49 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.22/7.49 c On Instance: HOME/instance-1056083-1215061286.xml
7.22/7.49 c Running for: 270 seconds
277.56/277.98 c Starting solver: HOME/cpHydra_k_40/solver/mistral
277.56/277.98 c On Instance: HOME/instance-1056083-1215061286.xml
277.56/277.98 c Running for: 1512 seconds