0.00/0.11 c cpHydra_k_40 version 0.0
6.55/6.70 c CASE TO CLASSIFY:
6.55/6.70 c Case: 0
6.55/6.70 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 21.545300 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 8.731130 | c 14 > 11.752800 | c 11 > 11.159900 | c 12 > 7.777630 | c 21 > 4.485530 | c 20 > 93.750000 | c 22 > 4.690420 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 2.807350 | c 2 > 4.169930 | c 10 > 11.172400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.794420 | c 6 > 11.071500 | c 32 > 100.000000 | c 5 > 12.565800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.65/6.71 c choco : 1801.0
6.65/6.71 c mistral : 1801.0
6.65/6.71 c abscon : 1801.0
6.65/6.71 c
6.65/6.71 c
6.65/6.78 c List of same ones: 40
6.65/6.78 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-39.xml
6.65/6.78 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 20.529800 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 7.786480 | c 14 > 10.977300 | c 11 > 11.320200 | c 12 > 6.628870 | c 21 > 4.608690 | c 20 > 93.750000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 2.584960 | c 2 > 4.247930 | c 10 > 11.331500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.832890 | c 6 > 11.239600 | c 32 > 100.000000 | c 5 > 12.698700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.65/6.79 c choco : 1801.0
6.65/6.79 c mistral : 4.1
6.65/6.79 c abscon : 1801.0
6.65/6.79 c
6.65/6.79 c
6.65/6.79 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-39.xml
6.65/6.79 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 20.572900 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 7.259100 | c 14 > 10.656400 | c 11 > 11.245600 | c 12 > 6.161960 | c 21 > 4.498890 | c 20 > 93.750000 | c 22 > 4.690420 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 2.584960 | c 2 > 4.247930 | c 10 > 11.257400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.794420 | c 6 > 11.162400 | c 32 > 100.000000 | c 5 > 12.623700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.65/6.80 c choco : 2.59
6.65/6.80 c mistral : 17.56
6.65/6.80 c abscon : 1801.0
6.65/6.80 c
6.65/6.80 c
6.65/6.80 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-38.xml
6.65/6.80 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 20.365700 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 7.059810 | c 14 > 10.515700 | c 11 > 11.159900 | c 12 > 6.136900 | c 21 > 4.485530 | c 20 > 93.750000 | c 22 > 4.690420 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 2.807350 | c 2 > 4.169930 | c 10 > 11.172400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.794420 | c 6 > 11.071500 | c 32 > 100.000000 | c 5 > 12.565800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.74/6.80 c choco : 1801.0
6.74/6.81 c mistral : 11.36
6.74/6.81 c abscon : 1801.0
6.74/6.81 c
6.74/6.81 c
6.74/6.81 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-29.xml
6.74/6.81 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 20.413800 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 7.007590 | c 14 > 10.615600 | c 11 > 11.660000 | c 12 > 5.826510 | c 21 > 4.967900 | c 20 > 93.750000 | c 22 > 5.196150 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 2.000000 | c 2 > 4.392320 | c 10 > 11.668900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.977280 | c 6 > 11.591100 | c 32 > 100.000000 | c 5 > 13.022400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.74/6.81 c choco : 13.66
6.74/6.81 c mistral : 3.77
6.74/6.81 c abscon : 1801.0
6.74/6.81 c
6.74/6.81 c
6.74/6.81 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-40.xml
6.74/6.81 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 20.444100 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 6.961100 | c 14 > 10.319700 | c 11 > 11.651900 | c 12 > 5.697300 | c 21 > 5.083310 | c 20 > 93.750000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.584960 | c 2 > 4.459430 | c 10 > 11.660900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 7.011230 | c 6 > 11.581200 | c 32 > 100.000000 | c 5 > 13.030100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.74/6.82 c choco : 25.59
6.74/6.82 c mistral : 2.08
6.74/6.82 c abscon : 1801.0
6.74/6.82 c
6.74/6.82 c
6.74/6.82 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-23.xml
6.74/6.82 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 20.423500 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 6.427790 | c 14 > 10.414700 | c 11 > 11.348700 | c 12 > 5.445140 | c 21 > 4.569460 | c 20 > 93.750000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 2.321930 | c 2 > 4.321930 | c 10 > 11.359700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.832890 | c 6 > 11.269700 | c 32 > 100.000000 | c 5 > 12.723400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.74/6.83 c choco : 1801.0
6.74/6.83 c mistral : 2.9
6.74/6.83 c abscon : 1801.0
6.74/6.83 c
6.74/6.83 c
6.74/6.83 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-40.xml
6.74/6.83 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 20.436400 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 6.758520 | c 14 > 10.306100 | c 11 > 11.590100 | c 12 > 5.605880 | c 21 > 4.983970 | c 20 > 93.750000 | c 22 > 5.196150 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.584960 | c 2 > 4.459430 | c 10 > 11.599400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.977280 | c 6 > 11.517700 | c 32 > 100.000000 | c 5 > 12.968700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.74/6.84 c choco : 1801.0
6.74/6.84 c mistral : 42.84
6.74/6.84 c abscon : 1801.0
6.74/6.84 c
6.74/6.84 c
6.74/6.84 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-23.xml
6.74/6.84 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 20.280200 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 6.472780 | c 14 > 10.221600 | c 11 > 11.270300 | c 12 > 5.395510 | c 21 > 4.458700 | c 20 > 93.750000 | c 22 > 4.690420 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 2.321930 | c 2 > 4.321930 | c 10 > 11.281900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.794420 | c 6 > 11.188600 | c 32 > 100.000000 | c 5 > 12.645400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.74/6.85 c choco : 2.34
6.74/6.85 c mistral : 15.75
6.74/6.85 c abscon : 1801.0
6.74/6.85 c
6.74/6.85 c
6.74/6.85 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-21.xml
6.74/6.85 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 20.046900 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 6.939470 | c 14 > 10.398700 | c 11 > 11.825000 | c 12 > 5.677180 | c 21 > 4.857980 | c 20 > 93.750000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.523560 | c 10 > 11.832900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.942510 | c 6 > 11.764900 | c 32 > 100.000000 | c 5 > 13.146700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.74/6.85 c choco : 1801.0
6.74/6.85 c mistral : 63.17
6.74/6.85 c abscon : 1801.0
6.74/6.85 c
6.74/6.85 c
6.74/6.85 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-26.xml
6.74/6.85 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 20.164300 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 6.874010 | c 14 > 10.380500 | c 11 > 11.931500 | c 12 > 5.004070 | c 21 > 5.451610 | c 20 > 93.750000 | 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 > 0.000000 | c 3 > 2.000000 | c 2 > 4.392320 | c 10 > 11.938800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 7.139550 | c 6 > 11.868800 | c 32 > 100.000000 | c 5 > 13.300400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.74/6.86 c choco : 16.13
6.74/6.86 c mistral : 2.42
6.74/6.86 c abscon : 1801.0
6.74/6.86 c
6.74/6.86 c
6.74/6.86 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-22.xml
6.74/6.86 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 20.344300 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 6.263020 | c 14 > 10.307200 | c 11 > 11.795200 | c 12 > 4.879200 | c 21 > 5.110770 | c 20 > 93.750000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 2.584960 | c 2 > 4.247930 | c 10 > 11.803300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 7.011230 | c 6 > 11.731300 | c 32 > 100.000000 | c 5 > 13.152800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.05 c choco : 1801.0
6.92/7.05 c mistral : 18.02
6.92/7.05 c abscon : 1801.0
6.92/7.05 c
6.92/7.05 c
6.92/7.05 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-37.xml
6.92/7.05 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 19.882500 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 6.347290 | c 14 > 9.952740 | c 11 > 11.734700 | c 12 > 4.802250 | c 21 > 4.894900 | c 20 > 93.750000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 2.321930 | c 2 > 4.321930 | c 10 > 11.743200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.942510 | c 6 > 11.670700 | c 32 > 100.000000 | c 5 > 13.081000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.06 c choco : 1801.0
6.92/7.06 c mistral : 0.62
6.92/7.06 c abscon : 1801.0
6.92/7.06 c
6.92/7.06 c
6.92/7.06 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-28.xml
6.92/7.06 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 19.341700 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 5.956170 | c 14 > 9.611020 | c 11 > 11.199100 | c 12 > 4.577970 | c 21 > 4.613030 | c 20 > 93.750000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 2.000000 | c 2 > 4.392320 | c 10 > 11.211300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.832890 | c 6 > 11.111100 | c 32 > 100.000000 | c 5 > 12.603400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.07 c choco : 28.28
6.92/7.07 c mistral : 0.9
6.92/7.07 c abscon : 1801.0
6.92/7.07 c
6.92/7.07 c
6.92/7.07 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-32.xml
6.92/7.07 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 20.268500 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 5.987490 | c 14 > 9.816980 | c 11 > 11.930700 | c 12 > 4.739770 | c 21 > 5.245950 | c 20 > 93.750000 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 4.523560 | c 10 > 11.938100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 7.076820 | c 6 > 11.870400 | c 32 > 100.000000 | c 5 > 13.284500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.08 c choco : 1801.0
6.92/7.08 c mistral : 44.06
6.92/7.08 c abscon : 1801.0
6.92/7.08 c
6.92/7.08 c
6.92/7.08 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-27.xml
6.92/7.08 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 18.318000 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 4.803000 | c 14 > 9.746510 | c 11 > 11.599400 | c 12 > 3.446740 | c 21 > 4.975940 | c 20 > 93.750000 | c 22 > 5.196150 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 2.000000 | c 2 > 4.392320 | c 10 > 11.608700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.977280 | c 6 > 11.527500 | c 32 > 100.000000 | c 5 > 12.975500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.09 c choco : 9.18
6.92/7.09 c mistral : 29.29
6.92/7.09 c abscon : 1801.0
6.92/7.09 c
6.92/7.09 c
6.92/7.09 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-31.xml
6.92/7.09 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 18.716900 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 4.941220 | c 14 > 8.836050 | c 11 > 11.452200 | c 12 > 3.736080 | c 21 > 4.586940 | c 20 > 93.750000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.523560 | c 10 > 11.462500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.832890 | c 6 > 11.378800 | c 32 > 100.000000 | c 5 > 12.809200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.09 c choco : 1801.0
6.92/7.09 c mistral : 1.13
6.92/7.09 c abscon : 1801.0
6.92/7.09 c
6.92/7.09 c
6.92/7.09 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-25.xml
6.92/7.09 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 18.616200 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 5.331630 | c 14 > 8.764870 | c 11 > 11.610600 | c 12 > 3.904430 | c 21 > 4.927470 | c 20 > 93.750000 | c 22 > 5.196150 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 0.000000 | c 2 > 4.584960 | c 10 > 11.619800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.977280 | c 6 > 11.539200 | c 32 > 100.000000 | c 5 > 12.973700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.10 c choco : 95.79
7.00/7.10 c mistral : 1.48
7.00/7.10 c abscon : 1801.0
7.00/7.10 c
7.00/7.10 c
7.00/7.10 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-31.xml
7.00/7.10 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 18.857900 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 4.107340 | c 14 > 8.903880 | c 11 > 11.524500 | c 12 > 3.048100 | c 21 > 4.694680 | c 20 > 93.750000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.523560 | c 10 > 11.534300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.870360 | c 6 > 11.453300 | c 32 > 100.000000 | c 5 > 12.881300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.11 c choco : 7.96
7.00/7.11 c mistral : 2.15
7.00/7.11 c abscon : 1801.0
7.00/7.11 c
7.00/7.11 c
7.00/7.11 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-29.xml
7.00/7.11 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 18.017300 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 4.208010 | c 14 > 7.845490 | c 11 > 11.595300 | c 12 > 3.026740 | c 21 > 4.866210 | c 20 > 93.750000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 2.000000 | c 2 > 4.392320 | c 10 > 11.604600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.942510 | c 6 > 11.524500 | c 32 > 100.000000 | c 5 > 12.957800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.11 c choco : 8.49
7.00/7.11 c mistral : 0.99
7.00/7.11 c abscon : 1801.0
7.00/7.11 c
7.00/7.11 c
7.00/7.11 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-33.xml
7.00/7.11 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 16.381900 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 4.382300 | c 14 > 7.219170 | c 11 > 10.407300 | c 12 > 3.047420 | c 21 > 3.762980 | c 20 > 93.750000 | 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 > 0.000000 | c 3 > 2.584960 | c 2 > 4.247930 | c 10 > 10.428400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.539160 | c 6 > 10.276100 | c 32 > 100.000000 | c 5 > 11.863400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.12 c choco : 1801.0
7.00/7.12 c mistral : 0.24
7.00/7.12 c abscon : 1801.0
7.00/7.12 c
7.00/7.12 c
7.00/7.12 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-25.xml
7.00/7.12 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 17.670900 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 3.992760 | c 14 > 7.721100 | c 11 > 11.673300 | c 12 > 2.435380 | c 21 > 5.027920 | c 20 > 93.750000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 0.000000 | c 2 > 4.584960 | c 10 > 11.682100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 7.011230 | c 6 > 11.603600 | c 32 > 100.000000 | c 5 > 13.036200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.13 c choco : 32.55
7.00/7.13 c mistral : 0.32
7.00/7.13 c abscon : 1801.0
7.00/7.13 c
7.00/7.13 c
7.00/7.13 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-36.xml
7.00/7.13 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 16.674600 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 3.500730 | c 14 > 7.539160 | c 11 > 10.932200 | c 12 > 2.348700 | c 21 > 4.233200 | c 20 > 93.750000 | 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 > 0.000000 | c 3 > 2.000000 | c 2 > 4.392320 | c 10 > 10.946900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.714250 | c 6 > 10.832900 | c 32 > 100.000000 | c 5 > 12.365800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.13 c choco : 6.79
7.00/7.13 c mistral : 0.12
7.00/7.13 c abscon : 1801.0
7.00/7.13 c
7.00/7.13 c
7.00/7.13 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-30.xml
7.00/7.13 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 17.040900 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 3.166310 | c 14 > 7.383700 | c 11 > 11.149700 | c 12 > 2.141420 | c 21 > 4.573840 | c 20 > 93.750000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 2.000000 | c 2 > 4.392320 | c 10 > 11.162400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.832890 | c 6 > 11.058700 | c 32 > 100.000000 | c 5 > 12.582600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.14 c choco : 15.16
7.00/7.14 c mistral : 0.9
7.00/7.14 c abscon : 1801.0
7.00/7.14 c
7.00/7.14 c
7.00/7.14 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-37.xml
7.00/7.14 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 16.440300 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 2.948070 | c 14 > 6.475730 | c 11 > 11.668400 | c 12 > 1.824410 | c 21 > 4.791660 | c 20 > 93.750000 | 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 > 0.000000 | c 3 > 2.321930 | c 2 > 4.321930 | c 10 > 11.677300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.906890 | c 6 > 11.602700 | c 32 > 100.000000 | c 5 > 13.014900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.14 c choco : 21.24
7.00/7.14 c mistral : 0.33
7.00/7.14 c abscon : 1801.0
7.00/7.14 c
7.00/7.14 c
7.00/7.14 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-30.xml
7.00/7.14 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 16.423100 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 2.859010 | c 14 > 6.459430 | c 11 > 11.072800 | c 12 > 1.837090 | c 21 > 4.463180 | c 20 > 93.750000 | c 22 > 4.690420 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 2.000000 | c 2 > 4.392320 | c 10 > 11.086100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.794420 | c 6 > 10.978700 | c 32 > 100.000000 | c 5 > 12.506100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.15 c choco : 84.39
7.00/7.15 c mistral : 0.13
7.00/7.15 c abscon : 1801.0
7.00/7.15 c
7.00/7.15 c
7.00/7.15 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-34.xml
7.00/7.15 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 16.684500 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 3.674980 | c 14 > 6.614710 | c 11 > 12.018900 | c 12 > 2.024730 | c 21 > 5.134200 | c 20 > 93.750000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > 4.643860 | c 10 > 12.025800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 7.044390 | c 6 > 11.963300 | c 32 > 100.000000 | c 5 > 13.348500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.15 c choco : 13.05
7.00/7.15 c mistral : 0.27
7.00/7.15 c abscon : 1801.0
7.00/7.15 c
7.00/7.15 c
7.00/7.15 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-35.xml
7.00/7.15 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 16.026600 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 2.772610 | c 14 > 6.266790 | c 11 > 11.066800 | c 12 > 2.000500 | c 21 > 4.152110 | c 20 > 93.750000 | c 22 > 4.358900 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 2.321930 | c 2 > 4.321930 | c 10 > 11.080200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.672430 | c 6 > 10.978700 | c 32 > 100.000000 | c 5 > 12.428400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.16 c choco : 7.99
7.00/7.16 c mistral : 0.66
7.00/7.16 c abscon : 1801.0
7.00/7.16 c
7.00/7.16 c
7.00/7.16 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-38.xml
7.00/7.16 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 15.496000 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 2.508540 | c 14 > 6.357550 | c 11 > 11.236600 | c 12 > 1.588940 | c 21 > 4.595650 | c 20 > 93.750000 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 2.807350 | c 2 > 4.169930 | c 10 > 11.248500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.832890 | c 6 > 11.151000 | c 32 > 100.000000 | c 5 > 12.642300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.17 c choco : 6.4
7.00/7.17 c mistral : 0.1
7.00/7.17 c abscon : 3.9
7.00/7.17 c
7.00/7.17 c
7.00/7.17 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-24.xml
7.00/7.17 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 15.444000 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 2.460690 | c 14 > 5.700440 | c 11 > 11.321900 | c 12 > 1.567960 | c 21 > 4.358900 | c 20 > 93.750000 | c 22 > 4.582580 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.523560 | c 10 > 11.333200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.754890 | c 6 > 11.245000 | c 32 > 100.000000 | c 5 > 12.680400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.17 c choco : 9.83
7.00/7.17 c mistral : 0.19
7.00/7.17 c abscon : 1801.0
7.00/7.17 c
7.00/7.17 c
7.00/7.17 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-36.xml
7.00/7.17 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 15.405100 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 1.976640 | c 14 > 5.700440 | c 11 > 10.841600 | c 12 > 1.631380 | c 21 > 4.113390 | c 20 > 93.750000 | c 22 > 4.358900 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 2.000000 | c 2 > 4.392320 | c 10 > 10.857200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.672430 | c 6 > 10.738100 | c 32 > 100.000000 | c 5 > 12.275500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.18 c choco : 8.58
7.00/7.18 c mistral : 0.17
7.00/7.18 c abscon : 1801.0
7.00/7.18 c
7.00/7.18 c
7.00/7.18 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-21.xml
7.00/7.18 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 15.222400 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 1.182440 | c 14 > 5.523560 | c 11 > 11.889900 | c 12 > 0.933682 | c 21 > 4.959840 | c 20 > 93.750000 | c 22 > 5.196150 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.523560 | c 10 > 11.897500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.977280 | c 6 > 11.831300 | c 32 > 100.000000 | c 5 > 13.211300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.18 c choco : 20.37
7.00/7.18 c mistral : 3.48
7.00/7.18 c abscon : 1801.0
7.00/7.18 c
7.00/7.18 c
7.00/7.18 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-33.xml
7.00/7.18 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 13.996400 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 1.505810 | c 14 > 4.857980 | c 11 > 10.518700 | c 12 > 0.945382 | c 21 > 3.893580 | c 20 > 93.750000 | c 22 > 4.123110 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 2.584960 | c 2 > 4.247930 | c 10 > 10.538200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.584960 | c 6 > 10.394500 | c 32 > 100.000000 | c 5 > 11.974100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.19 c choco : 68.68
7.00/7.19 c mistral : 0.06
7.00/7.19 c abscon : 1801.0
7.00/7.19 c
7.00/7.19 c
7.00/7.19 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-35.xml
7.00/7.19 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 14.564800 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 0.672240 | c 14 > 4.700440 | c 11 > 11.156100 | c 12 > 0.848137 | c 21 > 4.270830 | c 20 > 93.750000 | 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 > 0.000000 | c 3 > 2.321930 | c 2 > 4.321930 | c 10 > 11.168700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.714250 | c 6 > 11.071500 | c 32 > 100.000000 | c 5 > 12.517700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.19 c choco : 5.87
7.00/7.19 c mistral : 0.09
7.00/7.19 c abscon : 1801.0
7.00/7.19 c
7.00/7.19 c
7.00/7.19 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-26.xml
7.00/7.19 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 14.235000 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 1.504350 | c 14 > 4.584960 | c 11 > 11.982300 | c 12 > 0.737750 | c 21 > 5.542560 | c 20 > 93.750000 | c 22 > 5.744560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 2.000000 | c 2 > 4.392320 | c 10 > 11.989400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 7.169930 | c 6 > 11.920700 | c 32 > 100.000000 | c 5 > 13.351100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.20 c choco : 3.89
7.06/7.20 c mistral : 0.09
7.06/7.20 c abscon : 1801.0
7.06/7.20 c
7.06/7.20 c
7.06/7.20 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-27.xml
7.06/7.20 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 13.993600 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 1.613290 | c 14 > 4.087460 | c 11 > 11.660900 | c 12 > 0.742125 | c 21 > 5.075430 | c 20 > 93.750000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 2.000000 | c 2 > 4.392320 | c 10 > 11.669800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 7.011230 | c 6 > 11.590600 | c 32 > 100.000000 | c 5 > 13.036900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.21 c choco : 3.97
7.06/7.21 c mistral : 0.09
7.06/7.21 c abscon : 1801.0
7.06/7.21 c
7.06/7.21 c
7.06/7.21 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-22.xml
7.06/7.21 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 14.404800 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 1.048230 | c 14 > 4.087460 | c 11 > 11.853300 | c 12 > 0.755869 | c 21 > 5.207690 | c 20 > 93.750000 | 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 > 0.000000 | c 3 > 2.584960 | c 2 > 4.247930 | c 10 > 11.861100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 7.044390 | c 6 > 11.790800 | c 32 > 100.000000 | c 5 > 13.210700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.21 c choco : 1801.0
7.06/7.21 c mistral : 1.39
7.06/7.21 c abscon : 1801.0
7.06/7.21 c
7.06/7.21 c
7.06/7.21 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-34.xml
7.06/7.21 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 15.045100 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 0.883098 | c 14 > 4.584960 | c 11 > 12.076100 | c 12 > 0.754764 | c 21 > 5.230680 | c 20 > 93.750000 | 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 > 0.000000 | c 3 > -1.000000 | c 2 > 4.643860 | c 10 > 12.082800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 7.076820 | c 6 > 12.021700 | c 32 > 100.000000 | c 5 > 13.405500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.22 c choco : 23.52
7.06/7.22 c mistral : 0.14
7.06/7.22 c abscon : 1801.0
7.06/7.22 c
7.06/7.22 c
7.06/7.22 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-24.xml
7.06/7.22 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 13.876400 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 0.905383 | c 14 > 3.584960 | c 11 > 11.401900 | c 12 > 0.781069 | c 21 > 4.472140 | c 20 > 93.750000 | c 22 > 4.690420 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.523560 | c 10 > 11.412600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.794420 | c 6 > 11.327600 | c 32 > 100.000000 | c 5 > 12.760300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.22 c choco : 4.79
7.06/7.22 c mistral : 0.07
7.06/7.22 c abscon : 1801.0
7.06/7.22 c
7.06/7.22 c
7.06/7.22 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-28.xml
7.06/7.22 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 6.250000 | c 33 > 0.000000 | c 15 > 13.655800 | c 34 > 20.000000 | c 16 > 25.000000 | c 13 > 1.065770 | c 14 > 3.321930 | c 11 > 11.270300 | c 12 > 0.746861 | c 21 > 4.720170 | c 20 > 93.750000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 2.000000 | c 2 > 4.392320 | c 10 > 11.281900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.870360 | c 6 > 11.184900 | c 32 > 100.000000 | c 5 > 12.674900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.23 c choco : 19.63
7.06/7.23 c mistral : 0.06
7.06/7.23 c abscon : 1801.0
7.06/7.23 c
7.06/7.23 c
7.06/7.23 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-07.xml
7.06/7.23 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 20.800800 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 8.260420 | c 14 > 11.109800 | c 11 > 10.633000 | c 12 > 7.190280 | c 21 > 4.098780 | c 20 > 83.333300 | c 22 > 4.358900 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 2.000000 | c 2 > 4.000000 | c 10 > 10.628400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.169930 | c 6 > 10.546900 | c 32 > 100.000000 | c 5 > 11.921500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.23 c choco : 1801.0
7.06/7.23 c mistral : 6.52
7.06/7.23 c abscon : 1801.0
7.06/7.23 c
7.06/7.23 c
7.06/7.24 c Length: 40
7.06/7.24 c 2.0062112268652075 2.64704006420379 2.899513415264707 3.398412602966274 3.7452574307782918 3.769356890240032 3.8438005766168475 3.8759999061145507 4.1372410575285565 4.469635509837465 4.523377040353812 4.73672708470733 5.302589198608545 5.397925312886426 7.114615962109269 7.1374042115884135 7.306984975651725 7.942300941824102 8.515500100857262 9.584734554931607 9.593805312148044 9.966317689864196 10.14076181981413 11.146811474924117 11.1694891767708 11.275062501565126 11.400478000097191 11.94871656288239 12.459994946022249 12.613218621624696 13.731832194518109 14.345826608829622 14.552937534479044 14.572479064441987 14.778191768390508 14.868989956043452 14.955172876970698 15.470334333873653 15.568165212036423 15.688964314989061
7.06/7.24 c
7.06/7.24 c 1.0 0.9552605737396309 0.9387144071936746 0.9076480543005975 0.8872345456595947 0.8858502381932453 0.8816012367570429 0.8797760065707159 0.8652422483850067 0.8474298760409924 0.8446186163785018 0.8336397297313999 0.8058570865540441 0.8013575444885855 0.7281484843423827 0.7272665200136444 0.720769812989648 0.6974291616207788 0.6776309753018187 0.6435527585589627 0.6432783149506254 0.6322063429651553 0.6271514247653841 0.5995066932794685 0.5989116037419181 0.5961567161852402 0.592916813796942 0.5791578167095257 0.5668896576743516 0.5633136274754912 0.5385135254261968 0.5258073685280286 0.5216555342820609 0.5212671789494044 0.5172137916667171 0.5154446775560767 0.51377664647641 0.5040267981395703 0.5022169279087431 0.5
7.06/7.25 c
7.06/7.25 c solver 0
7.06/7.25 c before 0.0 seconds: {} 0
7.06/7.25 c before 18.0 seconds: {27} 579
7.06/7.25 c
7.06/7.25 c solver 1
7.06/7.25 c before 0.0 seconds: {} 0
7.06/7.25 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9, 11, 12, 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} 23567
7.06/7.25 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9, 10, 11, 12, 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} 25140
7.06/7.25 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 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} 26823
7.06/7.25 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 27688
7.06/7.25 c
7.06/7.25 c solver 2
7.06/7.25 c before 0.0 seconds: {} 0
7.06/7.25 c before 18.0 seconds: {1, 3, 7, 9, 14, 17, 18, 21, 22, 25, 26, 27, 28, 29, 32, 33, 34, 37} 11915
7.06/7.25 c before 36.0 seconds: {1, 3, 4, 7, 9, 12, 14, 17, 18, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 32, 33, 34, 36, 37, 38} 16405
7.06/7.25 c before 72.0 seconds: {1, 3, 4, 7, 9, 12, 14, 17, 18, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38} 16931
7.06/7.25 c before 90.0 seconds: {1, 3, 4, 7, 9, 12, 14, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38} 17530
7.06/7.25 c before 108.0 seconds: {1, 3, 4, 7, 9, 12, 14, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38} 18251
7.06/7.25 c
7.06/7.25 cTotal time: 11
7.06/7.25 c 198.0 seconds unused
7.06/7.25 c 0 c 0 c 0
7.06/7.25 c 39 c 0 c 12
7.06/7.25 c 27 c 0 c 0
7.06/7.25 c is solver0 dominated by:
7.06/7.25 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
7.06/7.25 c is dominated? true
7.06/7.25 c
7.06/7.25 c is solver1 dominated by:
7.06/7.25 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.06/7.25 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.06/7.25 c is dominated? false
7.06/7.25 c
7.06/7.25 c is solver2 dominated by:
7.06/7.25 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true)
7.06/7.25 c solver 1 (2 solves instances that 1 can't: false) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: false) (2 is equally as fast as 1: false) (2 < 1: true)
7.06/7.25 c is dominated? true
7.06/7.25 c
7.06/7.25 c Number of non-dominated solvers: 1
7.06/7.25 c remove dominated solvers
7.06/7.25 c solver 1 is not dominated by another solver
7.06/7.25 c solver 2 is dominated by another solver
7.06/7.25 c solver 0 is dominated by another solver
7.06/7.25 c
7.06/7.25 c solver 0: 0.0
7.06/7.25 c
7.06/7.25 c solver 1: 72.0
7.06/7.25 c
7.06/7.25 c+ 4/4 of 96
7.06/7.25 c
7.06/7.25 c solver 2: 0.0
7.06/7.26 c do not run abscon
7.06/7.26 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 27688
7.06/7.26 c do not run choco
7.06/7.26 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.06/7.26 c On Instance: HOME/instance-1046452-1215027230.xml
7.06/7.26 c Running for: 1800 seconds
10.50/10.77 c mistral-prime version 1.313
10.50/10.77 s UNSATISFIABLE
10.50/10.77 d CHECKS 7611826
10.50/10.77 d ASSIGNMENTS 7157