0.00/0.00 c cpHydra_k_40 version 0.0
7.09/7.26 c CASE TO CLASSIFY:
7.09/7.26 c Case: 0
7.09/7.27 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 23.295800 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 10.526200 | c 14 > 12.573200 | c 11 > 9.344300 | c 12 > 9.071170 | 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.09/7.28 c choco : 1801.0
7.09/7.28 c mistral : 1801.0
7.09/7.28 c abscon : 1801.0
7.09/7.28 c
7.09/7.28 c
7.18/7.35 c List of same ones: 40
7.18/7.35 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-2.xml
7.18/7.35 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.36 c choco : 54.64
7.18/7.36 c mistral : 2.71
7.18/7.36 c abscon : 1801.0
7.18/7.36 c
7.18/7.36 c
7.18/7.36 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-3.xml
7.18/7.36 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.18/7.37 c choco : 28.64
7.18/7.37 c mistral : 10.18
7.18/7.37 c abscon : 1801.0
7.18/7.37 c
7.18/7.37 c
7.18/7.37 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-5.xml
7.18/7.37 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.18/7.38 c choco : 375.97
7.18/7.38 c mistral : 51.29
7.18/7.38 c abscon : 1801.0
7.18/7.38 c
7.18/7.38 c
7.18/7.38 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-6.xml
7.18/7.38 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.18/7.39 c choco : 63.4
7.18/7.39 c mistral : 7.85
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-1.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.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.27/7.40 c choco : 1801.0
7.27/7.40 c mistral : 10.53
7.27/7.40 c abscon : 1801.0
7.27/7.40 c
7.27/7.40 c
7.27/7.40 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-10.xml
7.27/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.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.27/7.41 c choco : 1801.0
7.27/7.41 c mistral : 95.35
7.27/7.41 c abscon : 1801.0
7.27/7.41 c
7.27/7.41 c
7.27/7.41 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-4.xml
7.27/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.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.27/7.42 c choco : 1801.0
7.27/7.42 c mistral : 81.98
7.27/7.42 c abscon : 1801.0
7.27/7.42 c
7.27/7.42 c
7.27/7.42 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-28.xml
7.27/7.42 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.27/7.43 c choco : 3.89
7.27/7.43 c mistral : 0.14
7.27/7.43 c abscon : 11.49
7.27/7.43 c
7.27/7.43 c
7.27/7.43 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-9.xml
7.27/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.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.27/7.43 c choco : 1801.0
7.27/7.43 c mistral : 42.39
7.27/7.43 c abscon : 1801.0
7.27/7.43 c
7.27/7.43 c
7.27/7.43 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-8.xml
7.27/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.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.27/7.44 c choco : 506.49
7.27/7.44 c mistral : 186.47
7.27/7.44 c abscon : 1801.0
7.27/7.44 c
7.27/7.44 c
7.27/7.44 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-7.xml
7.27/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.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.27/7.45 c choco : 1801.0
7.27/7.45 c mistral : 14.83
7.27/7.45 c abscon : 1801.0
7.27/7.45 c
7.27/7.45 c
7.27/7.45 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-27.xml
7.27/7.45 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.27/7.47 c choco : 4.01
7.27/7.47 c mistral : 0.25
7.27/7.47 c abscon : 13.31
7.27/7.47 c
7.27/7.47 c
7.27/7.47 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-25.xml
7.27/7.47 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.27/7.48 c choco : 5.95
7.27/7.48 c mistral : 1.56
7.27/7.48 c abscon : 1801.0
7.27/7.48 c
7.27/7.48 c
7.27/7.48 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-28.xml
7.27/7.48 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.27/7.49 c choco : 6.14
7.27/7.49 c mistral : 11.12
7.27/7.49 c abscon : 1801.0
7.27/7.49 c
7.27/7.49 c
7.27/7.49 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-29.xml
7.27/7.49 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.35/7.50 c choco : 6.33
7.35/7.50 c mistral : 1.24
7.35/7.50 c abscon : 1801.0
7.35/7.50 c
7.35/7.50 c
7.35/7.50 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-30.xml
7.35/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.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.35/7.50 c choco : 5.94
7.35/7.50 c mistral : 1.58
7.35/7.50 c abscon : 1801.0
7.35/7.50 c
7.35/7.50 c
7.35/7.50 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-21.xml
7.35/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.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.35/7.51 c choco : 5.84
7.35/7.51 c mistral : 8.34
7.35/7.51 c abscon : 1801.0
7.35/7.51 c
7.35/7.51 c
7.35/7.51 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-4.xml
7.35/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.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.35/7.52 c choco : 1801.0
7.35/7.52 c mistral : 84.57
7.35/7.52 c abscon : 1801.0
7.35/7.52 c
7.35/7.52 c
7.35/7.52 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-27.xml
7.35/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.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.35/7.52 c choco : 6.0
7.35/7.52 c mistral : 10.68
7.35/7.52 c abscon : 1801.0
7.35/7.52 c
7.35/7.52 c
7.35/7.52 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-2.xml
7.35/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.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.35/7.53 c choco : 1801.0
7.35/7.53 c mistral : 111.44
7.35/7.53 c abscon : 1801.0
7.35/7.53 c
7.35/7.53 c
7.35/7.53 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-7.xml
7.35/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.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.35/7.54 c choco : 1801.0
7.35/7.54 c mistral : 63.98
7.35/7.54 c abscon : 1801.0
7.35/7.54 c
7.35/7.54 c
7.35/7.54 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-4/super-os-taillard-4-4.xml
7.35/7.54 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.35/7.55 c choco : 10.59
7.35/7.55 c mistral : 0.3
7.35/7.55 c abscon : 10.34
7.35/7.55 c
7.35/7.55 c
7.35/7.55 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-22.xml
7.35/7.55 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.35/7.55 c choco : 5.8
7.35/7.55 c mistral : 0.75
7.35/7.55 c abscon : 1801.0
7.35/7.55 c
7.35/7.55 c
7.35/7.55 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-26.xml
7.35/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.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.35/7.56 c choco : 6.25
7.35/7.56 c mistral : 12.24
7.35/7.56 c abscon : 1801.0
7.35/7.56 c
7.35/7.56 c
7.35/7.56 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-12.xml
7.35/7.56 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.35/7.56 c choco : 11.84
7.35/7.56 c mistral : 0.2
7.35/7.56 c abscon : 7.15
7.35/7.56 c
7.35/7.56 c
7.35/7.56 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-8.xml
7.35/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.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.35/7.57 c choco : 1801.0
7.35/7.57 c mistral : 67.69
7.35/7.57 c abscon : 1801.0
7.35/7.57 c
7.35/7.57 c
7.35/7.57 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-24.xml
7.35/7.57 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.35/7.58 c choco : 5.98
7.35/7.58 c mistral : 9.43
7.35/7.58 c abscon : 1801.0
7.35/7.58 c
7.35/7.58 c
7.35/7.58 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-6.xml
7.35/7.58 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.35/7.58 c choco : 93.88
7.35/7.58 c mistral : 1801.0
7.35/7.58 c abscon : 1801.0
7.35/7.58 c
7.35/7.58 c
7.35/7.58 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-11.xml
7.35/7.58 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.35/7.59 c choco : 10.99
7.35/7.59 c mistral : 0.22
7.35/7.59 c abscon : 5.59
7.35/7.59 c
7.35/7.59 c
7.35/7.59 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-29.xml
7.35/7.59 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.35/7.59 c choco : 3.96
7.35/7.59 c mistral : 0.27
7.35/7.59 c abscon : 22.05
7.35/7.59 c
7.35/7.59 c
7.35/7.59 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-23.xml
7.35/7.59 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.60 c choco : 3.95
7.40/7.60 c mistral : 0.2
7.40/7.60 c abscon : 9.21
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-23.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.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.61 c choco : 5.9
7.40/7.61 c mistral : 9.99
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-7/super-os-taillard-7-1.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.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.62 c choco : 1801.0
7.40/7.62 c mistral : 92.41
7.40/7.62 c abscon : 1801.0
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-24.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.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.63 c choco : 4.08
7.40/7.63 c mistral : 0.09
7.40/7.63 c abscon : 12.52
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-4/super-os-taillard-4-3.xml
7.40/7.63 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.63 c choco : 9.25
7.40/7.63 c mistral : 0.1
7.40/7.63 c abscon : 14.49
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-5/super-os-taillard-5-13.xml
7.40/7.63 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.64 c choco : 13.08
7.40/7.64 c mistral : 0.48
7.40/7.64 c abscon : 7.56
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-22.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.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.64 c choco : 3.74
7.40/7.64 c mistral : 0.13
7.40/7.64 c abscon : 5.83
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-7/super-os-taillard-7-5.xml
7.40/7.64 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.65 c choco : 1801.0
7.40/7.65 c mistral : 71.03
7.40/7.65 c abscon : 1801.0
7.40/7.65 c
7.40/7.65 c
7.40/7.65 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr2/super-jobShop-enddr2-6.xml
7.40/7.65 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.65 c choco : 26.5
7.40/7.66 c mistral : 1.86
7.40/7.66 c abscon : 8.39
7.40/7.66 c
7.40/7.66 c
7.40/7.66 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-5/os-taillard-5-100-7.xml
7.40/7.66 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 23.108500 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 12.012700 | c 14 > 14.459900 | c 11 > 7.813780 | c 12 > 10.463700 | 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 > -1.000000 | c 2 > 4.643860 | c 10 > 8.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.643860 | c 6 > 7.643860 | c 32 > -1.000000 | c 5 > 15.778100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.66 c choco : 1.87
7.40/7.66 c mistral : 0.100984
7.40/7.66 c abscon : 176.43
7.40/7.66 c
7.40/7.66 c
7.40/7.67 c Length: 40
7.40/7.67 c 3.4237360202562344 3.6342226799826123 3.967702329724346 4.2609044551714605 4.603715517329452 4.875865637997012 5.009599577571046 5.170652329870961 5.208872790009369 5.412020809540555 5.427102077766733 7.675995328483467 8.551404531525801 8.6401544032847 8.86954665016764 8.954678365653342 8.968957584725219 8.978895903088532 8.98167677392145 9.086832866499748 9.244772926659692 9.306872633855047 9.376020919830545 9.438739397896311 9.500970730146472 9.54540891628012 9.57232099918301 9.727915969014123 9.959823481819344 10.080133050575276 10.10265091708607 10.157706943966241 10.239117904580452 10.261809602355715 10.306316740708098 10.317719379925974 10.336141721924095 10.40888699590403 10.451450914093218 10.529272521693985
7.40/7.67 c
7.40/7.67 c 1.0 0.9712293612131095 0.9288886712097705 0.894599076558467 0.8575852732303845 0.8303124242617482 0.8175364674742145 0.8026630192895619 0.799212420105725 0.7813587131613353 0.7800650468543584 0.6256087554762388 0.5808401391178216 0.5766565912682742 0.5661174395926352 0.5623035172664037 0.5616688315767318 0.5612279361083043 0.5611046917286839 0.556483713484348 0.5496844583056759 0.5470563804713742 0.5441594185755234 0.5415582412708737 0.539001730935901 0.5371908985429183 0.536100149071693 0.5298796978913066 0.5208717467003604 0.5163181819648484 0.5154747400633416 0.5134240896844555 0.510421532871362 0.5095908777474369 0.5079694707103608 0.5075557284773649 0.5068887001020415 0.5042718116481445 0.5027531388717384 0.5
7.40/7.69 c
7.40/7.69 c solver 0
7.40/7.69 c before 0.0 seconds: {} 0
7.40/7.69 c before 18.0 seconds: {7, 11, 21, 24, 28, 30, 33, 34, 35, 36, 38} 6085
7.40/7.69 c before 36.0 seconds: {7, 11, 21, 24, 28, 29, 30, 33, 34, 35, 36, 38} 6601
7.40/7.69 c before 180.0 seconds: {7, 11, 21, 24, 28, 29, 30, 33, 34, 35, 36, 38, 39} 7101
7.40/7.69 c
7.40/7.69 c solver 1
7.40/7.69 c before 0.0 seconds: {} 0
7.40/7.69 c before 18.0 seconds: {0, 1, 3, 4, 7, 10, 11, 12, 13, 14, 15, 16, 18, 21, 22, 23, 24, 26, 28, 29, 30, 31, 33, 34, 35, 36, 38, 39} 17149
7.40/7.69 c before 54.0 seconds: {0, 1, 2, 3, 4, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 21, 22, 23, 24, 26, 28, 29, 30, 31, 33, 34, 35, 36, 38, 39} 18877
7.40/7.69 c before 72.0 seconds: {0, 1, 2, 3, 4, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 20468
7.40/7.69 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, 33, 34, 35, 36, 37, 38, 39} 21847
7.40/7.69 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} 23187
7.40/7.69 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} 23744
7.40/7.69 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} 24525
7.40/7.69 c
7.40/7.69 c solver 2
7.40/7.69 c before 0.0 seconds: {} 0
7.40/7.69 c before 18.0 seconds: {7, 11, 12, 13, 14, 15, 16, 18, 21, 22, 23, 24, 26, 28, 29, 30, 31, 33, 34, 35, 36, 39} 12142
7.40/7.69 c before 36.0 seconds: {1, 7, 11, 12, 13, 14, 15, 16, 18, 21, 22, 23, 24, 26, 28, 29, 30, 31, 33, 34, 35, 36, 38, 39} 13616
7.40/7.69 c before 72.0 seconds: {0, 1, 3, 7, 11, 12, 13, 14, 15, 16, 18, 21, 22, 23, 24, 26, 28, 29, 30, 31, 33, 34, 35, 36, 38, 39} 15511
7.40/7.69 c before 108.0 seconds: {0, 1, 3, 7, 11, 12, 13, 14, 15, 16, 18, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 38, 39} 16041
7.40/7.69 c before 378.0 seconds: {0, 1, 2, 3, 7, 11, 12, 13, 14, 15, 16, 18, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 38, 39} 16970
7.40/7.69 c before 522.0 seconds: {0, 1, 2, 3, 7, 9, 11, 12, 13, 14, 15, 16, 18, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 38, 39} 17751
7.40/7.69 c
7.40/7.69 cTotal time: 50
7.40/7.69 c 900.0 seconds unused
7.40/7.69 c 0 c 0 c 0
7.40/7.69 c 26 c 0 c 11
7.40/7.69 c 16 c 1 c 0
7.40/7.69 c is solver0 dominated by:
7.40/7.69 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.40/7.69 c is dominated? true
7.40/7.69 c
7.40/7.69 c is solver1 dominated by:
7.40/7.69 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.40/7.69 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.40/7.69 c is dominated? false
7.40/7.69 c
7.40/7.69 c is solver2 dominated by:
7.40/7.69 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.40/7.69 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.40/7.69 c is dominated? false
7.40/7.69 c
7.40/7.69 c Number of non-dominated solvers: 2
7.40/7.69 c remove dominated solvers
7.40/7.69 c solver 1 is not dominated by another solver
7.40/7.69 c solver 2 is not dominated by another solver
7.40/7.69 c solver 0 is dominated by another solver
7.40/7.69 c
7.40/7.69 c solver 0: 0.0
7.40/7.69 c
7.40/7.69 c solver 1: 198.0
7.40/7.69 c
7.40/7.69 c+ 11/40 of 60
7.40/7.69 c
7.40/7.69 c solver 2: 522.0
7.40/7.69 c
7.40/7.69 c+ 29/40 of 60
7.40/7.69 c do not run abscon
7.40/7.69 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} 24525
7.40/7.69 c run choco for 1296.0 seconds {0, 1, 2, 3, 7, 9, 11, 12, 13, 14, 15, 16, 18, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 38, 39} 17751
7.40/7.69 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.40/7.69 c On Instance: HOME/instance-1082612-1215223538.xml
7.40/7.69 c Running for: 486 seconds
16.86/17.26 c mistral-prime version 1.313
16.86/17.26 s UNSATISFIABLE
16.86/17.26 d CHECKS 62914407
16.86/17.26 d ASSIGNMENTS 54405