0.00/0.00 c cpHydra_k_40 version 0.0
11.33/11.53 c CASE TO CLASSIFY:
11.33/11.53 c Case: 0
11.33/11.54 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.309655 | c 33 > 30.000000 | c 15 > 21.579500 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.371150 | c 14 > 8.658210 | c 11 > 9.569860 | c 12 > 8.663080 | c 21 > 4.923920 | c 20 > 99.690300 | c 22 > 6.708200 | c 23 > 78.892400 | 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.569860 | c 2 > -1.000000 | c 10 > 17.760400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.960200 | c 32 > 0.000000 | c 5 > 18.065700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.33/11.55 c choco : 1801.0
11.33/11.55 c mistral : 1801.0
11.33/11.55 c abscon : 1801.0
11.33/11.55 c
11.33/11.55 c
11.63/11.82 c List of same ones: 40
11.63/11.82 c /home/ehebrard/new_instances/competition_4c/data/medium/patat-02-medium-3.xml
11.63/11.82 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
11.63/11.83 c choco : 1801.0
11.63/11.83 c mistral : 407.7
11.63/11.83 c abscon : 1801.0
11.63/11.83 c
11.63/11.83 c
11.63/11.83 c /home/ehebrard/new_instances/competition_4c/data/medium/patat-02-medium-2.xml
11.63/11.83 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
11.63/11.83 c choco : 1801.0
11.63/11.83 c mistral : 628.57
11.63/11.83 c abscon : 1801.0
11.63/11.83 c
11.63/11.83 c
11.63/11.83 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-1.xml
11.63/11.83 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
11.63/11.84 c choco : 1801.0
11.63/11.84 c mistral : 223.88
11.63/11.84 c abscon : 1801.0
11.63/11.84 c
11.63/11.84 c
11.63/11.84 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-12.xml
11.63/11.85 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
11.63/11.85 c choco : 1801.0
11.63/11.85 c mistral : 62.47
11.63/11.85 c abscon : 40.58
11.63/11.85 c
11.63/11.85 c
11.63/11.85 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-2.xml
11.63/11.85 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
11.63/11.86 c choco : 1801.0
11.63/11.86 c mistral : 126.19
11.63/11.86 c abscon : 898.95
11.63/11.86 c
11.63/11.86 c
11.63/11.86 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-18.xml
11.63/11.87 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
11.63/11.87 c choco : 1801.0
11.63/11.87 c mistral : 138.39
11.63/11.87 c abscon : 905.44
11.63/11.88 c
11.63/11.88 c
11.63/11.88 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-11.xml
11.63/11.88 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
11.63/11.88 c choco : 1801.0
11.63/11.88 c mistral : 807.54
11.63/11.88 c abscon : 1801.0
11.63/11.88 c
11.63/11.88 c
11.63/11.88 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-9.xml
11.63/11.88 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
11.63/11.89 c choco : 1801.0
11.63/11.89 c mistral : 499.22
11.63/11.89 c abscon : 1801.0
11.63/11.89 c
11.63/11.89 c
11.63/11.89 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-16.xml
11.63/11.89 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
11.71/11.90 c choco : 1801.0
11.71/11.90 c mistral : 793.29
11.71/11.90 c abscon : 1801.0
11.71/11.90 c
11.71/11.90 c
11.71/11.90 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-13.xml
11.71/11.90 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
11.71/11.91 c choco : 1801.0
11.71/11.91 c mistral : 114.2
11.71/11.91 c abscon : 1801.0
11.71/11.91 c
11.71/11.91 c
11.71/11.91 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-20.xml
11.71/11.91 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
11.71/11.92 c choco : 1801.0
11.71/11.92 c mistral : 654.08
11.71/11.92 c abscon : 1801.0
11.71/11.92 c
11.71/11.92 c
11.71/11.92 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-5.xml
11.71/11.92 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
11.71/11.93 c choco : 1801.0
11.71/11.93 c mistral : 71.99
11.71/11.93 c abscon : 45.66
11.71/11.93 c
11.71/11.93 c
11.71/11.93 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-15.xml
11.71/11.93 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
11.71/11.94 c choco : 1801.0
11.71/11.94 c mistral : 106.17
11.71/11.94 c abscon : 39.95
11.71/11.94 c
11.71/11.94 c
11.71/11.94 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-4.xml
11.71/11.94 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
11.71/11.96 c choco : 1801.0
11.71/11.96 c mistral : 293.62
11.71/11.96 c abscon : 1801.0
11.71/11.96 c
11.71/11.96 c
11.71/11.96 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-19.xml
11.71/11.96 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
11.71/11.96 c choco : 1801.0
11.71/11.96 c mistral : 265.78
11.71/11.96 c abscon : 1801.0
11.71/11.96 c
11.71/11.96 c
11.71/11.96 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-6.xml
11.71/11.96 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
11.71/11.97 c choco : 1801.0
11.71/11.97 c mistral : 467.31
11.71/11.97 c abscon : 1801.0
11.71/11.97 c
11.71/11.97 c
11.71/11.97 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-13.xml
11.71/11.97 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
11.71/11.97 c choco : 1801.0
11.71/11.97 c mistral : 43.86
11.71/11.97 c abscon : 262.21
11.71/11.97 c
11.71/11.97 c
11.71/11.97 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-5.xml
11.71/11.97 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
11.71/11.98 c choco : 1801.0
11.71/11.98 c mistral : 1156.77
11.71/11.98 c abscon : 1801.0
11.71/11.98 c
11.71/11.98 c
11.71/11.98 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-12.xml
11.71/11.98 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
11.71/11.99 c choco : 1801.0
11.71/11.99 c mistral : 38.33
11.71/11.99 c abscon : 568.38
11.71/11.99 c
11.71/11.99 c
11.71/11.99 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-6.xml
11.71/11.99 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
11.78/12.00 c choco : 1801.0
11.78/12.00 c mistral : 963.3
11.78/12.00 c abscon : 1801.0
11.78/12.00 c
11.78/12.00 c
11.78/12.00 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-17.xml
11.78/12.01 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
11.78/12.01 c choco : 1801.0
11.78/12.01 c mistral : 440.15
11.78/12.01 c abscon : 13.8
11.78/12.01 c
11.78/12.01 c
11.78/12.01 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-2.xml
11.78/12.01 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
11.78/12.02 c choco : 13.82
11.78/12.02 c mistral : 0.32
11.78/12.02 c abscon : 7.62
11.78/12.02 c
11.78/12.02 c
11.78/12.02 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-5.xml
11.78/12.02 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
11.78/12.02 c choco : 1801.0
11.78/12.02 c mistral : 26.31
11.78/12.02 c abscon : 11.66
11.78/12.02 c
11.78/12.02 c
11.78/12.02 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-4.xml
11.78/12.02 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
11.78/12.03 c choco : 1801.0
11.78/12.03 c mistral : 1801.0
11.78/12.03 c abscon : 11.05
11.78/12.03 c
11.78/12.03 c
11.78/12.03 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-3.xml
11.78/12.03 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
11.78/12.04 c choco : 1801.0
11.78/12.04 c mistral : 6.57
11.78/12.04 c abscon : 10.45
11.78/12.04 c
11.78/12.04 c
11.78/12.04 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-1.xml
11.78/12.04 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
11.78/12.04 c choco : 1801.0
11.78/12.04 c mistral : 1801.0
11.78/12.04 c abscon : 9.29
11.78/12.04 c
11.78/12.04 c
11.78/12.04 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-7.xml
11.78/12.04 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
11.78/12.05 c choco : 1801.0
11.78/12.05 c mistral : 98.85
11.78/12.05 c abscon : 1801.0
11.78/12.05 c
11.78/12.05 c
11.78/12.05 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-14.xml
11.78/12.05 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
11.78/12.05 c choco : 1801.0
11.78/12.05 c mistral : 137.37
11.78/12.05 c abscon : 1046.72
11.78/12.05 c
11.78/12.05 c
11.78/12.05 c /home/eomahony/cpZilla/CSP/xml/nengfa/sudoku368.xml
11.78/12.05 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
11.78/12.06 c choco : 2.57
11.78/12.06 c mistral : 0.22
11.78/12.06 c abscon : 3.53246
11.78/12.06 c
11.78/12.06 c
11.78/12.06 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-18.xml
11.78/12.06 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
11.78/12.07 c choco : 229.74
11.78/12.07 c mistral : 552.16
11.78/12.07 c abscon : 1801.0
11.78/12.07 c
11.78/12.07 c
11.78/12.07 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-17.xml
11.78/12.07 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
11.78/12.07 c choco : 24.02
11.78/12.07 c mistral : 1801.0
11.78/12.07 c abscon : 1801.0
11.78/12.07 c
11.78/12.07 c
11.78/12.07 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-16.xml
11.78/12.07 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
11.78/12.08 c choco : 81.95
11.78/12.08 c mistral : 110.72
11.78/12.08 c abscon : 72.55
11.78/12.08 c
11.78/12.08 c
11.78/12.08 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-15.xml
11.78/12.08 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
11.78/12.08 c choco : 33.25
11.78/12.08 c mistral : 36.8
11.78/12.08 c abscon : 10.75
11.78/12.08 c
11.78/12.08 c
11.78/12.08 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-14.xml
11.78/12.08 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
11.78/12.09 c choco : 17.59
11.78/12.09 c mistral : 7.72
11.78/12.09 c abscon : 7.11
11.78/12.09 c
11.78/12.09 c
11.78/12.09 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-13.xml
11.78/12.09 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
11.78/12.10 c choco : 17.72
11.78/12.10 c mistral : 0.2
11.78/12.10 c abscon : 6.83
11.78/12.10 c
11.78/12.10 c
11.78/12.10 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-12.xml
11.78/12.10 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
11.83/12.11 c choco : 12.41
11.83/12.11 c mistral : 0.15
11.83/12.11 c abscon : 5.75
11.83/12.11 c
11.83/12.11 c
11.83/12.11 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-11.xml
11.83/12.11 c 19 > 0.000000 | c 35 > 30.188700 | c 17 > 0.000000 | c 18 > 14.516100 | c 33 > 0.000000 | c 15 > 16.090600 | c 34 > 20.188700 | c 16 > 11.000000 | c 13 > 5.307610 | c 14 > 8.426260 | c 11 > 6.022370 | c 12 > 4.572890 | c 21 > 4.292850 | c 20 > 85.483900 | c 22 > 4.472140 | c 23 > 96.069500 | c 24 > 95.238100 | c 25 > 9.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 5.977280 | c 2 > -1.000000 | c 10 > 8.144660 | 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.232400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
11.83/12.11 c choco : 16.54
11.83/12.11 c mistral : 0.03
11.83/12.11 c abscon : 4.59
11.83/12.11 c
11.83/12.11 c
11.83/12.11 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-10.xml
11.83/12.11 c 19 > 0.000000 | c 35 > 30.232600 | c 17 > 0.000000 | c 18 > 15.686300 | c 33 > 0.000000 | c 15 > 11.582600 | c 34 > 20.232600 | c 16 > 10.000000 | c 13 > 2.476970 | c 14 > 4.087460 | c 11 > 5.754890 | c 12 > 2.567040 | c 21 > 4.057280 | c 20 > 84.313700 | c 22 > 4.242640 | c 23 > 95.749000 | c 24 > 94.736800 | c 25 > 8.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 5.700440 | c 2 > -1.000000 | c 10 > 7.761550 | 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.804130 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
11.83/12.12 c choco : 3.04
11.83/12.12 c mistral : 0.03
11.83/12.12 c abscon : 2.48
11.83/12.12 c
11.83/12.12 c
11.83/12.12 c /home/eomahony/cpZilla/CSP/xml/nengfa/protein.xml
11.83/12.12 c 19 > 3.236250 | c 35 > 24.350600 | c 17 > 0.000000 | c 18 > 0.323625 | c 33 > 8.766230 | c 15 > 20.288100 | c 34 > 25.746800 | c 16 > 27.000000 | c 13 > 8.883710 | c 14 > 12.222500 | c 11 > 8.988680 | c 12 > 7.640540 | c 21 > 9.363670 | c 20 > 96.440100 | c 22 > 31.796200 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.199670 | c 2 > 6.442940 | c 10 > 9.660000 | c 1 > 5.643860 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 4.643860 | c 6 > 6.000000 | c 32 > 0.000000 | c 5 > 15.647000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.321930 | c
11.83/12.13 c choco : 53.77
11.83/12.13 c mistral : 0.019996
11.83/12.13 c abscon : 639.803
11.83/12.13 c
11.83/12.13 c
11.83/12.13 c /home/eomahony/cpZilla/CSP/xml/bqwh-18-141_glb/bqwh-18-141-15_glb.xml
11.83/12.13 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 19.917900 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 9.877710 | c 14 > 12.813600 | c 11 > 7.129280 | c 12 > 9.514210 | c 21 > 1.927770 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 40.287400 | c 24 > 17.647100 | 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.008430 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.83/12.13 c choco : 1.12
11.83/12.13 c mistral : 0.2
11.83/12.13 c abscon : 0.78188
11.83/12.13 c
11.83/12.13 c
11.83/12.14 c Length: 40
11.83/12.14 c 3.929284976558589 5.419662611148505 9.443517427994145 10.41989533477185 11.296509392869154 15.239022446444032 20.554016711517118 20.89717235435993 22.209824065934 51.117204746964596 100.01097512076932 100.24613651721309 100.26308103606095 100.41565880684257 100.51679232920847 101.22391300985768 101.55613006929579 101.88165970033751 101.95074723567397 102.34350750123141 102.37250041801816 124.84475593581223 134.72461297643844 139.45188098584694 141.799444829213 143.33283425688347 148.2318043946188 150.08096795607904 199.72678299405396 202.77855760018915 203.68789876824403 204.6091690077073 205.5379819387303 206.47675011410516 207.44632665932969 208.46814927963607 209.39421077522852 210.66410081342863 218.0010965659446 229.34998331026497
11.83/12.14 c
11.83/12.14 c 1.0 0.993431886794287 0.9761221378130711 0.9720125318820237 0.9683522051776631 0.9522252496537084 0.9313156553699761 0.929997168274266 0.9249879102680173 0.8269023184278628 0.701147818530716 0.7006353421343998 0.7005984446583206 0.7002663744488019 0.7000464409073834 0.6985125276552513 0.6977941882571028 0.6970917405161743 0.6969428410957418 0.6960975602513488 0.6960352442668213 0.6508725288320284 0.6328202036665421 0.6245321685336399 0.6204964789344359 0.6178884759112613 0.6097012238086021 0.6066669905255472 0.5351637234250819 0.5313142898731663 0.530177955288724 0.5290316598081682 0.5278809862199719 0.5267230545966723 0.5255324428320225 0.5242834859894362 0.523156693351303 0.5216193961249107 0.5129113539913415 0.5
11.83/12.15 c
11.83/12.15 c solver 0
11.83/12.15 c before 0.0 seconds: {} 0
11.83/12.15 c before 18.0 seconds: {20, 21, 22, 23, 24, 25, 28, 32, 33, 34, 35, 36, 37, 39} 8027
11.83/12.15 c before 54.0 seconds: {3, 11, 12, 20, 21, 22, 23, 24, 25, 28, 32, 33, 34, 35, 36, 37, 39} 10400
11.83/12.15 c before 90.0 seconds: {3, 11, 12, 20, 21, 22, 23, 24, 25, 28, 31, 32, 33, 34, 35, 36, 37, 39} 10929
11.83/12.15 c before 270.0 seconds: {3, 11, 12, 16, 20, 21, 22, 23, 24, 25, 28, 31, 32, 33, 34, 35, 36, 37, 39} 11627
11.83/12.15 c before 576.0 seconds: {3, 11, 12, 16, 18, 20, 21, 22, 23, 24, 25, 28, 31, 32, 33, 34, 35, 36, 37, 39} 12324
11.83/12.15 c before 648.0 seconds: {3, 11, 12, 16, 18, 20, 21, 22, 23, 24, 25, 28, 31, 32, 33, 34, 35, 36, 37, 38, 39} 12836
11.83/12.15 c before 900.0 seconds: {3, 4, 11, 12, 16, 18, 20, 21, 22, 23, 24, 25, 28, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13805
11.83/12.15 c before 918.0 seconds: {3, 4, 5, 11, 12, 16, 18, 20, 21, 22, 23, 24, 25, 28, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14757
11.83/12.15 c before 1062.0 seconds: {3, 4, 5, 11, 12, 16, 18, 20, 21, 22, 23, 24, 25, 27, 28, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15364
11.83/12.15 c
11.83/12.15 c solver 1
11.83/12.15 c before 0.0 seconds: {} 0
11.83/12.15 c before 18.0 seconds: {21, 24, 28, 33, 34, 35, 36, 37, 38, 39} 5440
11.83/12.15 c before 36.0 seconds: {21, 22, 24, 28, 33, 34, 35, 36, 37, 38, 39} 6073
11.83/12.15 c before 54.0 seconds: {16, 18, 21, 22, 24, 28, 32, 33, 34, 35, 36, 37, 38, 39} 7996
11.83/12.15 c before 72.0 seconds: {3, 11, 16, 18, 21, 22, 24, 28, 32, 33, 34, 35, 36, 37, 38, 39} 9668
11.83/12.15 c before 108.0 seconds: {3, 11, 12, 16, 18, 21, 22, 24, 26, 28, 32, 33, 34, 35, 36, 37, 38, 39} 10979
11.83/12.15 c before 126.0 seconds: {3, 9, 11, 12, 16, 18, 21, 22, 24, 26, 28, 31, 32, 33, 34, 35, 36, 37, 38, 39} 12335
11.83/12.15 c before 144.0 seconds: {3, 4, 5, 9, 11, 12, 16, 18, 21, 22, 24, 26, 27, 28, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14862
11.83/12.15 c before 234.0 seconds: {2, 3, 4, 5, 9, 11, 12, 16, 18, 21, 22, 24, 26, 27, 28, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15838
11.83/12.15 c before 270.0 seconds: {2, 3, 4, 5, 9, 11, 12, 14, 16, 18, 21, 22, 24, 26, 27, 28, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16538
11.83/12.15 c before 306.0 seconds: {2, 3, 4, 5, 9, 11, 12, 13, 14, 16, 18, 21, 22, 24, 26, 27, 28, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17238
11.83/12.15 c before 414.0 seconds: {0, 2, 3, 4, 5, 9, 11, 12, 13, 14, 16, 18, 21, 22, 24, 26, 27, 28, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18238
11.83/12.16 c before 450.0 seconds: {0, 2, 3, 4, 5, 9, 11, 12, 13, 14, 16, 18, 20, 21, 22, 24, 26, 27, 28, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18934
11.83/12.16 c before 468.0 seconds: {0, 2, 3, 4, 5, 9, 11, 12, 13, 14, 15, 16, 18, 20, 21, 22, 24, 26, 27, 28, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19633
11.83/12.16 c before 504.0 seconds: {0, 2, 3, 4, 5, 7, 9, 11, 12, 13, 14, 15, 16, 18, 20, 21, 22, 24, 26, 27, 28, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20563
11.83/12.16 c before 558.0 seconds: {0, 2, 3, 4, 5, 7, 9, 11, 12, 13, 14, 15, 16, 18, 20, 21, 22, 24, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21094
11.83/12.16 c before 630.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9, 11, 12, 13, 14, 15, 16, 18, 20, 21, 22, 24, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22088
11.83/12.16 c before 666.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9, 10, 11, 12, 13, 14, 15, 16, 18, 20, 21, 22, 24, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22789
11.83/12.16 c before 810.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 20, 21, 22, 24, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24645
11.83/12.16 c before 972.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 24, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25341
11.83/12.16 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, 24, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26038
11.83/12.16 c
11.83/12.16 c solver 2
11.83/12.16 c before 0.0 seconds: {} 0
11.83/12.16 c before 18.0 seconds: {21, 28, 33, 34, 35, 36, 37, 39} 4307
11.83/12.16 c before 36.0 seconds: {21, 28, 30, 32, 33, 34, 35, 36, 37, 39} 5365
11.83/12.16 c before 54.0 seconds: {21, 28, 30, 32, 33, 34, 35, 36, 37, 38, 39} 5878
11.83/12.16 c before 90.0 seconds: {21, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 6407
11.83/12.16 c before 234.0 seconds: {21, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 6938
11.83/12.16 c
11.83/12.16 cTotal time: 137
11.83/12.16 c run abscon for 576.0 seconds {3, 11, 12, 16, 18, 20, 21, 22, 23, 24, 25, 28, 31, 32, 33, 34, 35, 36, 37, 39} 12324
11.83/12.16 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, 24, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26038
11.83/12.16 c run choco for 54.0 seconds {21, 28, 30, 32, 33, 34, 35, 36, 37, 38, 39} 5878
11.83/12.16 c Starting solver: HOME/cpHydra_k_40/solver/abscon
11.83/12.16 c On Instance: HOME/instance-1058227-1215113623.xml
11.83/12.16 c Running for: 576 seconds
596.46/597.08 c Starting solver: HOME/cpHydra_k_40/solver/mistral
596.46/597.08 c On Instance: HOME/instance-1058227-1215113623.xml
596.46/597.08 c Running for: 1170 seconds
1293.81/1300.09 c mistral-prime version 1.313
1293.81/1300.09 s SATISFIABLE
1293.81/1300.09 v 40 24 35 16 21 28 38 2 3 9 44 34 33 13 24 32 31 16 15 2 9 19 31 44 36 13 18 5 24 43 38 33 2 2 26 19 33 1 27 21 30 12 17 26 22 33 35 2 28 26 26 26 14 11 2 4 13 4 9 1 25 4 23 12 0 20 17 23 21 17 38 36 11 20 22 13 33 27 30 38 6 12 22 7 15 36 15 14 0 4 38 28 2 6 35 42 35 8 10 28 5 15 36 18 17 8 3 0 33 13 12 21 3 14 29 8 15 35 23 8 25 4 16 11 10 20 1 0 29 8 40 7 32 13 7 43 37 16 0 11 15 7 12 8 11 21 10 16 32 14 3 6 22 33 36 41 27 19 28 20 34 27 31 0 25 22 43 14 37 37 3 11 20 6 5 18 36 17 2 20 15 13 27 7 25 3 24 34 8 40 31 6 2 1 40 39 31 38 8 26 20 31 24 38 9 4 41 26 8 23 35 0 10 28 32 15 17 1 11 22 37 27 36 36 17 26 44 9 20 27 13 14 3 4 5 15 21 10 9 21 31 12 10 5 39 29 22 12 7 23 20 34 16 3 22 13 12 4 28 7 31 32 23 17 34 28 30 6 14 21 29 16 29 7 19 5 39 18 31 16 1 27 25 30 0 39 42 9 11 42 17 19 10 32 11 19 7 38 17 13 23 29 37 9 12 34 42 18 10 24 14 21 40 43 6 22 22 5 24 37 18 25 37 26 35 8 28 41 6 30 19 42 18 16 6 30 2 9 24 25 18 6 24 20 7 10 34 31 11 32 37 19 29 23 44 1 25 1 3 3 25 30 4 26 0 27 30 14 41 42 18 18 23 24 1 19 32 25 33 15 5 21 29 19 12 27 0 39 5 41 5 40 36 1 10 32 33 43 9 29 1 6 8 9 8 2 9 9 2 5 3 1 1 5 9 0 2 7 0 2 7 4 5 1 8 0 7 6 5 9 7 3 4 1 5 6 7 2 8 3 3 2 9 8 2 8 9 5 1 4 9 2 0 4 3 4 9 8 4 4 8 3 5 8 3 8 6 8 1 5 2 9 9 9 6 7 2 7 7 1 0 3 4 5 1 5 7 9 0 9 4 7 7 4 5 1 3 2 9 8 7 6 2 2 4 6 8 4 4 2 9 7 9 2 3 0 5 4 3 8 0 6 6 8 1 3 3 9 4 1 2 8 7 3 1 3 2 1 5 6 4 2 0 4 5 9 6 3 3 8 3 1 0 9 4 1 2 2 4 0 2 9 3 6 7 7 8 3 5 0 1 0 1 6 8 5 7 2 8 7 8 4 3 9 1 6 8 5 5 4 7 5 0 7 8 8 4 0 7 6 6 0 7 3 1 5 2 7 3 7 2 1 7 9 1 2 3 0 3 3 8 4 1 0 8 1 2 3 5 1 8 4 5 0 1 9 5 8 6 6 6 6 4 5 2 6 8 5 4 2 2 9 5 7 9 1 1 2 5 0 1 5 9 7 3 3 2 7 5 2 5 8 2 6 8 9 9 8 8 2 6 0 3 4 8 1 3 0 2 2 1 7 3 8 7 5 3 8 0 6 6 9 1 9 4 8 9 9 2 2 6 4 9 1 8 1 5 2 1 9 3 6 3 0 1 9 0 9 2 9 1 8 4 4 9 8 6 8 4 9 1 3 3 4 7 0 4 9 1 2 4 3 8 4 8 1 5 9 0 4 4 1 1 3 2 5 5 1 8 4 0 6 1 0 8 0 4 2 0 3 0 0 1 9 7 6 7 3 4 3 3 3 3 5 5 6 6 2 2 7
1293.81/1300.09 d CHECKS 1344452120
1293.81/1300.09 d ASSIGNMENTS 84246