0.00/0.00 c cpHydra_k_40 version 0.0
7.12/7.27 c CASE TO CLASSIFY:
7.12/7.27 c Case: 0
7.12/7.28 c 19 > 0.000000 | c 35 > 55.714300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.714300 | c 15 > 22.082900 | c 34 > 168.571000 | c 16 > 6.000000 | c 13 > 6.778230 | c 14 > 11.814200 | c 11 > 12.444800 | c 12 > 4.020350 | c 21 > 4.416620 | c 20 > 100.000000 | c 22 > 6.403120 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 5.643860 | c 10 > 12.514200 | c 1 > 4.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.258600 | c 6 > 11.574600 | c 32 > -1.000000 | c 5 > 15.792800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.12/7.29 c choco : 1801.0
7.12/7.29 c mistral : 1801.0
7.12/7.29 c abscon : 1801.0
7.12/7.29 c
7.12/7.29 c
7.21/7.36 c List of same ones: 40
7.21/7.36 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-42.xml
7.21/7.36 c 19 > 0.000000 | c 35 > 55.781200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.781200 | c 34 > 167.344000 | c 16 > 15.000000 | c 13 > 0.268520 | c 14 > 6.906890 | c 11 > 10.124100 | c 12 > 0.492428 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.169930 | c 10 > 10.016800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.721100 | c 6 > 9.103290 | c 32 > -1.000000 | c 5 > 12.115700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.21/7.37 c choco : 12.29
7.21/7.37 c mistral : 0.08
7.21/7.37 c abscon : 41.84
7.21/7.37 c
7.21/7.37 c
7.21/7.37 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-30.xml
7.21/7.37 c 19 > 0.000000 | c 35 > 57.031200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.342900 | c 34 > 171.094000 | c 16 > 14.000000 | c 13 > 0.068618 | c 14 > 6.727920 | c 11 > 10.209500 | c 12 > 0.407095 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.169930 | c 10 > 10.108500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.832890 | c 6 > 9.189820 | c 32 > -1.000000 | c 5 > 12.220100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.21/7.38 c choco : 51.8
7.21/7.38 c mistral : 0.09
7.21/7.38 c abscon : 4.82
7.21/7.38 c
7.21/7.38 c
7.21/7.38 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-24.xml
7.21/7.38 c 19 > 0.000000 | c 35 > 55.468800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.111500 | c 34 > 166.406000 | c 16 > 14.000000 | c 13 > -0.023684 | c 14 > 6.392320 | c 11 > 10.116300 | c 12 > 0.391451 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.169930 | c 10 > 10.007000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.714250 | c 6 > 9.092760 | c 32 > -1.000000 | c 5 > 12.101300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.21/7.39 c choco : 34.67
7.21/7.39 c mistral : 0.07
7.21/7.39 c abscon : 28.95
7.21/7.39 c
7.21/7.39 c
7.21/7.39 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-35.xml
7.21/7.39 c 19 > 0.000000 | c 35 > 56.718800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.536700 | c 34 > 170.156000 | c 16 > 17.000000 | c 13 > 0.146494 | c 14 > 7.066090 | c 11 > 10.434600 | c 12 > 0.388739 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.491850 | c 10 > 10.308300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.071460 | c 6 > 9.379380 | c 32 > -1.000000 | c 5 > 12.535800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.21/7.39 c choco : 10.61
7.21/7.39 c mistral : 0.11
7.21/7.39 c abscon : 5.1
7.21/7.39 c
7.21/7.39 c
7.21/7.39 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-31.xml
7.21/7.39 c 19 > 0.000000 | c 35 > 55.937500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.514200 | c 34 > 167.812000 | c 16 > 17.000000 | c 13 > 0.274392 | c 14 > 6.741470 | c 11 > 10.238400 | c 12 > 0.459432 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.159870 | c 10 > 10.139600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.876520 | c 6 > 9.216750 | c 32 > -1.000000 | c 5 > 12.308100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.40 c choco : 13.02
7.30/7.40 c mistral : 0.1
7.30/7.41 c abscon : 6.04
7.30/7.41 c
7.30/7.41 c
7.30/7.41 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-15.xml
7.30/7.41 c 19 > 0.000000 | c 35 > 56.093800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.860100 | c 34 > 168.281000 | c 16 > 18.000000 | c 13 > 0.204628 | c 14 > 7.199670 | c 11 > 10.430500 | c 12 > 0.419734 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.491850 | c 10 > 10.303800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.066090 | c 6 > 9.375040 | c 32 > -1.000000 | c 5 > 12.537700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.41 c choco : 10.9
7.30/7.41 c mistral : 0.11
7.30/7.41 c abscon : 6.3
7.30/7.42 c
7.30/7.42 c
7.30/7.42 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-21.xml
7.30/7.42 c 19 > 1.562500 | c 35 > 54.375000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.713400 | c 34 > 163.125000 | c 16 > 16.000000 | c 13 > 0.609884 | c 14 > 6.820180 | c 11 > 10.189800 | c 12 > 0.494924 | c 21 > 2.000000 | c 20 > 98.437500 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 1.000000 | c 2 > 7.149750 | c 10 > 10.087500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.810570 | c 6 > 9.167420 | c 32 > -1.000000 | c 5 > 12.225200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.42 c choco : 32.65
7.30/7.42 c mistral : 0.11
7.30/7.42 c abscon : 8.27
7.30/7.42 c
7.30/7.42 c
7.30/7.42 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-29.xml
7.30/7.42 c 19 > 0.000000 | c 35 > 57.343800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.086100 | c 34 > 172.031000 | c 16 > 16.000000 | c 13 > -0.057458 | c 14 > 6.409390 | c 11 > 10.129300 | c 12 > 0.391336 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.169930 | c 10 > 10.022400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.727920 | c 6 > 9.108520 | c 32 > -1.000000 | c 5 > 12.133500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.43 c choco : 1801.0
7.30/7.43 c mistral : 0.08
7.30/7.43 c abscon : 32.27
7.30/7.43 c
7.30/7.43 c
7.30/7.43 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-40.xml
7.30/7.43 c 19 > 3.125000 | c 35 > 53.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.167300 | c 34 > 161.250000 | c 16 > 16.000000 | c 13 > 1.878620 | c 14 > 7.098030 | c 11 > 10.182400 | c 12 > 0.749082 | c 21 > 2.000000 | c 20 > 96.875000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 0.000000 | c 2 > 7.139550 | c 10 > 10.078200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.807350 | c 6 > 9.154820 | c 32 > -1.000000 | c 5 > 12.221900 | c 31 > -1.000000 | c 4 > 1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.44 c choco : 17.85
7.30/7.44 c mistral : 0.12
7.30/7.44 c abscon : 6.92
7.30/7.44 c
7.30/7.44 c
7.30/7.44 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-26.xml
7.30/7.44 c 19 > 1.562500 | c 35 > 54.531200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.539600 | c 34 > 163.594000 | c 16 > 17.000000 | c 13 > 0.654081 | c 14 > 6.768180 | c 11 > 10.209500 | c 12 > 0.503074 | c 21 > 2.000000 | c 20 > 98.437500 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 1.000000 | c 2 > 7.149750 | c 10 > 10.107200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.839200 | c 6 > 9.184880 | c 32 > -1.000000 | c 5 > 12.274100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.45 c choco : 14.45
7.30/7.45 c mistral : 0.08
7.30/7.45 c abscon : 74.2
7.30/7.45 c
7.30/7.45 c
7.30/7.45 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-17.xml
7.30/7.45 c 19 > 0.000000 | c 35 > 53.437500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.803700 | c 34 > 160.312000 | c 16 > 18.000000 | c 13 > 0.149812 | c 14 > 7.228820 | c 11 > 10.503800 | c 12 > 0.403065 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.491850 | c 10 > 10.383700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.159870 | c 6 > 9.451210 | c 32 > -1.000000 | c 5 > 12.656400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.46 c choco : 36.18
7.30/7.46 c mistral : 0.13
7.30/7.46 c abscon : 5.94
7.30/7.46 c
7.30/7.46 c
7.30/7.46 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-6.xml
7.30/7.46 c 19 > 1.562500 | c 35 > 60.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.694100 | c 34 > 180.000000 | c 16 > 14.000000 | c 13 > 0.084552 | c 14 > 6.727920 | c 11 > 10.189800 | c 12 > 0.444079 | c 21 > 2.000000 | c 20 > 98.437500 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 0.000000 | c 2 > 7.149750 | c 10 > 10.087500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.810570 | c 6 > 9.167420 | c 32 > -1.000000 | c 5 > 12.192900 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.47 c choco : 20.41
7.30/7.47 c mistral : 0.09
7.30/7.47 c abscon : 35.64
7.30/7.47 c
7.30/7.47 c
7.30/7.47 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-4.xml
7.30/7.47 c 19 > 1.562500 | c 35 > 59.843800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.775800 | c 34 > 179.531000 | c 16 > 16.000000 | c 13 > 0.758195 | c 14 > 6.794420 | c 11 > 10.184900 | c 12 > 0.534513 | c 21 > 2.000000 | c 20 > 98.437500 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 0.000000 | c 2 > 7.149750 | c 10 > 10.082100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.804130 | c 6 > 9.162390 | c 32 > -1.000000 | c 5 > 12.206400 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.48 c choco : 17.14
7.30/7.48 c mistral : 0.1
7.30/7.48 c abscon : 7.25
7.30/7.48 c
7.30/7.48 c
7.30/7.48 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-25.xml
7.30/7.48 c 19 > 0.000000 | c 35 > 56.875000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 11.224600 | c 34 > 170.625000 | c 16 > 15.000000 | c 13 > 0.139135 | c 14 > -1.000000 | c 11 > 10.189800 | c 12 > 1.069920 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.169930 | c 10 > 10.087500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.807350 | c 6 > 9.169930 | c 32 > -1.000000 | c 5 > 12.213700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.49 c choco : 1801.0
7.30/7.49 c mistral : 0.07
7.30/7.49 c abscon : 58.09
7.30/7.49 c
7.30/7.49 c
7.30/7.49 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-16.xml
7.30/7.49 c 19 > 0.000000 | c 35 > 54.062500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.998600 | c 34 > 162.188000 | c 16 > 15.000000 | c 13 > 0.216449 | c 14 > -1.000000 | c 11 > 10.207000 | c 12 > 1.141710 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.169930 | c 10 > 10.105900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.829720 | c 6 > 9.187350 | c 32 > -1.000000 | c 5 > 12.241700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.49 c choco : 3.65
7.30/7.49 c mistral : 0.06
7.30/7.49 c abscon : 3.12
7.30/7.49 c
7.30/7.49 c
7.30/7.49 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-32.xml
7.30/7.49 c 19 > 3.125000 | c 35 > 56.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.940300 | c 34 > 168.750000 | c 16 > 16.000000 | c 13 > 0.229432 | c 14 > -1.000000 | c 11 > 10.214300 | c 12 > 1.132750 | c 21 > 2.000000 | c 20 > 96.875000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 1.584960 | c 2 > 7.118940 | c 10 > 10.113700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.854870 | c 6 > 9.184880 | c 32 > -1.000000 | c 5 > 12.279000 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.51 c choco : 1801.0
7.37/7.51 c mistral : 0.08
7.37/7.51 c abscon : 3.32
7.37/7.51 c
7.37/7.51 c
7.37/7.51 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-10.xml
7.37/7.51 c 19 > 0.000000 | c 35 > 60.937500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.260900 | c 34 > 182.812000 | c 16 > 17.000000 | c 13 > 3.616220 | c 14 > 7.247930 | c 11 > 10.202100 | c 12 > 1.253200 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.169930 | c 10 > 10.100700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.823370 | c 6 > 9.182390 | c 32 > -1.000000 | c 5 > 12.221600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.51 c choco : 1801.0
7.37/7.51 c mistral : 0.09
7.37/7.51 c abscon : 8.47
7.37/7.51 c
7.37/7.51 c
7.37/7.51 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-34.xml
7.37/7.51 c 19 > 0.000000 | c 35 > 58.281200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.868100 | c 34 > 174.844000 | c 16 > 15.000000 | c 13 > 0.191895 | c 14 > -1.000000 | c 11 > 10.202100 | c 12 > 1.163650 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.169930 | c 10 > 10.100700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.823370 | c 6 > 9.182390 | c 32 > -1.000000 | c 5 > 12.218300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.52 c choco : 3.83
7.37/7.52 c mistral : 0.08
7.37/7.52 c abscon : 3.21
7.37/7.52 c
7.37/7.52 c
7.37/7.52 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-27.xml
7.37/7.52 c 19 > 0.000000 | c 35 > 60.625000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.466100 | c 34 > 181.875000 | c 16 > 16.000000 | c 13 > 0.068218 | c 14 > 6.781360 | c 11 > 10.231200 | c 12 > 0.415338 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.169930 | c 10 > 10.131900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.861090 | c 6 > 9.211890 | c 32 > -1.000000 | c 5 > 12.260900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.53 c choco : 14.05
7.37/7.53 c mistral : 0.09
7.37/7.53 c abscon : 6.38
7.37/7.53 c
7.37/7.53 c
7.37/7.53 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-9.xml
7.37/7.53 c 19 > 0.000000 | c 35 > 53.906200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.997900 | c 34 > 161.719000 | c 16 > 16.000000 | c 13 > 0.168345 | c 14 > -1.000000 | c 11 > 10.187400 | c 12 > 1.130060 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.169930 | c 10 > 10.084800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.804130 | c 6 > 9.167420 | c 32 > -1.000000 | c 5 > 12.196300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.54 c choco : 10.7
7.37/7.54 c mistral : 0.07
7.37/7.54 c abscon : 3.28
7.37/7.54 c
7.37/7.54 c
7.37/7.54 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-5.xml
7.37/7.54 c 19 > 0.000000 | c 35 > 54.218800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.888000 | c 34 > 162.656000 | c 16 > 17.000000 | c 13 > 0.218287 | c 14 > -1.000000 | c 11 > 10.278400 | c 12 > 1.178420 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.169930 | c 10 > 10.182400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.921840 | c 6 > 9.259740 | c 32 > -1.000000 | c 5 > 12.361400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.54 c choco : 13.29
7.37/7.54 c mistral : 0.08
7.37/7.54 c abscon : 3.99
7.37/7.54 c
7.37/7.54 c
7.37/7.54 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-20.xml
7.37/7.54 c 19 > 0.000000 | c 35 > 54.531200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 11.074100 | c 34 > 163.594000 | c 16 > 18.000000 | c 13 > 0.153624 | c 14 > -1.000000 | c 11 > 10.290000 | c 12 > 1.150850 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.169930 | c 10 > 10.194800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.936640 | c 6 > 9.271460 | c 32 > -1.000000 | c 5 > 12.375600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.55 c choco : 14.84
7.37/7.55 c mistral : 0.07
7.37/7.55 c abscon : 3.77
7.37/7.55 c
7.37/7.55 c
7.37/7.55 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-10.xml
7.37/7.55 c 19 > 0.000000 | c 35 > 51.718800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.155800 | c 34 > 155.156000 | c 16 > 19.000000 | c 13 > 0.310330 | c 14 > 7.199670 | c 11 > 10.529400 | c 12 > 0.465630 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.491850 | c 10 > 10.411500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.192290 | c 6 > 9.477760 | c 32 > -1.000000 | c 5 > 12.711200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.55 c choco : 12.17
7.37/7.55 c mistral : 0.12
7.37/7.55 c abscon : 6.6
7.37/7.55 c
7.37/7.55 c
7.37/7.55 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-44.xml
7.37/7.55 c 19 > 3.125000 | c 35 > 58.906200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.886500 | c 34 > 176.719000 | c 16 > 15.000000 | c 13 > 0.153429 | c 14 > -1.000000 | c 11 > 10.144700 | c 12 > 1.129140 | c 21 > 2.000000 | c 20 > 96.875000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 1.000000 | c 2 > 7.139550 | c 10 > 10.038900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.754890 | c 6 > 9.118940 | c 32 > -1.000000 | c 5 > 12.156400 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.56 c choco : 1801.0
7.37/7.56 c mistral : 0.06
7.37/7.56 c abscon : 5.75
7.37/7.56 c
7.37/7.56 c
7.37/7.56 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-12.xml
7.37/7.56 c 19 > 1.562500 | c 35 > 58.437500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 9.890260 | c 34 > 175.312000 | c 16 > 16.000000 | c 13 > 0.054065 | c 14 > -1.000000 | c 11 > 10.197200 | c 12 > 1.169110 | c 21 > 2.000000 | c 20 > 98.437500 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 1.000000 | c 2 > 7.149750 | c 10 > 10.095400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.820180 | c 6 > 9.174930 | c 32 > -1.000000 | c 5 > 12.236900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.57 c choco : 10.99
7.37/7.57 c mistral : 0.06
7.37/7.57 c abscon : 3.5
7.37/7.57 c
7.37/7.57 c
7.37/7.57 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-36.xml
7.37/7.57 c 19 > 3.125000 | c 35 > 53.281200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.826500 | c 34 > 159.844000 | c 16 > 15.000000 | c 13 > 0.206993 | c 14 > -1.000000 | c 11 > 10.139600 | c 12 > 1.128410 | c 21 > 2.000000 | c 20 > 96.875000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 0.000000 | c 2 > 7.139550 | c 10 > 10.033400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.748190 | c 6 > 9.113740 | c 32 > -1.000000 | c 5 > 12.155100 | c 31 > -1.000000 | c 4 > 1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.57 c choco : 3.9
7.37/7.57 c mistral : 0.07
7.37/7.57 c abscon : 3.47
7.37/7.57 c
7.37/7.57 c
7.37/7.57 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-28.xml
7.37/7.57 c 19 > 1.562500 | c 35 > 61.406200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.930600 | c 34 > 184.219000 | c 16 > 16.000000 | c 13 > 0.302261 | c 14 > 6.845490 | c 11 > 10.207000 | c 12 > 0.475102 | c 21 > 2.000000 | c 20 > 98.437500 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 1.000000 | c 2 > 7.149750 | c 10 > 10.105900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.832890 | c 6 > 9.184880 | c 32 > -1.000000 | c 5 > 12.241100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.58 c choco : 10.45
7.37/7.58 c mistral : 0.13
7.37/7.58 c abscon : 7.19
7.37/7.58 c
7.37/7.58 c
7.37/7.58 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-37.xml
7.37/7.58 c 19 > 0.000000 | c 35 > 61.406200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.196000 | c 34 > 184.219000 | c 16 > 17.000000 | c 13 > 0.030748 | c 14 > 6.507790 | c 11 > 10.199700 | c 12 > 0.403954 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.169930 | c 10 > 10.098000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.820180 | c 6 > 9.179910 | c 32 > -1.000000 | c 5 > 12.211900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.58 c choco : 1801.0
7.37/7.58 c mistral : 0.08
7.37/7.58 c abscon : 73.51
7.37/7.58 c
7.37/7.58 c
7.37/7.58 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-27.xml
7.37/7.58 c 19 > 0.000000 | c 35 > 51.093800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.078500 | c 34 > 153.281000 | c 16 > 20.000000 | c 13 > 0.164806 | c 14 > 7.339850 | c 11 > 10.568000 | c 12 > 0.420018 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.491850 | c 10 > 10.453300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.240790 | c 6 > 9.517670 | c 32 > -1.000000 | c 5 > 12.772100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.59 c choco : 25.29
7.37/7.59 c mistral : 0.15
7.37/7.59 c abscon : 6.78
7.37/7.59 c
7.37/7.59 c
7.37/7.59 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-38.xml
7.37/7.59 c 19 > 0.000000 | c 35 > 50.312500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.343200 | c 34 > 150.938000 | c 16 > 17.000000 | c 13 > 0.102914 | c 14 > 6.584960 | c 11 > 10.256200 | c 12 > 0.411790 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.159870 | c 10 > 10.158600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.900870 | c 6 > 9.233620 | c 32 > -1.000000 | c 5 > 12.346500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.59 c choco : 10.64
7.37/7.59 c mistral : 0.11
7.37/7.59 c abscon : 5.46
7.37/7.59 c
7.37/7.59 c
7.37/7.59 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-1.xml
7.37/7.59 c 19 > 0.000000 | c 35 > 50.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.482100 | c 34 > 150.000000 | c 16 > 17.000000 | c 13 > 0.280339 | c 14 > 7.383700 | c 11 > 10.497900 | c 12 > 0.453433 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.491850 | c 10 > 10.377200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.152280 | c 6 > 9.445010 | c 32 > -1.000000 | c 5 > 12.635500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.60 c choco : 9.34
7.37/7.60 c mistral : 0.15
7.37/7.60 c abscon : 6.23
7.37/7.60 c
7.37/7.60 c
7.37/7.60 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-13.xml
7.37/7.60 c 19 > 0.000000 | c 35 > 50.312500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.884400 | c 34 > 150.938000 | c 16 > 18.000000 | c 13 > 0.172016 | c 14 > 7.108520 | c 11 > 10.473700 | c 12 > 0.408173 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.491850 | c 10 > 10.350900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.121530 | c 6 > 9.419960 | c 32 > -1.000000 | c 5 > 12.606600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.43/7.61 c choco : 5.18
7.43/7.61 c mistral : 0.15
7.43/7.61 c abscon : 5.38
7.43/7.61 c
7.43/7.61 c
7.43/7.61 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-14.xml
7.43/7.61 c 19 > 1.562500 | c 35 > 60.781200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.232400 | c 34 > 182.344000 | c 16 > 14.000000 | c 13 > 0.220540 | c 14 > -1.000000 | c 11 > 10.066100 | c 12 > 1.154290 | c 21 > 2.000000 | c 20 > 98.437500 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 0.000000 | c 2 > 7.149750 | c 10 > 9.954200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.647460 | c 6 > 9.041660 | c 32 > -1.000000 | c 5 > 12.026900 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.43/7.61 c choco : 3.78
7.43/7.61 c mistral : 0.06
7.43/7.61 c abscon : 3.56
7.43/7.61 c
7.43/7.61 c
7.43/7.61 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-34.xml
7.43/7.61 c 19 > 0.000000 | c 35 > 50.156200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.809000 | c 34 > 150.469000 | c 16 > 18.000000 | c 13 > 0.196089 | c 14 > 7.139550 | c 11 > 10.525500 | c 12 > 0.412589 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.491850 | c 10 > 10.407300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.187350 | c 6 > 9.473710 | c 32 > -1.000000 | c 5 > 12.690400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.43/7.62 c choco : 14.41
7.43/7.62 c mistral : 0.13
7.43/7.62 c abscon : 8.32
7.43/7.62 c
7.43/7.62 c
7.43/7.62 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-18.xml
7.43/7.62 c 19 > 0.000000 | c 35 > 58.281200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 4.643860 | c 34 > 174.844000 | c 16 > 16.000000 | c 13 > 0.068442 | c 14 > -1.000000 | c 11 > 10.118900 | c 12 > 1.158930 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.169930 | c 10 > 10.009800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.717680 | c 6 > 9.095400 | c 32 > -1.000000 | c 5 > 12.122500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.43/7.63 c choco : 3.49
7.43/7.63 c mistral : 0.07
7.43/7.63 c abscon : 4.13
7.43/7.63 c
7.43/7.63 c
7.43/7.63 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-33.xml
7.43/7.63 c 19 > 0.000000 | c 35 > 51.875000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 7.515700 | c 34 > 155.625000 | c 16 > 16.000000 | c 13 > 0.036607 | c 14 > -1.000000 | c 11 > 10.226400 | c 12 > 1.171800 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.169930 | c 10 > 10.126700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.854870 | c 6 > 9.207010 | c 32 > -1.000000 | c 5 > 12.284800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.43/7.63 c choco : 3.81
7.43/7.63 c mistral : 0.06
7.43/7.63 c abscon : 3.13
7.43/7.63 c
7.43/7.63 c
7.43/7.63 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-39.xml
7.43/7.63 c 19 > 0.000000 | c 35 > 61.875000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 11.030000 | c 34 > 185.625000 | c 16 > 14.000000 | c 13 > 0.170768 | c 14 > -1.000000 | c 11 > 10.194800 | c 12 > 1.107310 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.169930 | c 10 > 10.092800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.813780 | c 6 > 9.174930 | c 32 > -1.000000 | c 5 > 12.198400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.43/7.64 c choco : 37.36
7.43/7.64 c mistral : 0.07
7.43/7.64 c abscon : 4.18
7.43/7.64 c
7.43/7.64 c
7.43/7.64 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-45.xml
7.43/7.64 c 19 > 0.000000 | c 35 > 63.125000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.417300 | c 34 > 189.375000 | c 16 > 15.000000 | c 13 > 0.465477 | c 14 > 6.857980 | c 11 > 10.113700 | c 12 > 0.470281 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.169930 | c 10 > 10.005600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.707360 | c 6 > 9.092760 | c 32 > -1.000000 | c 5 > 12.084800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.43/7.64 c choco : 34.18
7.43/7.64 c mistral : 0.08
7.43/7.64 c abscon : 5.48
7.43/7.64 c
7.43/7.64 c
7.43/7.64 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-46.xml
7.43/7.64 c 19 > 1.562500 | c 35 > 51.406200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.164900 | c 34 > 154.219000 | c 16 > 19.000000 | c 13 > 0.056922 | c 14 > -1.000000 | c 11 > 10.337600 | c 12 > 1.183980 | c 21 > 2.000000 | c 20 > 98.437500 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 1.000000 | c 2 > 7.149750 | c 10 > 10.245600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.000000 | c 6 > 9.317410 | c 32 > -1.000000 | c 5 > 12.477800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.43/7.65 c choco : 4.81
7.43/7.65 c mistral : 0.07
7.43/7.65 c abscon : 3.08
7.43/7.65 c
7.43/7.65 c
7.43/7.65 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-47.xml
7.43/7.65 c 19 > 0.000000 | c 35 > 49.531200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.884200 | c 34 > 148.594000 | c 16 > 19.000000 | c 13 > 0.197185 | c 14 > 7.285400 | c 11 > 10.545000 | c 12 > 0.414313 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 7.491850 | c 10 > 10.428400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.211890 | c 6 > 9.493860 | c 32 > -1.000000 | c 5 > 12.722000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.43/7.66 c choco : 7.16
7.43/7.66 c mistral : 0.13
7.43/7.66 c abscon : 7.53
7.43/7.66 c
7.43/7.66 c
7.43/7.66 c Length: 40
7.43/7.66 c 31.72161193378552 31.728004644286198 31.868655499720504 32.34505734045956 32.37879801263889 32.521743560070085 32.551543385550744 32.584551269551845 32.78162817652937 32.829494618919696 33.62027322437831 33.87891782416595 34.06714945054391 34.317122074681976 34.90746733668544 34.95959508893809 34.97596014301538 34.991070951494535 35.09927376472889 35.29491195546357 35.386742846137295 35.506589018515086 35.613996050281976 35.796680702935305 35.829771146360386 35.884100154329765 36.1205030208269 36.58947674429119 36.82186461867459 37.34634461192764 37.36445202745211 37.37907602240224 37.447413042070075 37.61575972145986 37.76059778269898 38.30477263626431 38.568426915258605 38.703309666857564 38.90027904854108 38.927883350595806
7.43/7.66 c
7.43/7.66 c 1.0 0.9991136824912628 0.9800030916287384 0.9203744629941035 0.9164253028371073 0.9000635339018261 0.8967259207690539 0.8930577769962477 0.8717663494907917 0.8667473958805899 0.7914689375958796 0.7696066557037193 0.7544404904797373 0.7352001648255759 0.6934356693128999 0.6899747001720169 0.6888952733613748 0.6879015703825677 0.680868940508459 0.6685118659801612 0.6628649367046032 0.6556372022523831 0.6492922854650706 0.6387779552804094 0.6369097706158183 0.633866107357263 0.6209539430765039 0.5968353579204413 0.5855651325474757 0.5616295781282747 0.5608381101630611 0.5602005275815937 0.5572402569523509 0.5500794519875658 0.5440642844634488 0.5225937772107334 0.512789234519369 0.507914229350439 0.5009594862708017 0.5
7.43/7.67 c
7.43/7.67 c solver 0
7.43/7.67 c before 0.0 seconds: {} 0
7.43/7.67 c before 18.0 seconds: {1, 3, 4, 5, 6, 8, 10, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22122
7.43/7.68 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24764
7.43/7.68 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25764
7.43/7.68 c before 72.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, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26500
7.43/7.68 c before 90.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, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 27963
7.43/7.68 c
7.43/7.68 c solver 1
7.43/7.68 c before 0.0 seconds: {} 0
7.43/7.68 c before 18.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, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 27963
7.43/7.68 c
7.43/7.68 c solver 2
7.43/7.68 c before 0.0 seconds: {} 0
7.43/7.68 c before 18.0 seconds: {0, 3, 4, 5, 8, 9, 12, 14, 17, 18, 19, 20, 21, 22, 24, 25, 26, 29, 30, 31, 32, 33, 34, 35, 38, 39} 17677
7.43/7.68 c before 36.0 seconds: {0, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 17, 18, 19, 20, 21, 22, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 21417
7.43/7.68 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 17, 18, 19, 20, 21, 22, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23720
7.43/7.68 c
7.43/7.68 cTotal time: 9
7.43/7.68 c 162.0 seconds unused
7.43/7.68 c 0 c 0 c 6
7.43/7.68 c 0 c 0 c 6
7.43/7.68 c 0 c 0 c 0
7.43/7.68 c is solver0 dominated by:
7.43/7.68 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.43/7.68 c is dominated? true
7.43/7.68 c
7.43/7.68 c is solver1 dominated by:
7.43/7.68 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.43/7.68 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.43/7.68 c is dominated? false
7.43/7.68 c
7.43/7.68 c is solver2 dominated by:
7.43/7.68 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.43/7.68 c is dominated? true
7.43/7.68 c
7.43/7.68 c Number of non-dominated solvers: 1
7.43/7.68 c remove dominated solvers
7.43/7.68 c solver 1 is not dominated by another solver
7.43/7.68 c solver 2 is dominated by another solver
7.43/7.68 c solver 0 is dominated by another solver
7.43/7.68 c
7.43/7.68 c solver 0: 0.0
7.43/7.68 c
7.43/7.68 c solver 1: 18.0
7.43/7.68 c
7.43/7.68 c+ 1/1 of 99
7.43/7.68 c
7.43/7.68 c solver 2: 0.0
7.43/7.68 c do not run abscon
7.43/7.68 c run mistral for 1800.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, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 27963
7.43/7.68 c do not run choco
7.43/7.68 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.43/7.68 c On Instance: HOME/instance-1064350-1215140734.xml
7.43/7.68 c Running for: 1800 seconds
7.49/8.70 c mistral-prime version 1.313
7.49/8.70 s SATISFIABLE
7.49/8.70 v 16 40 3 9 1 16 3 0 39 0 0 3 3 0 19 0 0 36 0 0 36 9 0 30 9 0 21 0 0 35 0 0 4 3 1 23 0 1 24 14 1 38 9 0 15 10 1 34 9 0 38 0 0 3 0 1 32 0 0 32 9 0 28 9 0 0 0 0 15 13 1 23 6 1 25 9 0
7.49/8.70 d CHECKS 1792952
7.49/8.70 d ASSIGNMENTS 1958