0.00/0.00 c cpHydra_k_40 version 0.0
6.83/6.94 c CASE TO CLASSIFY:
6.83/6.94 c Case: 0
6.83/6.94 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 21.719600 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 10.264900 | c 14 > 12.707100 | c 11 > 9.908390 | c 12 > 9.474160 | 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
6.83/6.95 c choco : 1801.0
6.83/6.95 c mistral : 1801.0
6.83/6.95 c abscon : 1801.0
6.83/6.95 c
6.83/6.95 c
6.92/7.02 c List of same ones: 40
6.92/7.02 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-17.xml
6.92/7.02 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
6.92/7.03 c choco : 1.7
6.92/7.03 c mistral : 29.42
6.92/7.03 c abscon : 1801.0
6.92/7.03 c
6.92/7.03 c
6.92/7.03 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-16.xml
6.92/7.03 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
6.92/7.04 c choco : 1.41
6.92/7.04 c mistral : 7.63
6.92/7.04 c abscon : 1801.0
6.92/7.04 c
6.92/7.04 c
6.92/7.04 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-08.xml
6.92/7.04 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
6.92/7.05 c choco : 1.75
6.92/7.05 c mistral : 9.56
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/rcpspTighter/rcpsptight20-09.xml
6.92/7.05 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
6.92/7.06 c choco : 1.82
6.92/7.06 c mistral : 3.09
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/rcpsp/rcpsp20-07.xml
6.92/7.06 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
6.92/7.07 c choco : 1801.0
6.92/7.07 c mistral : 6.52
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/rcpspTighter/rcpsptight20-02.xml
6.92/7.07 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
6.92/7.08 c choco : 1.54
6.92/7.08 c mistral : 4.5
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/rcpsptight20-03.xml
6.92/7.08 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
6.92/7.08 c choco : 37.2
6.92/7.08 c mistral : 6.43
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/rcpsp/rcpsp20-18.xml
6.92/7.08 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
6.92/7.09 c choco : 22.66
6.92/7.09 c mistral : 1.26
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/rcpsptight20-10.xml
6.92/7.09 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
6.92/7.10 c choco : 1.78
6.92/7.10 c mistral : 1.84
6.92/7.10 c abscon : 1801.0
7.01/7.10 c
7.01/7.10 c
7.01/7.10 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-14.xml
7.01/7.10 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.01/7.11 c choco : 1.81
7.01/7.11 c mistral : 55.54
7.01/7.11 c abscon : 1801.0
7.01/7.11 c
7.01/7.11 c
7.01/7.11 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-16.xml
7.01/7.11 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.10/7.29 c choco : 1801.0
7.10/7.29 c mistral : 0.72
7.10/7.29 c abscon : 1801.0
7.10/7.29 c
7.10/7.29 c
7.10/7.29 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-18.xml
7.10/7.29 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.20/7.31 c choco : 1.5
7.20/7.31 c mistral : 6.48
7.20/7.31 c abscon : 1801.0
7.20/7.31 c
7.20/7.31 c
7.20/7.31 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-13.xml
7.20/7.31 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.20/7.31 c choco : 1.71
7.20/7.31 c mistral : 2.3
7.20/7.31 c abscon : 1801.0
7.20/7.31 c
7.20/7.31 c
7.20/7.31 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-07.xml
7.20/7.31 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.20/7.32 c choco : 1.6
7.20/7.32 c mistral : 1.87
7.20/7.32 c abscon : 1801.0
7.20/7.32 c
7.20/7.32 c
7.20/7.32 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-12.xml
7.20/7.32 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.20/7.33 c choco : 1801.0
7.20/7.33 c mistral : 3.34
7.20/7.33 c abscon : 1801.0
7.20/7.33 c
7.20/7.33 c
7.20/7.33 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-20.xml
7.20/7.33 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.20/7.34 c choco : 1.68
7.20/7.34 c mistral : 1.32
7.20/7.34 c abscon : 1801.0
7.20/7.34 c
7.20/7.34 c
7.20/7.34 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-05.xml
7.20/7.34 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.20/7.34 c choco : 1801.0
7.20/7.34 c mistral : 98.89
7.20/7.34 c abscon : 1801.0
7.20/7.34 c
7.20/7.34 c
7.20/7.34 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-05.xml
7.20/7.34 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.20/7.35 c choco : 1.42
7.20/7.35 c mistral : 10.06
7.20/7.35 c abscon : 1801.0
7.20/7.35 c
7.20/7.35 c
7.20/7.35 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-19.xml
7.20/7.35 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.20/7.35 c choco : 1.7
7.20/7.35 c mistral : 0.62
7.20/7.35 c abscon : 1801.0
7.20/7.35 c
7.20/7.35 c
7.20/7.35 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-17.xml
7.20/7.35 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.20/7.36 c choco : 13.38
7.20/7.36 c mistral : 0.27
7.20/7.36 c abscon : 1801.0
7.20/7.36 c
7.20/7.36 c
7.20/7.36 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-06.xml
7.20/7.36 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.20/7.37 c choco : 1.73
7.20/7.37 c mistral : 0.42
7.20/7.37 c abscon : 1801.0
7.20/7.37 c
7.20/7.37 c
7.20/7.37 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-04.xml
7.20/7.37 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.20/7.37 c choco : 2.03
7.20/7.37 c mistral : 0.1
7.20/7.37 c abscon : 1801.0
7.20/7.37 c
7.20/7.37 c
7.20/7.38 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-20.xml
7.20/7.38 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.20/7.38 c choco : 10.77
7.20/7.38 c mistral : 0.25
7.20/7.38 c abscon : 1801.0
7.20/7.38 c
7.20/7.38 c
7.20/7.38 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-15.xml
7.20/7.38 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.20/7.39 c choco : 5.67
7.20/7.39 c mistral : 0.23
7.20/7.39 c abscon : 1801.0
7.20/7.39 c
7.20/7.39 c
7.20/7.39 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-08.xml
7.20/7.39 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.20/7.39 c choco : 22.47
7.20/7.39 c mistral : 1.44
7.20/7.39 c abscon : 1801.0
7.20/7.39 c
7.20/7.39 c
7.20/7.39 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-10.xml
7.20/7.39 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.20/7.40 c choco : 5.45
7.20/7.40 c mistral : 0.26
7.20/7.40 c abscon : 1801.0
7.20/7.40 c
7.20/7.40 c
7.20/7.40 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-12.xml
7.20/7.40 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.27/7.40 c choco : 17.91
7.27/7.40 c mistral : 0.09
7.27/7.40 c abscon : 1801.0
7.27/7.40 c
7.27/7.40 c
7.27/7.40 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-04.xml
7.27/7.40 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.27/7.41 c choco : 2.83
7.27/7.41 c mistral : 0.08
7.27/7.41 c abscon : 1801.0
7.27/7.41 c
7.27/7.41 c
7.27/7.41 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-06.xml
7.27/7.41 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.27/7.41 c choco : 2.68
7.27/7.41 c mistral : 0.14
7.27/7.41 c abscon : 1801.0
7.27/7.41 c
7.27/7.41 c
7.27/7.41 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-39.xml
7.27/7.41 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.27/7.42 c choco : 1801.0
7.27/7.42 c mistral : 4.1
7.27/7.42 c abscon : 1801.0
7.27/7.42 c
7.27/7.42 c
7.27/7.42 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-02.xml
7.27/7.42 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.27/7.42 c choco : 6.32
7.27/7.42 c mistral : 0.06
7.27/7.42 c abscon : 1801.0
7.27/7.42 c
7.27/7.42 c
7.27/7.42 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-39.xml
7.27/7.42 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.27/7.43 c choco : 2.59
7.27/7.43 c mistral : 17.56
7.27/7.43 c abscon : 1801.0
7.27/7.43 c
7.27/7.43 c
7.27/7.43 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-38.xml
7.27/7.43 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.27/7.44 c choco : 1801.0
7.27/7.44 c mistral : 11.36
7.27/7.44 c abscon : 1801.0
7.27/7.44 c
7.27/7.44 c
7.27/7.44 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-29.xml
7.27/7.44 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.27/7.44 c choco : 13.66
7.27/7.44 c mistral : 3.77
7.27/7.44 c abscon : 1801.0
7.27/7.44 c
7.27/7.44 c
7.27/7.44 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-23.xml
7.27/7.44 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.27/7.45 c choco : 2.34
7.27/7.45 c mistral : 15.75
7.27/7.45 c abscon : 1801.0
7.27/7.45 c
7.27/7.45 c
7.27/7.45 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-23.xml
7.27/7.45 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.27/7.45 c choco : 1801.0
7.27/7.45 c mistral : 2.9
7.27/7.45 c abscon : 1801.0
7.27/7.45 c
7.27/7.45 c
7.27/7.45 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-40.xml
7.27/7.45 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.27/7.46 c choco : 25.59
7.27/7.46 c mistral : 2.08
7.27/7.46 c abscon : 1801.0
7.27/7.46 c
7.27/7.46 c
7.27/7.46 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-40.xml
7.27/7.46 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.27/7.46 c choco : 1801.0
7.27/7.46 c mistral : 42.84
7.27/7.46 c abscon : 1801.0
7.27/7.46 c
7.27/7.46 c
7.27/7.46 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-21.xml
7.27/7.46 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
7.27/7.47 c choco : 1801.0
7.27/7.47 c mistral : 63.17
7.27/7.47 c abscon : 1801.0
7.27/7.47 c
7.27/7.47 c
7.27/7.47 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-14.xml
7.27/7.47 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.27/7.48 c choco : 2.97
7.27/7.48 c mistral : 0.06
7.27/7.48 c abscon : 1801.0
7.27/7.48 c
7.27/7.48 c
7.27/7.48 c Length: 40
7.27/7.48 c 1.398752632169105 2.6336102514988813 3.2383477572367054 3.2936518961936465 3.9457763526459533 4.101141357732016 4.28902857496893 4.299608002202062 4.786507832794176 4.865011435639181 4.9668467637627 5.411511705715881 5.470365549650224 5.85450410622454 5.8729558564320925 5.880441520906403 5.921178223977047 5.9556195819662605 7.930915903368286 9.227810834710473 9.317779686776245 9.657605057958207 10.04085516186246 10.472068499112293 11.232185634999984 14.264671652064058 14.557963511233293 15.285832143161194 15.57399359508665 16.51232583341608 16.615700824775615 16.678590874831126 16.736290426441577 17.0393863117279 17.085218340258344 17.08631225452409 17.138768336222416 17.157099684238595 17.225729364238838 17.277293264038786
7.27/7.48 c
7.27/7.48 c 1.0 0.9278426411163998 0.8961744536612813 0.8933859019343647 0.8617668543676124 0.8545611646447641 0.846006490004247 0.845529889793098 0.8241615705437656 0.8208170203544323 0.8165186843382588 0.7982656169795637 0.7959106977593357 0.7808750139496081 0.780167074479502 0.7798802373911702 0.7783229704797434 0.7770112031489284 0.708524850470909 0.6697658730762027 0.6672337627552081 0.657839916429228 0.6475580810522885 0.6363671028897242 0.6175543292577198 0.552403517903489 0.546824041313625 0.5334523707438222 0.52833752657016 0.5123413239048783 0.5106380774876645 0.5096074059503948 0.5086654516658335 0.5037740035630411 0.5030425294662034 0.5030250966697911 0.502190563768071 0.5018995797089928 0.5008131691908393 0.5
7.27/7.49 c
7.27/7.49 c solver 0
7.27/7.49 c before 0.0 seconds: {} 0
7.27/7.49 c
7.27/7.49 c solver 1
7.27/7.49 c before 0.0 seconds: {} 0
7.27/7.49 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 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, 39} 23797
7.27/7.49 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 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, 39} 24797
7.27/7.49 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 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, 39} 25299
7.27/7.49 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} 26620
7.27/7.49 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} 27399
7.27/7.49 c
7.27/7.49 c solver 2
7.27/7.49 c before 0.0 seconds: {} 0
7.27/7.49 c before 18.0 seconds: {0, 1, 2, 3, 5, 8, 9, 11, 12, 13, 15, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 30, 31, 33, 34, 39} 18824
7.27/7.49 c before 36.0 seconds: {0, 1, 2, 3, 5, 7, 8, 9, 11, 12, 13, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 33, 34, 36, 39} 20789
7.27/7.49 c before 54.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 11, 12, 13, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 33, 34, 36, 39} 21635
7.27/7.49 c
7.27/7.49 cTotal time: 9
7.27/7.49 c 162.0 seconds unused
7.27/7.49 c 0 c 0 c 0
7.27/7.49 c 40 c 0 c 9
7.27/7.49 c 31 c 0 c 0
7.27/7.49 c is solver0 dominated by:
7.27/7.49 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.27/7.49 c is dominated? true
7.27/7.49 c
7.27/7.49 c is solver1 dominated by:
7.27/7.49 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.27/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.27/7.49 c is dominated? false
7.27/7.49 c
7.27/7.49 c is solver2 dominated by:
7.27/7.50 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.27/7.50 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.27/7.50 c is dominated? true
7.27/7.50 c
7.27/7.50 c Number of non-dominated solvers: 1
7.27/7.50 c remove dominated solvers
7.27/7.50 c solver 1 is not dominated by another solver
7.27/7.50 c solver 2 is dominated by another solver
7.27/7.50 c solver 0 is dominated by another solver
7.27/7.50 c
7.27/7.50 c solver 0: 0.0
7.27/7.50 c
7.27/7.50 c solver 1: 108.0
7.27/7.50 c
7.27/7.50 c+ 6/6 of 94
7.27/7.50 c
7.27/7.50 c solver 2: 0.0
7.27/7.50 c do not run abscon
7.27/7.50 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} 27399
7.27/7.50 c do not run choco
7.32/7.50 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.32/7.50 c On Instance: HOME/instance-1046456-1215027241.xml
7.32/7.50 c Running for: 1800 seconds
16.86/17.14 c mistral-prime version 1.313
16.86/17.14 s UNSATISFIABLE
16.86/17.14 d CHECKS 23392914
16.86/17.14 d ASSIGNMENTS 41717