0.00/0.00 c cpHydra_k_40 version 0.0
8.87/9.09 c CASE TO CLASSIFY:
8.87/9.10 c Case: 0
8.87/9.10 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.226990 | c 33 > 30.000000 | c 15 > 21.277900 | c 34 > 30.000000 | c 16 > 24.000000 | c 13 > 7.598770 | c 14 > 9.105910 | c 11 > 9.255030 | c 12 > 8.493250 | c 21 > 3.902400 | c 20 > 98.773000 | c 22 > 6.000000 | c 23 > 66.609100 | c 24 > 13.333300 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.255030 | c 2 > -1.000000 | c 10 > 17.018100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.512500 | c 32 > 0.000000 | c 5 > 16.686600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.97/9.11 c choco : 1801.0
8.97/9.11 c mistral : 1801.0
8.97/9.11 c abscon : 1801.0
8.97/9.11 c
8.97/9.11 c
8.97/9.18 c List of same ones: 40
8.97/9.18 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-13.xml
8.97/9.18 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.226990 | c 33 > 30.000000 | c 15 > 20.404900 | c 34 > 30.000000 | c 16 > 24.000000 | c 13 > 7.487570 | c 14 > 8.546890 | c 11 > 9.255030 | c 12 > 8.456330 | c 21 > 3.902400 | c 20 > 98.773000 | c 22 > 6.000000 | c 23 > 66.609100 | c 24 > 13.333300 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.255030 | c 2 > -1.000000 | c 10 > 17.018100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.512500 | c 32 > 0.000000 | c 5 > 16.686600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.97/9.19 c choco : 1801.0
8.97/9.19 c mistral : 43.86
8.97/9.19 c abscon : 262.21
8.97/9.19 c
8.97/9.19 c
8.97/9.19 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-5.xml
8.97/9.19 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.716829 | c 33 > 30.000000 | c 15 > 20.502000 | c 34 > 30.000000 | c 16 > 24.000000 | c 13 > 7.462510 | c 14 > 8.149750 | c 11 > 9.467610 | c 12 > 8.672580 | c 21 > 4.149400 | c 20 > 99.283200 | c 22 > 5.830950 | c 23 > 65.344800 | c 24 > 11.764700 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.467610 | c 2 > -1.000000 | c 10 > 17.526000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.333300 | c 32 > 0.000000 | c 5 > 17.448100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.08/9.20 c choco : 1801.0
9.08/9.20 c mistral : 1156.77
9.08/9.20 c abscon : 1801.0
9.08/9.20 c
9.08/9.20 c
9.08/9.20 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-12.xml
9.08/9.20 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.895683 | c 33 > 30.000000 | c 15 > 20.466700 | c 34 > 30.000000 | c 16 > 23.000000 | c 13 > 7.445010 | c 14 > 8.507790 | c 11 > 9.394460 | c 12 > 8.546470 | c 21 > 4.014350 | c 20 > 99.104300 | c 22 > 5.830950 | c 23 > 63.995800 | c 24 > 12.500000 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.394460 | c 2 > -1.000000 | c 10 > 17.300500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.994000 | c 32 > 0.000000 | c 5 > 17.128600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.08/9.21 c choco : 1801.0
9.08/9.21 c mistral : 38.33
9.08/9.21 c abscon : 568.38
9.08/9.21 c
9.08/9.21 c
9.08/9.21 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-6.xml
9.08/9.21 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.753258 | c 33 > 30.000000 | c 15 > 20.543200 | c 34 > 30.000000 | c 16 > 24.000000 | c 13 > 7.454780 | c 14 > 8.353150 | c 11 > 9.493860 | c 12 > 8.600780 | c 21 > 4.062170 | c 20 > 99.246700 | c 22 > 6.000000 | c 23 > 61.086600 | c 24 > 13.333300 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.493860 | c 2 > -1.000000 | c 10 > 17.464800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.264800 | c 32 > 0.000000 | c 5 > 17.380300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.08/9.22 c choco : 1801.0
9.08/9.22 c mistral : 963.3
9.08/9.22 c abscon : 1801.0
9.08/9.22 c
9.08/9.22 c
9.08/9.22 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-20.xml
9.08/9.22 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.644026 | c 33 > 30.000000 | c 15 > 20.714400 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.106580 | c 14 > 8.422060 | c 11 > 9.392320 | c 12 > 8.650280 | c 21 > 4.920950 | c 20 > 99.356000 | c 22 > 6.708200 | c 23 > 78.650500 | c 24 > 25.000000 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.392320 | c 2 > -1.000000 | c 10 > 17.473800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.489900 | c 32 > 0.000000 | c 5 > 17.616800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.08/9.23 c choco : 1801.0
9.08/9.23 c mistral : 654.08
9.08/9.23 c abscon : 1801.0
9.08/9.23 c
9.08/9.23 c
9.08/9.23 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-15.xml
9.08/9.23 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.399450 | c 33 > 30.000000 | c 15 > 20.959000 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.186680 | c 14 > 8.194760 | c 11 > 9.090110 | c 12 > 8.259910 | c 21 > 4.857540 | c 20 > 98.600600 | c 22 > 6.708200 | c 23 > 83.019000 | c 24 > 20.000000 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.090110 | c 2 > -1.000000 | c 10 > 16.675800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.264400 | c 32 > 0.000000 | c 5 > 16.536900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.08/9.24 c choco : 1801.0
9.08/9.24 c mistral : 106.17
9.08/9.24 c abscon : 39.95
9.08/9.24 c
9.08/9.24 c
9.08/9.24 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-4.xml
9.08/9.24 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.849594 | c 33 > 30.000000 | c 15 > 20.736900 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.115770 | c 14 > 8.299210 | c 11 > 9.400880 | c 12 > 8.339510 | c 21 > 4.870700 | c 20 > 99.150400 | c 22 > 6.708200 | c 23 > 87.351200 | c 24 > 22.222200 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.400880 | c 2 > -1.000000 | c 10 > 17.155900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.044900 | c 32 > 0.000000 | c 5 > 17.233300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.08/9.25 c choco : 1801.0
9.08/9.25 c mistral : 293.62
9.08/9.25 c abscon : 1801.0
9.08/9.25 c
9.08/9.25 c
9.08/9.25 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-19.xml
9.08/9.25 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.468187 | c 33 > 30.000000 | c 15 > 20.496000 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.978730 | c 14 > 8.690000 | c 11 > 9.611020 | c 12 > 8.780590 | c 21 > 4.946840 | c 20 > 99.531800 | c 22 > 6.708200 | c 23 > 84.598700 | c 24 > 33.333300 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.611020 | c 2 > -1.000000 | c 10 > 17.848000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.958200 | c 32 > 0.000000 | c 5 > 18.064900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.08/9.26 c choco : 1801.0
9.08/9.26 c mistral : 265.78
9.08/9.26 c abscon : 1801.0
9.08/9.26 c
9.08/9.26 c
9.08/9.26 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-5.xml
9.08/9.26 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.579810 | c 33 > 30.000000 | c 15 > 20.881300 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.129480 | c 14 > 8.209450 | c 11 > 8.774790 | c 12 > 8.261650 | c 21 > 4.836470 | c 20 > 97.420200 | c 22 > 6.708200 | c 23 > 93.217300 | c 24 > 28.571400 | c 25 > 299.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.774790 | c 2 > -1.000000 | c 10 > 16.155800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 14.022200 | c 32 > 0.000000 | c 5 > 15.591900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.08/9.26 c choco : 1801.0
9.08/9.26 c mistral : 71.99
9.08/9.26 c abscon : 45.66
9.08/9.26 c
9.08/9.26 c
9.08/9.26 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-6.xml
9.08/9.26 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.658299 | c 33 > 30.000000 | c 15 > 20.669000 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.208980 | c 14 > 8.592460 | c 11 > 9.411510 | c 12 > 8.640030 | c 21 > 4.928780 | c 20 > 99.341700 | c 22 > 6.708200 | c 23 > 83.238900 | c 24 > 40.000000 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.411510 | c 2 > -1.000000 | c 10 > 17.463900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.462700 | c 32 > 0.000000 | c 5 > 17.592400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.08/9.27 c choco : 1801.0
9.08/9.27 c mistral : 467.31
9.08/9.28 c abscon : 1801.0
9.08/9.28 c
9.08/9.28 c
9.08/9.28 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-17.xml
9.08/9.28 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 5.178660 | c 33 > 30.000000 | c 15 > 19.878000 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.754490 | c 14 > 10.632100 | c 11 > 11.879600 | c 12 > 5.045030 | c 21 > 4.801340 | c 20 > 94.821300 | c 22 > 6.708200 | c 23 > 97.911900 | c 24 > 25.000000 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.554590 | c 2 > -1.000000 | c 10 > 15.707800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 11.727900 | c 32 > 0.000000 | c 5 > 14.463800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.25/9.48 c choco : 1801.0
9.25/9.48 c mistral : 440.15
9.25/9.48 c abscon : 13.8
9.25/9.48 c
9.25/9.48 c
9.25/9.48 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-14.xml
9.25/9.48 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.049790 | c 33 > 30.000000 | c 15 > 20.795500 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.418740 | c 14 > 8.118940 | c 11 > 9.219170 | c 12 > 8.571470 | c 21 > 4.902910 | c 20 > 98.950200 | c 22 > 6.708200 | c 23 > 82.224100 | c 24 > 22.222200 | c 25 > 350.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.219170 | c 2 > -1.000000 | c 10 > 17.177700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.980400 | c 32 > 0.000000 | c 5 > 17.155900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.25/9.49 c choco : 1801.0
9.25/9.49 c mistral : 137.37
9.25/9.49 c abscon : 1046.72
9.25/9.49 c
9.25/9.49 c
9.25/9.49 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-7.xml
9.25/9.49 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.032270 | c 33 > 30.000000 | c 15 > 20.714300 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.395630 | c 14 > 8.348730 | c 11 > 9.192290 | c 12 > 8.606890 | c 21 > 4.892560 | c 20 > 98.967700 | c 22 > 6.708200 | c 23 > 86.853200 | c 24 > 25.000000 | c 25 > 348.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.192290 | c 2 > -1.000000 | c 10 > 17.188200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.994700 | c 32 > 0.000000 | c 5 > 17.167700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.34/9.50 c choco : 1801.0
9.34/9.50 c mistral : 98.85
9.34/9.50 c abscon : 1801.0
9.34/9.50 c
9.34/9.50 c
9.34/9.50 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-13.xml
9.34/9.50 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.827705 | c 33 > 30.000000 | c 15 > 20.694100 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.951770 | c 14 > 8.379380 | c 11 > 9.308340 | c 12 > 8.185690 | c 21 > 4.869800 | c 20 > 99.172300 | c 22 > 6.708200 | c 23 > 85.063200 | c 24 > 33.333300 | c 25 > 250.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.308340 | c 2 > -1.000000 | c 10 > 16.904800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.759000 | c 32 > 0.000000 | c 5 > 16.985000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.34/9.50 c choco : 1801.0
9.34/9.50 c mistral : 114.2
9.34/9.50 c abscon : 1801.0
9.34/9.50 c
9.34/9.50 c
9.34/9.50 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-11.xml
9.34/9.50 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.765670 | c 33 > 30.000000 | c 15 > 20.735200 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.584730 | c 14 > 8.588710 | c 11 > 9.353150 | c 12 > 8.024060 | c 21 > 4.851030 | c 20 > 99.234300 | c 22 > 6.708200 | c 23 > 83.020000 | c 24 > 25.000000 | c 25 > 220.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.353150 | c 2 > -1.000000 | c 10 > 16.798500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.711800 | c 32 > 0.000000 | c 5 > 16.943200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.34/9.51 c choco : 1801.0
9.34/9.51 c mistral : 807.54
9.34/9.51 c abscon : 1801.0
9.34/9.51 c
9.34/9.51 c
9.34/9.51 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-9.xml
9.34/9.51 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.450580 | c 33 > 30.000000 | c 15 > 20.707300 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.953550 | c 14 > 8.451210 | c 11 > 9.552670 | c 12 > 8.368340 | c 21 > 4.877240 | c 20 > 99.549400 | c 22 > 6.708200 | c 23 > 84.802900 | c 24 > 25.000000 | c 25 > 220.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.552670 | c 2 > -1.000000 | c 10 > 17.406200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.513100 | c 32 > 0.000000 | c 5 > 17.665300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.34/9.52 c choco : 1801.0
9.34/9.52 c mistral : 499.22
9.34/9.52 c abscon : 1801.0
9.34/9.52 c
9.34/9.52 c
9.34/9.52 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-16.xml
9.34/9.52 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.498934 | c 33 > 30.000000 | c 15 > 20.578600 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.573960 | c 14 > 8.339850 | c 11 > 9.513730 | c 12 > 8.266280 | c 21 > 4.907900 | c 20 > 99.501100 | c 22 > 6.708200 | c 23 > 87.740100 | c 24 > 28.571400 | c 25 > 220.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.513730 | c 2 > -1.000000 | c 10 > 17.297500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.360800 | c 32 > 0.000000 | c 5 > 17.530800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.34/9.53 c choco : 1801.0
9.34/9.53 c mistral : 793.29
9.34/9.53 c abscon : 1801.0
9.34/9.53 c
9.34/9.53 c
9.34/9.53 c /home/ehebrard/new_instances/competition_4c/data/medium/patat-02-medium-3.xml
9.34/9.53 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.312402 | c 33 > 30.000000 | c 15 > 20.565500 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.410480 | c 14 > 8.643860 | c 11 > 9.605480 | c 12 > 8.645100 | c 21 > 4.940900 | c 20 > 99.687600 | c 22 > 6.708200 | c 23 > 80.177400 | c 24 > 28.571400 | c 25 > 200.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.605480 | c 2 > -1.000000 | c 10 > 17.754100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.958200 | c 32 > 0.000000 | c 5 > 18.064700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.34/9.54 c choco : 1801.0
9.34/9.54 c mistral : 407.7
9.34/9.54 c abscon : 1801.0
9.34/9.54 c
9.34/9.54 c
9.34/9.54 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-1.xml
9.34/9.54 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.590982 | c 33 > 30.000000 | c 15 > 20.740500 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.609820 | c 14 > 8.471680 | c 11 > 9.381540 | c 12 > 8.121300 | c 21 > 4.845750 | c 20 > 99.409000 | c 22 > 6.708200 | c 23 > 86.663700 | c 24 > 20.000000 | c 25 > 200.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.381540 | c 2 > -1.000000 | c 10 > 16.960100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.961200 | c 32 > 0.000000 | c 5 > 17.158000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.34/9.54 c choco : 1801.0
9.34/9.54 c mistral : 223.88
9.34/9.54 c abscon : 1801.0
9.34/9.54 c
9.34/9.54 c
9.34/9.54 c /home/ehebrard/new_instances/competition_4c/data/medium/patat-02-medium-2.xml
9.34/9.54 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.307064 | c 33 > 30.000000 | c 15 > 20.498000 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.362750 | c 14 > 8.658210 | c 11 > 9.599910 | c 12 > 8.664880 | c 21 > 4.940900 | c 20 > 99.692900 | c 22 > 6.708200 | c 23 > 80.681200 | c 24 > 30.000000 | c 25 > 200.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.599910 | c 2 > -1.000000 | c 10 > 17.774600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.981900 | c 32 > 0.000000 | c 5 > 18.086700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.34/9.55 c choco : 1801.0
9.34/9.55 c mistral : 628.57
9.34/9.56 c abscon : 1801.0
9.34/9.56 c
9.34/9.56 c
9.34/9.56 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-2.xml
9.34/9.56 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.880514 | c 33 > 30.000000 | c 15 > 20.863000 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.515360 | c 14 > 8.523560 | c 11 > 9.209450 | c 12 > 7.870430 | c 21 > 4.843420 | c 20 > 99.119500 | c 22 > 6.708200 | c 23 > 89.800000 | c 24 > 25.000000 | c 25 > 200.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.209450 | c 2 > -1.000000 | c 10 > 16.477400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.303100 | c 32 > 0.000000 | c 5 > 16.601200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.34/9.56 c choco : 1801.0
9.34/9.56 c mistral : 126.19
9.34/9.56 c abscon : 898.95
9.34/9.56 c
9.34/9.56 c
9.34/9.56 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-12.xml
9.34/9.56 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.704225 | c 33 > 30.000000 | c 15 > 20.751900 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.592960 | c 14 > 8.897850 | c 11 > 9.262090 | c 12 > 8.033320 | c 21 > 4.845360 | c 20 > 99.295800 | c 22 > 6.708200 | c 23 > 87.711200 | c 24 > 30.000000 | c 25 > 200.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.262090 | c 2 > -1.000000 | c 10 > 16.738200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.657900 | c 32 > 0.000000 | c 5 > 16.896500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.34/9.57 c choco : 1801.0
9.34/9.57 c mistral : 62.47
9.34/9.57 c abscon : 40.58
9.34/9.57 c
9.34/9.57 c
9.34/9.57 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-18.xml
9.34/9.57 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.116690 | c 33 > 30.000000 | c 15 > 20.815500 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.401820 | c 14 > 9.033420 | c 11 > 9.164910 | c 12 > 7.749760 | c 21 > 4.834770 | c 20 > 98.883300 | c 22 > 6.708200 | c 23 > 93.380500 | c 24 > 25.000000 | c 25 > 200.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.154820 | c 2 > -1.000000 | c 10 > 16.226100 | c 1 > 2.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 14.852000 | c 32 > 0.000000 | c 5 > 16.244200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.34/9.57 c choco : 1801.0
9.34/9.57 c mistral : 138.39
9.34/9.57 c abscon : 905.44
9.34/9.57 c
9.34/9.57 c
9.34/9.57 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-7.xml
9.34/9.57 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 12.442600 | c 33 > 30.000000 | c 15 > 19.734000 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 6.396280 | c 14 > 8.434630 | c 11 > 12.538400 | c 12 > 4.143190 | c 21 > 3.130890 | c 20 > 87.557400 | c 22 > 4.898980 | c 23 > 64.366700 | c 24 > 20.000000 | c 25 > 461.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.174930 | c 2 > -1.000000 | c 10 > 15.494700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.466600 | c 32 > 0.000000 | c 5 > 13.885100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.34/9.58 c choco : 1801.0
9.34/9.58 c mistral : 5.03
9.34/9.58 c abscon : 102.03
9.34/9.58 c
9.34/9.58 c
9.34/9.58 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-15.xml
9.34/9.58 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 23.800200 | c 33 > 30.000000 | c 15 > 19.804600 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 7.050950 | c 14 > 8.751540 | c 11 > 11.493900 | c 12 > 5.236670 | c 21 > 3.089090 | c 20 > 76.199800 | c 22 > 5.099020 | c 23 > 60.156700 | c 24 > 10.000000 | c 25 > 486.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.033420 | c 2 > -1.000000 | c 10 > 15.550000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 11.356500 | c 32 > 0.000000 | c 5 > 13.123300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.34/9.58 c choco : 1801.0
9.34/9.59 c mistral : 3.46
9.34/9.59 c abscon : 14.39
9.34/9.59 c
9.34/9.59 c
9.34/9.59 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-8.xml
9.34/9.59 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 14.579000 | c 33 > 30.000000 | c 15 > 19.452200 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 7.059480 | c 14 > 9.417850 | c 11 > 12.164600 | c 12 > 4.765530 | c 21 > 3.107250 | c 20 > 85.421000 | c 22 > 5.000000 | c 23 > 65.371600 | c 24 > 25.000000 | c 25 > 490.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.960000 | c 2 > -1.000000 | c 10 > 15.614100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.084100 | c 32 > 0.000000 | c 5 > 13.597500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.34/9.59 c choco : 1801.0
9.34/9.59 c mistral : 3.36
9.34/9.59 c abscon : 15.51
9.34/9.59 c
9.34/9.59 c
9.34/9.59 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-2.xml
9.34/9.59 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 4.399320 | c 33 > 30.000000 | c 15 > 16.020600 | c 34 > 30.000000 | c 16 > 17.000000 | c 13 > 4.058140 | c 14 > 7.118940 | c 11 > 11.503300 | c 12 > 1.983760 | c 21 > 4.826490 | c 20 > 95.600700 | c 22 > 6.708200 | c 23 > 95.233300 | c 24 > 40.000000 | c 25 > 78.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.118940 | c 2 > -1.000000 | c 10 > 13.119600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 11.432500 | c 32 > 0.000000 | c 5 > 13.305800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.34/9.60 c choco : 13.82
9.34/9.60 c mistral : 0.32
9.34/9.60 c abscon : 7.62
9.34/9.60 c
9.34/9.60 c
9.34/9.60 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-5.xml
9.34/9.60 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.459890 | c 33 > 30.000000 | c 15 > 21.370900 | c 34 > 30.000000 | c 16 > 19.000000 | c 13 > 11.389900 | c 14 > 16.796700 | c 11 > 12.409400 | c 12 > 7.399610 | c 21 > 4.865700 | c 20 > 97.540100 | c 22 > 6.708200 | c 23 > 92.808300 | c 24 > 50.000000 | c 25 > 69.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.375040 | c 2 > -1.000000 | c 10 > 13.713900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.364700 | c 32 > 0.000000 | c 5 > 13.896400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.40/9.60 c choco : 1801.0
9.40/9.60 c mistral : 26.31
9.40/9.60 c abscon : 11.66
9.40/9.60 c
9.40/9.60 c
9.40/9.60 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-4.xml
9.40/9.60 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.949030 | c 33 > 30.000000 | c 15 > 21.524000 | c 34 > 30.000000 | c 16 > 12.000000 | c 13 > 6.061550 | c 14 > 11.531900 | c 11 > 12.669100 | c 12 > 2.868540 | c 21 > 4.887740 | c 20 > 98.051000 | c 22 > 6.708200 | c 23 > 99.350000 | c 24 > 50.000000 | c 25 > 65.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.451210 | c 2 > -1.000000 | c 10 > 13.477300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.629800 | c 32 > 0.000000 | c 5 > 14.089200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.40/9.61 c choco : 1801.0
9.40/9.61 c mistral : 1801.0
9.40/9.61 c abscon : 11.05
9.40/9.61 c
9.40/9.61 c
9.40/9.61 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-3.xml
9.40/9.61 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.374100 | c 33 > 30.000000 | c 15 > 20.367100 | c 34 > 30.000000 | c 16 > 13.000000 | c 13 > 5.641070 | c 14 > 11.004200 | c 11 > 12.284200 | c 12 > 2.935000 | c 21 > 4.848200 | c 20 > 97.625900 | c 22 > 6.708200 | c 23 > 94.525000 | c 24 > 66.666700 | c 25 > 66.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.209450 | c 2 > -1.000000 | c 10 > 13.356700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.240800 | c 32 > 0.000000 | c 5 > 13.806700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.40/9.61 c choco : 1801.0
9.40/9.61 c mistral : 6.57
9.40/9.61 c abscon : 10.45
9.40/9.61 c
9.40/9.61 c
9.40/9.61 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-1.xml
9.40/9.61 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.537630 | c 33 > 30.000000 | c 15 > 21.497200 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 7.743320 | c 14 > 13.117000 | c 11 > 12.028600 | c 12 > 4.472700 | c 21 > 4.829600 | c 20 > 97.462400 | c 22 > 6.708200 | c 23 > 95.033300 | c 24 > 40.000000 | c 25 > 59.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.076820 | c 2 > -1.000000 | c 10 > 13.196600 | c 1 > 4.087460 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 11.975100 | c 32 > 0.000000 | c 5 > 13.629000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.40/9.62 c choco : 1801.0
9.40/9.62 c mistral : 1801.0
9.40/9.62 c abscon : 9.29
9.40/9.62 c
9.40/9.62 c
9.40/9.62 c /home/eomahony/cpZilla/CSP/xml/nengfa/sudoku368.xml
9.40/9.62 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 16.785400 | c 34 > -1.000000 | c 16 > 25.000000 | c 13 > 5.743680 | c 14 > 8.144660 | c 11 > 8.144660 | c 12 > 5.181070 | c 21 > 1.347550 | c 20 > 0.000000 | c 22 > 3.316620 | c 23 > 84.661800 | c 24 > 9.090910 | c 25 > 75.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.144660 | c 2 > -1.000000 | c 10 > 12.317400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.399800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.40/9.63 c choco : 2.57
9.40/9.63 c mistral : 0.22
9.40/9.63 c abscon : 3.53246
9.40/9.63 c
9.40/9.63 c
9.40/9.63 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-18.xml
9.40/9.63 c 19 > 0.000000 | c 35 > 30.066200 | c 17 > 0.000000 | c 18 > 9.580840 | c 33 > 0.000000 | c 15 > 19.566600 | c 34 > 20.066200 | c 16 > 18.000000 | c 13 > 7.171760 | c 14 > 10.479800 | c 11 > 7.409390 | c 12 > 6.242450 | c 21 > 5.682050 | c 20 > 90.419200 | c 22 > 5.830950 | c 23 > 97.449000 | c 24 > 97.142900 | c 25 > 16.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.392320 | c 2 > -1.000000 | c 10 > 10.151000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.423600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
9.40/9.63 c choco : 229.74
9.40/9.63 c mistral : 552.16
9.40/9.63 c abscon : 1801.0
9.40/9.63 c
9.40/9.63 c
9.40/9.63 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-17.xml
9.40/9.63 c 19 > 0.000000 | c 35 > 30.074600 | c 17 > 0.000000 | c 18 > 10.067100 | c 33 > 0.000000 | c 15 > 19.717200 | c 34 > 20.074600 | c 16 > 17.000000 | c 13 > 7.763330 | c 14 > 10.791200 | c 11 > 7.247930 | c 12 > 6.864670 | c 21 > 5.504540 | c 20 > 89.932900 | c 22 > 5.656850 | c 23 > 97.313100 | c 24 > 96.969700 | c 25 > 15.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.228820 | c 2 > -1.000000 | c 10 > 9.915880 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.170900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
9.40/9.64 c choco : 24.02
9.40/9.64 c mistral : 1801.0
9.40/9.64 c abscon : 1801.0
9.40/9.64 c
9.40/9.64 c
9.40/9.64 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-16.xml
9.40/9.64 c 19 > 0.000000 | c 35 > 30.084700 | c 17 > 0.000000 | c 18 > 10.606100 | c 33 > 0.000000 | c 15 > 19.923600 | c 34 > 20.084700 | c 16 > 16.000000 | c 13 > 8.520580 | c 14 > 11.147200 | c 11 > 7.076820 | c 12 > 7.612850 | c 21 > 5.321260 | c 20 > 89.393900 | c 22 > 5.477230 | c 23 > 97.162300 | c 24 > 96.774200 | c 25 > 14.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.055280 | c 2 > -1.000000 | c 10 > 9.667110 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.902400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
9.40/9.64 c choco : 81.95
9.40/9.64 c mistral : 110.72
9.40/9.64 c abscon : 72.55
9.40/9.64 c
9.40/9.64 c
9.40/9.64 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-15.xml
9.40/9.64 c 19 > 0.000000 | c 35 > 30.097100 | c 17 > 0.000000 | c 18 > 11.206900 | c 33 > 0.000000 | c 15 > 20.200100 | c 34 > 20.097100 | c 16 > 15.000000 | c 13 > 8.563910 | c 14 > 11.674600 | c 11 > 6.894820 | c 12 > 7.884080 | c 21 > 5.131600 | c 20 > 88.793100 | c 22 > 5.291500 | c 23 > 96.993800 | c 24 > 96.551700 | c 25 > 13.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.870360 | c 2 > -1.000000 | c 10 > 9.403010 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.616100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
9.40/9.65 c choco : 33.25
9.40/9.65 c mistral : 36.8
9.40/9.65 c abscon : 10.75
9.40/9.65 c
9.40/9.65 c
9.40/9.65 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-14.xml
9.40/9.65 c 19 > 0.000000 | c 35 > 30.112400 | c 17 > 0.000000 | c 18 > 11.881200 | c 33 > 0.000000 | c 15 > 20.330700 | c 34 > 20.112400 | c 16 > 14.000000 | c 13 > 8.939850 | c 14 > 11.970800 | c 11 > 6.700440 | c 12 > 8.323700 | c 21 > 4.934870 | c 20 > 88.118800 | c 22 > 5.099020 | c 23 > 96.804600 | c 24 > 96.296300 | c 25 > 12.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.672430 | c 2 > -1.000000 | c 10 > 9.121530 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.309500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
9.40/9.65 c choco : 17.59
9.40/9.66 c mistral : 7.72
9.40/9.66 c abscon : 7.11
9.40/9.66 c
9.40/9.66 c
9.40/9.66 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-13.xml
9.40/9.66 c 19 > 0.000000 | c 35 > 30.131600 | c 17 > 0.000000 | c 18 > 12.643700 | c 33 > 0.000000 | c 15 > 17.286500 | c 34 > 20.131600 | c 16 > 13.000000 | c 13 > 6.100340 | c 14 > 9.131860 | c 11 > 6.491850 | c 12 > 5.083210 | c 21 > 4.730220 | c 20 > 87.356300 | c 22 > 4.898980 | c 23 > 96.590900 | c 24 > 96.000000 | c 25 > 11.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.459430 | c 2 > -1.000000 | c 10 > 8.820180 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.979400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
9.40/9.66 c choco : 17.72
9.40/9.66 c mistral : 0.2
9.40/9.66 c abscon : 6.83
9.40/9.66 c
9.40/9.66 c
9.40/9.66 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-12.xml
9.40/9.66 c 19 > 0.000000 | c 35 > 30.156200 | c 17 > 0.000000 | c 18 > 13.513500 | c 33 > 0.000000 | c 15 > 15.511500 | c 34 > 20.156200 | c 16 > 12.000000 | c 13 > 4.685810 | c 14 > 7.569860 | c 11 > 6.266790 | c 12 > 4.069720 | c 21 > 4.516640 | c 20 > 86.486500 | c 22 > 4.690420 | c 23 > 96.347800 | c 24 > 95.652200 | c 25 > 10.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.228820 | c 2 > -1.000000 | c 10 > 8.495860 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.622100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
9.40/9.67 c choco : 12.41
9.40/9.67 c mistral : 0.15
9.40/9.67 c abscon : 5.75
9.40/9.67 c
9.40/9.67 c
9.40/9.67 c /home/eomahony/cpZilla/CSP/xml/bqwh-18-141_glb/bqwh-18-141-53_glb.xml
9.40/9.67 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 15.030900 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 6.358170 | c 14 > 8.807350 | c 11 > 7.129280 | c 12 > 5.248740 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 41.184500 | c 24 > 12.500000 | c 25 > 36.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.129280 | c 2 > -1.000000 | c 10 > 9.949830 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.118940 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.40/9.68 c choco : 1.19
9.40/9.68 c mistral : 0.028995
9.40/9.68 c abscon : 0.846871
9.40/9.68 c
9.40/9.68 c
9.40/9.68 c Length: 40
9.40/9.68 c 1.0432453627023683 2.7996503787653526 3.220631218169658 5.785487821880193 17.39091616578885 18.237727331830584 22.995988803776548 27.35969633442427 31.11413201084356 31.759154636792225 34.78175324151876 53.31152503014241 53.56247930063357 57.09518615310685 82.6150111446812 83.00154636902495 84.26810456424029 102.18847332441094 102.30883963400554 102.48107567395834 103.41168944584928 103.64700494649435 104.32016526538914 162.35595877528365 189.2145554710718 191.64512838189887 225.88565526016896 235.66530541097387 240.56262852211086 242.0530945272421 244.52597592287265 272.8939465388265 300.443357869921 301.382439298196 302.32685533133093 303.2763735125171 304.22872685032456 305.2109744594298 306.21956462827194 306.87237287860796
9.40/9.68 c
9.40/9.68 c 1.0 0.9942897021143854 0.9929307149006881 0.9847305871769241 0.9492586961929504 0.9467702004923425 0.9330263648292025 0.9207683236623239 0.9104766734738654 0.908731652776515 0.9006427457681652 0.8540389329301155 0.8534408425230184 0.8451094967395201 0.7894383642547366 0.7886514750654824 0.7860840344967823 0.7514702668599175 0.7512480785141807 0.7509303704566557 0.7492183902953319 0.7487867338196333 0.7475546485945365 0.6546815136662612 0.6190867542277603 0.6160556472615459 0.5763058802938527 0.565877427144314 0.5607957508441571 0.5592672442122246 0.5567495458536967 0.529409393103369 0.50531122307346 0.5045283903712313 0.503743553105236 0.5029569335479916 0.5021704290744429 0.5013618090004628 0.5005342082085968 0.5
9.40/9.70 c
9.40/9.70 c solver 0
9.40/9.70 c before 0.0 seconds: {} 0
9.40/9.70 c before 18.0 seconds: {10, 24, 25, 26, 27, 28, 29, 30, 31, 35, 36, 37, 38, 39} 7991
9.40/9.70 c before 54.0 seconds: {5, 8, 10, 21, 24, 25, 26, 27, 28, 29, 30, 31, 35, 36, 37, 38, 39} 10597
9.40/9.70 c before 90.0 seconds: {5, 8, 10, 21, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 11100
9.40/9.70 c before 108.0 seconds: {5, 8, 10, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 11755
9.40/9.70 c before 270.0 seconds: {0, 5, 8, 10, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 12755
9.40/9.70 c before 576.0 seconds: {0, 2, 5, 8, 10, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 13748
9.40/9.70 c before 900.0 seconds: {0, 2, 5, 8, 10, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 14497
9.40/9.70 c before 918.0 seconds: {0, 2, 5, 8, 10, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 15245
9.40/9.70 c before 1062.0 seconds: {0, 2, 5, 8, 10, 11, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 16099
9.40/9.70 c
9.40/9.70 c solver 1
9.47/9.70 c before 0.0 seconds: {} 0
9.47/9.70 c before 18.0 seconds: {23, 24, 25, 26, 29, 31, 36, 37, 38, 39} 5558
9.47/9.70 c before 36.0 seconds: {23, 24, 25, 26, 27, 29, 31, 36, 37, 38, 39} 6124
9.47/9.70 c before 54.0 seconds: {0, 2, 23, 24, 25, 26, 27, 29, 31, 35, 36, 37, 38, 39} 8620
9.47/9.70 c before 72.0 seconds: {0, 2, 8, 21, 23, 24, 25, 26, 27, 29, 31, 35, 36, 37, 38, 39} 10279
9.47/9.70 c before 108.0 seconds: {0, 2, 5, 8, 12, 21, 23, 24, 25, 26, 27, 29, 31, 35, 36, 37, 38, 39} 12080
9.47/9.70 c before 126.0 seconds: {0, 2, 5, 8, 12, 13, 21, 23, 24, 25, 26, 27, 29, 31, 34, 35, 36, 37, 38, 39} 13428
9.47/9.70 c before 144.0 seconds: {0, 2, 5, 8, 11, 12, 13, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 34, 35, 36, 37, 38, 39} 15779
9.47/9.70 c before 234.0 seconds: {0, 2, 5, 8, 11, 12, 13, 18, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 34, 35, 36, 37, 38, 39} 16531
9.47/9.70 c before 270.0 seconds: {0, 2, 5, 7, 8, 11, 12, 13, 18, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 34, 35, 36, 37, 38, 39} 17451
9.47/9.70 c before 306.0 seconds: {0, 2, 5, 6, 7, 8, 11, 12, 13, 18, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 34, 35, 36, 37, 38, 39} 18384
9.47/9.70 c before 414.0 seconds: {0, 2, 5, 6, 7, 8, 11, 12, 13, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 34, 35, 36, 37, 38, 39} 19136
9.47/9.70 c before 450.0 seconds: {0, 2, 5, 6, 7, 8, 10, 11, 12, 13, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 34, 35, 36, 37, 38, 39} 20036
9.47/9.70 c before 468.0 seconds: {0, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 34, 35, 36, 37, 38, 39} 20945
9.47/9.70 c before 504.0 seconds: {0, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 34, 35, 36, 37, 38, 39} 21734
9.47/9.70 c before 558.0 seconds: {0, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 32, 34, 35, 36, 37, 38, 39} 22239
9.47/9.70 c before 630.0 seconds: {0, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 32, 34, 35, 36, 37, 38, 39} 22990
9.47/9.70 c before 666.0 seconds: {0, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 32, 34, 35, 36, 37, 38, 39} 23939
9.47/9.70 c before 810.0 seconds: {0, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 32, 34, 35, 36, 37, 38, 39} 25515
9.47/9.70 c before 972.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 32, 34, 35, 36, 37, 38, 39} 26500
9.47/9.70 c before 1170.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 32, 34, 35, 36, 37, 38, 39} 27494
9.47/9.70 c
9.47/9.70 c solver 2
9.47/9.70 c before 0.0 seconds: {} 0
9.47/9.70 c before 18.0 seconds: {26, 31, 36, 37, 38, 39} 3109
9.47/9.70 c before 36.0 seconds: {26, 31, 33, 35, 36, 37, 38, 39} 4117
9.47/9.70 c before 90.0 seconds: {26, 31, 33, 34, 35, 36, 37, 38, 39} 4621
9.47/9.70 c before 234.0 seconds: {26, 31, 32, 33, 34, 35, 36, 37, 38, 39} 5126
9.47/9.70 c
9.47/9.70 cTotal time: 137
9.47/9.71 c run abscon for 576.0 seconds {0, 2, 5, 8, 10, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 13748
9.47/9.71 c run mistral for 1170.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 32, 34, 35, 36, 37, 38, 39} 27494
9.47/9.71 c run choco for 36.0 seconds {26, 31, 33, 35, 36, 37, 38, 39} 4117
9.47/9.71 c Starting solver: HOME/cpHydra_k_40/solver/abscon
9.47/9.71 c On Instance: HOME/instance-1058131-1215113072.xml
9.47/9.71 c Running for: 576 seconds
113.49/114.67 s SAT
113.49/114.67 v 21 13 8 17 34 30 16 11 21 19 3 25 27 38 41 15 24 2 31 14 22 44 39 23 12 29 12 36 7 9 29 42 17 4 24 37 33 4 11 6 22 4 33 25 18 8 19 34 36 28 26 11 32 33 23 20 14 3 19 13 20 9 28 32 29 8 12 16 36 4 10 19 27 32 31 37 38 15 40 1 36 24 40 43 34 8 30 0 10 29 17 31 35 0 1 30 27 2 11 44 6 16 34 32 21 1 9 33 25 41 18 39 0 7 20 23 38 5 21 43 42 1 29 18 35 5 10 38 19 6 5 31 18 16 3 14 30 0 10 33 13 42 9 30 4 8 34 34 12 41 5 28 33 40 22 15 0 37 21 41 9 40 8 24 39 24 15 21 42 26 0 5 42 43 22 40 9 33 39 18 13 1 14 43 8 42 25 29 37 42 33 19 30 7 43 38 15 6 28 23 26 13 27 9 35 2 26 31 20 7 14 11 32 25 28 23 22 28 10 2 31 43 6 36 38 43 2 10 24 37 7 0 39 14 41 41 7 28 23 25 11 31 12 5 15 9 8 15 2 39 7 29 13 16 31 18 3 27 38 10 4 15 44 16 27 35 25 26 23 11 0 31 16 28 3 39 37 35 19 5 4 41 34 38 3 22 28 38 6 39 40 9 33 2 3 18 2 22 42 8 41 36 26 36 11 44 36 5 22 1 13 12 39 38 19 9 17 2 1 9 1 10 16 20 30 43 44 31 40 16 1 27 25 28 44 19 0 44 11 30 25 41 21 6 34 6 20 7 18 14 17 24 23 7 10 40 42 7 36 0 35 41 37 22 5 32 0 13 6 26 7 20 43 17 32 35 24 36 26 18 23 36 38 33 25 24 21 27 44 43 31 17 32 6 23 40 15 37 4 12 10 18 5 11 13 2 4 11 3 6 18 6 9 14 13 18 3 3 2 13 12 8 13 9 17 19 2 2 16 11 14 14 8 13 13 7 0 1 4 7 1 4 2 8 16 0 8 17 1 7 16 12 11 15 19 9 15 17 9 0 7 9 13 18 4 10 9 1 6 9 12 14 19 13 5 10 16 1 4 7 8 15 17 1 8 14 5 19 17 3 18 8 3 1 4 0 14 2 2 3 5 11 0 4 0 10 6 9 0 1 17 3 3 19 6 2 13 0 12 16 12 0 8 4 17 17 16 18 10 16 11 15 19 10 2 0 6 12 0 13 12 7 3 4 17 2 18 12 11 14 6 2 1 1 6 3 7 6 19 8 17 16 17 7 17 18 0 2 8 9 8 15 0 11 0 0 8 6 19 15 2 5 11 17 11 6 17 7 1 1 12 2 8 3 18 2 5 3 1 4 7 17 7 0 14 5 12 3 0 15 9 19 10 12 5 6 11 12 14 1 6 13 11 16 1 9 6 11 8 19 17 6 12 1 2 19 11 19 13 19 9 10 13 9 4 7 19 6 18 14 5 17 5 18 0 6 13 0 19 9 5 19 9 0 17 6 1 19 15 0 13 16 8 14 3 2 9 1 3 13 10 12 19 0 0 10 11 17 2 0 6 5 19 4 1 3 7 2 10 3 0 18 17 4 3 16 17 14 14 3 15 1 7 8 17 4 12 0 6 13 2 19 6 13 17 6 17 11 15 2 1 3 10 0 7 13 0 19 1 3 16 10 8 13 9 10 19 10 5 2 7 6 8 0 1 5 3 7 14 2 10 7 0 15 16 6 10 1 1 11 13 1 0 14 12 8 4 0 2 0 12 3 5 14 11 0 1 12 14 15 4 17 0 15 3 3 14 11 7 0
113.49/114.67 d ASSIGNMENTS 10815
113.49/114.67 d CHECKS 26200273