0.00/0.00 c cpHydra_k_40 version 0.0
7.19/7.35 c CASE TO CLASSIFY:
7.19/7.35 c Case: 0
7.19/7.35 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 23.268700 | c 34 > 46.923100 | c 16 > 2.000000 | c 13 > 10.767900 | c 14 > 12.745500 | c 11 > 9.344300 | c 12 > 9.258320 | 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.19/7.36 c choco : 1801.0
7.19/7.36 c mistral : 1801.0
7.19/7.36 c abscon : 1801.0
7.19/7.36 c
7.19/7.36 c
7.28/7.44 c List of same ones: 40
7.28/7.44 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-3.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.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.45 c choco : 28.64
7.28/7.45 c mistral : 10.18
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-2.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.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.28/7.45 c choco : 54.64
7.28/7.45 c mistral : 2.71
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-5.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.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.46 c choco : 375.97
7.28/7.46 c mistral : 51.29
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-6.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.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.47 c choco : 63.4
7.28/7.47 c mistral : 7.85
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-1.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.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.48 c choco : 1801.0
7.28/7.48 c mistral : 10.53
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-5/super-os-taillard-5-10.xml
7.28/7.48 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.49 c choco : 1801.0
7.28/7.49 c mistral : 95.35
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-5/super-os-taillard-5-9.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 > 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.37/7.50 c choco : 1801.0
7.37/7.50 c mistral : 42.39
7.37/7.50 c abscon : 1801.0
7.37/7.50 c
7.37/7.50 c
7.37/7.50 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-4.xml
7.37/7.50 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.37/7.51 c choco : 1801.0
7.37/7.51 c mistral : 81.98
7.37/7.51 c abscon : 1801.0
7.37/7.51 c
7.37/7.51 c
7.37/7.51 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-28.xml
7.37/7.51 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.37/7.52 c choco : 3.89
7.37/7.52 c mistral : 0.14
7.37/7.52 c abscon : 11.49
7.37/7.52 c
7.37/7.52 c
7.37/7.52 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-7.xml
7.37/7.52 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.37/7.53 c choco : 1801.0
7.37/7.53 c mistral : 14.83
7.37/7.53 c abscon : 1801.0
7.37/7.53 c
7.37/7.53 c
7.37/7.53 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-8.xml
7.37/7.53 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.55/7.73 c choco : 506.49
7.55/7.73 c mistral : 186.47
7.55/7.73 c abscon : 1801.0
7.55/7.74 c
7.55/7.74 c
7.55/7.74 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-27.xml
7.55/7.74 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.55/7.75 c choco : 4.01
7.55/7.75 c mistral : 0.25
7.55/7.75 c abscon : 13.31
7.55/7.75 c
7.55/7.75 c
7.55/7.75 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-25.xml
7.55/7.75 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.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.55/7.76 c choco : 5.95
7.55/7.76 c mistral : 1.56
7.55/7.76 c abscon : 1801.0
7.55/7.76 c
7.55/7.76 c
7.55/7.76 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-28.xml
7.55/7.76 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.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.55/7.77 c choco : 6.14
7.55/7.77 c mistral : 11.12
7.55/7.77 c abscon : 1801.0
7.55/7.77 c
7.55/7.77 c
7.55/7.77 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-4.xml
7.55/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.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.55/7.78 c choco : 1801.0
7.55/7.78 c mistral : 84.57
7.55/7.78 c abscon : 1801.0
7.55/7.78 c
7.55/7.78 c
7.55/7.78 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-29.xml
7.55/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.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.55/7.78 c choco : 6.33
7.55/7.78 c mistral : 1.24
7.55/7.78 c abscon : 1801.0
7.55/7.78 c
7.55/7.78 c
7.55/7.78 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-2.xml
7.55/7.78 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.591100 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 7.936160 | c 14 > 9.984420 | c 11 > 10.862600 | c 12 > 5.054550 | c 21 > 19.739100 | c 20 > 100.000000 | c 22 > 21.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.475600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.79 c choco : 1801.0
7.55/7.79 c mistral : 111.44
7.55/7.79 c abscon : 1801.0
7.55/7.79 c
7.55/7.79 c
7.55/7.79 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-21.xml
7.55/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.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.55/7.79 c choco : 5.84
7.55/7.79 c mistral : 8.34
7.55/7.79 c abscon : 1801.0
7.55/7.79 c
7.55/7.79 c
7.55/7.79 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-27.xml
7.55/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.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.55/7.80 c choco : 6.0
7.55/7.80 c mistral : 10.68
7.55/7.80 c abscon : 1801.0
7.55/7.80 c
7.55/7.80 c
7.55/7.80 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-30.xml
7.55/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.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.63/7.81 c choco : 5.94
7.63/7.81 c mistral : 1.58
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-7.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.804300 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 6.753110 | c 14 > 10.099300 | c 11 > 10.862600 | c 12 > 4.455760 | c 21 > 19.195000 | c 20 > 100.000000 | c 22 > 20.445000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.395400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.63/7.82 c choco : 1801.0
7.63/7.82 c mistral : 63.98
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-22.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 > 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.63/7.82 c choco : 5.8
7.63/7.82 c mistral : 0.75
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-26.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.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.83 c choco : 6.25
7.63/7.83 c mistral : 12.24
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-24.xml
7.63/7.83 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.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.84 c choco : 5.98
7.63/7.84 c mistral : 9.43
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-8.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.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.84 c choco : 1801.0
7.63/7.84 c mistral : 67.69
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-6.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.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.85 c choco : 93.88
7.63/7.85 c mistral : 1801.0
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-4/super-os-taillard-4-4.xml
7.63/7.85 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.63/7.85 c choco : 10.59
7.63/7.85 c mistral : 0.3
7.63/7.85 c abscon : 10.34
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-5/super-os-taillard-5-12.xml
7.63/7.85 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.63/7.86 c choco : 11.84
7.63/7.86 c mistral : 0.2
7.63/7.86 c abscon : 7.15
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-23.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.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.86 c choco : 5.9
7.63/7.86 c mistral : 9.99
7.63/7.86 c abscon : 1801.0
7.63/7.86 c
7.63/7.86 c
7.63/7.87 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-1.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.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.87 c choco : 1801.0
7.63/7.87 c mistral : 92.41
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-5/super-os-taillard-5-11.xml
7.63/7.87 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.63/7.88 c choco : 10.99
7.63/7.88 c mistral : 0.22
7.63/7.88 c abscon : 5.59
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-11.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.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.88 c choco : 22.63
7.63/7.88 c mistral : 7.27
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-5.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.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.63/7.89 c choco : 1801.0
7.63/7.89 c mistral : 71.03
7.63/7.89 c abscon : 1801.0
7.63/7.89 c
7.63/7.89 c
7.63/7.89 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-29.xml
7.63/7.89 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.69/7.90 c choco : 3.96
7.69/7.90 c mistral : 0.27
7.69/7.90 c abscon : 22.05
7.69/7.90 c
7.69/7.90 c
7.69/7.90 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-3.xml
7.69/7.90 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.69/7.90 c choco : 1801.0
7.69/7.90 c mistral : 87.52
7.69/7.90 c abscon : 1801.0
7.69/7.90 c
7.69/7.90 c
7.69/7.90 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-23.xml
7.69/7.90 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.69/7.91 c choco : 3.95
7.69/7.91 c mistral : 0.2
7.69/7.91 c abscon : 9.21
7.69/7.91 c
7.69/7.91 c
7.69/7.91 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-5/os-taillard-5-100-7.xml
7.69/7.91 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.69/7.92 c choco : 1.87
7.69/7.92 c mistral : 0.100984
7.69/7.92 c abscon : 176.43
7.69/7.92 c
7.69/7.92 c
7.69/7.92 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-13.xml
7.69/7.92 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.69/7.92 c choco : 13.08
7.69/7.92 c mistral : 0.48
7.69/7.92 c abscon : 7.56
7.69/7.92 c
7.69/7.92 c
7.69/7.92 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-24.xml
7.69/7.92 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.69/7.93 c choco : 4.08
7.69/7.93 c mistral : 0.09
7.69/7.93 c abscon : 12.52
7.69/7.93 c
7.69/7.93 c
7.69/7.93 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-7/os-taillard-7-95-9.xml
7.69/7.93 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.432400 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 10.286000 | c 14 > 12.097000 | c 11 > 9.315150 | c 12 > 8.055050 | 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 > -1.000000 | c 2 > 5.614710 | c 10 > 10.521600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.199670 | c 6 > 9.199670 | c 32 > -1.000000 | c 5 > 17.685700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.69/7.93 c choco : 1.81
7.69/7.93 c mistral : 0.177972
7.69/7.93 c abscon : 500.029
7.69/7.93 c
7.69/7.93 c
7.69/7.94 c Length: 40
7.69/7.94 c 3.8093803691939185 4.109364771214646 4.134541005698213 4.587956235144358 4.998877286151359 5.148187622775611 5.307352926836502 5.360604434026072 5.625881586107193 5.812777831639532 5.82003630765307 8.072182162364772 8.422680721379624 8.472549416385837 8.55233954523556 8.583222889393003 8.764721731247375 8.782554417542768 8.862744787067943 8.922423130898915 9.05073982539549 9.145700796691306 9.228959768516708 9.32552792799957 9.340574821417576 9.434718624829252 9.87541720325273 9.939889326778239 9.941530421368732 10.048608122889457 10.242786689983346 10.304659304096376 10.306212278281482 10.309168886326383 10.314741832086733 10.402321249461583 10.508687229601993 10.537128853411634 10.610694154130538 10.647067534495122
7.69/7.94 c
7.69/7.94 c 1.0 0.9579716719673498 0.9546045587591107 0.8977745565304498 0.851816414726751 0.8362614605973638 0.8202934611738727 0.8150863655273779 0.7901014934402828 0.7733991306724787 0.772764695618023 0.6159807185865069 0.5971264185607842 0.5945372273999546 0.5904408928274321 0.5888704891173517 0.5798075659225927 0.5789321406468437 0.5750279626215665 0.5721564462643769 0.5660783818094506 0.5616627978239447 0.5578476350539382 0.5534870198609969 0.5528136962369516 0.5486378254364007 0.5299002958867015 0.5272658664711624 0.5271991506638081 0.5228822858951344 0.5152316327563927 0.5128406623036984 0.512780935492016 0.5126672638891395 0.5124531398958623 0.5091114981445074 0.5051111902919629 0.5040521618296641 0.5013334327234558 0.5
7.69/7.95 c
7.69/7.95 c solver 0
7.69/7.95 c before 0.0 seconds: {} 0
7.69/7.95 c before 18.0 seconds: {8, 11, 26, 27, 30, 35, 37, 38} 4492
7.69/7.95 c before 36.0 seconds: {8, 11, 26, 27, 30, 33, 35, 37, 38} 5005
7.69/7.95 c before 180.0 seconds: {8, 11, 26, 27, 30, 33, 35, 36, 37, 38} 5510
7.69/7.95 c before 504.0 seconds: {8, 11, 26, 27, 30, 33, 35, 36, 37, 38, 39} 6010
7.69/7.95 c
7.69/7.95 c solver 1
7.69/7.95 c before 0.0 seconds: {} 0
7.69/7.95 c before 18.0 seconds: {0, 1, 3, 4, 8, 9, 11, 12, 13, 15, 17, 18, 19, 21, 22, 23, 26, 27, 28, 30, 31, 33, 35, 36, 37, 38, 39} 16711
7.69/7.95 c before 54.0 seconds: {0, 1, 2, 3, 4, 6, 8, 9, 11, 12, 13, 15, 17, 18, 19, 21, 22, 23, 26, 27, 28, 30, 31, 33, 35, 36, 37, 38, 39} 18486
7.69/7.95 c before 72.0 seconds: {0, 1, 2, 3, 4, 6, 8, 9, 11, 12, 13, 15, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 30, 31, 32, 33, 35, 36, 37, 38, 39} 20117
7.69/7.95 c before 90.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22035
7.69/7.95 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23395
7.69/7.95 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23974
7.69/7.95 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, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24747
7.69/7.95 c
7.69/7.95 c solver 2
7.69/7.95 c before 0.0 seconds: {} 0
7.69/7.95 c before 18.0 seconds: {8, 11, 12, 13, 15, 17, 18, 19, 21, 22, 23, 26, 27, 28, 30, 33, 35, 36, 37, 38, 39} 11717
7.69/7.95 c before 36.0 seconds: {0, 8, 11, 12, 13, 15, 17, 18, 19, 21, 22, 23, 26, 27, 28, 30, 31, 33, 35, 36, 37, 38, 39} 13230
7.69/7.95 c before 72.0 seconds: {0, 1, 3, 8, 11, 12, 13, 15, 17, 18, 19, 21, 22, 23, 26, 27, 28, 30, 31, 33, 35, 36, 37, 38, 39} 15086
7.69/7.95 c before 108.0 seconds: {0, 1, 3, 8, 11, 12, 13, 15, 17, 18, 19, 21, 22, 23, 25, 26, 27, 28, 30, 31, 33, 35, 36, 37, 38, 39} 15634
7.69/7.95 c before 378.0 seconds: {0, 1, 2, 3, 8, 11, 12, 13, 15, 17, 18, 19, 21, 22, 23, 25, 26, 27, 28, 30, 31, 33, 35, 36, 37, 38, 39} 16589
7.69/7.95 c before 522.0 seconds: {0, 1, 2, 3, 8, 10, 11, 12, 13, 15, 17, 18, 19, 21, 22, 23, 25, 26, 27, 28, 30, 31, 33, 35, 36, 37, 38, 39} 17362
7.69/7.96 c
7.69/7.96 cTotal time: 68
7.69/7.96 c 1224.0 seconds unused
7.69/7.96 c 0 c 0 c 0
7.69/7.96 c 28 c 0 c 12
7.69/7.96 c 17 c 1 c 0
7.69/7.96 c is solver0 dominated by:
7.69/7.96 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: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.69/7.96 c is dominated? true
7.69/7.96 c
7.69/7.96 c is solver1 dominated by:
7.69/7.96 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: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.69/7.96 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.69/7.96 c is dominated? false
7.69/7.96 c
7.69/7.96 c is solver2 dominated by:
7.69/7.96 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.69/7.96 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.69/7.96 c is dominated? false
7.69/7.96 c
7.69/7.96 c Number of non-dominated solvers: 2
7.69/7.96 c remove dominated solvers
7.69/7.96 c solver 1 is not dominated by another solver
7.69/7.96 c solver 2 is not dominated by another solver
7.69/7.96 c solver 0 is dominated by another solver
7.69/7.96 c
7.69/7.96 c solver 0: 0.0
7.69/7.96 c
7.69/7.96 c solver 1: 198.0
7.69/7.96 c
7.69/7.96 c+ 11/40 of 60
7.69/7.96 c
7.69/7.96 c solver 2: 522.0
7.69/7.96 c
7.69/7.96 c+ 29/40 of 60
7.69/7.96 c do not run abscon
7.69/7.96 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, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24747
7.69/7.96 c run choco for 1296.0 seconds {0, 1, 2, 3, 8, 10, 11, 12, 13, 15, 17, 18, 19, 21, 22, 23, 25, 26, 27, 28, 30, 31, 33, 35, 36, 37, 38, 39} 17362
7.69/7.96 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.69/7.96 c On Instance: HOME/instance-1082528-1215223192.xml
7.69/7.96 c Running for: 486 seconds
34.29/34.85 c mistral-prime version 1.313
34.29/34.85 s UNSATISFIABLE
34.29/34.85 d CHECKS 176710669
34.29/34.85 d ASSIGNMENTS 163772