0.00/0.00 c cpHydra_k_40 version 0.0
7.19/7.31 c CASE TO CLASSIFY:
7.19/7.31 c Case: 0
7.19/7.31 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 21.961400 | c 34 > 48.571400 | c 16 > 2.000000 | c 13 > 6.043210 | c 14 > 10.943200 | c 11 > 12.451200 | c 12 > 3.280190 | 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.19/7.32 c choco : 1801.0
7.19/7.32 c mistral : 1801.0
7.19/7.32 c abscon : 1801.0
7.19/7.32 c
7.19/7.32 c
7.28/7.40 c List of same ones: 40
7.28/7.40 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-13.xml
7.28/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.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.28/7.41 c choco : 49.06
7.28/7.41 c mistral : 66.44
7.28/7.41 c abscon : 1801.0
7.28/7.41 c
7.28/7.41 c
7.28/7.41 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-17.xml
7.28/7.41 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.28/7.42 c choco : 39.1
7.28/7.42 c mistral : 14.75
7.28/7.42 c abscon : 1801.0
7.28/7.42 c
7.28/7.42 c
7.28/7.42 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-27.xml
7.28/7.42 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.28/7.43 c choco : 15.23
7.28/7.43 c mistral : 1801.0
7.28/7.43 c abscon : 1801.0
7.28/7.43 c
7.28/7.43 c
7.28/7.43 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-12.xml
7.28/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.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.28/7.43 c choco : 1801.0
7.28/7.43 c mistral : 22.72
7.28/7.44 c abscon : 1801.0
7.28/7.44 c
7.28/7.44 c
7.28/7.44 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-14.xml
7.28/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.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.28/7.45 c choco : 1801.0
7.28/7.45 c mistral : 112.09
7.28/7.45 c abscon : 1801.0
7.28/7.45 c
7.28/7.45 c
7.28/7.45 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-19.xml
7.28/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.28/7.46 c choco : 154.09
7.28/7.46 c mistral : 68.05
7.28/7.46 c abscon : 1801.0
7.28/7.46 c
7.28/7.46 c
7.28/7.46 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-18.xml
7.28/7.46 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.28/7.46 c choco : 60.72
7.28/7.46 c mistral : 58.81
7.28/7.46 c abscon : 1801.0
7.28/7.46 c
7.28/7.46 c
7.28/7.46 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-30.xml
7.28/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.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.28/7.47 c choco : 13.88
7.28/7.47 c mistral : 1801.0
7.28/7.47 c abscon : 1801.0
7.28/7.47 c
7.28/7.47 c
7.28/7.47 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-21.xml
7.28/7.47 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.28/7.48 c choco : 14.88
7.28/7.48 c mistral : 1801.0
7.28/7.48 c abscon : 1801.0
7.28/7.48 c
7.28/7.48 c
7.28/7.48 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-16.xml
7.28/7.48 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.28/7.49 c choco : 47.73
7.28/7.49 c mistral : 1801.0
7.28/7.49 c abscon : 1801.0
7.28/7.49 c
7.28/7.49 c
7.28/7.49 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-20.xml
7.28/7.49 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.46/7.69 c choco : 70.38
7.46/7.69 c mistral : 1801.0
7.46/7.69 c abscon : 1801.0
7.46/7.69 c
7.46/7.69 c
7.46/7.69 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-3.xml
7.46/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.46/7.70 c choco : 1801.0
7.46/7.70 c mistral : 85.99
7.46/7.70 c abscon : 1801.0
7.46/7.70 c
7.46/7.70 c
7.46/7.70 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-10.xml
7.46/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.56/7.71 c choco : 1801.0
7.56/7.71 c mistral : 74.48
7.56/7.71 c abscon : 1801.0
7.56/7.71 c
7.56/7.71 c
7.56/7.71 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-25.xml
7.56/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.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.56/7.72 c choco : 14.65
7.56/7.72 c mistral : 1801.0
7.56/7.72 c abscon : 1801.0
7.56/7.72 c
7.56/7.72 c
7.56/7.72 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-28.xml
7.56/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.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.56/7.73 c choco : 14.4
7.56/7.73 c mistral : 1801.0
7.56/7.73 c abscon : 1801.0
7.56/7.73 c
7.56/7.73 c
7.56/7.73 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-29.xml
7.56/7.73 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.56/7.73 c choco : 15.72
7.56/7.74 c mistral : 1801.0
7.56/7.74 c abscon : 1801.0
7.56/7.74 c
7.56/7.74 c
7.56/7.74 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-23.xml
7.56/7.74 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.56/7.74 c choco : 14.97
7.56/7.74 c mistral : 1801.0
7.56/7.74 c abscon : 1801.0
7.56/7.74 c
7.56/7.74 c
7.56/7.74 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-22.xml
7.56/7.74 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.56/7.75 c choco : 13.96
7.56/7.75 c mistral : 1801.0
7.56/7.75 c abscon : 1801.0
7.56/7.75 c
7.56/7.75 c
7.56/7.75 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-24.xml
7.56/7.75 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.56/7.75 c choco : 14.8
7.56/7.75 c mistral : 1801.0
7.56/7.75 c abscon : 1801.0
7.56/7.75 c
7.56/7.75 c
7.56/7.75 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-15.xml
7.56/7.75 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.56/7.76 c choco : 1801.0
7.56/7.76 c mistral : 14.22
7.56/7.76 c abscon : 1801.0
7.56/7.76 c
7.56/7.76 c
7.56/7.76 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-26.xml
7.56/7.76 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.56/7.77 c choco : 14.94
7.56/7.77 c mistral : 1801.0
7.56/7.77 c abscon : 1801.0
7.56/7.77 c
7.56/7.77 c
7.56/7.77 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-13.xml
7.56/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.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.56/7.78 c choco : 99.68
7.56/7.78 c mistral : 7.11
7.56/7.78 c abscon : 1801.0
7.56/7.78 c
7.56/7.78 c
7.56/7.78 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-14.xml
7.56/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.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.56/7.78 c choco : 17.22
7.56/7.78 c mistral : 14.51
7.56/7.78 c abscon : 1801.0
7.56/7.78 c
7.56/7.78 c
7.56/7.78 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-16.xml
7.56/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.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.56/7.79 c choco : 1801.0
7.56/7.79 c mistral : 1.59
7.56/7.79 c abscon : 1801.0
7.56/7.79 c
7.56/7.79 c
7.56/7.79 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-19.xml
7.56/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.56/7.79 c choco : 17.34
7.56/7.79 c mistral : 2.49
7.56/7.79 c abscon : 26.85
7.56/7.79 c
7.56/7.79 c
7.56/7.79 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-3.xml
7.56/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.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.63/7.80 c choco : 1801.0
7.63/7.80 c mistral : 87.52
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-12.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.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.63/7.81 c choco : 30.54
7.63/7.81 c mistral : 4.11
7.63/7.81 c abscon : 13.69
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-11.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.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.63/7.81 c choco : 22.63
7.63/7.81 c mistral : 7.27
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-9.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.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.82 c choco : 1801.0
7.63/7.82 c mistral : 60.21
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-6.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.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.63/7.82 c choco : 93.88
7.63/7.82 c mistral : 1801.0
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-17.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.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.83 c choco : 1801.0
7.63/7.83 c mistral : 2.19
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-18.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 > 19.801500 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 5.206750 | c 14 > 10.210700 | c 11 > 10.862600 | c 12 > 2.336730 | c 21 > 19.874600 | c 20 > 100.000000 | c 22 > 21.095000 | 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.495200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.83 c choco : 19.25
7.63/7.83 c mistral : 1.68
7.63/7.83 c abscon : 44.86
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-23.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.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.84 c choco : 5.9
7.63/7.84 c mistral : 9.99
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-4.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.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.63/7.85 c choco : 1801.0
7.63/7.85 c mistral : 84.57
7.63/7.85 c abscon : 1801.0
7.63/7.85 c
7.63/7.85 c
7.63/7.85 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-1.xml
7.63/7.85 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.85 c choco : 1801.0
7.63/7.85 c mistral : 92.41
7.63/7.85 c abscon : 1801.0
7.63/7.86 c
7.63/7.86 c
7.63/7.86 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-24.xml
7.63/7.86 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.63/7.86 c choco : 5.98
7.63/7.86 c mistral : 9.43
7.63/7.86 c abscon : 1801.0
7.63/7.86 c
7.63/7.86 c
7.63/7.86 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-2.xml
7.63/7.86 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.63/7.87 c choco : 1801.0
7.63/7.87 c mistral : 111.44
7.63/7.87 c abscon : 1801.0
7.63/7.87 c
7.63/7.87 c
7.63/7.87 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-8.xml
7.63/7.87 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.87 c choco : 1801.0
7.63/7.87 c mistral : 67.69
7.63/7.87 c abscon : 1801.0
7.63/7.87 c
7.63/7.87 c
7.63/7.87 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-26.xml
7.63/7.87 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.88 c choco : 6.25
7.63/7.88 c mistral : 12.24
7.63/7.88 c abscon : 1801.0
7.63/7.88 c
7.63/7.88 c
7.63/7.88 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-20.xml
7.63/7.88 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.903600 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 5.106790 | c 14 > 9.670660 | c 11 > 10.862600 | c 12 > 3.180480 | c 21 > 19.212600 | 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.398000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.88 c choco : 16.57
7.63/7.88 c mistral : 1.45
7.63/7.88 c abscon : 37.75
7.63/7.89 c
7.63/7.89 c
7.63/7.89 c Length: 40
7.63/7.89 c 2.9441850157556337 3.065439623120965 3.2320813592018376 3.3043966964788005 3.3552146017952404 3.434848808040903 3.448539782255673 3.508053725443782 3.6056679183335794 3.647144098866947 3.6491757744044073 3.6802067587704905 3.6897425272910302 3.715519402371626 3.722662741036314 3.7457218980324734 3.756758890386764 3.78224159156974 3.8859716501024533 3.9981905645929383 4.600465120593785 6.138559609859628 6.356298172765339 6.513385775961683 6.80795411178718 6.820699172709493 6.8363582929948885 6.847435353539307 7.14024089049522 7.362054908345902 7.400830740680397 7.475906506618443 7.481701445580409 7.515191918307873 7.5857385875338466 7.654133874900541 7.78482710231897 7.794578517476105 8.002374329953579 8.035872393499039
7.63/7.89 c
7.63/7.89 c 1.0 0.9767396975236429 0.9464835276543404 0.9339291360936381 0.9253042472028161 0.9121044561080973 0.9098729506497979 0.9002982728893373 0.8850228881907876 0.878688184368089 0.8783802132771933 0.8737030747823098 0.8722757866635418 0.8684408113057263 0.8673840153355076 0.8639900932135771 0.8623750135879683 0.858669011279767 0.843906407409792 0.8284968739198423 0.7545512616779072 0.6144882086379327 0.5987543283658677 0.5878943702589963 0.5685569901047299 0.5677489915948106 0.5667593892297779 0.5660614379746204 0.548215776354734 0.5354284361510289 0.5332540583780632 0.529093946569564 0.5287755332109116 0.5269428205057127 0.5231235314269763 0.5194732037270385 0.512637785127962 0.5121349785295624 0.5016501709607988 0.5
7.70/7.90 c
7.70/7.90 c solver 0
7.70/7.90 c before 0.0 seconds: {} 0
7.70/7.90 c before 18.0 seconds: {26} 566
7.70/7.90 c before 36.0 seconds: {24, 26} 1135
7.70/7.90 c before 54.0 seconds: {24, 26, 31, 39} 2164
7.70/7.90 c
7.70/7.90 c solver 1
7.70/7.90 c before 0.0 seconds: {} 0
7.70/7.90 c before 18.0 seconds: {1, 19, 21, 22, 23, 24, 26, 27, 30, 31, 32, 35, 38, 39} 8419
7.70/7.90 c before 36.0 seconds: {1, 3, 19, 21, 22, 23, 24, 26, 27, 30, 31, 32, 35, 38, 39} 9353
7.70/7.90 c before 72.0 seconds: {0, 1, 3, 5, 6, 19, 21, 22, 23, 24, 26, 27, 28, 30, 31, 32, 35, 37, 38, 39} 13236
7.70/7.90 c before 90.0 seconds: {0, 1, 3, 5, 6, 11, 12, 19, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 35, 37, 38, 39} 16076
7.70/7.90 c before 108.0 seconds: {0, 1, 3, 5, 6, 11, 12, 19, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 37, 38, 39} 16600
7.70/7.90 c before 126.0 seconds: {0, 1, 3, 4, 5, 6, 11, 12, 19, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18037
7.70/7.90 c
7.70/7.90 c solver 2
7.70/7.91 c before 0.0 seconds: {} 0
7.70/7.91 c before 18.0 seconds: {2, 7, 8, 13, 14, 15, 16, 17, 18, 20, 22, 24, 32, 35, 38, 39} 11868
7.70/7.91 c before 36.0 seconds: {2, 7, 8, 13, 14, 15, 16, 17, 18, 20, 22, 24, 26, 27, 31, 32, 35, 38, 39} 13530
7.70/7.91 c before 54.0 seconds: {0, 1, 2, 7, 8, 9, 13, 14, 15, 16, 17, 18, 20, 22, 24, 26, 27, 31, 32, 35, 38, 39} 16385
7.70/7.91 c before 72.0 seconds: {0, 1, 2, 6, 7, 8, 9, 10, 13, 14, 15, 16, 17, 18, 20, 22, 24, 26, 27, 31, 32, 35, 38, 39} 18173
7.70/7.91 c before 108.0 seconds: {0, 1, 2, 6, 7, 8, 9, 10, 13, 14, 15, 16, 17, 18, 20, 21, 22, 24, 26, 27, 29, 31, 32, 35, 38, 39} 19323
7.70/7.91 c before 162.0 seconds: {0, 1, 2, 5, 6, 7, 8, 9, 10, 13, 14, 15, 16, 17, 18, 20, 21, 22, 24, 26, 27, 29, 31, 32, 35, 38, 39} 20235
7.70/7.91 c
7.70/7.91 cTotal time: 19
7.70/7.91 c 342.0 seconds unused
7.70/7.91 c 0 c 0 c 0
7.70/7.91 c 23 c 0 c 13
7.70/7.91 c 23 c 13 c 0
7.70/7.91 c is solver0 dominated by:
7.70/7.91 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
7.70/7.91 c is dominated? true
7.70/7.91 c
7.70/7.91 c is solver1 dominated by:
7.70/7.91 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.70/7.91 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.70/7.91 c is dominated? false
7.70/7.91 c
7.70/7.91 c is solver2 dominated by:
7.70/7.91 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true)
7.70/7.91 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.70/7.91 c is dominated? false
7.70/7.91 c
7.70/7.91 c Number of non-dominated solvers: 2
7.70/7.91 c remove dominated solvers
7.70/7.91 c solver 1 is not dominated by another solver
7.70/7.91 c solver 2 is not dominated by another solver
7.70/7.91 c solver 0 is dominated by another solver
7.70/7.91 c
7.70/7.91 c solver 0: 0.0
7.70/7.91 c
7.70/7.91 c solver 1: 126.0
7.70/7.91 c
7.70/7.91 c+ 7/16 of 84
7.70/7.91 c
7.70/7.91 c solver 2: 162.0
7.70/7.91 c
7.70/7.91 c+ 9/16 of 84
7.70/7.91 c do not run abscon
7.70/7.91 c run mistral for 774.0 seconds {0, 1, 3, 4, 5, 6, 11, 12, 19, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18037
7.70/7.91 c run choco for 1008.0 seconds {0, 1, 2, 5, 6, 7, 8, 9, 10, 13, 14, 15, 16, 17, 18, 20, 21, 22, 24, 26, 27, 29, 31, 32, 35, 38, 39} 20235
7.70/7.91 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.70/7.91 c On Instance: HOME/instance-1082423-1215222632.xml
7.70/7.91 c Running for: 774 seconds
16.59/16.95 c mistral-prime version 1.313
16.59/16.95 s SATISFIABLE
16.59/16.95 v 59 60 573 102 0 1 137 138 301 302 218 217 585 586 504 503 357 356 450 451 59 60 433 432 545 546 169 168 347 348 281 282 620 619 184 185 1 0 338 337 261 262 433 432 357 186 393 392 0 1 212 213 536 535 386 503 76 573 85 580 347 348 187 186 0 1 261 262 97 98 581 580 302 301 76 75 412 411 497 498 369 370 467 466 0 1 558 557 116 117 169 168 281 282 33 531 36 186 225 224 558 557 497 498 0 1 369 370 379 378 272 271 74 73 212 213 139 138 413 412 233 426 531 390 251 217 585 85 457 458 121 480 330 331 59 58 158 157 450 472 352 353 413 412 126 127 596 595 33 32 289 290 210 209 467 466 198 199 545 546 480 481 352 353 595 596 97 96 393 392 255 254 110 224 0 1 137 138 547 546 547 546 330 331 383 382 97 267 102 103 255 254 272 271 0 1 184 185 441 442
16.59/16.95 d CHECKS 22675124
16.59/16.95 d ASSIGNMENTS 7774