0.00/0.00 c cpHydra_k_40 version 0.0
6.92/7.17 c CASE TO CLASSIFY:
6.92/7.17 c Case: 0
6.92/7.17 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 20.000000 | c 33 > 0.000000 | c 15 > 21.681500 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 8.688580 | c 14 > 11.905400 | c 11 > 10.545900 | c 12 > 8.093910 | 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
6.92/7.18 c choco : 1801.0
6.92/7.18 c mistral : 1801.0
6.92/7.18 c abscon : 1801.0
6.92/7.18 c
6.92/7.18 c
7.02/7.26 c List of same ones: 40
7.02/7.26 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-05.xml
7.02/7.26 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.02/7.26 c choco : 1801.0
7.02/7.26 c mistral : 98.89
7.02/7.26 c abscon : 1801.0
7.02/7.26 c
7.02/7.26 c
7.02/7.27 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-05.xml
7.02/7.27 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.02/7.27 c choco : 1.42
7.02/7.27 c mistral : 10.06
7.02/7.27 c abscon : 1801.0
7.02/7.27 c
7.02/7.27 c
7.02/7.27 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-16.xml
7.02/7.27 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.02/7.28 c choco : 1.41
7.02/7.28 c mistral : 7.63
7.02/7.28 c abscon : 1801.0
7.02/7.28 c
7.02/7.28 c
7.02/7.28 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-07.xml
7.02/7.28 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.02/7.29 c choco : 1801.0
7.02/7.29 c mistral : 6.52
7.02/7.29 c abscon : 1801.0
7.02/7.29 c
7.02/7.29 c
7.02/7.29 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-08.xml
7.02/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.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.11/7.30 c choco : 1.75
7.11/7.31 c mistral : 9.56
7.11/7.31 c abscon : 1801.0
7.11/7.31 c
7.11/7.31 c
7.11/7.31 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-18.xml
7.11/7.31 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.11/7.31 c choco : 22.66
7.11/7.31 c mistral : 1.26
7.11/7.32 c abscon : 1801.0
7.11/7.32 c
7.11/7.32 c
7.11/7.32 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-17.xml
7.11/7.32 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.11/7.32 c choco : 1.7
7.11/7.32 c mistral : 29.42
7.11/7.32 c abscon : 1801.0
7.11/7.32 c
7.11/7.32 c
7.11/7.32 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-02.xml
7.11/7.32 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.11/7.33 c choco : 1.54
7.11/7.33 c mistral : 4.5
7.11/7.33 c abscon : 1801.0
7.11/7.33 c
7.11/7.33 c
7.11/7.33 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-09.xml
7.11/7.33 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.11/7.34 c choco : 1.82
7.11/7.34 c mistral : 3.09
7.11/7.34 c abscon : 1801.0
7.11/7.34 c
7.11/7.34 c
7.11/7.34 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-03.xml
7.11/7.34 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.11/7.35 c choco : 37.2
7.11/7.35 c mistral : 6.43
7.11/7.35 c abscon : 1801.0
7.11/7.35 c
7.11/7.35 c
7.11/7.35 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-14.xml
7.11/7.35 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.28/7.55 c choco : 1.81
7.28/7.55 c mistral : 55.54
7.28/7.55 c abscon : 1801.0
7.28/7.55 c
7.28/7.55 c
7.28/7.55 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-16.xml
7.28/7.55 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.28/7.57 c choco : 1801.0
7.28/7.57 c mistral : 0.72
7.28/7.57 c abscon : 1801.0
7.28/7.57 c
7.28/7.57 c
7.28/7.57 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-10.xml
7.28/7.57 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.28/7.57 c choco : 1.78
7.28/7.57 c mistral : 1.84
7.28/7.57 c abscon : 1801.0
7.28/7.57 c
7.28/7.57 c
7.28/7.57 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-18.xml
7.28/7.57 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.28/7.58 c choco : 1.5
7.28/7.58 c mistral : 6.48
7.28/7.58 c abscon : 1801.0
7.28/7.58 c
7.28/7.58 c
7.28/7.58 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-13.xml
7.28/7.58 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.28/7.59 c choco : 1.71
7.28/7.59 c mistral : 2.3
7.28/7.59 c abscon : 1801.0
7.28/7.59 c
7.28/7.59 c
7.28/7.59 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-07.xml
7.28/7.59 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.37/7.61 c choco : 1.6
7.37/7.61 c mistral : 1.87
7.37/7.61 c abscon : 1801.0
7.37/7.61 c
7.37/7.61 c
7.37/7.61 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-12.xml
7.37/7.61 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.37/7.61 c choco : 1801.0
7.37/7.61 c mistral : 3.34
7.37/7.61 c abscon : 1801.0
7.37/7.61 c
7.37/7.61 c
7.37/7.61 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-20.xml
7.37/7.61 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.37/7.62 c choco : 1.68
7.37/7.62 c mistral : 1.32
7.37/7.62 c abscon : 1801.0
7.37/7.62 c
7.37/7.62 c
7.37/7.62 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-19.xml
7.37/7.62 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.37/7.62 c choco : 1.7
7.37/7.62 c mistral : 0.62
7.37/7.62 c abscon : 1801.0
7.37/7.62 c
7.37/7.62 c
7.37/7.62 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-17.xml
7.37/7.62 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.37/7.64 c choco : 13.38
7.37/7.64 c mistral : 0.27
7.37/7.64 c abscon : 1801.0
7.37/7.64 c
7.37/7.64 c
7.37/7.64 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-06.xml
7.37/7.64 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.37/7.64 c choco : 1.73
7.37/7.64 c mistral : 0.42
7.37/7.64 c abscon : 1801.0
7.37/7.64 c
7.37/7.64 c
7.37/7.64 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-04.xml
7.37/7.64 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.37/7.65 c choco : 2.03
7.37/7.65 c mistral : 0.1
7.37/7.65 c abscon : 1801.0
7.37/7.65 c
7.37/7.65 c
7.37/7.65 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-20.xml
7.37/7.65 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.37/7.65 c choco : 10.77
7.37/7.65 c mistral : 0.25
7.37/7.65 c abscon : 1801.0
7.37/7.65 c
7.37/7.65 c
7.37/7.65 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-15.xml
7.37/7.65 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.37/7.66 c choco : 5.67
7.37/7.66 c mistral : 0.23
7.37/7.66 c abscon : 1801.0
7.37/7.66 c
7.37/7.66 c
7.37/7.66 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-08.xml
7.37/7.66 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.37/7.66 c choco : 22.47
7.37/7.66 c mistral : 1.44
7.37/7.66 c abscon : 1801.0
7.37/7.66 c
7.37/7.66 c
7.37/7.66 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-10.xml
7.37/7.66 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.37/7.67 c choco : 5.45
7.37/7.67 c mistral : 0.26
7.37/7.67 c abscon : 1801.0
7.37/7.67 c
7.37/7.67 c
7.37/7.67 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-12.xml
7.37/7.67 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.37/7.68 c choco : 17.91
7.37/7.68 c mistral : 0.09
7.37/7.68 c abscon : 1801.0
7.37/7.68 c
7.37/7.68 c
7.37/7.68 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-04.xml
7.37/7.68 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.37/7.68 c choco : 2.83
7.37/7.68 c mistral : 0.08
7.37/7.68 c abscon : 1801.0
7.37/7.68 c
7.37/7.68 c
7.37/7.68 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-06.xml
7.37/7.68 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.37/7.69 c choco : 2.68
7.37/7.69 c mistral : 0.14
7.37/7.69 c abscon : 1801.0
7.37/7.69 c
7.37/7.69 c
7.37/7.69 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-02.xml
7.37/7.69 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.37/7.69 c choco : 6.32
7.37/7.69 c mistral : 0.06
7.37/7.69 c abscon : 1801.0
7.37/7.69 c
7.37/7.69 c
7.37/7.69 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-14.xml
7.37/7.69 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.37/7.70 c choco : 2.97
7.37/7.70 c mistral : 0.06
7.37/7.70 c abscon : 1801.0
7.37/7.70 c
7.37/7.70 c
7.37/7.70 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-15.xml
7.37/7.70 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.43/7.71 c choco : 1.81
7.43/7.71 c mistral : 0.03
7.43/7.71 c abscon : 1801.0
7.43/7.71 c
7.43/7.71 c
7.43/7.71 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-09.xml
7.43/7.71 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 12.158900 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 1.696390 | c 14 > 4.000000 | c 11 > 10.099300 | c 12 > 0.735913 | c 21 > 3.521360 | 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.092800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.832890 | c 6 > 9.994350 | c 32 > 100.000000 | c 5 > 11.380500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.43/7.72 c choco : 2.45
7.43/7.72 c mistral : 0.04
7.43/7.72 c abscon : 1801.0
7.43/7.72 c
7.43/7.72 c
7.43/7.72 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-13.xml
7.43/7.72 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 12.582400 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 1.932730 | c 14 > 3.000000 | c 11 > 10.543000 | c 12 > 0.742370 | c 21 > 3.879430 | 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.538200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.044390 | c 6 > 10.457400 | c 32 > 100.000000 | c 5 > 11.838400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.43/7.72 c choco : 6.6
7.43/7.72 c mistral : 0.04
7.43/7.72 c abscon : 1801.0
7.43/7.72 c
7.43/7.72 c
7.43/7.72 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-19.xml
7.43/7.72 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 11.928900 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 1.408290 | c 14 > 4.392320 | c 11 > 9.670660 | c 12 > 0.753510 | 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.807350 | c 2 > 3.700440 | c 10 > 9.661780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.832890 | c 6 > 9.527480 | c 32 > 100.000000 | c 5 > 11.047100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.43/7.73 c choco : 3.01
7.43/7.73 c mistral : 0.03
7.43/7.73 c abscon : 1801.0
7.43/7.73 c
7.43/7.73 c
7.43/7.73 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-11.xml
7.43/7.73 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 12.414200 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 1.181570 | c 14 > 3.807350 | c 11 > 9.903880 | c 12 > 0.752543 | c 21 > 3.807890 | 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 > 9.896330 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.044390 | c 6 > 9.768180 | c 32 > 100.000000 | c 5 > 11.279000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.43/7.73 c choco : 2.92
7.43/7.73 c mistral : 0.04
7.43/7.73 c abscon : 1801.0
7.43/7.73 c
7.43/7.73 c
7.43/7.73 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp20-03.xml
7.43/7.73 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 12.493900 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 1.556710 | c 14 > 3.169930 | c 11 > 10.358700 | c 12 > 0.745948 | 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.321930 | c 2 > 3.906890 | c 10 > 10.353100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.906890 | c 6 > 10.268000 | c 32 > 100.000000 | c 5 > 11.632500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.43/7.74 c choco : 11.75
7.43/7.74 c mistral : 0.04
7.43/7.74 c abscon : 1801.0
7.43/7.74 c
7.43/7.74 c
7.43/7.74 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight20-11.xml
7.43/7.74 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 16.666700 | c 33 > 0.000000 | c 15 > 11.076800 | c 34 > 20.000000 | c 16 > 20.000000 | c 13 > 1.832970 | c 14 > -1.000000 | c 11 > 9.786270 | c 12 > 1.302520 | c 21 > 3.674230 | 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 > 9.778080 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.977280 | c 6 > 9.643860 | c 32 > 100.000000 | c 5 > 11.162400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.43/7.74 c choco : 1.68
7.43/7.74 c mistral : 0.03
7.43/7.74 c abscon : 1801.0
7.43/7.74 c
7.43/7.74 c
7.43/7.74 c /home/ehebrard/new_instances/competition_5c/data5/rcpsp/rcpsp25-39.xml
7.43/7.75 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.43/7.75 c choco : 1801.0
7.43/7.75 c mistral : 4.1
7.43/7.75 c abscon : 1801.0
7.43/7.75 c
7.43/7.75 c
7.43/7.75 c /home/ehebrard/new_instances/competition_5c/data5/rcpspTighter/rcpsptight25-39.xml
7.43/7.75 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.43/7.76 c choco : 2.59
7.43/7.76 c mistral : 17.56
7.43/7.76 c abscon : 1801.0
7.43/7.76 c
7.43/7.76 c
7.43/7.76 c Length: 40
7.43/7.76 c 1.2078983816116327 1.2511581085138679 4.879783657909434 4.99007838476511 5.00054280555621 5.05867355969922 5.0874835310986475 5.154684283358193 5.164807515706657 5.289354975750821 5.319964523406145 5.5428197308680325 5.686566015619617 5.695939408043239 5.84994283346427 6.023292996692089 6.038556608031423 6.369064870968105 7.93428185155405 8.766872408550267 8.83547010746457 9.080559959600507 9.425024644768838 9.970742434969422 10.401651185715657 13.17695698837937 13.39468647243376 14.153200661832642 14.438919490439716 15.424662485466222 16.025603528547684 16.346776191087343 16.72337038334704 16.856093396623667 16.860313615968117 16.901292067241158 16.97286009281712 19.919560781972578 20.31582584323611 20.380205840795625
7.43/7.76 c
7.43/7.76 c 1.0 0.9977487145456961 0.8392639512888281 0.8352313459684482 0.8348507567860013 0.8327428503490819 0.8317020985935141 0.8292845727066305 0.8289216101143331 0.8244818952845654 0.823398034567625 0.8155919872741476 0.8106349689025217 0.8103138240267201 0.8050736602367371 0.7992556935978156 0.7987474427246686 0.7878984932331851 0.7402809474675905 0.7172236568283182 0.7153878316693455 0.7089047664588549 0.6999891875656195 0.6863147833859566 0.6758889772224456 0.6156540281046292 0.6113794777215841 0.5969406694565301 0.5916770994357201 0.5742090618778264 0.5640570858668037 0.5587771832731245 0.5527107170634621 0.5506039860680289 0.5505372613560022 0.5498902023955422 0.5487637675881427 0.5060796830497291 0.5008409038984831 0.5
7.43/7.77 c
7.43/7.77 c solver 0
7.43/7.78 c before 0.0 seconds: {} 0
7.43/7.78 c
7.43/7.78 c solver 1
7.43/7.78 c before 0.0 seconds: {} 0
7.43/7.78 c before 18.0 seconds: {1, 2, 3, 4, 5, 7, 8, 9, 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} 25766
7.43/7.78 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 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} 26597
7.43/7.78 c before 72.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 27421
7.43/7.78 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} 28421
7.43/7.78 c
7.43/7.78 c solver 2
7.43/7.78 c before 0.0 seconds: {} 0
7.43/7.78 c before 18.0 seconds: {1, 2, 4, 6, 7, 8, 10, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 22137
7.43/7.78 c before 36.0 seconds: {1, 2, 4, 5, 6, 7, 8, 10, 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} 23646
7.43/7.78 c before 54.0 seconds: {1, 2, 4, 5, 6, 7, 8, 9, 10, 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} 24470
7.43/7.78 c
7.43/7.78 cTotal time: 9
7.43/7.78 c 162.0 seconds unused
7.43/7.78 c 0 c 0 c 0
7.43/7.78 c 40 c 0 c 5
7.43/7.78 c 35 c 0 c 0
7.43/7.78 c is solver0 dominated by:
7.43/7.78 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.43/7.78 c is dominated? true
7.43/7.78 c
7.43/7.78 c is solver1 dominated by:
7.43/7.78 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.43/7.78 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.43/7.78 c is dominated? false
7.43/7.78 c
7.43/7.78 c is solver2 dominated by:
7.43/7.78 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.43/7.78 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.43/7.78 c is dominated? true
7.43/7.78 c
7.43/7.78 c Number of non-dominated solvers: 1
7.43/7.78 c remove dominated solvers
7.43/7.78 c solver 1 is not dominated by another solver
7.43/7.78 c solver 2 is dominated by another solver
7.43/7.78 c solver 0 is dominated by another solver
7.43/7.78 c
7.43/7.78 c solver 0: 0.0
7.43/7.78 c
7.43/7.78 c solver 1: 108.0
7.43/7.78 c
7.43/7.78 c+ 6/6 of 94
7.43/7.78 c
7.43/7.78 c solver 2: 0.0
7.43/7.78 c do not run abscon
7.43/7.78 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} 28421
7.43/7.78 c do not run choco
7.43/7.78 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.43/7.78 c On Instance: HOME/instance-1046438-1215027173.xml
7.43/7.78 c Running for: 1800 seconds
11.98/12.43 c mistral-prime version 1.313
11.98/12.43 s UNSATISFIABLE
11.98/12.43 d CHECKS 10533334
11.98/12.43 d ASSIGNMENTS 10752