0.00/0.00 c cpHydra_k_40 version 0.0
7.11/7.28 c CASE TO CLASSIFY:
7.11/7.28 c Case: 0
7.11/7.28 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 21.740500 | c 34 > 48.571400 | c 16 > 2.000000 | c 13 > 7.624310 | c 14 > 10.490900 | c 11 > 12.451200 | c 12 > 4.213920 | c 21 > 23.648300 | c 20 > 100.000000 | c 22 > 24.617100 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.643860 | c 2 > -1.000000 | c 10 > 13.731300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.398700 | c 6 > 12.398700 | c 32 > -1.000000 | c 5 > 21.583500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.11/7.29 c choco : 1801.0
7.11/7.29 c mistral : 1801.0
7.11/7.29 c abscon : 1801.0
7.11/7.29 c
7.11/7.29 c
7.21/7.37 c List of same ones: 40
7.21/7.37 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-27.xml
7.21/7.37 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 20.003500 | c 34 > 48.571400 | c 16 > 2.000000 | c 13 > 4.949810 | c 14 > 9.095400 | c 11 > 12.451200 | c 12 > 2.565640 | c 21 > 23.116900 | c 20 > 100.000000 | c 22 > 24.186800 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.643860 | c 2 > -1.000000 | c 10 > 13.731300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.398700 | c 6 > 12.398700 | c 32 > -1.000000 | c 5 > 21.518200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.21/7.38 c choco : 15.23
7.21/7.38 c mistral : 1801.0
7.21/7.38 c abscon : 1801.0
7.21/7.38 c
7.21/7.38 c
7.21/7.38 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-13.xml
7.21/7.38 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 20.211800 | c 34 > 48.571400 | c 16 > 2.000000 | c 13 > 4.827960 | c 14 > 9.108520 | c 11 > 12.451200 | c 12 > 2.437580 | c 21 > 24.169400 | c 20 > 100.000000 | c 22 > 25.179400 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.643860 | c 2 > -1.000000 | c 10 > 13.731300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.398700 | c 6 > 12.398700 | c 32 > -1.000000 | c 5 > 21.646200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.21/7.38 c choco : 49.06
7.21/7.38 c mistral : 66.44
7.21/7.38 c abscon : 1801.0
7.21/7.38 c
7.21/7.38 c
7.21/7.39 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-17.xml
7.21/7.39 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 19.867200 | c 34 > 48.571400 | c 16 > 2.000000 | c 13 > 4.969110 | c 14 > 9.255030 | c 11 > 12.451200 | c 12 > 2.470400 | c 21 > 24.421100 | c 20 > 100.000000 | c 22 > 25.436200 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.643860 | c 2 > -1.000000 | c 10 > 13.731300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.398700 | c 6 > 12.398700 | c 32 > -1.000000 | c 5 > 21.676000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.21/7.39 c choco : 39.1
7.21/7.39 c mistral : 14.75
7.21/7.40 c abscon : 1801.0
7.21/7.40 c
7.21/7.40 c
7.21/7.40 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-14.xml
7.21/7.40 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 20.214400 | c 34 > 48.571400 | c 16 > 2.000000 | c 13 > 4.343750 | c 14 > 8.906890 | c 11 > 12.451200 | c 12 > 2.340770 | c 21 > 23.648300 | c 20 > 100.000000 | c 22 > 24.617100 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.643860 | c 2 > -1.000000 | c 10 > 13.731300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.398700 | c 6 > 12.398700 | c 32 > -1.000000 | c 5 > 21.583500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.31/7.40 c choco : 1801.0
7.31/7.40 c mistral : 112.09
7.31/7.40 c abscon : 1801.0
7.31/7.40 c
7.31/7.40 c
7.31/7.40 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-30.xml
7.31/7.40 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 20.154100 | c 34 > 48.571400 | c 16 > 2.000000 | c 13 > 4.315700 | c 14 > 9.240790 | c 11 > 12.451200 | c 12 > 2.364870 | c 21 > 22.919000 | c 20 > 100.000000 | c 22 > 23.958300 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.643860 | c 2 > -1.000000 | c 10 > 13.731300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.398700 | c 6 > 12.398700 | c 32 > -1.000000 | c 5 > 21.493400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.31/7.41 c choco : 13.88
7.31/7.41 c mistral : 1801.0
7.31/7.41 c abscon : 1801.0
7.31/7.41 c
7.31/7.41 c
7.31/7.41 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-12.xml
7.31/7.41 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 20.127100 | c 34 > 48.571400 | c 16 > 2.000000 | c 13 > 4.262370 | c 14 > 9.126700 | c 11 > 12.451200 | c 12 > 2.269300 | c 21 > 23.853500 | c 20 > 100.000000 | c 22 > 24.819300 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.643860 | c 2 > -1.000000 | c 10 > 13.731300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.398700 | c 6 > 12.398700 | c 32 > -1.000000 | c 5 > 21.608400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.31/7.42 c choco : 1801.0
7.31/7.42 c mistral : 22.72
7.31/7.42 c abscon : 1801.0
7.31/7.42 c
7.31/7.42 c
7.31/7.42 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-22.xml
7.31/7.43 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 20.022900 | c 34 > 48.571400 | c 16 > 2.000000 | c 13 > 4.548660 | c 14 > 9.016810 | c 11 > 12.451200 | c 12 > 2.464010 | c 21 > 22.605100 | c 20 > 100.000000 | c 22 > 23.622000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.643860 | c 2 > -1.000000 | c 10 > 13.731300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.398700 | c 6 > 12.398700 | c 32 > -1.000000 | c 5 > 21.453800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.31/7.43 c choco : 13.96
7.31/7.43 c mistral : 1801.0
7.31/7.43 c abscon : 1801.0
7.31/7.43 c
7.31/7.43 c
7.31/7.43 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-28.xml
7.31/7.43 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 19.721400 | c 34 > 48.571400 | c 16 > 2.000000 | c 13 > 4.465280 | c 14 > 9.564150 | c 11 > 12.451200 | c 12 > 2.156000 | c 21 > 22.738700 | c 20 > 100.000000 | c 22 > 23.769700 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.643860 | c 2 > -1.000000 | c 10 > 13.731300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.398700 | c 6 > 12.398700 | c 32 > -1.000000 | c 5 > 21.470700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.31/7.44 c choco : 14.4
7.31/7.44 c mistral : 1801.0
7.31/7.44 c abscon : 1801.0
7.31/7.44 c
7.31/7.44 c
7.31/7.44 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-16.xml
7.31/7.44 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 20.110900 | c 34 > 48.571400 | c 16 > 2.000000 | c 13 > 4.154280 | c 14 > 9.438790 | c 11 > 12.451200 | c 12 > 2.269620 | c 21 > 22.801800 | c 20 > 100.000000 | c 22 > 23.769700 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.643860 | c 2 > -1.000000 | c 10 > 13.731300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.398700 | c 6 > 12.398700 | c 32 > -1.000000 | c 5 > 21.478700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.31/7.45 c choco : 47.73
7.31/7.45 c mistral : 1801.0
7.31/7.45 c abscon : 1801.0
7.31/7.45 c
7.31/7.45 c
7.31/7.45 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-19.xml
7.31/7.45 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 19.462600 | c 34 > 48.571400 | c 16 > 2.000000 | c 13 > 4.380840 | c 14 > 9.796040 | c 11 > 12.451200 | c 12 > 2.066150 | c 21 > 23.993100 | c 20 > 100.000000 | c 22 > 25.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.643860 | c 2 > -1.000000 | c 10 > 13.731300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.398700 | c 6 > 12.398700 | c 32 > -1.000000 | c 5 > 21.625100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.31/7.46 c choco : 154.09
7.31/7.46 c mistral : 68.05
7.31/7.46 c abscon : 1801.0
7.31/7.46 c
7.31/7.46 c
7.31/7.46 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-24.xml
7.31/7.46 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 20.184000 | c 34 > 48.571400 | c 16 > 2.000000 | c 13 > 4.344190 | c 14 > 9.209450 | c 11 > 12.451200 | c 12 > 2.380340 | c 21 > 22.388400 | c 20 > 100.000000 | c 22 > 23.409400 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.643860 | c 2 > -1.000000 | c 10 > 13.731300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.398700 | c 6 > 12.398700 | c 32 > -1.000000 | c 5 > 21.426100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.49/7.65 c choco : 14.8
7.49/7.65 c mistral : 1801.0
7.49/7.65 c abscon : 1801.0
7.49/7.65 c
7.49/7.65 c
7.49/7.65 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-29.xml
7.49/7.65 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 20.053300 | c 34 > 48.571400 | c 16 > 2.000000 | c 13 > 4.168780 | c 14 > 9.324180 | c 11 > 12.451200 | c 12 > 2.285300 | c 21 > 22.708400 | c 20 > 100.000000 | c 22 > 23.769700 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.643860 | c 2 > -1.000000 | c 10 > 13.731300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.398700 | c 6 > 12.398700 | c 32 > -1.000000 | c 5 > 21.466900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.49/7.67 c choco : 15.72
7.49/7.67 c mistral : 1801.0
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_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-18.xml
7.49/7.67 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 19.978800 | c 34 > 48.571400 | c 16 > 2.000000 | c 13 > 3.984330 | c 14 > 9.321930 | c 11 > 12.451200 | c 12 > 2.234140 | c 21 > 24.021900 | c 20 > 100.000000 | c 22 > 25.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.643860 | c 2 > -1.000000 | c 10 > 13.731300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.398700 | c 6 > 12.398700 | c 32 > -1.000000 | c 5 > 21.628600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.49/7.67 c choco : 60.72
7.49/7.67 c mistral : 58.81
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_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-23.xml
7.49/7.67 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 20.009000 | c 34 > 48.571400 | c 16 > 2.000000 | c 13 > 4.084160 | c 14 > 9.202120 | c 11 > 12.451200 | c 12 > 2.252150 | c 21 > 22.894500 | c 20 > 100.000000 | c 22 > 23.958300 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.643860 | c 2 > -1.000000 | c 10 > 13.731300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.398700 | c 6 > 12.398700 | c 32 > -1.000000 | c 5 > 21.490400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.49/7.69 c choco : 14.97
7.49/7.69 c mistral : 1801.0
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_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-21.xml
7.49/7.69 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 19.999100 | c 34 > 48.571400 | c 16 > 2.000000 | c 13 > 3.817990 | c 14 > 9.303780 | c 11 > 12.451200 | c 12 > 2.152240 | c 21 > 23.625600 | c 20 > 100.000000 | c 22 > 24.718400 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.643860 | c 2 > -1.000000 | c 10 > 13.731300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.398700 | c 6 > 12.398700 | c 32 > -1.000000 | c 5 > 21.580700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.49/7.69 c choco : 14.88
7.49/7.69 c mistral : 1801.0
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_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-3.xml
7.49/7.69 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 20.107800 | c 34 > 48.571400 | c 16 > 2.000000 | c 13 > 3.765770 | c 14 > 9.144660 | c 11 > 12.451200 | c 12 > 2.152300 | c 21 > 23.540600 | c 20 > 100.000000 | c 22 > 24.576400 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.643860 | c 2 > -1.000000 | c 10 > 13.731300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.398700 | c 6 > 12.398700 | c 32 > -1.000000 | c 5 > 21.570400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.49/7.70 c choco : 1801.0
7.49/7.70 c mistral : 85.99
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_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-26.xml
7.49/7.70 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 20.181100 | c 34 > 48.571400 | c 16 > 2.000000 | c 13 > 4.879580 | c 14 > 8.851750 | c 11 > 12.451200 | c 12 > 2.573110 | c 21 > 21.585200 | c 20 > 100.000000 | c 22 > 22.605300 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.643860 | c 2 > -1.000000 | c 10 > 13.731300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.398700 | c 6 > 12.398700 | c 32 > -1.000000 | c 5 > 21.321100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.70 c choco : 14.94
7.58/7.70 c mistral : 1801.0
7.58/7.70 c abscon : 1801.0
7.58/7.70 c
7.58/7.70 c
7.58/7.70 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-10.xml
7.58/7.70 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 20.155000 | c 34 > 48.571400 | c 16 > 2.000000 | c 13 > 3.719900 | c 14 > 9.113740 | c 11 > 12.451200 | c 12 > 2.178090 | c 21 > 23.564400 | c 20 > 100.000000 | c 22 > 24.576400 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.643860 | c 2 > -1.000000 | c 10 > 13.731300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.398700 | c 6 > 12.398700 | c 32 > -1.000000 | c 5 > 21.573300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.71 c choco : 1801.0
7.58/7.71 c mistral : 74.48
7.58/7.71 c abscon : 1801.0
7.58/7.71 c
7.58/7.71 c
7.58/7.71 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-20.xml
7.58/7.71 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 19.988100 | c 34 > 48.571400 | c 16 > 2.000000 | c 13 > 3.726120 | c 14 > 9.292320 | c 11 > 12.451200 | c 12 > 2.154790 | c 21 > 24.192600 | c 20 > 100.000000 | c 22 > 25.179400 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.643860 | c 2 > -1.000000 | c 10 > 13.731300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.398700 | c 6 > 12.398700 | c 32 > -1.000000 | c 5 > 21.648900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.72 c choco : 70.38
7.58/7.72 c mistral : 1801.0
7.58/7.72 c abscon : 1801.0
7.58/7.72 c
7.58/7.72 c
7.58/7.72 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-25.xml
7.58/7.72 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 19.707200 | c 34 > 48.571400 | c 16 > 2.000000 | c 13 > 3.686440 | c 14 > 9.779720 | c 11 > 12.451200 | c 12 > 2.058500 | c 21 > 23.571400 | c 20 > 100.000000 | c 22 > 24.657700 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.643860 | c 2 > -1.000000 | c 10 > 13.731300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.398700 | c 6 > 12.398700 | c 32 > -1.000000 | c 5 > 21.574100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.73 c choco : 14.65
7.58/7.73 c mistral : 1801.0
7.58/7.73 c abscon : 1801.0
7.58/7.73 c
7.58/7.73 c
7.58/7.73 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-15.xml
7.58/7.73 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 19.851500 | c 34 > 48.571400 | c 16 > 2.000000 | c 13 > 3.532290 | c 14 > 9.483820 | c 11 > 12.451200 | c 12 > 2.063690 | c 21 > 24.892000 | c 20 > 100.000000 | c 22 > 25.923000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.643860 | c 2 > -1.000000 | c 10 > 13.731300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.398700 | c 6 > 12.398700 | c 32 > -1.000000 | c 5 > 21.730900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.73 c choco : 1801.0
7.58/7.73 c mistral : 14.22
7.58/7.73 c abscon : 1801.0
7.58/7.73 c
7.58/7.73 c
7.58/7.73 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-13.xml
7.58/7.73 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.787200 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 6.575030 | c 14 > 10.076800 | c 11 > 10.862600 | c 12 > 3.403860 | c 21 > 20.775800 | c 20 > 100.000000 | c 22 > 22.068100 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.622600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.74 c choco : 99.68
7.58/7.74 c mistral : 7.11
7.58/7.74 c abscon : 1801.0
7.58/7.74 c
7.58/7.74 c
7.58/7.74 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-16.xml
7.58/7.74 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.722000 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 5.847410 | c 14 > 9.857980 | c 11 > 10.862600 | c 12 > 3.219350 | c 21 > 20.426600 | c 20 > 100.000000 | c 22 > 21.771500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.573900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.75 c choco : 1801.0
7.58/7.75 c mistral : 1.59
7.58/7.75 c abscon : 1801.0
7.58/7.75 c
7.58/7.75 c
7.58/7.75 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-3.xml
7.58/7.75 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.636200 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 6.249100 | c 14 > 9.840780 | c 11 > 10.862600 | c 12 > 4.057250 | c 21 > 20.214700 | c 20 > 100.000000 | c 22 > 21.540700 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.544000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.75 c choco : 1801.0
7.58/7.75 c mistral : 87.52
7.58/7.75 c abscon : 1801.0
7.58/7.75 c
7.58/7.75 c
7.58/7.75 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-4.xml
7.58/7.75 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.844000 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 8.516940 | c 14 > 10.401900 | c 11 > 10.862600 | c 12 > 5.499630 | c 21 > 20.174200 | c 20 > 100.000000 | c 22 > 21.447600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.538200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.76 c choco : 1801.0
7.58/7.76 c mistral : 84.57
7.58/7.76 c abscon : 1801.0
7.58/7.76 c
7.58/7.76 c
7.58/7.76 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-11.xml
7.58/7.76 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.861700 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 6.092210 | c 14 > 10.171200 | c 11 > 10.862600 | c 12 > 3.759410 | c 21 > 20.139800 | c 20 > 100.000000 | c 22 > 21.354200 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.533300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.76 c choco : 22.63
7.58/7.76 c mistral : 7.27
7.58/7.76 c abscon : 1801.0
7.58/7.76 c
7.58/7.76 c
7.58/7.76 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-14.xml
7.58/7.76 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.964200 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 4.681200 | c 14 > 9.779720 | c 11 > 10.862600 | c 12 > 2.926280 | c 21 > 20.736400 | c 20 > 100.000000 | c 22 > 21.977300 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.617200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.77 c choco : 17.22
7.58/7.77 c mistral : 14.51
7.58/7.77 c abscon : 1801.0
7.58/7.77 c
7.58/7.77 c
7.58/7.77 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-6.xml
7.58/7.77 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.604700 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 7.130420 | c 14 > 9.839200 | c 11 > 10.862600 | c 12 > 4.613820 | c 21 > 19.855600 | c 20 > 100.000000 | c 22 > 21.236800 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.492500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.77 c choco : 93.88
7.58/7.77 c mistral : 1801.0
7.58/7.77 c abscon : 1801.0
7.58/7.77 c
7.58/7.77 c
7.58/7.77 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-12.xml
7.58/7.77 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.902400 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 5.270110 | c 14 > 9.368510 | c 11 > 10.862600 | c 12 > 3.549730 | c 21 > 20.288700 | c 20 > 100.000000 | c 22 > 21.517400 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.554500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.78 c choco : 30.54
7.58/7.78 c mistral : 4.11
7.58/7.78 c abscon : 13.69
7.58/7.78 c
7.58/7.78 c
7.58/7.78 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-2.xml
7.58/7.78 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.591100 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 7.936160 | c 14 > 9.984420 | c 11 > 10.862600 | c 12 > 5.054550 | c 21 > 19.739100 | c 20 > 100.000000 | c 22 > 21.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.475600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.79 c choco : 1801.0
7.58/7.79 c mistral : 111.44
7.58/7.79 c abscon : 1801.0
7.58/7.79 c
7.58/7.79 c
7.58/7.79 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-19.xml
7.58/7.79 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.205300 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 4.622930 | c 14 > 9.197220 | c 11 > 10.862600 | c 12 > 2.621560 | c 21 > 20.639800 | c 20 > 100.000000 | c 22 > 21.817400 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.603700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.79 c choco : 17.34
7.58/7.79 c mistral : 2.49
7.58/7.79 c abscon : 26.85
7.58/7.79 c
7.58/7.79 c
7.58/7.79 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-24.xml
7.58/7.79 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.776900 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 6.905530 | c 14 > 9.700440 | c 11 > 10.862600 | c 12 > 4.587510 | c 21 > 19.595900 | c 20 > 100.000000 | c 22 > 20.904500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.454700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.80 c choco : 5.98
7.58/7.80 c mistral : 9.43
7.58/7.80 c abscon : 1801.0
7.58/7.80 c
7.58/7.80 c
7.58/7.80 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-23.xml
7.58/7.80 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.710300 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 6.349540 | c 14 > 9.622050 | c 11 > 10.862600 | c 12 > 4.023060 | c 21 > 19.637500 | c 20 > 100.000000 | c 22 > 21.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.460800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.80 c choco : 5.9
7.63/7.80 c mistral : 9.99
7.63/7.80 c abscon : 1801.0
7.63/7.80 c
7.63/7.80 c
7.63/7.80 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-9.xml
7.63/7.80 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.811800 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 4.939830 | c 14 > 9.355350 | c 11 > 10.862600 | c 12 > 3.194760 | c 21 > 20.074900 | c 20 > 100.000000 | c 22 > 21.283800 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.524000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.81 c choco : 1801.0
7.63/7.81 c mistral : 60.21
7.63/7.81 c abscon : 1801.0
7.63/7.81 c
7.63/7.81 c
7.63/7.81 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-1.xml
7.63/7.81 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.821200 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 6.222560 | c 14 > 9.511750 | c 11 > 10.862600 | c 12 > 3.818220 | c 21 > 19.586000 | c 20 > 100.000000 | c 22 > 20.832700 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.453300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.82 c choco : 1801.0
7.63/7.82 c mistral : 92.41
7.63/7.82 c abscon : 1801.0
7.63/7.82 c
7.63/7.82 c
7.63/7.82 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-29.xml
7.63/7.82 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.665600 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 7.689630 | c 14 > 9.876520 | c 11 > 10.862600 | c 12 > 5.247400 | c 21 > 19.493600 | c 20 > 100.000000 | c 22 > 20.736400 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.439700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.82 c choco : 6.33
7.63/7.82 c mistral : 1.24
7.63/7.82 c abscon : 1801.0
7.63/7.82 c
7.63/7.82 c
7.63/7.82 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-8.xml
7.63/7.82 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.791800 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 6.749060 | c 14 > 10.542100 | c 11 > 10.862600 | c 12 > 3.891680 | c 21 > 19.339100 | c 20 > 100.000000 | c 22 > 20.591300 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.416800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.83 c choco : 1801.0
7.63/7.83 c mistral : 67.69
7.63/7.83 c abscon : 1801.0
7.63/7.83 c
7.63/7.83 c
7.63/7.83 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-17.xml
7.63/7.83 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.952500 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 5.233170 | c 14 > 9.698700 | c 11 > 10.862600 | c 12 > 3.060600 | c 21 > 19.734500 | c 20 > 100.000000 | c 22 > 20.952300 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.474900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.84 c choco : 1801.0
7.63/7.84 c mistral : 2.19
7.63/7.84 c abscon : 1801.0
7.63/7.84 c
7.63/7.84 c
7.63/7.84 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-26.xml
7.63/7.84 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.662000 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 6.859040 | c 14 > 9.611020 | c 11 > 10.862600 | c 12 > 4.575960 | c 21 > 19.267700 | c 20 > 100.000000 | c 22 > 20.688200 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.406200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.84 c choco : 6.25
7.63/7.84 c mistral : 12.24
7.63/7.84 c abscon : 1801.0
7.63/7.84 c
7.63/7.84 c
7.63/7.84 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-7.xml
7.63/7.84 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.804300 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 6.753110 | c 14 > 10.099300 | c 11 > 10.862600 | c 12 > 4.455760 | c 21 > 19.195000 | c 20 > 100.000000 | c 22 > 20.445000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.395400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.85 c choco : 1801.0
7.63/7.85 c mistral : 63.98
7.63/7.85 c abscon : 1801.0
7.63/7.85 c
7.63/7.85 c
7.63/7.85 c Length: 40
7.63/7.85 c 3.9123106469706626 3.976746542401213 4.05009598371446 4.371365201650395 4.406738016571896 4.430790064762718 4.4429957639750235 4.550639339675251 4.58580138612653 4.590414191922121 4.610495769795261 4.635001231251185 4.6826578328658615 4.6958651155883935 4.815714800442402 4.861080823602916 4.87000163465065 4.879364804213761 4.955817021380028 4.979999169246919 5.40597254152294 5.790370054193428 6.340103261288416 6.408466477239308 6.45422178140014 6.533373543782721 6.545191146681661 6.663260323190142 6.712274134054717 6.876569269068697 6.9627935140215085 7.003131727348844 7.017878360124233 7.114481572890607 7.1682772921741815 7.18467934633829 7.303462696735023 7.320393410500556 7.356477617814113 7.481345588736025
7.63/7.85 c
7.63/7.85 c 1.0 0.9822660210257039 0.9628292373540124 0.8860366545766023 0.8783236236206283 0.8731553281079618 0.8705557673702207 0.8482829752401457 0.8412524072194598 0.8403387252211654 0.8363840832540501 0.8316083869076403 0.8224753747809468 0.8199796960520642 0.7980063821475368 0.7899931157347564 0.7884362776525923 0.7868088266929135 0.7737675821460682 0.7697321113591706 0.7049671463956956 0.6552181242148596 0.5951538389902463 0.5884456195874049 0.5840396719697005 0.5765716527972652 0.5754730091766225 0.5647220930900567 0.5603761692888535 0.5462841837547631 0.5391684175261138 0.5359027177011901 0.5347187130510483 0.5270900060501947 0.5229354010085208 0.5216816795177872 0.5127786000733514 0.5115342885869129 0.5089023510571838 0.5
7.63/7.86 c
7.63/7.86 c solver 0
7.63/7.87 c before 0.0 seconds: {} 0
7.63/7.87 c before 18.0 seconds: {28} 560
7.63/7.87 c before 36.0 seconds: {28, 30} 1099
7.63/7.87 c
7.63/7.87 c solver 1
7.63/7.87 c before 0.0 seconds: {} 0
7.63/7.87 c before 18.0 seconds: {2, 20, 21, 22, 25, 26, 28, 30, 31, 32, 35, 37, 38} 7782
7.63/7.87 c before 36.0 seconds: {2, 5, 20, 21, 22, 25, 26, 28, 30, 31, 32, 35, 37, 38} 8655
7.63/7.87 c before 72.0 seconds: {1, 2, 5, 9, 12, 20, 21, 22, 25, 26, 28, 30, 31, 32, 33, 35, 36, 37, 38, 39} 12840
7.63/7.87 c before 90.0 seconds: {1, 2, 5, 9, 12, 15, 17, 20, 21, 22, 23, 24, 25, 26, 28, 30, 31, 32, 33, 35, 36, 37, 38, 39} 15589
7.63/7.87 c before 108.0 seconds: {1, 2, 5, 9, 12, 15, 17, 20, 21, 22, 23, 24, 25, 26, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16112
7.63/7.87 c before 126.0 seconds: {1, 2, 3, 5, 9, 12, 15, 17, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17545
7.63/7.87 c
7.63/7.87 c solver 2
7.63/7.87 c before 0.0 seconds: {} 0
7.63/7.87 c before 18.0 seconds: {0, 4, 6, 7, 10, 11, 13, 14, 16, 19, 26, 30, 31, 32, 35, 38} 11657
7.63/7.87 c before 36.0 seconds: {0, 4, 6, 7, 10, 11, 13, 14, 16, 19, 25, 26, 28, 30, 31, 32, 35, 38} 12794
7.63/7.87 c before 54.0 seconds: {0, 1, 2, 4, 6, 7, 8, 10, 11, 13, 14, 16, 19, 25, 26, 28, 30, 31, 32, 35, 38} 15580
7.63/7.87 c before 72.0 seconds: {0, 1, 2, 4, 6, 7, 8, 10, 11, 12, 13, 14, 16, 18, 19, 25, 26, 28, 30, 31, 32, 35, 38} 17176
7.63/7.87 c before 108.0 seconds: {0, 1, 2, 4, 6, 7, 8, 10, 11, 12, 13, 14, 16, 18, 19, 21, 25, 26, 27, 28, 30, 31, 32, 35, 38} 18396
7.63/7.87 c before 162.0 seconds: {0, 1, 2, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 18, 19, 21, 25, 26, 27, 28, 30, 31, 32, 35, 38} 19236
7.63/7.87 c
7.63/7.87 cTotal time: 18
7.63/7.87 c 324.0 seconds unused
7.63/7.87 c 0 c 0 c 0
7.63/7.87 c 25 c 0 c 14
7.63/7.87 c 24 c 13 c 0
7.63/7.87 c is solver0 dominated by:
7.63/7.87 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.63/7.87 c is dominated? true
7.63/7.87 c
7.63/7.87 c is solver1 dominated by:
7.63/7.87 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.63/7.87 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.63/7.87 c is dominated? false
7.63/7.87 c
7.63/7.87 c is solver2 dominated by:
7.63/7.87 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.63/7.87 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: false) (2 is equally as fast as 1: false) (2 < 1: true)
7.63/7.87 c is dominated? false
7.63/7.87 c
7.63/7.87 c Number of non-dominated solvers: 2
7.63/7.87 c remove dominated solvers
7.63/7.87 c solver 1 is not dominated by another solver
7.63/7.87 c solver 2 is not dominated by another solver
7.63/7.87 c solver 0 is dominated by another solver
7.63/7.87 c
7.63/7.87 c solver 0: 0.0
7.63/7.87 c
7.63/7.87 c solver 1: 126.0
7.63/7.87 c
7.63/7.87 c+ 7/16 of 84
7.63/7.87 c
7.63/7.87 c solver 2: 162.0
7.63/7.87 c
7.63/7.87 c+ 9/16 of 84
7.63/7.87 c do not run abscon
7.63/7.87 c run mistral for 774.0 seconds {1, 2, 3, 5, 9, 12, 15, 17, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17545
7.63/7.87 c run choco for 1008.0 seconds {0, 1, 2, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 18, 19, 21, 25, 26, 27, 28, 30, 31, 32, 35, 38} 19236
7.63/7.87 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.63/7.87 c On Instance: HOME/instance-1082465-1215222799.xml
7.63/7.87 c Running for: 774 seconds
9.18/9.44 c mistral-prime version 1.313
9.18/9.44 s SATISFIABLE
9.18/9.44 v 79 80 0 308 247 248 356 355 173 174 415 414 500 499 530 531 16 17 332 331 490 489 353 354 132 133 504 505 406 407 99 98 272 271 541 540 0 1 217 216 426 425 470 471 49 48 132 133 186 185 0 1 570 571 226 225 319 320 541 540 393 218 317 574 354 353 36 35 233 232 96 95 556 557 503 504 0 1 408 409 369 452 392 393 476 530 0 1 549 574 91 433 497 496 317 318 121 122 233 232 0 556 257 496 76 409 289 290 470 79 332 430 226 225 508 509 127 128 369 566 220 210 490 489 128 409 351 352 272 273 557 556 600 599 0 1 454 198 80 79 272 271 128 553 99 98 121 566 177 178 356 355 76 77 319 320 434 433 0 528 233 595 531 48 244 245 570 571 309 308 165 166 90 89 426 425 393 394 127 128 454 452 528 529 105 89 177 178 504 505 308 232 0 1 233 218 399 398 317 318
9.18/9.44 d CHECKS 3194458
9.18/9.44 d ASSIGNMENTS 1191