0.00/0.00 c cpHydra_k_40 version 0.0
6.82/6.92 c CASE TO CLASSIFY:
6.82/6.92 c Case: 0
6.82/6.92 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 23.350100 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 7.419600 | c 14 > 11.484300 | c 11 > 10.501800 | c 12 > 5.533390 | c 21 > 11.726000 | c 20 > 100.000000 | c 22 > 12.328800 | 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.737800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.82/6.93 c choco : 1801.0
6.82/6.93 c mistral : 1801.0
6.82/6.93 c abscon : 1801.0
6.82/6.93 c
6.82/6.93 c
6.92/7.00 c List of same ones: 40
6.92/7.00 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr2/super-jobShop-enddr2-6.xml
6.92/7.00 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
6.92/7.01 c choco : 26.5
6.92/7.01 c mistral : 1.86
6.92/7.01 c abscon : 8.39
6.92/7.01 c
6.92/7.01 c
6.92/7.01 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-1.xml
6.92/7.01 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.680800 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.997040 | c 14 > 10.641100 | c 11 > 10.501800 | c 12 > 4.861960 | c 21 > 11.013600 | c 20 > 100.000000 | c 22 > 11.313700 | 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.559300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.01 c choco : 36.56
6.92/7.01 c mistral : 1801.0
6.92/7.02 c abscon : 1801.0
6.92/7.02 c
6.92/7.02 c
6.92/7.02 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr2/super-jobShop-enddr2-1.xml
6.92/7.02 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.432900 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.295840 | c 14 > 10.732200 | c 11 > 10.501800 | c 12 > 4.158160 | c 21 > 11.327000 | c 20 > 100.000000 | c 22 > 11.789800 | 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.639100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.02 c choco : 80.29
6.92/7.02 c mistral : 11.08
6.92/7.02 c abscon : 13.73
6.92/7.03 c
6.92/7.03 c
6.92/7.03 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-6.xml
6.92/7.03 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.295900 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.760440 | c 14 > 10.099300 | c 11 > 10.501800 | c 12 > 4.615640 | c 21 > 11.300400 | c 20 > 100.000000 | c 22 > 11.747300 | 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.632500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.03 c choco : 1801.0
6.92/7.03 c mistral : 1.4
6.92/7.03 c abscon : 7.93
6.92/7.03 c
6.92/7.03 c
6.92/7.03 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-3.xml
6.92/7.03 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.359100 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.907760 | c 14 > 10.626600 | c 11 > 10.501800 | c 12 > 4.606160 | c 21 > 10.705100 | c 20 > 100.000000 | c 22 > 11.225000 | 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.478500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.04 c choco : 20.77
6.92/7.04 c mistral : 32.33
6.92/7.04 c abscon : 7.44
6.92/7.04 c
6.92/7.04 c
6.92/7.04 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-1.xml
6.92/7.04 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.215600 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 7.335620 | c 14 > 10.120200 | c 11 > 10.501800 | c 12 > 5.270890 | c 21 > 10.601900 | c 20 > 100.000000 | c 22 > 11.313700 | 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.451000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.05 c choco : 19.39
6.92/7.05 c mistral : 1.34
6.92/7.05 c abscon : 19.6
6.92/7.05 c
6.92/7.05 c
6.92/7.05 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-4.xml
6.92/7.05 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.287600 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.851260 | c 14 > 10.092800 | c 11 > 10.501800 | c 12 > 4.461010 | c 21 > 10.611300 | c 20 > 100.000000 | c 22 > 11.225000 | 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.453500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.06 c choco : 1801.0
6.92/7.06 c mistral : 3.25
6.92/7.06 c abscon : 1801.0
6.92/7.06 c
6.92/7.06 c
6.92/7.06 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-4.xml
6.92/7.06 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.398200 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.008480 | c 14 > 10.194800 | c 11 > 10.501800 | c 12 > 3.994330 | c 21 > 11.135500 | c 20 > 100.000000 | c 22 > 11.532600 | 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.590600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.07 c choco : 24.47
6.92/7.07 c mistral : 47.71
6.92/7.07 c abscon : 1801.0
6.92/7.07 c
6.92/7.07 c
6.92/7.07 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr1/super-jobShop-e0ddr1-5.xml
6.92/7.07 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.144400 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.235190 | c 14 > 10.104600 | c 11 > 10.501800 | c 12 > 4.124560 | c 21 > 10.368200 | c 20 > 100.000000 | c 22 > 10.770300 | 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.387600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.07 c choco : 22.11
6.92/7.07 c mistral : 45.91
6.92/7.07 c abscon : 1801.0
6.92/7.07 c
6.92/7.07 c
6.92/7.08 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-5.xml
6.92/7.08 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.228000 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 5.792060 | c 14 > 10.250300 | c 11 > 10.501800 | c 12 > 3.813600 | c 21 > 10.568800 | c 20 > 100.000000 | c 22 > 11.090500 | 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.442100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.08 c choco : 18.6
6.92/7.08 c mistral : 8.49
6.92/7.08 c abscon : 12.34
6.92/7.08 c
6.92/7.08 c
6.92/7.08 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-3.xml
6.92/7.09 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.112600 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 5.651960 | c 14 > 9.774790 | c 11 > 10.501800 | c 12 > 4.012010 | c 21 > 10.986400 | c 20 > 100.000000 | c 22 > 11.269400 | 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.552200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.11/7.29 c choco : 1801.0
7.11/7.29 c mistral : 624.82
7.11/7.29 c abscon : 1801.0
7.11/7.29 c
7.11/7.29 c
7.11/7.29 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr1/super-jobShop-e0ddr1-1.xml
7.11/7.29 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.338300 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 5.928610 | c 14 > 9.951280 | c 11 > 10.501800 | c 12 > 3.846340 | c 21 > 10.373000 | c 20 > 100.000000 | c 22 > 10.723800 | 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.389000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.30 c choco : 36.03
7.20/7.30 c mistral : 104.09
7.20/7.30 c abscon : 1801.0
7.20/7.30 c
7.20/7.30 c
7.20/7.30 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-9.xml
7.20/7.30 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.227900 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 4.977270 | c 14 > 9.975850 | c 11 > 10.501800 | c 12 > 3.293390 | c 21 > 10.695800 | c 20 > 100.000000 | c 22 > 11.045400 | 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.476000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.31 c choco : 23.53
7.20/7.31 c mistral : 9.27
7.20/7.31 c abscon : 1801.0
7.20/7.31 c
7.20/7.31 c
7.20/7.31 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-2.xml
7.20/7.31 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.136300 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 4.926470 | c 14 > 9.722810 | c 11 > 10.501800 | c 12 > 3.257110 | c 21 > 10.733100 | c 20 > 100.000000 | c 22 > 11.180300 | 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.485900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.32 c choco : 1801.0
7.20/7.32 c mistral : 5.76
7.20/7.32 c abscon : 1801.0
7.20/7.32 c
7.20/7.32 c
7.20/7.32 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-9.xml
7.20/7.32 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.123400 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 4.720140 | c 14 > 9.654640 | c 11 > 10.501800 | c 12 > 3.099240 | c 21 > 11.117600 | c 20 > 100.000000 | c 22 > 11.489100 | 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.586000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.33 c choco : 28.09
7.20/7.33 c mistral : 1801.0
7.20/7.33 c abscon : 9.71
7.20/7.33 c
7.20/7.33 c
7.20/7.33 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr2/super-jobShop-enddr2-3.xml
7.20/7.33 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.027000 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 4.636430 | c 14 > 9.381540 | c 11 > 10.501800 | c 12 > 3.260340 | c 21 > 11.238300 | c 20 > 100.000000 | c 22 > 11.789800 | 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.616800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.33 c choco : 1801.0
7.20/7.33 c mistral : 11.18
7.20/7.33 c abscon : 1801.0
7.20/7.33 c
7.20/7.33 c
7.20/7.33 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr1/super-jobShop-e0ddr1-3.xml
7.20/7.33 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 20.870900 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 4.918020 | c 14 > 10.299200 | c 11 > 10.501800 | c 12 > 2.984370 | c 21 > 10.425900 | c 20 > 100.000000 | c 22 > 10.862800 | 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.403400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.34 c choco : 22.1
7.20/7.34 c mistral : 16.74
7.20/7.34 c abscon : 9.2
7.20/7.34 c
7.20/7.34 c
7.20/7.34 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr2/super-jobShop-enddr2-5.xml
7.20/7.34 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 20.560600 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 4.799240 | c 14 > 9.884170 | c 11 > 10.501800 | c 12 > 2.770060 | c 21 > 11.532600 | c 20 > 100.000000 | c 22 > 11.916400 | 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.690400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.34 c choco : 23.33
7.20/7.34 c mistral : 32.47
7.20/7.34 c abscon : 8.06
7.20/7.34 c
7.20/7.34 c
7.20/7.34 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-8.xml
7.20/7.34 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.081800 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 4.313200 | c 14 > 9.184880 | c 11 > 10.501800 | c 12 > 2.795650 | c 21 > 10.788900 | c 20 > 100.000000 | c 22 > 11.269400 | 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.500700 | 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 : 2.04
7.20/7.35 c abscon : 19.23
7.20/7.35 c
7.20/7.35 c
7.20/7.35 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-ewddr2/super-jobShop-ewddr2-1.xml
7.20/7.35 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 19.511000 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 5.538460 | c 14 > 9.541100 | c 11 > 10.501800 | c 12 > 2.741340 | c 21 > 11.593100 | c 20 > 100.000000 | c 22 > 12.247400 | 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.705300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.36 c choco : 36.63
7.20/7.36 c mistral : 2.43
7.20/7.36 c abscon : 8.31
7.20/7.36 c
7.20/7.36 c
7.20/7.36 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr1/super-jobShop-e0ddr1-8.xml
7.20/7.36 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 20.789000 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 4.186030 | c 14 > 9.625710 | c 11 > 10.501800 | c 12 > 2.273360 | c 21 > 10.411500 | c 20 > 100.000000 | c 22 > 10.862800 | 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.399500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.37 c choco : 49.15
7.20/7.37 c mistral : 19.48
7.20/7.37 c abscon : 1801.0
7.20/7.37 c
7.20/7.37 c
7.20/7.37 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr1/super-jobShop-e0ddr1-6.xml
7.20/7.37 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 19.793800 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 4.766770 | c 14 > 9.550750 | c 11 > 10.501800 | c 12 > 2.573470 | c 21 > 10.540400 | c 20 > 100.000000 | c 22 > 10.954500 | 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.434400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.37 c choco : 19.79
7.20/7.37 c mistral : 6.41
7.20/7.37 c abscon : 496.48
7.20/7.37 c
7.20/7.37 c
7.20/7.37 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-ewddr2/super-jobShop-ewddr2-10.xml
7.20/7.37 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 20.346200 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 3.877550 | c 14 > 9.159870 | c 11 > 10.501800 | c 12 > 2.121590 | c 21 > 11.584500 | c 20 > 100.000000 | c 22 > 12.206600 | 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.20/7.38 c choco : 1801.0
7.20/7.38 c mistral : 0.56
7.20/7.38 c abscon : 7.15
7.20/7.38 c
7.20/7.38 c
7.20/7.38 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-8.xml
7.20/7.38 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 20.260900 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 3.881060 | c 14 > 9.019590 | c 11 > 10.501800 | c 12 > 2.231390 | c 21 > 11.149000 | c 20 > 100.000000 | c 22 > 11.532600 | 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.594100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.38 c choco : 1801.0
7.20/7.38 c mistral : 46.92
7.20/7.38 c abscon : 8.26
7.20/7.38 c
7.20/7.38 c
7.20/7.38 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-7.xml
7.20/7.38 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 19.836900 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 3.671210 | c 14 > 9.036170 | c 11 > 10.501800 | c 12 > 2.174120 | c 21 > 11.278300 | c 20 > 100.000000 | c 22 > 11.619000 | 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.626900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.39 c choco : 1801.0
7.20/7.39 c mistral : 60.4
7.20/7.39 c abscon : 12.01
7.20/7.39 c
7.20/7.39 c
7.20/7.39 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr2/super-jobShop-enddr2-4.xml
7.20/7.39 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 19.187700 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 4.305250 | c 14 > 8.900870 | c 11 > 10.501800 | c 12 > 2.239000 | c 21 > 11.458600 | c 20 > 100.000000 | c 22 > 11.958300 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 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.672000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.40 c choco : 114.89
7.20/7.40 c mistral : 6.19
7.20/7.40 c abscon : 10.32
7.20/7.40 c
7.20/7.40 c
7.20/7.40 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-ewddr2/super-jobShop-ewddr2-4.xml
7.20/7.40 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 18.462800 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 3.068890 | c 14 > 8.596190 | c 11 > 10.501800 | c 12 > 1.762020 | c 21 > 11.726000 | c 20 > 100.000000 | c 22 > 12.328800 | 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.737800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.40 c choco : 112.58
7.26/7.40 c mistral : 26.61
7.26/7.40 c abscon : 7.92
7.26/7.40 c
7.26/7.40 c
7.26/7.40 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-2.xml
7.26/7.40 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 18.571500 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 2.805460 | c 14 > 8.717680 | c 11 > 10.501800 | c 12 > 1.653930 | c 21 > 11.287200 | c 20 > 100.000000 | c 22 > 11.575800 | 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.629100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.41 c choco : 1801.0
7.26/7.41 c mistral : 37.54
7.26/7.41 c abscon : 10.51
7.26/7.41 c
7.26/7.41 c
7.26/7.41 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-5.xml
7.26/7.41 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 18.890200 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 2.688480 | c 14 > 8.262090 | c 11 > 10.501800 | c 12 > 1.608970 | c 21 > 11.282700 | c 20 > 100.000000 | c 22 > 11.661900 | 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.628000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.41 c choco : 1801.0
7.26/7.41 c mistral : 22.41
7.26/7.41 c abscon : 11.07
7.26/7.41 c
7.26/7.41 c
7.26/7.41 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-2.xml
7.26/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.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.26/7.42 c choco : 54.64
7.26/7.42 c mistral : 2.71
7.26/7.42 c abscon : 1801.0
7.26/7.42 c
7.26/7.42 c
7.26/7.42 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-ewddr2/super-jobShop-ewddr2-2.xml
7.26/7.42 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 18.340300 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 2.693370 | c 14 > 8.584960 | c 11 > 10.501800 | c 12 > 1.606690 | c 21 > 11.743100 | c 20 > 100.000000 | c 22 > 12.609500 | 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.741900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.42 c choco : 28.23
7.26/7.42 c mistral : 5.17
7.26/7.42 c abscon : 7.42
7.26/7.42 c
7.26/7.42 c
7.26/7.42 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-ewddr2/super-jobShop-ewddr2-3.xml
7.26/7.42 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 18.127300 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 2.791030 | c 14 > 8.577430 | c 11 > 10.501800 | c 12 > 1.633870 | c 21 > 11.428000 | c 20 > 100.000000 | c 22 > 12.288200 | 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.664400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.43 c choco : 1801.0
7.26/7.43 c mistral : 9.78
7.26/7.43 c abscon : 8.67
7.26/7.43 c
7.26/7.43 c
7.26/7.43 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr2/super-jobShop-enddr2-2.xml
7.26/7.43 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 18.222000 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 2.661510 | c 14 > 8.523560 | c 11 > 10.501800 | c 12 > 1.591580 | c 21 > 11.545600 | c 20 > 100.000000 | c 22 > 12.124400 | 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.693600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.43 c choco : 1801.0
7.26/7.43 c mistral : 38.81
7.26/7.43 c abscon : 7.35
7.26/7.43 c
7.26/7.43 c
7.26/7.43 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-8.xml
7.26/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.26/7.44 c choco : 506.49
7.26/7.44 c mistral : 186.47
7.26/7.44 c abscon : 1801.0
7.26/7.44 c
7.26/7.44 c
7.26/7.44 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-1.xml
7.26/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.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.26/7.45 c choco : 1801.0
7.26/7.45 c mistral : 10.53
7.26/7.45 c abscon : 1801.0
7.26/7.45 c
7.26/7.45 c
7.26/7.45 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-7.xml
7.26/7.45 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 17.808500 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 2.875040 | c 14 > 7.988680 | c 11 > 10.501800 | c 12 > 1.644090 | c 21 > 11.000000 | c 20 > 100.000000 | c 22 > 11.401800 | 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.555800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.45 c choco : 34.6
7.26/7.45 c mistral : 3.37
7.26/7.45 c abscon : 8.21
7.26/7.45 c
7.26/7.45 c
7.26/7.45 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-28.xml
7.26/7.45 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.26/7.46 c choco : 3.89
7.26/7.46 c mistral : 0.14
7.26/7.46 c abscon : 11.49
7.26/7.46 c
7.26/7.46 c
7.26/7.46 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-7.xml
7.26/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.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.26/7.46 c choco : 1801.0
7.26/7.46 c mistral : 14.83
7.26/7.46 c abscon : 1801.0
7.26/7.46 c
7.26/7.46 c
7.26/7.46 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-ewddr2/super-jobShop-ewddr2-7.xml
7.26/7.46 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 17.486900 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 2.741180 | c 14 > 8.224000 | c 11 > 10.501800 | c 12 > 1.610600 | c 21 > 11.882800 | c 20 > 100.000000 | c 22 > 12.206600 | 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.775600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.26/7.47 c choco : 20.59
7.26/7.47 c mistral : 7.66
7.26/7.47 c abscon : 7.87
7.26/7.47 c
7.26/7.47 c
7.26/7.47 c /home/ehebrard/new_instances/competition_4c/data/super-os/super-os-taillard-5/super-os-taillard-5-4.xml
7.26/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.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.26/7.48 c choco : 1801.0
7.26/7.48 c mistral : 81.98
7.26/7.48 c abscon : 1801.0
7.26/7.48 c
7.26/7.48 c
7.26/7.49 c Length: 40
7.26/7.49 c 2.0186232110277555 2.386781923113211 2.802653747878964 2.8187027704424614 2.8547002799768664 2.978103592959789 3.194517919812002 3.2919571273028456 3.81464241141945 3.8200216917839613 3.882236835137703 3.999371686027694 4.531963913294102 4.665754126119378 4.755660733242017 4.824333950816424 4.925194359291824 5.005370072771843 5.443726634760419 5.465737879929847 5.9235862181536625 5.964135990887532 6.216835185799926 6.326921406632138 6.662401023797651 6.690662775054503 8.085715172024056 8.22198711660387 8.289224368111892 8.42477350632051 8.44627687732885 8.511949802025386 8.562532022818951 8.902008171985688 8.933544395887893 8.951418816478203 8.962899802943241 8.978779978465893 9.073230589514411 9.122787912869615
7.26/7.49 c
7.26/7.49 c 1.0 0.9507303563173857 0.9006071080739239 0.8987784874847081 0.8947038272783192 0.8810115807474274 0.857984749810469 0.8480054758205018 0.7982042595837855 0.7977221155113208 0.7921878132606327 0.781973868495625 0.7386702063933596 0.7285354665594609 0.7218797602264724 0.7168772951472103 0.7096545956476004 0.7040161492919967 0.6747064104661334 0.6732988912737847 0.645297692028314 0.6429295980454108 0.628554940709172 0.6224918114241188 0.604715650677206 0.6032643916029985 0.5393687849000617 0.5338455329625824 0.5311617995241922 0.5258326473771021 0.5249970483321528 0.5224614268062043 0.5205250905738097 0.5078920091869663 0.5067494955987548 0.5061042096237311 0.5056905996395993 0.5051196189847578 0.5017500572462797 0.5
7.32/7.50 c
7.32/7.50 c solver 0
7.32/7.50 c before 0.0 seconds: {} 0
7.32/7.50 c before 18.0 seconds: {0, 2, 3, 4, 9, 14, 16, 17, 19, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 35, 36, 38} 14445
7.32/7.50 c before 36.0 seconds: {0, 2, 3, 4, 5, 9, 14, 16, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 35, 36, 38} 16001
7.32/7.50 c before 504.0 seconds: {0, 2, 3, 4, 5, 9, 14, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 35, 36, 38} 16644
7.32/7.50 c
7.32/7.50 c solver 1
7.32/7.50 c before 0.0 seconds: {} 0
7.32/7.50 c before 18.0 seconds: {0, 2, 3, 5, 6, 9, 12, 13, 15, 16, 18, 19, 21, 22, 25, 29, 30, 31, 34, 35, 36, 37, 38} 15551
7.32/7.50 c before 36.0 seconds: {0, 2, 3, 4, 5, 6, 9, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 25, 26, 28, 29, 30, 31, 34, 35, 36, 37, 38} 18865
7.32/7.50 c before 54.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38} 22188
7.32/7.50 c before 72.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38} 22793
7.32/7.50 c before 90.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 23293
7.32/7.50 c before 108.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 24075
7.32/7.50 c before 198.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24583
7.32/7.50 c before 630.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25375
7.32/7.50 c
7.32/7.50 c solver 2
7.32/7.50 c before 0.0 seconds: {} 0
7.32/7.50 c before 18.0 seconds: {36} 505
7.32/7.50 c before 36.0 seconds: {0, 4, 5, 7, 8, 9, 12, 14, 16, 17, 21, 30, 35, 36, 38} 10775
7.32/7.50 c before 54.0 seconds: {0, 1, 4, 5, 7, 8, 9, 11, 12, 14, 16, 17, 19, 20, 21, 30, 35, 36, 38} 13826
7.32/7.50 c before 72.0 seconds: {0, 1, 4, 5, 7, 8, 9, 11, 12, 14, 16, 17, 19, 20, 21, 29, 30, 35, 36, 38} 14352
7.32/7.50 c before 90.0 seconds: {0, 1, 2, 4, 5, 7, 8, 9, 11, 12, 14, 16, 17, 19, 20, 21, 29, 30, 35, 36, 38} 15253
7.32/7.50 c before 126.0 seconds: {0, 1, 2, 4, 5, 7, 8, 9, 11, 12, 14, 16, 17, 19, 20, 21, 25, 26, 29, 30, 35, 36, 38} 16395
7.32/7.50 c before 522.0 seconds: {0, 1, 2, 4, 5, 7, 8, 9, 11, 12, 14, 16, 17, 19, 20, 21, 25, 26, 29, 30, 33, 35, 36, 38} 16903
7.32/7.50 c
7.32/7.50 cTotal time: 92
7.32/7.50 c 1656.0 seconds unused
7.32/7.50 c 0 c 1 c 9
7.32/7.50 c 14 c 0 c 16
7.32/7.50 c 8 c 2 c 0
7.32/7.50 c is solver0 dominated by:
7.32/7.50 c solver 1 (0 solves instances that 1 can't: true) (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.32/7.50 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: false) (0 is faster than 2: true) (0 is equally as fast as 2: false) (0 < 2: false)
7.32/7.50 c is dominated? false
7.32/7.50 c
7.32/7.50 c is solver1 dominated by:
7.32/7.50 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.32/7.50 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: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.32/7.50 c is dominated? false
7.32/7.50 c
7.32/7.50 c is solver2 dominated by:
7.32/7.50 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true)
7.32/7.50 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: true) (2 is equally as fast as 1: false) (2 < 1: true)
7.32/7.50 c is dominated? false
7.32/7.50 c
7.32/7.50 c Number of non-dominated solvers: 3
7.32/7.50 c remove dominated solvers
7.32/7.50 c solver 0 is not dominated by another solver
7.32/7.50 c solver 1 is not dominated by another solver
7.32/7.50 c solver 2 is not dominated by another solver
7.32/7.50 c
7.32/7.50 c solver 0: 504.0
7.32/7.50 c
7.32/7.50 c+ 28/92 of 8
7.32/7.50 c
7.32/7.50 c solver 1: 630.0
7.32/7.50 c
7.32/7.50 c+ 35/92 of 8
7.32/7.50 c
7.32/7.50 c solver 2: 522.0
7.32/7.50 c
7.32/7.50 c+ 29/92 of 8
7.32/7.51 c run abscon for 540.0 seconds {0, 2, 3, 4, 5, 9, 14, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 35, 36, 38} 16644
7.32/7.51 c run mistral for 684.0 seconds {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25375
7.32/7.51 c run choco for 558.0 seconds {0, 1, 2, 4, 5, 7, 8, 9, 11, 12, 14, 16, 17, 19, 20, 21, 25, 26, 29, 30, 33, 35, 36, 38} 16903
7.32/7.51 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.32/7.51 c On Instance: HOME/instance-1085239-1215232964.xml
7.32/7.51 c Running for: 540 seconds
11.22/11.59 s SAT
11.22/11.59 v 0 1 10 9 59 60 86 84 94 93 0 1 90 91 120 121 140 139 144 178 21 22 30 29 41 42 58 59 68 67 40 41 73 92 133 132 150 151 155 154 30 29 69 67 75 73 93 94 109 183 31 30 65 66 91 92 113 114 122 121 0 1 11 10 18 19 73 71 77 78 84 50 138 137 146 147 157 156 164 174 11 10 21 22 31 30 50 49 53 177 42 43 61 62 104 103 123 122 134 177
11.22/11.59 d ASSIGNMENTS 2418
11.22/11.59 d CHECKS 19240198