0.00/0.00 c cpHydra_k_40 version 0.0
7.19/7.38 c CASE TO CLASSIFY:
7.19/7.38 c Case: 0
7.19/7.38 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 21.698600 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 9.193730 | c 14 > 12.011200 | c 11 > 10.633000 | c 12 > 8.080410 | 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.19/7.39 c choco : 1801.0
7.19/7.39 c mistral : 1801.0
7.19/7.39 c abscon : 1801.0
7.19/7.39 c
7.19/7.39 c
7.49/7.65 c List of same ones: 40
7.49/7.65 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-16.xml
7.49/7.65 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 20.882700 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 9.149620 | c 14 > 11.655500 | c 11 > 10.416800 | c 12 > 8.016160 | c 21 > 3.974920 | c 20 > 83.333300 | c 22 > 4.242640 | 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.087460 | c 10 > 10.411500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.108520 | c 6 > 10.319700 | c 32 > 100.000000 | c 5 > 11.719400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.49/7.66 c choco : 1.41
7.49/7.66 c mistral : 7.63
7.49/7.66 c abscon : 1801.0
7.49/7.66 c
7.49/7.66 c
7.49/7.66 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-08.xml
7.49/7.66 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 20.853100 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 8.696370 | c 14 > 11.552700 | c 11 > 10.541100 | c 12 > 7.888380 | c 21 > 4.068170 | 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 > 1.000000 | c 2 > 4.169930 | c 10 > 10.536200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.169930 | c 6 > 10.449100 | c 32 > 100.000000 | c 5 > 11.828900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.49/7.67 c choco : 1.75
7.49/7.67 c mistral : 9.56
7.49/7.67 c abscon : 1801.0
7.49/7.67 c
7.49/7.67 c
7.49/7.67 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-07.xml
7.49/7.67 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.49/7.68 c choco : 1801.0
7.49/7.68 c mistral : 6.52
7.49/7.68 c abscon : 1801.0
7.49/7.68 c
7.49/7.68 c
7.49/7.68 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-17.xml
7.49/7.68 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 21.019900 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 9.539540 | c 14 > 12.061000 | c 11 > 9.908390 | c 12 > 8.750740 | c 21 > 3.485690 | c 20 > 83.333300 | 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 > 0.000000 | c 3 > 2.000000 | c 2 > 4.000000 | c 10 > 9.900870 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.832890 | c 6 > 9.787900 | c 32 > 100.000000 | c 5 > 11.259200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.49/7.69 c choco : 1.7
7.49/7.69 c mistral : 29.42
7.49/7.69 c abscon : 1801.0
7.49/7.69 c
7.49/7.69 c
7.49/7.69 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-18.xml
7.49/7.69 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 20.858500 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 7.686870 | c 14 > 11.311700 | c 11 > 10.651900 | c 12 > 6.981640 | c 21 > 4.049690 | c 20 > 83.333300 | c 22 > 4.242640 | 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 > 3.906890 | c 10 > 10.647500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.108520 | c 6 > 10.569900 | c 32 > 100.000000 | c 5 > 11.937400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.49/7.70 c choco : 22.66
7.49/7.70 c mistral : 1.26
7.49/7.70 c abscon : 1801.0
7.49/7.70 c
7.49/7.70 c
7.49/7.70 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-09.xml
7.49/7.70 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 20.440200 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 8.432830 | c 14 > 11.258600 | c 11 > 9.957100 | c 12 > 7.547610 | c 21 > 3.376390 | c 20 > 83.333300 | c 22 > 3.605550 | 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 > 9.949830 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.754890 | c 6 > 9.845490 | c 32 > 100.000000 | c 5 > 11.239000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.71 c choco : 1.82
7.57/7.71 c mistral : 3.09
7.57/7.71 c abscon : 1801.0
7.57/7.71 c
7.57/7.71 c
7.57/7.71 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-02.xml
7.57/7.71 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 20.476800 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 7.616820 | c 14 > 11.276700 | c 11 > 10.275000 | c 12 > 7.125340 | c 21 > 3.646920 | c 20 > 83.333300 | 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 > 0.000000 | c 3 > 2.321930 | c 2 > 3.906890 | c 10 > 10.269100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.906890 | c 6 > 10.178700 | c 32 > 100.000000 | c 5 > 11.599400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.72 c choco : 1.54
7.57/7.72 c mistral : 4.5
7.57/7.72 c abscon : 1801.0
7.57/7.72 c
7.57/7.72 c
7.57/7.72 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-14.xml
7.57/7.72 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 20.735000 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 7.298880 | c 14 > 10.973000 | c 11 > 10.609200 | c 12 > 6.557900 | c 21 > 3.885870 | c 20 > 83.333300 | 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.321930 | c 2 > 3.906890 | c 10 > 10.604600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.044390 | c 6 > 10.527500 | c 32 > 100.000000 | c 5 > 11.886800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.73 c choco : 1.81
7.57/7.73 c mistral : 55.54
7.57/7.73 c abscon : 1801.0
7.57/7.73 c
7.57/7.73 c
7.57/7.73 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-03.xml
7.57/7.73 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 20.337500 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 7.609840 | c 14 > 10.843900 | c 11 > 10.227600 | c 12 > 7.135540 | c 21 > 3.514260 | c 20 > 83.333300 | 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 > 0.000000 | c 3 > 2.321930 | c 2 > 3.906890 | c 10 > 10.221600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.832890 | c 6 > 10.131900 | c 32 > 100.000000 | c 5 > 11.502800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.74 c choco : 37.2
7.57/7.74 c mistral : 6.43
7.57/7.74 c abscon : 1801.0
7.57/7.74 c
7.57/7.74 c
7.57/7.74 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-16.xml
7.57/7.74 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 19.891400 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 7.676560 | c 14 > 10.769800 | c 11 > 10.518700 | c 12 > 6.583600 | 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 > 1.584960 | c 2 > 4.087460 | c 10 > 10.513700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.169930 | c 6 > 10.425200 | c 32 > 100.000000 | c 5 > 11.820200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.75 c choco : 1801.0
7.57/7.75 c mistral : 0.72
7.57/7.75 c abscon : 1801.0
7.57/7.75 c
7.57/7.75 c
7.57/7.75 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-10.xml
7.57/7.75 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 19.599000 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 7.789200 | c 14 > 10.393400 | c 11 > 10.029300 | c 12 > 6.880730 | c 21 > 3.619390 | c 20 > 83.333300 | 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 > 0.000000 | c 3 > 2.321930 | c 2 > 3.906890 | c 10 > 10.022400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.906890 | c 6 > 9.914390 | c 32 > 100.000000 | c 5 > 11.344300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.76 c choco : 1.78
7.57/7.76 c mistral : 1.84
7.57/7.76 c abscon : 1801.0
7.57/7.76 c
7.57/7.76 c
7.57/7.76 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-18.xml
7.57/7.76 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 20.017300 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 7.219040 | c 14 > 10.347600 | c 11 > 10.548800 | c 12 > 6.402490 | c 21 > 3.924280 | c 20 > 83.333300 | 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.321930 | c 2 > 3.906890 | c 10 > 10.544000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.044390 | c 6 > 10.463500 | c 32 > 100.000000 | c 5 > 11.835300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.77 c choco : 1.5
7.57/7.77 c mistral : 6.48
7.57/7.77 c abscon : 1801.0
7.57/7.77 c
7.57/7.77 c
7.57/7.77 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-13.xml
7.57/7.77 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 19.666400 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 7.296420 | c 14 > 10.128000 | c 11 > 10.429400 | c 12 > 6.470670 | c 21 > 3.748330 | c 20 > 83.333300 | 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.000000 | c 2 > 4.000000 | c 10 > 10.424200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.977280 | c 6 > 10.339900 | c 32 > 100.000000 | c 5 > 11.726200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.78 c choco : 1.71
7.57/7.78 c mistral : 2.3
7.57/7.78 c abscon : 1801.0
7.57/7.78 c
7.57/7.78 c
7.57/7.78 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-07.xml
7.57/7.78 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 19.694200 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 7.363060 | c 14 > 9.942510 | c 11 > 10.532400 | c 12 > 6.007830 | c 21 > 3.974920 | c 20 > 83.333300 | c 22 > 4.242640 | 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.527500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.108520 | c 6 > 10.442900 | c 32 > 100.000000 | c 5 > 11.821800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.78 c choco : 1.6
7.57/7.78 c mistral : 1.87
7.57/7.78 c abscon : 1801.0
7.57/7.78 c
7.57/7.78 c
7.57/7.78 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-12.xml
7.57/7.78 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 19.724600 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 6.889560 | c 14 > 10.178700 | c 11 > 10.413600 | c 12 > 6.093490 | c 21 > 3.827530 | c 20 > 83.333300 | 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.000000 | c 2 > 4.000000 | c 10 > 10.408300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.044390 | c 6 > 10.319700 | c 32 > 100.000000 | c 5 > 11.700000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.80 c choco : 1801.0
7.64/7.80 c mistral : 3.34
7.64/7.80 c abscon : 1801.0
7.64/7.80 c
7.64/7.80 c
7.64/7.80 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-20.xml
7.64/7.80 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 18.849700 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 7.251820 | c 14 > 9.905390 | c 11 > 10.037500 | c 12 > 6.416460 | c 21 > 3.514260 | c 20 > 83.333300 | 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 > 0.000000 | c 3 > 2.000000 | c 2 > 4.000000 | c 10 > 10.030700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.832890 | c 6 > 9.927780 | c 32 > 100.000000 | c 5 > 11.366900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.80 c choco : 1.68
7.64/7.80 c mistral : 1.32
7.64/7.80 c abscon : 1801.0
7.64/7.80 c
7.64/7.80 c
7.64/7.80 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-05.xml
7.64/7.80 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 20.000000 | c 33 > 0.000000 | c 15 > 20.810100 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 8.226240 | c 14 > 11.611900 | c 11 > 10.649300 | c 12 > 7.526470 | c 21 > 4.049690 | c 20 > 80.000000 | c 22 > 4.242640 | 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 > 3.906890 | c 10 > 10.642100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.044390 | c 6 > 10.569900 | c 32 > 100.000000 | c 5 > 11.912100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.81 c choco : 1801.0
7.64/7.81 c mistral : 98.89
7.64/7.81 c abscon : 1801.0
7.64/7.81 c
7.64/7.81 c
7.64/7.81 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-05.xml
7.64/7.81 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 20.000000 | c 33 > 0.000000 | c 15 > 21.040000 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 8.151980 | c 14 > 11.241400 | c 11 > 10.545900 | c 12 > 7.441960 | c 21 > 3.924280 | c 20 > 80.000000 | 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.321930 | c 2 > 3.906890 | c 10 > 10.538200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.977280 | c 6 > 10.463500 | c 32 > 100.000000 | c 5 > 11.809800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.82 c choco : 1.42
7.64/7.82 c mistral : 10.06
7.64/7.82 c abscon : 1801.0
7.64/7.82 c
7.64/7.82 c
7.64/7.82 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-19.xml
7.64/7.82 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 17.986800 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 6.023520 | c 14 > 9.301500 | c 11 > 9.525520 | c 12 > 5.230930 | c 21 > 3.368980 | c 20 > 83.333300 | c 22 > 3.605550 | 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 > 3.700440 | c 10 > 9.515700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.754890 | c 6 > 9.372870 | c 32 > 100.000000 | c 5 > 10.903900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.82 c choco : 1.7
7.64/7.82 c mistral : 0.62
7.64/7.82 c abscon : 1801.0
7.64/7.82 c
7.64/7.82 c
7.64/7.82 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-17.xml
7.64/7.82 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 17.472500 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 5.217800 | c 14 > 8.888740 | c 11 > 10.038900 | c 12 > 4.282870 | c 21 > 3.626290 | c 20 > 83.333300 | 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 > 0.000000 | c 3 > 2.000000 | c 2 > 4.000000 | c 10 > 10.032000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.906890 | c 6 > 9.924810 | c 32 > 100.000000 | c 5 > 11.388000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.83 c choco : 13.38
7.64/7.83 c mistral : 0.27
7.64/7.83 c abscon : 1801.0
7.64/7.83 c
7.64/7.83 c
7.64/7.83 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-06.xml
7.64/7.83 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 17.617800 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 5.225950 | c 14 > 8.413630 | c 11 > 10.033400 | c 12 > 4.368790 | c 21 > 3.626290 | c 20 > 83.333300 | 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 > 0.000000 | c 3 > 2.000000 | c 2 > 4.000000 | c 10 > 10.026500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.906890 | c 6 > 9.918860 | c 32 > 100.000000 | c 5 > 11.383700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.84 c choco : 1.73
7.64/7.84 c mistral : 0.42
7.64/7.84 c abscon : 1801.0
7.64/7.84 c
7.64/7.84 c
7.64/7.84 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-04.xml
7.64/7.84 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 17.571000 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 5.529210 | c 14 > 8.375040 | c 11 > 10.671500 | c 12 > 4.184110 | c 21 > 3.937000 | c 20 > 83.333300 | c 22 > 4.242640 | 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.247930 | c 10 > 10.667100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.108520 | c 6 > 10.590600 | c 32 > 100.000000 | c 5 > 11.948000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.85 c choco : 2.03
7.64/7.85 c mistral : 0.1
7.64/7.85 c abscon : 1801.0
7.64/7.85 c
7.64/7.85 c
7.64/7.85 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-20.xml
7.64/7.85 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 17.195200 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 5.065220 | c 14 > 8.154820 | c 11 > 10.168700 | c 12 > 3.793590 | c 21 > 3.653770 | c 20 > 83.333300 | 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 > 0.000000 | c 3 > 2.000000 | c 2 > 4.000000 | c 10 > 10.162400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.906890 | c 6 > 10.064700 | c 32 > 100.000000 | c 5 > 11.495900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.85 c choco : 10.77
7.64/7.85 c mistral : 0.25
7.64/7.85 c abscon : 1801.0
7.64/7.85 c
7.64/7.85 c
7.64/7.85 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-15.xml
7.64/7.85 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 16.190300 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 4.829670 | c 14 > 8.134430 | c 11 > 9.948370 | c 12 > 4.127360 | c 21 > 3.339160 | c 20 > 83.333300 | c 22 > 3.605550 | 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 > 9.941050 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.754890 | c 6 > 9.836050 | c 32 > 100.000000 | c 5 > 11.247300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.86 c choco : 5.67
7.64/7.86 c mistral : 0.23
7.64/7.86 c abscon : 1801.0
7.64/7.86 c
7.64/7.86 c
7.64/7.86 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-08.xml
7.64/7.86 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 16.500300 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 4.743170 | c 14 > 7.622050 | c 11 > 10.635700 | c 12 > 3.287050 | c 21 > 4.189270 | c 20 > 83.333300 | 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 > 1.000000 | c 2 > 4.169930 | c 10 > 10.631200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.228820 | c 6 > 10.546900 | c 32 > 100.000000 | c 5 > 11.923000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.86 c choco : 22.47
7.64/7.86 c mistral : 1.44
7.64/7.86 c abscon : 1801.0
7.64/7.86 c
7.64/7.86 c
7.64/7.86 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-10.xml
7.64/7.86 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 15.453300 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 2.160170 | c 14 > 6.491850 | c 11 > 10.148500 | c 12 > 1.766660 | c 21 > 3.755000 | c 20 > 83.333300 | 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.321930 | c 2 > 3.906890 | c 10 > 10.142100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.977280 | c 6 > 10.038900 | c 32 > 100.000000 | c 5 > 11.463000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.87 c choco : 5.45
7.64/7.87 c mistral : 0.26
7.64/7.87 c abscon : 1801.0
7.64/7.87 c
7.64/7.87 c
7.64/7.87 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-12.xml
7.64/7.87 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 15.255000 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 2.323720 | c 14 > 6.303780 | c 11 > 10.524500 | c 12 > 1.471230 | c 21 > 3.956010 | c 20 > 83.333300 | c 22 > 4.242640 | 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.519600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.108520 | c 6 > 10.434600 | c 32 > 100.000000 | c 5 > 11.809400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.87 c choco : 17.91
7.64/7.87 c mistral : 0.09
7.64/7.87 c abscon : 1801.0
7.64/7.87 c
7.64/7.87 c
7.64/7.87 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-04.xml
7.64/7.87 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 14.495200 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 2.316990 | c 14 > 5.857980 | c 11 > 10.774000 | c 12 > 1.502740 | c 21 > 4.062020 | 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 > 0.000000 | c 2 > 4.247930 | c 10 > 10.769800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.169930 | c 6 > 10.696100 | c 32 > 100.000000 | c 5 > 12.049200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.88 c choco : 2.83
7.64/7.88 c mistral : 0.08
7.64/7.88 c abscon : 1801.0
7.64/7.88 c
7.64/7.88 c
7.64/7.88 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-06.xml
7.64/7.88 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 14.604200 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 1.738250 | c 14 > 5.614710 | c 11 > 10.153600 | c 12 > 1.197390 | c 21 > 3.761650 | c 20 > 83.333300 | 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.000000 | c 2 > 4.000000 | c 10 > 10.147200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.977280 | c 6 > 10.044400 | c 32 > 100.000000 | c 5 > 11.502800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.89 c choco : 2.68
7.64/7.89 c mistral : 0.14
7.64/7.89 c abscon : 1801.0
7.64/7.89 c
7.64/7.89 c
7.64/7.89 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-02.xml
7.64/7.89 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 13.655500 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 1.484510 | c 14 > 5.000000 | c 11 > 10.395500 | c 12 > 0.911667 | c 21 > 3.781530 | c 20 > 83.333300 | 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.321930 | c 2 > 3.906890 | c 10 > 10.390200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.977280 | c 6 > 10.303800 | c 32 > 100.000000 | c 5 > 11.718100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.89 c choco : 6.32
7.64/7.89 c mistral : 0.06
7.64/7.89 c abscon : 1801.0
7.64/7.89 c
7.64/7.89 c
7.64/7.89 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-14.xml
7.64/7.89 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 13.504100 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 1.722840 | c 14 > 3.807350 | c 11 > 10.715100 | c 12 > 0.781750 | c 21 > 4.012480 | c 20 > 83.333300 | c 22 > 4.242640 | 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 > 3.906890 | c 10 > 10.710800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.108520 | c 6 > 10.636600 | c 32 > 100.000000 | c 5 > 11.991500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.90 c choco : 2.97
7.70/7.90 c mistral : 0.06
7.70/7.90 c abscon : 1801.0
7.70/7.90 c
7.70/7.90 c
7.70/7.90 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-39.xml
7.70/7.90 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
7.70/7.90 c choco : 1801.0
7.70/7.90 c mistral : 4.1
7.70/7.90 c abscon : 1801.0
7.70/7.90 c
7.70/7.90 c
7.70/7.90 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-39.xml
7.70/7.90 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
7.70/7.91 c choco : 2.59
7.70/7.91 c mistral : 17.56
7.70/7.91 c abscon : 1801.0
7.70/7.91 c
7.70/7.91 c
7.70/7.91 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-15.xml
7.70/7.91 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 13.004600 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 1.643570 | c 14 > 3.584960 | c 11 > 9.786270 | c 12 > 1.213030 | c 21 > 3.185910 | c 20 > 83.333300 | 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 > 0.000000 | c 3 > 2.000000 | c 2 > 4.000000 | c 10 > 9.778080 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.672430 | c 6 > 9.665340 | c 32 > 100.000000 | c 5 > 11.087500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.92 c choco : 1.81
7.70/7.92 c mistral : 0.03
7.70/7.92 c abscon : 1801.0
7.70/7.92 c
7.70/7.92 c
7.70/7.92 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-38.xml
7.70/7.92 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
7.70/7.93 c choco : 1801.0
7.70/7.93 c mistral : 11.36
7.70/7.93 c abscon : 1801.0
7.70/7.93 c
7.70/7.93 c
7.70/7.93 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-29.xml
7.70/7.93 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
7.70/7.93 c choco : 13.66
7.70/7.93 c mistral : 3.77
7.70/7.93 c abscon : 1801.0
7.70/7.93 c
7.70/7.93 c
7.70/7.93 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-23.xml
7.70/7.93 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
7.70/7.94 c choco : 1801.0
7.70/7.94 c mistral : 2.9
7.70/7.94 c abscon : 1801.0
7.70/7.94 c
7.70/7.94 c
7.70/7.94 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-40.xml
7.70/7.94 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
7.70/7.94 c choco : 25.59
7.70/7.94 c mistral : 2.08
7.70/7.94 c abscon : 1801.0
7.70/7.94 c
7.70/7.94 c
7.70/7.94 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-23.xml
7.70/7.94 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
7.70/7.95 c choco : 2.34
7.70/7.95 c mistral : 15.75
7.70/7.95 c abscon : 1801.0
7.70/7.95 c
7.70/7.95 c
7.70/7.95 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-40.xml
7.70/7.95 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
7.70/7.96 c choco : 1801.0
7.70/7.96 c mistral : 42.84
7.70/7.96 c abscon : 1801.0
7.70/7.96 c
7.70/7.96 c
7.70/7.96 c Length: 40
7.70/7.96 c 1.0941104528794152 1.508056437107046 1.8116196546184864 1.9928830786827403 2.1923732490841985 2.479827413188264 2.5591919872491005 2.854222667102201 2.8709915788103597 3.0952368888665043 3.5425814754921308 3.5428612215552566 3.7842049770988884 4.002214926350159 4.105359784903146 4.618377648124935 4.955663687943319 5.001160839105254 6.795743017948809 7.729671930573767 7.813377095558617 7.935938717946352 8.480767870599925 9.124701480015661 9.493372339184848 12.654538014344892 12.847543731293541 13.581150432028943 13.977643422276161 15.008791627257972 15.610930151112072 15.87079668527072 15.976472657270133 15.98584328033401 16.02976333096968 16.19181124307593 16.249824399826608 16.261833109351482 16.2618510194627 16.27842123894698
7.70/7.96 c
7.70/7.96 c 1.0 0.9734620355131006 0.9548787998927638 0.9441168958223557 0.9325498029746035 0.9163720796658363 0.9120039034354853 0.896124393601799 0.8952384281039848 0.8835568504815824 0.861140967478689 0.8611273055973021 0.8495001944108721 0.8392638886653018 0.8345063679007201 0.811622925122064 0.7972497739782509 0.795349825978045 0.727011010744745 0.6958936607197933 0.6932342826400276 0.689376869492044 0.672736350916448 0.65407602876146 0.6438511669546677 0.5677494611746007 0.5636816041358333 0.548737606447252 0.5409860094119787 0.5218156974890196 0.5112367959897645 0.5068025865999239 0.5050213168209977 0.5048639701812613 0.504127792296662 0.5014300568450172 0.5004712725083782 0.5002732622449646 0.500272967044167 0.5
7.70/7.97 c
7.70/7.97 c solver 0
7.70/7.97 c before 0.0 seconds: {} 0
7.70/7.97 c
7.70/7.97 c solver 1
7.70/7.97 c before 0.0 seconds: {} 0
7.70/7.97 c before 18.0 seconds: {0, 1, 2, 4, 5, 6, 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} 25374
7.70/7.97 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 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} 26318
7.70/7.98 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 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, 39} 26818
7.70/7.98 c before 72.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, 39} 27714
7.70/7.98 c before 108.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} 28511
7.70/7.98 c
7.70/7.98 c solver 2
7.70/7.98 c before 0.0 seconds: {} 0
7.70/7.98 c before 18.0 seconds: {0, 1, 3, 5, 6, 7, 10, 11, 12, 13, 15, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 32, 33, 35, 38} 20058
7.70/7.98 c before 36.0 seconds: {0, 1, 3, 4, 5, 6, 7, 10, 11, 12, 13, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 35, 37, 38} 22134
7.70/7.98 c before 54.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 35, 37, 38} 23030
7.70/7.98 c
7.70/7.98 cTotal time: 9
7.70/7.98 c 162.0 seconds unused
7.70/7.98 c 0 c 0 c 0
7.70/7.98 c 40 c 0 c 8
7.70/7.98 c 32 c 0 c 0
7.70/7.98 c is solver0 dominated by:
7.70/7.98 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.70/7.98 c is dominated? true
7.70/7.98 c
7.70/7.98 c is solver1 dominated by:
7.70/7.98 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.70/7.98 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.70/7.98 c is dominated? false
7.70/7.98 c
7.70/7.98 c is solver2 dominated by:
7.70/7.98 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.70/7.98 c solver 1 (2 solves instances that 1 can't: false) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: true) (2 is equally as fast as 1: false) (2 < 1: true)
7.70/7.98 c is dominated? true
7.70/7.98 c
7.70/7.98 c Number of non-dominated solvers: 1
7.70/7.98 c remove dominated solvers
7.70/7.98 c solver 1 is not dominated by another solver
7.70/7.98 c solver 2 is dominated by another solver
7.70/7.98 c solver 0 is dominated by another solver
7.70/7.98 c
7.70/7.98 c solver 0: 0.0
7.70/7.98 c
7.70/7.98 c solver 1: 108.0
7.70/7.98 c
7.70/7.98 c+ 6/6 of 94
7.70/7.98 c
7.70/7.98 c solver 2: 0.0
7.70/7.98 c do not run abscon
7.70/7.98 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} 28511
7.70/7.98 c do not run choco
7.70/7.98 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.70/7.98 c On Instance: HOME/instance-1046282-1215024940.xml
7.70/7.98 c Running for: 1800 seconds
16.08/16.46 c mistral-prime version 1.313
16.08/16.46 s SATISFIABLE
16.08/16.46 v 0 7 12 17 4 9 9 1 0 13 12 5 0 1 7 14 14 5 8 6
16.08/16.46 d CHECKS 20231344
16.08/16.46 d ASSIGNMENTS 19081