0.00/0.00 c cpHydra_k_40 version 0.0
7.39/7.56 c CASE TO CLASSIFY:
7.39/7.56 c Case: 0
7.39/7.56 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 14.579000 | c 33 > 30.000000 | c 15 > 20.709500 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 8.061340 | c 14 > 10.617500 | c 11 > 12.164600 | c 12 > 5.154620 | 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
7.39/7.57 c choco : 1801.0
7.39/7.57 c mistral : 1801.0
7.39/7.57 c abscon : 1801.0
7.39/7.57 c
7.39/7.57 c
7.48/7.65 c List of same ones: 40
7.48/7.65 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-8.xml
7.48/7.65 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
7.48/7.66 c choco : 1801.0
7.48/7.66 c mistral : 3.36
7.48/7.66 c abscon : 15.51
7.48/7.66 c
7.48/7.66 c
7.48/7.66 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-15.xml
7.48/7.66 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
7.48/7.66 c choco : 1801.0
7.48/7.66 c mistral : 3.46
7.48/7.66 c abscon : 14.39
7.48/7.66 c
7.48/7.66 c
7.48/7.67 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-7.xml
7.48/7.67 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
7.48/7.68 c choco : 1801.0
7.48/7.68 c mistral : 5.03
7.48/7.68 c abscon : 102.03
7.48/7.68 c
7.48/7.68 c
7.48/7.68 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-14.xml
7.48/7.68 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
7.48/7.68 c choco : 1801.0
7.48/7.68 c mistral : 137.37
7.48/7.68 c abscon : 1046.72
7.48/7.68 c
7.48/7.68 c
7.48/7.68 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-7.xml
7.48/7.68 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
7.48/7.69 c choco : 1801.0
7.48/7.69 c mistral : 98.85
7.48/7.69 c abscon : 1801.0
7.48/7.69 c
7.48/7.69 c
7.48/7.69 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-13.xml
7.48/7.69 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
7.58/7.70 c choco : 1801.0
7.58/7.71 c mistral : 43.86
7.58/7.71 c abscon : 262.21
7.58/7.71 c
7.58/7.71 c
7.58/7.71 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-12.xml
7.58/7.71 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
7.58/7.71 c choco : 1801.0
7.58/7.71 c mistral : 38.33
7.58/7.71 c abscon : 568.38
7.58/7.71 c
7.58/7.71 c
7.58/7.71 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-20.xml
7.58/7.71 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
7.58/7.72 c choco : 1801.0
7.58/7.72 c mistral : 654.08
7.58/7.72 c abscon : 1801.0
7.58/7.72 c
7.58/7.72 c
7.58/7.72 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-6.xml
7.58/7.72 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
7.58/7.73 c choco : 1801.0
7.58/7.73 c mistral : 963.3
7.58/7.73 c abscon : 1801.0
7.58/7.73 c
7.58/7.73 c
7.58/7.73 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-5.xml
7.58/7.73 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
7.58/7.74 c choco : 1801.0
7.58/7.74 c mistral : 1156.77
7.58/7.74 c abscon : 1801.0
7.58/7.74 c
7.58/7.74 c
7.58/7.74 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-15.xml
7.58/7.74 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
7.58/7.75 c choco : 1801.0
7.58/7.75 c mistral : 106.17
7.58/7.75 c abscon : 39.95
7.58/7.75 c
7.58/7.75 c
7.58/7.75 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-19.xml
7.58/7.75 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
7.58/7.76 c choco : 1801.0
7.58/7.76 c mistral : 265.78
7.58/7.76 c abscon : 1801.0
7.58/7.76 c
7.58/7.76 c
7.58/7.76 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-4.xml
7.58/7.76 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
7.58/7.77 c choco : 1801.0
7.58/7.77 c mistral : 293.62
7.58/7.77 c abscon : 1801.0
7.58/7.77 c
7.58/7.77 c
7.58/7.77 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-6.xml
7.58/7.77 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
7.58/7.78 c choco : 1801.0
7.58/7.78 c mistral : 467.31
7.58/7.78 c abscon : 1801.0
7.58/7.78 c
7.58/7.78 c
7.58/7.78 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-17.xml
7.58/7.78 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
7.58/7.79 c choco : 1801.0
7.58/7.79 c mistral : 440.15
7.58/7.79 c abscon : 13.8
7.58/7.79 c
7.58/7.79 c
7.58/7.79 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-5.xml
7.58/7.79 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
7.58/7.80 c choco : 1801.0
7.64/7.80 c mistral : 71.99
7.64/7.80 c abscon : 45.66
7.64/7.80 c
7.64/7.80 c
7.64/7.80 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-13.xml
7.64/7.80 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
7.64/7.80 c choco : 1801.0
7.64/7.80 c mistral : 114.2
7.64/7.80 c abscon : 1801.0
7.64/7.80 c
7.64/7.80 c
7.64/7.80 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-11.xml
7.64/7.80 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
7.64/7.81 c choco : 1801.0
7.64/7.81 c mistral : 807.54
7.64/7.81 c abscon : 1801.0
7.64/7.81 c
7.64/7.81 c
7.64/7.81 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-9.xml
7.64/7.81 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
7.64/7.82 c choco : 1801.0
7.64/7.82 c mistral : 499.22
7.64/7.82 c abscon : 1801.0
7.64/7.82 c
7.64/7.82 c
7.64/7.82 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-16.xml
7.64/7.82 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
7.64/7.83 c choco : 1801.0
7.64/7.83 c mistral : 793.29
7.64/7.83 c abscon : 1801.0
7.64/7.83 c
7.64/7.83 c
7.64/7.83 c /home/ehebrard/new_instances/competition_4c/data/medium/patat-02-medium-3.xml
7.64/7.83 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
7.64/7.84 c choco : 1801.0
7.64/7.84 c mistral : 407.7
7.64/7.84 c abscon : 1801.0
7.64/7.84 c
7.64/7.84 c
7.64/7.84 c /home/ehebrard/new_instances/competition_4c/data/medium/patat-02-medium-2.xml
7.64/7.84 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
7.64/7.84 c choco : 1801.0
7.64/7.84 c mistral : 628.57
7.64/7.84 c abscon : 1801.0
7.64/7.85 c
7.64/7.85 c
7.64/7.85 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-1.xml
7.64/7.85 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
7.64/7.85 c choco : 1801.0
7.64/7.85 c mistral : 223.88
7.64/7.85 c abscon : 1801.0
7.64/7.85 c
7.64/7.85 c
7.64/7.85 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-12.xml
7.64/7.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
7.64/7.86 c choco : 1801.0
7.64/7.86 c mistral : 62.47
7.64/7.86 c abscon : 40.58
7.64/7.86 c
7.64/7.86 c
7.64/7.86 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-2.xml
7.64/7.86 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
7.64/7.86 c choco : 1801.0
7.64/7.86 c mistral : 126.19
7.64/7.86 c abscon : 898.95
7.64/7.86 c
7.64/7.86 c
7.64/7.86 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-18.xml
7.64/7.86 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
7.64/7.87 c choco : 1801.0
7.64/7.87 c mistral : 138.39
7.64/7.87 c abscon : 905.44
7.64/7.87 c
7.64/7.87 c
7.64/7.87 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-2.xml
7.64/7.87 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
7.64/7.87 c choco : 13.82
7.64/7.87 c mistral : 0.32
7.64/7.87 c abscon : 7.62
7.64/7.87 c
7.64/7.87 c
7.64/7.87 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-10.xml
7.64/7.87 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 13.307800 | c 33 > 30.000000 | c 15 > 19.710600 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 6.895210 | c 14 > 7.614710 | c 11 > 13.554300 | c 12 > 4.125610 | c 21 > 3.910240 | c 20 > 86.692200 | c 22 > 5.744560 | c 23 > 60.011500 | c 24 > 13.333300 | c 25 > 904.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.451210 | c 2 > -1.000000 | c 10 > 16.522500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 13.511800 | c 32 > 0.000000 | c 5 > 14.844800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.88 c choco : 1801.0
7.64/7.88 c mistral : 4.88
7.64/7.88 c abscon : 39.29
7.64/7.88 c
7.64/7.88 c
7.64/7.88 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-5.xml
7.64/7.88 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
7.64/7.89 c choco : 1801.0
7.64/7.89 c mistral : 26.31
7.64/7.89 c abscon : 11.66
7.64/7.89 c
7.64/7.89 c
7.64/7.89 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-3.xml
7.64/7.89 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
7.64/7.89 c choco : 1801.0
7.64/7.89 c mistral : 6.57
7.64/7.89 c abscon : 10.45
7.64/7.89 c
7.64/7.89 c
7.64/7.89 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-4.xml
7.64/7.89 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
7.64/7.90 c choco : 1801.0
7.64/7.90 c mistral : 1801.0
7.64/7.90 c abscon : 11.05
7.64/7.90 c
7.64/7.90 c
7.70/7.90 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-3.xml
7.70/7.90 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 11.664500 | c 33 > 30.000000 | c 15 > 20.195600 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 8.881810 | c 14 > 7.876520 | c 11 > 8.370690 | c 12 > 9.230150 | c 21 > 3.787810 | c 20 > 88.335500 | c 22 > 5.916080 | c 23 > 71.686300 | c 24 > 28.571400 | c 25 > 918.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.370690 | c 2 > -1.000000 | c 10 > 16.626100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 13.728300 | c 32 > 0.000000 | c 5 > 15.002000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.90 c choco : 1801.0
7.70/7.90 c mistral : 17.86
7.70/7.90 c abscon : 189.77
7.70/7.90 c
7.70/7.90 c
7.70/7.90 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-1.xml
7.70/7.90 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
7.70/7.91 c choco : 1801.0
7.70/7.91 c mistral : 1801.0
7.70/7.91 c abscon : 9.29
7.70/7.91 c
7.70/7.91 c
7.70/7.91 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-11.xml
7.70/7.91 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 13.099600 | c 33 > 30.000000 | c 15 > 20.173700 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 8.806410 | c 14 > 7.781360 | c 11 > 8.495860 | c 12 > 9.051860 | c 21 > 4.004060 | c 20 > 86.900400 | c 22 > 5.744560 | c 23 > 61.404600 | c 24 > 10.000000 | c 25 > 923.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.495860 | c 2 > -1.000000 | c 10 > 16.557900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 13.572200 | c 32 > 0.000000 | c 5 > 14.907500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.92 c choco : 1801.0
7.70/7.92 c mistral : 51.41
7.70/7.92 c abscon : 1801.0
7.70/7.92 c
7.70/7.92 c
7.70/7.92 c /home/eomahony/cpZilla/CSP/xml/nengfa/sudoku368.xml
7.70/7.92 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
7.70/7.92 c choco : 2.57
7.70/7.92 c mistral : 0.22
7.70/7.92 c abscon : 3.53246
7.70/7.92 c
7.70/7.92 c
7.70/7.92 c /home/eomahony/cpZilla/CSP/xml/bqwh-18-141_glb/bqwh-18-141-15_glb.xml
7.70/7.92 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
7.70/7.93 c choco : 1.12
7.70/7.93 c mistral : 0.2
7.70/7.93 c abscon : 0.78188
7.70/7.93 c
7.70/7.93 c
7.70/7.93 c /home/eomahony/cpZilla/CSP/xml/bqwh-18-141_glb/bqwh-18-141-47_glb.xml
7.70/7.93 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 21.091400 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 11.363300 | c 14 > 13.909700 | c 11 > 7.139550 | c 12 > 11.893200 | c 21 > 1.938780 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 40.510700 | c 24 > 16.666700 | c 25 > 36.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.139550 | c 2 > -1.000000 | c 10 > 9.968670 | 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.049850 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.94 c choco : 1.46
7.70/7.94 c mistral : 0.59
7.70/7.94 c abscon : 2.04269
7.70/7.94 c
7.70/7.94 c
7.70/7.94 c /home/eomahony/cpZilla/CSP/xml/bqwh-18-141_glb/bqwh-18-141-11_glb.xml
7.70/7.94 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 17.873900 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 8.502950 | c 14 > 11.037500 | c 11 > 7.108520 | c 12 > 7.411230 | c 21 > 1.933280 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 39.498100 | c 24 > 15.384600 | c 25 > 36.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.108520 | c 2 > -1.000000 | c 10 > 9.912890 | 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.000000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.94 c choco : 1.15
7.70/7.94 c mistral : 0.09
7.70/7.94 c abscon : 1.00485
7.70/7.94 c
7.70/7.94 c
7.70/7.94 c /home/eomahony/cpZilla/CSP/xml/bqwh-18-141_glb/bqwh-18-141-53_glb.xml
7.70/7.94 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
7.70/7.95 c choco : 1.19
7.70/7.95 c mistral : 0.028995
7.70/7.95 c abscon : 0.846871
7.70/7.95 c
7.70/7.95 c
7.70/7.95 c /home/eomahony/cpZilla/CSP/xml/bqwh-18-141_glb/bqwh-18-141-73_glb.xml
7.70/7.95 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.997900 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 10.735500 | c 14 > 13.888600 | c 11 > 7.129280 | c 12 > 11.325400 | c 21 > 1.964220 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 40.117700 | c 24 > 15.384600 | 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.057990 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.96 c choco : 1.17
7.70/7.96 c mistral : 1.21381
7.70/7.96 c abscon : 1.00785
7.70/7.96 c
7.70/7.96 c
7.70/7.96 c Length: 40
7.70/7.96 c 2.0433007366024203 21.09047774988988 29.767266126910275 142.64582475477366 145.19631588673005 191.63989335007335 191.71553827343178 191.735799888853 191.78577495814403 191.8520865780548 191.99418111915813 192.46996914858917 192.50000249550448 192.68696030198777 193.31353654840728 193.97046071955828 241.90591980969984 271.4298668728113 271.6115454435192 271.852713872805 291.2845556010316 291.33349636226967 291.6426293052316 291.69925823770586 291.80057180291163 292.103310384445 413.69799323573807 414.22735148775354 423.07617305842206 427.41864213067765 427.4985339380658 428.13577761810143 432.66807467607333 433.33372296110184 437.47914545363807 474.69022470367355 474.7355462894383 474.7587803099129 474.7613125036366 474.76885295077943
7.70/7.96 c
7.70/7.96 c 1.0 0.9612683341688975 0.9446018740850928 0.7707547893749014 0.7675629211083591 0.7137396143340361 0.7136581062443963 0.7136362773312785 0.7135824422464366 0.7135110213328819 0.713358026573809 0.712846217672043 0.7128139352072691 0.7126130423599817 0.7119405886889142 0.7112369265018043 0.663392364990018 0.6370001789823639 0.636844271331595 0.636637430253688 0.620401765303419 0.6203619197559307 0.6201103546938556 0.6200642935198172 0.6199819035664763 0.6197358416960813 0.5345274897760967 0.534207732213636 0.5289187091686404 0.5263612981331447 0.5263144791005738 0.5259413328522108 0.5233025754548437 0.5229172554253843 0.520530330634592 0.5000415858558859 0.5000176147843947 0.5000053269535211 0.500003987782788 0.5
7.70/7.97 c
7.70/7.97 c solver 0
7.70/7.97 c before 0.0 seconds: {} 0
7.70/7.97 c before 18.0 seconds: {0, 1, 14, 26, 28, 29, 30, 32, 34, 35, 36, 37, 38, 39} 8333
7.70/7.97 c before 54.0 seconds: {0, 1, 10, 14, 15, 23, 26, 27, 28, 29, 30, 32, 34, 35, 36, 37, 38, 39} 10912
7.70/7.97 c before 108.0 seconds: {0, 1, 2, 10, 14, 15, 23, 26, 27, 28, 29, 30, 32, 34, 35, 36, 37, 38, 39} 11856
7.70/7.97 c before 198.0 seconds: {0, 1, 2, 10, 14, 15, 23, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 12382
7.70/7.97 c before 270.0 seconds: {0, 1, 2, 5, 10, 14, 15, 23, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 13096
7.70/7.97 c before 576.0 seconds: {0, 1, 2, 5, 6, 10, 14, 15, 23, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 13810
7.70/7.97 c before 900.0 seconds: {0, 1, 2, 5, 6, 10, 14, 15, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 14430
7.70/7.97 c before 918.0 seconds: {0, 1, 2, 5, 6, 10, 14, 15, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 15049
7.70/7.97 c before 1062.0 seconds: {0, 1, 2, 3, 5, 6, 10, 14, 15, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 15820
7.70/7.97 c
7.70/7.97 c solver 1
7.70/7.97 c before 0.0 seconds: {} 0
7.70/7.97 c before 18.0 seconds: {0, 1, 2, 26, 27, 29, 31, 34, 35, 36, 37, 38, 39} 8047
7.70/7.97 c before 36.0 seconds: {0, 1, 2, 26, 27, 28, 29, 31, 34, 35, 36, 37, 38, 39} 8576
7.70/7.97 c before 54.0 seconds: {0, 1, 2, 5, 6, 26, 27, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 10526
7.70/7.97 c before 72.0 seconds: {0, 1, 2, 5, 6, 15, 23, 26, 27, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 11858
7.70/7.98 c before 108.0 seconds: {0, 1, 2, 4, 5, 6, 10, 15, 23, 26, 27, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 13338
7.70/7.98 c before 126.0 seconds: {0, 1, 2, 4, 5, 6, 10, 15, 16, 23, 26, 27, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 14002
7.70/7.98 c before 144.0 seconds: {0, 1, 2, 3, 4, 5, 6, 10, 15, 16, 23, 24, 25, 26, 27, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 16012
7.70/7.98 c before 234.0 seconds: {0, 1, 2, 3, 4, 5, 6, 10, 15, 16, 22, 23, 24, 25, 26, 27, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 16632
7.70/7.98 c before 270.0 seconds: {0, 1, 2, 3, 4, 5, 6, 10, 11, 15, 16, 22, 23, 24, 25, 26, 27, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 17345
7.70/7.98 c before 306.0 seconds: {0, 1, 2, 3, 4, 5, 6, 10, 11, 12, 15, 16, 22, 23, 24, 25, 26, 27, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 18058
7.70/7.98 c before 414.0 seconds: {0, 1, 2, 3, 4, 5, 6, 10, 11, 12, 15, 16, 20, 22, 23, 24, 25, 26, 27, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 18678
7.70/7.98 c before 450.0 seconds: {0, 1, 2, 3, 4, 5, 6, 10, 11, 12, 14, 15, 16, 20, 22, 23, 24, 25, 26, 27, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 19390
7.70/7.98 c before 468.0 seconds: {0, 1, 2, 3, 4, 5, 6, 10, 11, 12, 13, 14, 15, 16, 20, 22, 23, 24, 25, 26, 27, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 20103
7.70/7.98 c before 504.0 seconds: {0, 1, 2, 3, 4, 5, 6, 10, 11, 12, 13, 14, 15, 16, 18, 20, 22, 23, 24, 25, 26, 27, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 20740
7.70/7.98 c before 630.0 seconds: {0, 1, 2, 3, 4, 5, 6, 10, 11, 12, 13, 14, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 21360
7.70/7.98 c before 666.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 22074
7.70/7.98 c before 810.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 23348
7.70/7.98 c before 972.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 24061
7.70/7.98 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, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 24775
7.70/7.98 c
7.70/7.98 c solver 2
7.70/7.98 c before 0.0 seconds: {} 0
7.70/7.98 c before 18.0 seconds: {26, 34, 35, 36, 37, 38, 39} 3555
7.70/7.98 c
7.70/7.98 cTotal time: 125
7.70/7.98 c run abscon for 576.0 seconds {0, 1, 2, 5, 6, 10, 14, 15, 23, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 13810
7.70/7.98 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, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 24775
7.70/7.98 c run choco for 18.0 seconds {26, 34, 35, 36, 37, 38, 39} 3555
7.70/7.98 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.70/7.98 c On Instance: HOME/instance-1058195-1215113308.xml
7.70/7.98 c Running for: 576 seconds
12.53/12.84 s SAT
12.53/12.84 v 37 22 35 29 20 6 2 2 8 22 9 24 16 33 10 19 30 15 37 28 24 39 3 1 41 13 32 11 40 24 12 6 13 7 27 34 3 20 2 12 44 10 18 29 3 0 8 39 15 18 9 38 27 20 43 21 41 22 7 12 8 41 37 20 30 4 9 31 22 16 38 44 37 27 1 43 18 6 32 41 12 31 7 38 17 1 39 10 42 21 6 13 26 10 24 19 19 25 21 38 9 11 33 23 14 32 42 23 26 44 28 7 44 11 30 34 5 34 11 9 37 11 42 16 39 25 32 34 14 0 15 30 5 23 5 36 21 43 29 36 35 38 11 17 33 21 31 32 28 0 17 3 4 16 39 22 3 20 1 1 20 2 0 31 17 42 4 28 30 23 8 16 12 36 5 17 9 23 25 40 14 42 29 37 13 43 15 18 35 4 6 36 4 40 13 14 34 0 26 33 2 4 9 3 3 6 7 1 9 5 1 3 6 8 2 3 1 9 0 3 4 6 7 4 9 9 0 1 2 0 3 9 3 1 8 3 2 6 8 9 8 5 3 5 0 4 1 7 5 1 5 8 6 4 7 7 1 9 4 4 5 6 1 1 8 3 4 1 3 9 0 4 4 2 2 8 0 5 5 0 2 6 2 2 9 9 3 1 3 0 4 7 6 3 8 0 4 8 1 5 3 0 7 1 4 1 8 4 2 9 7 3 1 2 4 5 9 4 9 2 3 4 2 7 4 0 4 6 3 3 6 0 0 5 1 7 3 4 7 3 5 1 5 4 6 2 2 7 5 0 1 8 8 2 2 2 4 9 7 8 7 4 9 9 7 0 1 6 9 2 7 4 6 9 6 0 0 0 6 6 9 9 6 8 2 3 7 7 6 6 7 6 7 7 6 6 8 5 9 3
12.53/12.84 d ASSIGNMENTS 1793
12.53/12.84 d CHECKS 71895