0.00/0.00 c cpHydra_k_40 version 0.0
7.09/7.29 c CASE TO CLASSIFY:
7.09/7.29 c Case: 0
7.09/7.29 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 23.211800 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 10.148200 | c 14 > 12.448900 | c 11 > 9.344300 | c 12 > 8.844750 | c 21 > 15.796200 | c 20 > 100.000000 | c 22 > 17.378100 | 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 > 5.643860 | c 2 > -1.000000 | c 10 > 10.574600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 17.317900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/7.30 c choco : 1801.0
7.18/7.30 c mistral : 1801.0
7.18/7.30 c abscon : 1801.0
7.18/7.30 c
7.18/7.30 c
7.18/7.39 c List of same ones: 40
7.18/7.39 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-2.xml
7.18/7.39 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 21.484200 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 10.067300 | c 14 > 11.169300 | c 11 > 9.344300 | c 12 > 7.109590 | c 21 > 14.752600 | c 20 > 100.000000 | c 22 > 16.186400 | 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 > 5.643860 | c 2 > -1.000000 | c 10 > 10.574600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 17.122300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/7.39 c choco : 54.64
7.18/7.39 c mistral : 2.71
7.18/7.39 c abscon : 1801.0
7.18/7.39 c
7.18/7.39 c
7.18/7.39 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-3.xml
7.18/7.39 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 21.378400 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 9.441940 | c 14 > 11.339900 | c 11 > 9.344300 | c 12 > 6.577660 | c 21 > 16.298500 | c 20 > 100.000000 | c 22 > 17.916500 | 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 > 5.643860 | c 2 > -1.000000 | c 10 > 10.574600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 17.407600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.40 c choco : 28.64
7.28/7.40 c mistral : 10.18
7.28/7.40 c abscon : 1801.0
7.28/7.40 c
7.28/7.40 c
7.28/7.40 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-5.xml
7.28/7.40 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 21.396700 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 9.085870 | c 14 > 11.233000 | c 11 > 9.344300 | c 12 > 6.347450 | c 21 > 16.374400 | c 20 > 100.000000 | c 22 > 18.027800 | 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 > 5.643860 | c 2 > -1.000000 | c 10 > 10.574600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 17.420900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.41 c choco : 375.97
7.28/7.41 c mistral : 51.29
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-5/super-os-taillard-5-6.xml
7.28/7.41 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 21.439100 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 8.099700 | c 14 > 10.783000 | c 11 > 9.344300 | c 12 > 6.727480 | c 21 > 16.027500 | c 20 > 100.000000 | c 22 > 17.578400 | 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 > 5.643860 | c 2 > -1.000000 | c 10 > 10.574600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 17.359600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.42 c choco : 63.4
7.28/7.42 c mistral : 7.85
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-5/super-os-taillard-5-1.xml
7.28/7.42 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 21.455400 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 7.800880 | c 14 > 10.906900 | c 11 > 9.344300 | c 12 > 6.313780 | c 21 > 15.794900 | c 20 > 100.000000 | c 22 > 17.320500 | 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 > 5.643860 | c 2 > -1.000000 | c 10 > 10.574600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 17.317700 | 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 : 10.53
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-5/super-os-taillard-5-10.xml
7.28/7.43 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 21.393700 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 7.595230 | c 14 > 10.694400 | c 11 > 9.344300 | c 12 > 6.325340 | c 21 > 16.384100 | c 20 > 100.000000 | c 22 > 17.691800 | 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 > 5.643860 | c 2 > -1.000000 | c 10 > 10.574600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 17.422600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.44 c choco : 1801.0
7.28/7.44 c mistral : 95.35
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-5/super-os-taillard-5-4.xml
7.28/7.44 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 21.304100 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 7.556400 | c 14 > 10.683000 | c 11 > 9.344300 | c 12 > 6.123910 | c 21 > 15.936100 | c 20 > 100.000000 | c 22 > 17.492900 | 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 > 5.643860 | c 2 > -1.000000 | c 10 > 10.574600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 17.343200 | 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 : 81.98
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-5/super-os-taillard-5-9.xml
7.28/7.45 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 21.428300 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 7.538000 | c 14 > 10.709100 | c 11 > 9.344300 | c 12 > 6.160120 | c 21 > 17.054000 | c 20 > 100.000000 | c 22 > 18.384800 | 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 > 5.643860 | c 2 > -1.000000 | c 10 > 10.574600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 17.537500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.46 c choco : 1801.0
7.28/7.46 c mistral : 42.39
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-5/super-os-taillard-5-28.xml
7.28/7.46 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 20.181300 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 8.683120 | c 14 > 10.151000 | c 11 > 9.344300 | c 12 > 6.387770 | c 21 > 15.263000 | c 20 > 100.000000 | c 22 > 16.792900 | 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 > 5.643860 | c 2 > -1.000000 | c 10 > 10.574600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 17.219600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.46 c choco : 3.89
7.28/7.46 c mistral : 0.14
7.28/7.46 c abscon : 11.49
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-5/super-os-taillard-5-8.xml
7.28/7.46 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 21.384700 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 7.171220 | c 14 > 10.375000 | c 11 > 9.344300 | c 12 > 5.982520 | c 21 > 15.746700 | c 20 > 100.000000 | c 22 > 17.233700 | 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 > 5.643860 | c 2 > -1.000000 | c 10 > 10.574600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 17.309000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.47 c choco : 506.49
7.28/7.47 c mistral : 186.47
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-5/super-os-taillard-5-7.xml
7.28/7.47 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 21.432600 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 7.179500 | c 14 > 10.456400 | c 11 > 9.344300 | c 12 > 5.862220 | c 21 > 15.796200 | c 20 > 100.000000 | c 22 > 17.378100 | 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 > 5.643860 | c 2 > -1.000000 | c 10 > 10.574600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 17.317900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.48 c choco : 1801.0
7.28/7.48 c mistral : 14.83
7.28/7.48 c abscon : 1801.0
7.28/7.48 c
7.28/7.48 c
7.28/7.49 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-27.xml
7.28/7.49 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 19.066200 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 7.117060 | c 14 > 9.129280 | c 11 > 9.344300 | c 12 > 4.928040 | c 21 > 15.314000 | c 20 > 100.000000 | c 22 > 16.941100 | 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 > 5.643860 | c 2 > -1.000000 | c 10 > 10.574600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 17.229200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.50 c choco : 4.01
7.34/7.50 c mistral : 0.25
7.34/7.50 c abscon : 13.31
7.34/7.50 c
7.34/7.50 c
7.34/7.50 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-25.xml
7.34/7.50 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.728500 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 7.239150 | c 14 > 10.210700 | c 11 > 10.862600 | c 12 > 4.543070 | c 21 > 18.555500 | c 20 > 100.000000 | c 22 > 19.799000 | 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.298100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.51 c choco : 5.95
7.34/7.51 c mistral : 1.56
7.34/7.51 c abscon : 1801.0
7.34/7.51 c
7.34/7.51 c
7.34/7.51 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-28.xml
7.34/7.51 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.719900 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 7.202820 | c 14 > 9.897850 | c 11 > 10.862600 | c 12 > 4.918750 | c 21 > 18.788300 | c 20 > 100.000000 | c 22 > 20.074900 | 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.333900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.52 c choco : 6.14
7.34/7.52 c mistral : 11.12
7.34/7.52 c abscon : 1801.0
7.34/7.52 c
7.34/7.52 c
7.34/7.52 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-29.xml
7.34/7.52 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.34/7.53 c choco : 6.33
7.34/7.53 c mistral : 1.24
7.34/7.53 c abscon : 1801.0
7.34/7.53 c
7.34/7.53 c
7.34/7.53 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-30.xml
7.34/7.53 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.640700 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 6.513750 | c 14 > 9.832890 | c 11 > 10.862600 | c 12 > 4.183550 | c 21 > 18.141700 | c 20 > 100.000000 | c 22 > 19.442200 | 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.233400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.53 c choco : 5.94
7.34/7.53 c mistral : 1.58
7.34/7.53 c abscon : 1801.0
7.34/7.53 c
7.34/7.53 c
7.34/7.53 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-21.xml
7.34/7.53 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.713200 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 7.010870 | c 14 > 10.041700 | c 11 > 10.862600 | c 12 > 4.643950 | c 21 > 19.016100 | c 20 > 100.000000 | c 22 > 20.297800 | 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.368500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.54 c choco : 5.84
7.34/7.54 c mistral : 8.34
7.34/7.54 c abscon : 1801.0
7.34/7.54 c
7.34/7.54 c
7.34/7.54 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-27.xml
7.34/7.54 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.705000 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 7.180150 | c 14 > 9.607330 | c 11 > 10.862600 | c 12 > 4.259220 | c 21 > 18.640000 | c 20 > 100.000000 | c 22 > 19.924900 | 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.311100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.55 c choco : 6.0
7.34/7.55 c mistral : 10.68
7.34/7.55 c abscon : 1801.0
7.34/7.55 c
7.34/7.55 c
7.34/7.55 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-4.xml
7.34/7.55 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.34/7.55 c choco : 1801.0
7.34/7.55 c mistral : 84.57
7.34/7.55 c abscon : 1801.0
7.34/7.55 c
7.34/7.55 c
7.34/7.55 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-2.xml
7.34/7.55 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.34/7.56 c choco : 1801.0
7.34/7.56 c mistral : 111.44
7.34/7.56 c abscon : 1801.0
7.34/7.56 c
7.34/7.56 c
7.34/7.56 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-7.xml
7.34/7.56 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.34/7.57 c choco : 1801.0
7.34/7.57 c mistral : 63.98
7.34/7.57 c abscon : 1801.0
7.34/7.57 c
7.34/7.57 c
7.34/7.57 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-4/super-os-taillard-4-4.xml
7.34/7.57 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 18.624100 | c 34 > 46.000000 | c 16 > 2.000000 | c 13 > 6.276440 | c 14 > 8.633000 | c 11 > 8.321930 | c 12 > 5.109440 | c 21 > 14.020100 | c 20 > 100.000000 | c 22 > 15.231500 | 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 > 5.000000 | c 2 > -1.000000 | c 10 > 9.523560 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.169930 | c 6 > 8.169930 | c 32 > -1.000000 | c 5 > 15.953900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.57 c choco : 10.59
7.34/7.58 c mistral : 0.3
7.34/7.58 c abscon : 10.34
7.34/7.58 c
7.34/7.58 c
7.34/7.58 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-12.xml
7.34/7.58 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 19.496800 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 5.048510 | c 14 > 9.036170 | c 11 > 9.344300 | c 12 > 3.379580 | c 21 > 15.186800 | c 20 > 100.000000 | c 22 > 16.583100 | 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 > 5.643860 | c 2 > -1.000000 | c 10 > 10.574600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 17.205300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.58 c choco : 11.84
7.34/7.58 c mistral : 0.2
7.34/7.58 c abscon : 7.15
7.34/7.58 c
7.34/7.58 c
7.34/7.58 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-22.xml
7.34/7.58 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 19.125300 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 8.206680 | c 14 > 9.204570 | c 11 > 10.862600 | c 12 > 5.047120 | c 21 > 19.173700 | c 20 > 100.000000 | c 22 > 20.469500 | 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.392200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.59 c choco : 5.8
7.34/7.59 c mistral : 0.75
7.34/7.59 c abscon : 1801.0
7.34/7.59 c
7.34/7.59 c
7.34/7.59 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-26.xml
7.34/7.59 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.34/7.59 c choco : 6.25
7.34/7.59 c mistral : 12.24
7.34/7.59 c abscon : 1801.0
7.34/7.59 c
7.34/7.59 c
7.34/7.59 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-8.xml
7.34/7.59 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.40/7.60 c choco : 1801.0
7.40/7.60 c mistral : 67.69
7.40/7.60 c abscon : 1801.0
7.40/7.60 c
7.40/7.60 c
7.40/7.60 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-24.xml
7.40/7.60 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.40/7.60 c choco : 5.98
7.40/7.60 c mistral : 9.43
7.40/7.60 c abscon : 1801.0
7.40/7.60 c
7.40/7.60 c
7.40/7.61 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-6.xml
7.40/7.61 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.40/7.61 c choco : 93.88
7.40/7.61 c mistral : 1801.0
7.40/7.61 c abscon : 1801.0
7.40/7.61 c
7.40/7.61 c
7.40/7.61 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-11.xml
7.40/7.61 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 18.855800 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 5.209530 | c 14 > 8.633000 | c 11 > 9.344300 | c 12 > 3.131180 | c 21 > 16.262800 | c 20 > 100.000000 | c 22 > 17.748200 | 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 > 5.643860 | c 2 > -1.000000 | c 10 > 10.574600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 17.401300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.62 c choco : 10.99
7.40/7.62 c mistral : 0.22
7.40/7.62 c abscon : 5.59
7.40/7.62 c
7.40/7.62 c
7.40/7.62 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-29.xml
7.40/7.62 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 17.528400 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 5.969400 | c 14 > 8.033420 | c 11 > 9.344300 | c 12 > 3.961340 | c 21 > 16.517900 | c 20 > 100.000000 | c 22 > 17.888500 | 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 > 5.643860 | c 2 > -1.000000 | c 10 > 10.574600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 17.445900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.62 c choco : 3.96
7.40/7.62 c mistral : 0.27
7.40/7.62 c abscon : 22.05
7.40/7.62 c
7.40/7.62 c
7.40/7.62 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-23.xml
7.40/7.62 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 17.495600 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 6.074990 | c 14 > 7.794420 | c 11 > 9.344300 | c 12 > 3.996670 | c 21 > 15.800000 | c 20 > 100.000000 | c 22 > 17.464200 | 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 > 5.643860 | c 2 > -1.000000 | c 10 > 10.574600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 17.318600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.63 c choco : 3.95
7.40/7.63 c mistral : 0.2
7.40/7.63 c abscon : 9.21
7.40/7.63 c
7.40/7.63 c
7.40/7.63 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-23.xml
7.40/7.63 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.40/7.63 c choco : 5.9
7.40/7.63 c mistral : 9.99
7.40/7.63 c abscon : 1801.0
7.40/7.63 c
7.40/7.63 c
7.40/7.64 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-24.xml
7.40/7.64 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 17.489400 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 5.767650 | c 14 > 7.839200 | c 11 > 9.344300 | c 12 > 3.937920 | c 21 > 15.458300 | c 20 > 100.000000 | c 22 > 17.058700 | 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 > 5.643860 | c 2 > -1.000000 | c 10 > 10.574600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 17.256000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.64 c choco : 4.08
7.40/7.64 c mistral : 0.09
7.40/7.64 c abscon : 12.52
7.40/7.64 c
7.40/7.64 c
7.40/7.64 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-13.xml
7.40/7.64 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 19.225200 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 4.646830 | c 14 > 8.857980 | c 11 > 9.344300 | c 12 > 2.791410 | c 21 > 16.782100 | c 20 > 100.000000 | c 22 > 18.357600 | 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 > 5.643860 | c 2 > -1.000000 | c 10 > 10.574600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 17.491400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.65 c choco : 13.08
7.40/7.65 c mistral : 0.48
7.40/7.65 c abscon : 7.56
7.40/7.65 c
7.40/7.65 c
7.40/7.65 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-1.xml
7.40/7.65 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.40/7.65 c choco : 1801.0
7.40/7.66 c mistral : 92.41
7.40/7.66 c abscon : 1801.0
7.40/7.66 c
7.40/7.66 c
7.40/7.66 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-4/super-os-taillard-4-3.xml
7.40/7.66 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 17.919100 | c 34 > 46.000000 | c 16 > 2.000000 | c 13 > 5.649350 | c 14 > 7.714250 | c 11 > 8.321930 | c 12 > 4.556120 | c 21 > 14.739400 | c 20 > 100.000000 | c 22 > 16.431700 | 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 > 5.000000 | c 2 > -1.000000 | c 10 > 9.523560 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.169930 | c 6 > 8.169930 | c 32 > -1.000000 | c 5 > 16.097000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.66 c choco : 9.25
7.40/7.66 c mistral : 0.1
7.40/7.66 c abscon : 14.49
7.40/7.66 c
7.40/7.66 c
7.40/7.66 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-22.xml
7.40/7.66 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 17.714700 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 5.772950 | c 14 > 7.918860 | c 11 > 9.344300 | c 12 > 3.898430 | c 21 > 14.305200 | c 20 > 100.000000 | c 22 > 15.779700 | 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 > 5.643860 | c 2 > -1.000000 | c 10 > 10.574600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 17.034200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.67 c choco : 3.74
7.40/7.67 c mistral : 0.13
7.40/7.67 c abscon : 5.83
7.40/7.67 c
7.40/7.67 c
7.40/7.67 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-5.xml
7.40/7.67 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.829700 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 5.383170 | c 14 > 9.802520 | c 11 > 10.862600 | c 12 > 3.424140 | c 21 > 19.113000 | c 20 > 100.000000 | c 22 > 20.322400 | 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.383100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.67 c choco : 1801.0
7.40/7.67 c mistral : 71.03
7.40/7.67 c abscon : 1801.0
7.40/7.67 c
7.40/7.67 c
7.40/7.67 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-11.xml
7.40/7.67 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.40/7.68 c choco : 22.63
7.40/7.68 c mistral : 7.27
7.40/7.68 c abscon : 1801.0
7.40/7.68 c
7.40/7.68 c
7.40/7.68 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr2/super-jobShop-enddr2-6.xml
7.40/7.68 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.498800 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 7.414900 | c 14 > 10.803300 | c 11 > 10.501800 | c 12 > 5.164800 | c 21 > 11.584500 | c 20 > 100.000000 | c 22 > 12.165500 | 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.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.703200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.69 c choco : 26.5
7.40/7.69 c mistral : 1.86
7.40/7.69 c abscon : 8.39
7.40/7.69 c
7.40/7.69 c
7.40/7.69 c Length: 40
7.40/7.69 c 3.1916785811857684 3.283285360077616 3.5923651636352334 3.8330446479137175 4.169141970873622 4.438900383991513 4.57291053767729 4.782456320438273 4.825340294404117 4.971670436915544 4.984403051610091 7.2914783657431235 8.215769229609602 8.309972776501736 8.573014959808479 8.589582814194179 8.636224653643511 8.642976642777649 8.732972404702764 8.8023061927713 8.907306376088114 8.961720779292333 9.074080912020786 9.090845475834467 9.106321622554299 9.209850981628312 9.247742462752733 9.416596324713085 9.535870041784337 9.690474957838752 9.718100330872286 9.815941064080407 9.873267907911746 9.882165974567519 9.891162112325324 9.934940799229755 9.960256731957264 10.033005770789728 10.225785655146503 10.25643478579667
7.40/7.69 c
7.40/7.69 c 1.0 0.9871992548305579 0.9463278208837171 0.916771880312182 0.8784585053632716 0.8499488567350795 0.8364629537544563 0.8162126392698936 0.812188638364936 0.7987515479710323 0.797603343863102 0.632784341040079 0.5844028210877197 0.5798840169497541 0.5676284470298719 0.5668738420638901 0.5647602118914032 0.5644555428053654 0.560425842262033 0.5573603377267087 0.5527812157193375 0.5504376448262019 0.5456607475122401 0.5449551150927752 0.544305331142296 0.5399980706064581 0.5384386157427211 0.5315974065413862 0.5268688029069534 0.5208632592592191 0.51980455471684 0.516089309678506 0.5139370451954461 0.5136045868094902 0.5132689011701317 0.5116415685700215 0.5107052300707301 0.5080334990332321 0.501086936231829 0.5
7.46/7.71 c
7.46/7.71 c solver 0
7.46/7.71 c before 0.0 seconds: {} 0
7.46/7.71 c before 18.0 seconds: {8, 11, 21, 22, 28, 30, 32, 33, 35, 36, 39} 6137
7.46/7.71 c before 36.0 seconds: {8, 11, 21, 22, 28, 29, 30, 32, 33, 35, 36, 39} 6658
7.46/7.71 c
7.46/7.71 c solver 1
7.46/7.71 c before 0.0 seconds: {} 0
7.46/7.71 c before 18.0 seconds: {0, 1, 3, 4, 8, 10, 11, 12, 13, 14, 15, 16, 17, 21, 22, 23, 24, 26, 28, 29, 30, 31, 32, 33, 35, 36, 38, 39} 17311
7.46/7.71 c before 54.0 seconds: {0, 1, 2, 3, 4, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 21, 22, 23, 24, 26, 28, 29, 30, 31, 32, 33, 35, 36, 38, 39} 19073
7.46/7.71 c before 72.0 seconds: {0, 1, 2, 3, 4, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 20674
7.46/7.71 c before 90.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 22071
7.46/7.71 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23434
7.46/7.71 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23992
7.46/7.71 c before 198.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, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24790
7.46/7.71 c
7.46/7.71 c solver 2
7.46/7.71 c before 0.0 seconds: {} 0
7.46/7.71 c before 18.0 seconds: {8, 11, 12, 13, 14, 15, 16, 17, 21, 22, 23, 24, 26, 28, 29, 30, 31, 32, 33, 35, 36} 11730
7.46/7.71 c before 36.0 seconds: {1, 8, 11, 12, 13, 14, 15, 16, 17, 21, 22, 23, 24, 26, 28, 29, 30, 31, 32, 33, 35, 36, 38, 39} 13718
7.46/7.71 c before 72.0 seconds: {0, 1, 3, 8, 11, 12, 13, 14, 15, 16, 17, 21, 22, 23, 24, 26, 28, 29, 30, 31, 32, 33, 35, 36, 38, 39} 15635
7.46/7.71 c before 108.0 seconds: {0, 1, 3, 8, 11, 12, 13, 14, 15, 16, 17, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 38, 39} 16166
7.46/7.71 c before 378.0 seconds: {0, 1, 2, 3, 8, 11, 12, 13, 14, 15, 16, 17, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 38, 39} 17113
7.46/7.71 c before 522.0 seconds: {0, 1, 2, 3, 8, 9, 11, 12, 13, 14, 15, 16, 17, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 38, 39} 17912
7.46/7.71 c
7.46/7.71 cTotal time: 42
7.46/7.71 c 756.0 seconds unused
7.46/7.71 c 0 c 0 c 0
7.46/7.71 c 27 c 0 c 11
7.46/7.71 c 17 c 1 c 0
7.46/7.71 c is solver0 dominated by:
7.46/7.71 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.46/7.71 c is dominated? true
7.46/7.71 c
7.46/7.71 c is solver1 dominated by:
7.46/7.71 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.46/7.71 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.46/7.71 c is dominated? false
7.46/7.71 c
7.46/7.72 c is solver2 dominated by:
7.46/7.72 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.46/7.72 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.46/7.72 c is dominated? false
7.46/7.72 c
7.46/7.72 c Number of non-dominated solvers: 2
7.46/7.72 c remove dominated solvers
7.46/7.72 c solver 1 is not dominated by another solver
7.46/7.72 c solver 2 is not dominated by another solver
7.46/7.72 c solver 0 is dominated by another solver
7.46/7.72 c
7.46/7.72 c solver 0: 0.0
7.46/7.72 c
7.46/7.72 c solver 1: 198.0
7.46/7.72 c
7.46/7.72 c+ 11/40 of 60
7.46/7.72 c
7.46/7.72 c solver 2: 522.0
7.46/7.72 c
7.46/7.72 c+ 29/40 of 60
7.46/7.72 c do not run abscon
7.46/7.72 c run mistral for 486.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, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24790
7.46/7.72 c run choco for 1296.0 seconds {0, 1, 2, 3, 8, 9, 11, 12, 13, 14, 15, 16, 17, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 38, 39} 17912
7.46/7.72 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.46/7.72 c On Instance: HOME/instance-1082507-1215223077.xml
7.46/7.72 c Running for: 486 seconds
9.71/10.01 c mistral-prime version 1.313
9.71/10.01 s UNSATISFIABLE
9.71/10.01 d CHECKS 15738433
9.71/10.01 d ASSIGNMENTS 9341