0.00/0.00 c cpHydra_k_40 version 0.0
7.20/7.34 c CASE TO CLASSIFY:
7.20/7.34 c Case: 0
7.20/7.34 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 22.744100 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 8.364750 | c 14 > 11.812200 | c 11 > 10.862600 | c 12 > 5.572460 | 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.20/7.35 c choco : 1801.0
7.20/7.35 c mistral : 1801.0
7.20/7.35 c abscon : 1801.0
7.20/7.35 c
7.20/7.35 c
7.30/7.42 c List of same ones: 40
7.30/7.42 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-4.xml
7.30/7.42 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.30/7.43 c choco : 1801.0
7.30/7.43 c mistral : 84.57
7.30/7.43 c abscon : 1801.0
7.30/7.43 c
7.30/7.43 c
7.30/7.43 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-2.xml
7.30/7.43 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.30/7.44 c choco : 1801.0
7.30/7.44 c mistral : 111.44
7.30/7.44 c abscon : 1801.0
7.30/7.44 c
7.30/7.44 c
7.30/7.44 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-29.xml
7.30/7.44 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.30/7.45 c choco : 6.33
7.30/7.45 c mistral : 1.24
7.30/7.45 c abscon : 1801.0
7.30/7.45 c
7.30/7.45 c
7.30/7.45 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-21.xml
7.30/7.45 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.30/7.46 c choco : 5.84
7.30/7.46 c mistral : 8.34
7.30/7.46 c abscon : 1801.0
7.30/7.46 c
7.30/7.46 c
7.30/7.46 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-6.xml
7.30/7.46 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.30/7.47 c choco : 93.88
7.30/7.47 c mistral : 1801.0
7.30/7.47 c abscon : 1801.0
7.30/7.47 c
7.30/7.47 c
7.30/7.47 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-7.xml
7.30/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.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.30/7.48 c choco : 1801.0
7.30/7.48 c mistral : 63.98
7.30/7.48 c abscon : 1801.0
7.30/7.48 c
7.30/7.48 c
7.30/7.48 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-8.xml
7.30/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.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.30/7.49 c choco : 1801.0
7.30/7.49 c mistral : 67.69
7.30/7.49 c abscon : 1801.0
7.30/7.49 c
7.30/7.49 c
7.30/7.49 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-28.xml
7.30/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.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.30/7.49 c choco : 6.14
7.30/7.49 c mistral : 11.12
7.30/7.49 c abscon : 1801.0
7.30/7.49 c
7.30/7.49 c
7.30/7.49 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-24.xml
7.30/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.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.37/7.50 c choco : 5.98
7.37/7.50 c mistral : 9.43
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-7/super-os-taillard-7-25.xml
7.37/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.37/7.51 c choco : 5.95
7.37/7.51 c mistral : 1.56
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-7/super-os-taillard-7-26.xml
7.37/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.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.37/7.52 c choco : 6.25
7.37/7.52 c mistral : 12.24
7.37/7.52 c abscon : 1801.0
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-7/super-os-taillard-7-27.xml
7.37/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.37/7.54 c choco : 6.0
7.37/7.54 c mistral : 10.68
7.37/7.54 c abscon : 1801.0
7.37/7.54 c
7.37/7.54 c
7.37/7.54 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-11.xml
7.37/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.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.37/7.55 c choco : 22.63
7.37/7.55 c mistral : 7.27
7.37/7.55 c abscon : 1801.0
7.37/7.55 c
7.37/7.55 c
7.37/7.55 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-23.xml
7.37/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.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.37/7.56 c choco : 5.9
7.37/7.56 c mistral : 9.99
7.37/7.56 c abscon : 1801.0
7.37/7.56 c
7.37/7.56 c
7.37/7.56 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-3.xml
7.37/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.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.37/7.56 c choco : 1801.0
7.37/7.56 c mistral : 87.52
7.37/7.56 c abscon : 1801.0
7.37/7.56 c
7.37/7.56 c
7.37/7.56 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-1.xml
7.37/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.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.37/7.57 c choco : 1801.0
7.37/7.57 c mistral : 92.41
7.37/7.57 c abscon : 1801.0
7.37/7.57 c
7.37/7.57 c
7.37/7.57 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-13.xml
7.37/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.787200 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 6.575030 | c 14 > 10.076800 | c 11 > 10.862600 | c 12 > 3.403860 | c 21 > 20.775800 | c 20 > 100.000000 | c 22 > 22.068100 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.622600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.58 c choco : 99.68
7.37/7.58 c mistral : 7.11
7.37/7.58 c abscon : 1801.0
7.37/7.58 c
7.37/7.58 c
7.37/7.58 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-30.xml
7.37/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.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.37/7.58 c choco : 5.94
7.37/7.58 c mistral : 1.58
7.37/7.58 c abscon : 1801.0
7.37/7.58 c
7.37/7.58 c
7.37/7.58 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-22.xml
7.37/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.37/7.59 c choco : 5.8
7.37/7.59 c mistral : 0.75
7.37/7.59 c abscon : 1801.0
7.37/7.59 c
7.37/7.59 c
7.37/7.59 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-16.xml
7.37/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.722000 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 5.847410 | c 14 > 9.857980 | c 11 > 10.862600 | c 12 > 3.219350 | c 21 > 20.426600 | c 20 > 100.000000 | c 22 > 21.771500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.573900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.61 c choco : 1801.0
7.45/7.61 c mistral : 1.59
7.45/7.61 c abscon : 1801.0
7.45/7.61 c
7.45/7.61 c
7.45/7.61 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-5.xml
7.45/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.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.45/7.61 c choco : 1801.0
7.45/7.61 c mistral : 71.03
7.45/7.61 c abscon : 1801.0
7.45/7.61 c
7.45/7.61 c
7.45/7.61 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-12.xml
7.45/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.902400 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 5.270110 | c 14 > 9.368510 | c 11 > 10.862600 | c 12 > 3.549730 | c 21 > 20.288700 | c 20 > 100.000000 | c 22 > 21.517400 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.554500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.62 c choco : 30.54
7.45/7.62 c mistral : 4.11
7.45/7.62 c abscon : 13.69
7.45/7.62 c
7.45/7.62 c
7.45/7.62 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-17.xml
7.45/7.62 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.952500 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 5.233170 | c 14 > 9.698700 | c 11 > 10.862600 | c 12 > 3.060600 | c 21 > 19.734500 | c 20 > 100.000000 | c 22 > 20.952300 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.474900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.62 c choco : 1801.0
7.45/7.62 c mistral : 2.19
7.45/7.62 c abscon : 1801.0
7.45/7.62 c
7.45/7.62 c
7.45/7.62 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-20.xml
7.45/7.62 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.903600 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 5.106790 | c 14 > 9.670660 | c 11 > 10.862600 | c 12 > 3.180480 | c 21 > 19.212600 | c 20 > 100.000000 | c 22 > 20.445000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.398000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.63 c choco : 16.57
7.45/7.63 c mistral : 1.45
7.45/7.63 c abscon : 37.75
7.45/7.63 c
7.45/7.63 c
7.45/7.63 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-9.xml
7.45/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.811800 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 4.939830 | c 14 > 9.355350 | c 11 > 10.862600 | c 12 > 3.194760 | c 21 > 20.074900 | c 20 > 100.000000 | c 22 > 21.283800 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.524000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.63 c choco : 1801.0
7.45/7.63 c mistral : 60.21
7.45/7.63 c abscon : 1801.0
7.45/7.63 c
7.45/7.63 c
7.45/7.63 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-14.xml
7.45/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.964200 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 4.681200 | c 14 > 9.779720 | c 11 > 10.862600 | c 12 > 2.926280 | c 21 > 20.736400 | c 20 > 100.000000 | c 22 > 21.977300 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.617200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.64 c choco : 17.22
7.45/7.64 c mistral : 14.51
7.45/7.64 c abscon : 1801.0
7.45/7.64 c
7.45/7.64 c
7.45/7.64 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-18.xml
7.45/7.64 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 19.801500 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 5.206750 | c 14 > 10.210700 | c 11 > 10.862600 | c 12 > 2.336730 | c 21 > 19.874600 | c 20 > 100.000000 | c 22 > 21.095000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.495200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.65 c choco : 19.25
7.45/7.65 c mistral : 1.68
7.45/7.65 c abscon : 44.86
7.45/7.65 c
7.45/7.65 c
7.45/7.65 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-9.xml
7.45/7.65 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.45/7.65 c choco : 1801.0
7.45/7.65 c mistral : 42.39
7.45/7.65 c abscon : 1801.0
7.45/7.65 c
7.45/7.65 c
7.45/7.65 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-10.xml
7.45/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.809000 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 4.516540 | c 14 > 9.436710 | c 11 > 10.862600 | c 12 > 2.768200 | c 21 > 18.684800 | c 20 > 100.000000 | c 22 > 19.949900 | 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.318000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.66 c choco : 29.75
7.45/7.66 c mistral : 56.62
7.45/7.66 c abscon : 1801.0
7.45/7.66 c
7.45/7.66 c
7.45/7.66 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-7/super-os-taillard-7-19.xml
7.45/7.66 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.421100 | c 15 > 20.205300 | c 34 > 47.894700 | c 16 > 2.000000 | c 13 > 4.622930 | c 14 > 9.197220 | c 11 > 10.862600 | c 12 > 2.621560 | c 21 > 20.639800 | c 20 > 100.000000 | c 22 > 21.817400 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.614710 | c 2 > -1.000000 | c 10 > 12.122500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.784600 | c 6 > 10.784600 | c 32 > -1.000000 | c 5 > 19.603700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.66 c choco : 17.34
7.45/7.66 c mistral : 2.49
7.45/7.66 c abscon : 26.85
7.45/7.66 c
7.45/7.66 c
7.45/7.66 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-5.xml
7.45/7.66 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.45/7.67 c choco : 375.97
7.45/7.67 c mistral : 51.29
7.45/7.67 c abscon : 1801.0
7.45/7.67 c
7.45/7.67 c
7.45/7.67 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-3.xml
7.45/7.67 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.45/7.67 c choco : 28.64
7.45/7.67 c mistral : 10.18
7.45/7.67 c abscon : 1801.0
7.45/7.67 c
7.45/7.67 c
7.45/7.67 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-10.xml
7.45/7.67 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.45/7.68 c choco : 1801.0
7.45/7.68 c mistral : 95.35
7.45/7.68 c abscon : 1801.0
7.45/7.68 c
7.45/7.68 c
7.45/7.68 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-6.xml
7.45/7.68 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.45/7.69 c choco : 63.4
7.45/7.69 c mistral : 7.85
7.45/7.69 c abscon : 1801.0
7.45/7.69 c
7.45/7.69 c
7.45/7.69 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-4.xml
7.45/7.69 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.45/7.69 c choco : 1801.0
7.45/7.69 c mistral : 81.98
7.45/7.69 c abscon : 1801.0
7.45/7.69 c
7.45/7.69 c
7.45/7.69 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-1.xml
7.45/7.69 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.45/7.70 c choco : 1801.0
7.45/7.70 c mistral : 10.53
7.45/7.70 c abscon : 1801.0
7.45/7.70 c
7.45/7.70 c
7.45/7.70 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-7.xml
7.45/7.70 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.50/7.71 c choco : 1801.0
7.50/7.71 c mistral : 14.83
7.50/7.71 c abscon : 1801.0
7.50/7.71 c
7.50/7.71 c
7.50/7.71 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-8.xml
7.50/7.71 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.50/7.71 c choco : 506.49
7.50/7.71 c mistral : 186.47
7.50/7.71 c abscon : 1801.0
7.50/7.71 c
7.50/7.71 c
7.50/7.71 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-10/super-os-taillard-10-26.xml
7.50/7.71 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 20.181100 | c 34 > 48.571400 | c 16 > 2.000000 | c 13 > 4.879580 | c 14 > 8.851750 | c 11 > 12.451200 | c 12 > 2.573110 | c 21 > 21.585200 | c 20 > 100.000000 | c 22 > 22.605300 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.643860 | c 2 > -1.000000 | c 10 > 13.731300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.398700 | c 6 > 12.398700 | c 32 > -1.000000 | c 5 > 21.321100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.72 c choco : 14.94
7.50/7.72 c mistral : 1801.0
7.50/7.72 c abscon : 1801.0
7.50/7.72 c
7.50/7.72 c
7.50/7.72 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-28.xml
7.50/7.72 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.50/7.73 c choco : 3.89
7.50/7.73 c mistral : 0.14
7.50/7.73 c abscon : 11.49
7.50/7.73 c
7.50/7.73 c
7.50/7.73 c Length: 40
7.50/7.73 c 2.453847720417874 2.9031205425541664 2.959647673355733 3.3138544301915256 3.313948499675274 3.3394243036188134 3.3452351209593645 3.364438911839537 3.385102501919255 3.4393140234791018 3.5727807400538882 3.8128962816342136 3.8700447715885677 3.924965320432781 3.9528225235899486 4.087526975592945 4.121187681773303 4.328316077206009 4.561192702287419 4.567222674240879 4.697716296372102 4.8587756913238955 4.878036870094363 4.990065582094088 5.22963441828394 5.462563619336621 5.629776110370642 5.808796913940098 5.856556613044905 6.122782571903072 6.293519827076101 6.468472119859528 6.527396525729076 6.788756535787685 6.897517413845363 7.004257607955322 7.094161786948475 7.2307981657490625 7.613398780203228 8.054697672308999
7.50/7.73 c
7.50/7.73 c 1.0 0.9257415363428696 0.9171722694405839 0.8668896781325508 0.8668770564816696 0.863472348232127 0.8626995052472178 0.8601551989213885 0.857434193187266 0.850376710605076 0.8334867324767595 0.8047315548270043 0.7981776307679356 0.7919790229215047 0.7888715771325074 0.774183058991675 0.7705976341762014 0.7492456803328664 0.7266097964596473 0.726041827966725 0.7139644248561033 0.6996009639415827 0.6979218270471794 0.688313048411929 0.6686275394377376 0.650538023513029 0.63814417246801 0.6253880710086672 0.622070677674442 0.6042049595208654 0.5932775663416819 0.5824829589519734 0.5789351971585257 0.56370631404079 0.5576025683320234 0.5517393939752018 0.546895835455458 0.539695285851733 0.520505689872845 0.5
7.50/7.74 c
7.50/7.74 c solver 0
7.50/7.74 c before 0.0 seconds: {} 0
7.50/7.74 c before 18.0 seconds: {21, 39} 1199
7.50/7.74 c before 36.0 seconds: {21, 29, 39} 1803
7.50/7.74 c before 54.0 seconds: {21, 23, 26, 29, 39} 3130
7.50/7.74 c
7.50/7.74 c solver 1
7.50/7.74 c before 0.0 seconds: {} 0
7.50/7.74 c before 18.0 seconds: {2, 3, 7, 8, 9, 10, 11, 12, 13, 16, 17, 18, 19, 21, 22, 23, 25, 26, 29, 31, 33, 35, 36, 39} 17276
7.50/7.74 c before 54.0 seconds: {2, 3, 7, 8, 9, 10, 11, 12, 13, 16, 17, 18, 19, 21, 22, 23, 25, 26, 27, 29, 30, 31, 33, 35, 36, 39} 18495
7.50/7.74 c before 72.0 seconds: {2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 35, 36, 39} 22225
7.50/7.74 c before 90.0 seconds: {0, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 39} 24572
7.50/7.74 c before 108.0 seconds: {0, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 39} 25925
7.50/7.74 c before 126.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 39} 26851
7.50/7.75 c before 198.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 27390
7.50/7.75 c
7.50/7.75 c solver 2
7.50/7.75 c before 0.0 seconds: {} 0
7.50/7.75 c before 18.0 seconds: {2, 3, 7, 8, 9, 10, 11, 13, 17, 18, 23, 25, 29, 38, 39} 11221
7.50/7.75 c before 36.0 seconds: {2, 3, 7, 8, 9, 10, 11, 12, 13, 17, 18, 21, 23, 25, 26, 28, 29, 31, 38, 39} 14562
7.50/7.75 c before 72.0 seconds: {2, 3, 7, 8, 9, 10, 11, 12, 13, 17, 18, 21, 23, 25, 26, 28, 29, 31, 33, 38, 39} 15125
7.50/7.75 c before 108.0 seconds: {2, 3, 4, 7, 8, 9, 10, 11, 12, 13, 16, 17, 18, 21, 23, 25, 26, 28, 29, 31, 33, 38, 39} 16763
7.50/7.75 c before 378.0 seconds: {2, 3, 4, 7, 8, 9, 10, 11, 12, 13, 16, 17, 18, 21, 23, 25, 26, 28, 29, 30, 31, 33, 38, 39} 17356
7.50/7.75 c before 522.0 seconds: {2, 3, 4, 7, 8, 9, 10, 11, 12, 13, 16, 17, 18, 21, 23, 25, 26, 28, 29, 30, 31, 33, 37, 38, 39} 17896
7.50/7.75 c
7.50/7.75 cTotal time: 43
7.50/7.75 c 774.0 seconds unused
7.50/7.75 c 0 c 0 c 0
7.50/7.75 c 33 c 0 c 15
7.50/7.75 c 20 c 2 c 0
7.50/7.75 c is solver0 dominated by:
7.50/7.75 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.50/7.75 c is dominated? true
7.50/7.75 c
7.50/7.75 c is solver1 dominated by:
7.50/7.75 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.50/7.75 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.50/7.75 c is dominated? false
7.50/7.75 c
7.50/7.75 c is solver2 dominated by:
7.50/7.75 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.50/7.75 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.50/7.75 c is dominated? false
7.50/7.75 c
7.50/7.75 c Number of non-dominated solvers: 2
7.50/7.75 c remove dominated solvers
7.50/7.75 c solver 1 is not dominated by another solver
7.50/7.75 c solver 2 is not dominated by another solver
7.50/7.75 c solver 0 is dominated by another solver
7.50/7.75 c
7.50/7.75 c solver 0: 0.0
7.50/7.75 c
7.50/7.75 c solver 1: 198.0
7.50/7.75 c
7.50/7.75 c+ 11/40 of 60
7.50/7.75 c
7.50/7.75 c solver 2: 522.0
7.50/7.75 c
7.50/7.75 c+ 29/40 of 60
7.50/7.75 c do not run abscon
7.50/7.75 c run mistral for 486.0 seconds {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 27390
7.50/7.75 c run choco for 1296.0 seconds {2, 3, 4, 7, 8, 9, 10, 11, 12, 13, 16, 17, 18, 21, 23, 25, 26, 28, 29, 30, 31, 33, 37, 38, 39} 17896
7.50/7.75 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.50/7.75 c On Instance: HOME/instance-1082717-1215224042.xml
7.50/7.75 c Running for: 486 seconds
17.37/17.72 c mistral-prime version 1.313
17.37/17.72 s UNSATISFIABLE
17.37/17.72 d CHECKS 47929043
17.37/17.72 d ASSIGNMENTS 37185