0.00/0.00 c cpHydra_k_40 version 0.0
7.86/8.02 c CASE TO CLASSIFY:
7.86/8.02 c Case: 0
7.86/8.02 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.085600 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 12.437700 | c 14 > 13.935400 | c 11 > 8.813780 | c 12 > 10.801300 | c 21 > 3.872980 | c 20 > 100.000000 | c 22 > 3.872980 | 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 > -1.000000 | c 10 > 13.002600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.720700 | c 31 > -1.000000 | c 4 > 8.813780 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.86/8.03 c choco : 1801.0
7.86/8.03 c mistral : 1801.0
7.86/8.03 c abscon : 1801.0
7.86/8.03 c
7.86/8.03 c
7.96/8.11 c List of same ones: 40
7.96/8.11 c /home/ehebrard/new_instances/competition_4c/data/leighton/leighton-15/lei450-15b-15.xml
7.96/8.11 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.137200 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 11.009300 | c 14 > 12.810000 | c 11 > 8.813780 | c 12 > 9.619750 | c 21 > 3.872980 | c 20 > 100.000000 | c 22 > 3.872980 | 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 > -1.000000 | c 10 > 13.002600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.720700 | c 31 > -1.000000 | c 4 > 8.813780 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.96/8.12 c choco : 1801.0
7.96/8.12 c mistral : 0.81
7.96/8.12 c abscon : 14.61
7.96/8.12 c
7.96/8.12 c
7.96/8.12 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/3-fullins-4-6.xml
7.96/8.12 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.898400 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 13.130100 | c 14 > 14.129900 | c 11 > 8.661780 | c 12 > 10.942100 | c 21 > 2.449490 | c 20 > 100.000000 | c 22 > 2.449490 | 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 > -1.000000 | c 10 > 11.791600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.246700 | c 31 > -1.000000 | c 4 > 8.661780 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.96/8.13 c choco : 18.37
7.96/8.13 c mistral : 2.48
7.96/8.13 c abscon : 18.86
7.96/8.13 c
7.96/8.13 c
7.96/8.13 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/2-fullins-5-6.xml
7.96/8.13 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.205400 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 12.695000 | c 14 > 12.523100 | c 11 > 9.734710 | c 12 > 10.125700 | c 21 > 2.449490 | c 20 > 100.000000 | c 22 > 2.449490 | 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 > -1.000000 | c 10 > 13.574700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.319700 | c 31 > -1.000000 | c 4 > 9.734710 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.96/8.14 c choco : 57.15
7.96/8.14 c mistral : 1801.0
7.96/8.14 c abscon : 1801.0
7.96/8.14 c
7.96/8.14 c
7.96/8.14 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/1-fullins-5-5.xml
7.96/8.14 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.325600 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 11.881100 | c 14 > 13.061500 | c 11 > 8.139550 | c 12 > 10.297900 | c 21 > 2.236070 | c 20 > 100.000000 | c 22 > 2.236070 | 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 > -1.000000 | c 10 > 11.664900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.461500 | c 31 > -1.000000 | c 4 > 8.139550 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.96/8.14 c choco : 1801.0
7.96/8.14 c mistral : 13.58
7.96/8.15 c abscon : 44.43
7.96/8.15 c
7.96/8.15 c
7.96/8.15 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen12-12-14.xml
7.96/8.15 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.858700 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 12.947600 | c 14 > 15.012500 | c 11 > 7.169930 | c 12 > 12.531700 | c 21 > 3.741660 | c 20 > 100.000000 | c 22 > 3.741660 | 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 > -1.000000 | c 10 > 11.342100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.977300 | c 31 > -1.000000 | c 4 > 7.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.96/8.16 c choco : 1801.0
7.96/8.16 c mistral : 3.27
7.96/8.16 c abscon : 8.24
7.96/8.16 c
7.96/8.16 c
7.96/8.16 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/2-fullins-5-5.xml
7.96/8.16 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.840700 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 11.048800 | c 14 > 11.580300 | c 11 > 9.734710 | c 12 > 8.311110 | c 21 > 2.236070 | c 20 > 100.000000 | c 22 > 2.236070 | 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 > -1.000000 | c 10 > 13.580100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.056600 | c 31 > -1.000000 | c 4 > 9.734710 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.96/8.17 c choco : 37.04
7.96/8.17 c mistral : 2.13
7.96/8.17 c abscon : 22.88
7.96/8.17 c
7.96/8.17 c
7.96/8.17 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/4-fullins-4-7.xml
7.96/8.17 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.861600 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 9.999780 | c 14 > 13.106200 | c 11 > 9.430450 | c 12 > 7.508940 | c 21 > 2.645750 | c 20 > 100.000000 | c 22 > 2.645750 | 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 > -1.000000 | c 10 > 12.705800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.237800 | c 31 > -1.000000 | c 4 > 9.430450 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.96/8.17 c choco : 28.71
7.96/8.17 c mistral : 67.83
7.96/8.17 c abscon : 1801.0
7.96/8.17 c
7.96/8.17 c
7.96/8.17 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen10-10-11.xml
7.96/8.17 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.475100 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 12.300600 | c 14 > 14.280600 | c 11 > 6.643860 | c 12 > 12.462700 | c 21 > 3.316620 | c 20 > 100.000000 | c 22 > 3.316620 | 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 > -1.000000 | c 10 > 10.537200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.103300 | c 31 > -1.000000 | c 4 > 6.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.96/8.18 c choco : 1801.0
7.96/8.18 c mistral : 92.45
7.96/8.18 c abscon : 1801.0
7.96/8.18 c
7.96/8.18 c
7.96/8.18 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/4-fullins-4-6.xml
7.96/8.18 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.310700 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 10.483700 | c 14 > 12.082500 | c 11 > 9.430450 | c 12 > 7.549630 | c 21 > 2.449490 | c 20 > 100.000000 | c 22 > 2.449490 | 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 > -1.000000 | c 10 > 12.705800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.015400 | c 31 > -1.000000 | c 4 > 9.430450 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.96/8.19 c choco : 16.95
7.96/8.19 c mistral : 1.21
7.96/8.19 c abscon : 15.62
7.96/8.19 c
7.96/8.19 c
7.96/8.19 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/2-fullins-4-5.xml
7.96/8.19 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.304900 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 11.695900 | c 14 > 12.628400 | c 11 > 7.727920 | c 12 > 9.758740 | c 21 > 2.236070 | c 20 > 100.000000 | c 22 > 2.236070 | 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 > -1.000000 | c 10 > 10.674200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.049800 | c 31 > -1.000000 | c 4 > 7.727920 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.04/8.20 c choco : 12.41
8.04/8.20 c mistral : 0.34
8.04/8.20 c abscon : 7.45
8.04/8.20 c
8.04/8.20 c
8.04/8.20 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/5-fullins-3-7.xml
8.04/8.20 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.322800 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 12.954700 | c 14 > 14.788500 | c 11 > 7.266790 | c 12 > 11.100100 | c 21 > 2.645750 | c 20 > 100.000000 | c 22 > 2.645750 | 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 > -1.000000 | c 10 > 9.642050 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.074100 | c 31 > -1.000000 | c 4 > 7.266790 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.04/8.21 c choco : 4.87
8.04/8.21 c mistral : 0.87
8.04/8.21 c abscon : 7.88
8.04/8.21 c
8.04/8.21 c
8.04/8.21 c /home/ehebrard/new_instances/competition_4c/data/insertion/k-insertion/3-insertions-4-3.xml
8.04/8.21 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.346600 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 11.934500 | c 14 > 14.572200 | c 11 > 8.134430 | c 12 > 10.898800 | c 21 > 1.732050 | c 20 > 100.000000 | c 22 > 1.732050 | 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 > -1.000000 | c 10 > 10.030700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.719390 | c 31 > -1.000000 | c 4 > 8.134430 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.04/8.22 c choco : 1801.0
8.04/8.22 c mistral : 73.5
8.04/8.22 c abscon : 47.28
8.04/8.22 c
8.04/8.22 c
8.04/8.22 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen10-10-12.xml
8.04/8.22 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 22.044900 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 13.421200 | c 14 > 15.180300 | c 11 > 6.643860 | c 12 > 13.496100 | c 21 > 3.464100 | c 20 > 100.000000 | c 22 > 3.464100 | 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 > -1.000000 | c 10 > 10.521600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.228800 | c 31 > -1.000000 | c 4 > 6.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.04/8.23 c choco : 15.64
8.04/8.23 c mistral : 0.19
8.04/8.23 c abscon : 5.15
8.04/8.23 c
8.04/8.23 c
8.04/8.23 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen9-9-10.xml
8.04/8.23 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.709500 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 12.478400 | c 14 > 14.765100 | c 11 > 6.339850 | c 12 > 13.044200 | c 21 > 3.162280 | c 20 > 100.000000 | c 22 > 3.162280 | 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 > -1.000000 | c 10 > 10.060700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.661780 | c 31 > -1.000000 | c 4 > 6.339850 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.04/8.24 c choco : 1801.0
8.04/8.24 c mistral : 4.9
8.04/8.24 c abscon : 6.98
8.04/8.24 c
8.04/8.24 c
8.04/8.24 c /home/ehebrard/new_instances/competition_4c/data/leighton/leighton-15/lei450-15a-15.xml
8.04/8.24 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.761200 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 9.365270 | c 14 > 10.878800 | c 11 > 8.813780 | c 12 > 7.918250 | c 21 > 3.872980 | c 20 > 100.000000 | c 22 > 3.872980 | 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 > -1.000000 | c 10 > 13.002600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.720700 | c 31 > -1.000000 | c 4 > 8.813780 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.04/8.24 c choco : 1801.0
8.04/8.24 c mistral : 5.16
8.04/8.24 c abscon : 35.49
8.04/8.24 c
8.04/8.24 c
8.04/8.24 c /home/ehebrard/new_instances/competition_4c/data/hos/abb313GPIA-7.xml
8.04/8.24 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.315000 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 11.071800 | c 14 > 10.897800 | c 11 > 10.604600 | c 12 > 7.922710 | c 21 > 2.645750 | c 20 > 100.000000 | c 22 > 2.645750 | 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 > 1.000000 | c 10 > 16.017800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.411900 | c 31 > -1.000000 | c 4 > 10.602700 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.04/8.25 c choco : 1801.0
8.04/8.25 c mistral : 13.15
8.04/8.25 c abscon : 20.59
8.04/8.25 c
8.04/8.25 c
8.04/8.25 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen8-8-8.xml
8.04/8.25 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.441200 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 11.116300 | c 14 > 14.481900 | c 11 > 6.000000 | c 12 > 13.044100 | c 21 > 2.828430 | c 20 > 100.000000 | c 22 > 2.828430 | 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 > -1.000000 | c 10 > 9.537220 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.000000 | c 31 > -1.000000 | c 4 > 6.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.04/8.26 c choco : 72.14
8.04/8.26 c mistral : 1801.0
8.04/8.26 c abscon : 1801.0
8.04/8.26 c
8.04/8.26 c
8.04/8.26 c /home/ehebrard/new_instances/competition_4c/data/hos/will199GPIA-6.xml
8.04/8.26 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.690700 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 8.491610 | c 14 > 10.973000 | c 11 > 9.453270 | c 12 > 6.383370 | c 21 > 2.449490 | c 20 > 100.000000 | c 22 > 2.449490 | 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 > -1.000000 | c 10 > 12.965400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.038200 | c 31 > -1.000000 | c 4 > 9.453270 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.04/8.27 c choco : 49.75
8.04/8.27 c mistral : 2.56
8.04/8.27 c abscon : 13.76
8.04/8.27 c
8.04/8.27 c
8.04/8.27 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/3-fullins-5-7.xml
8.04/8.27 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.763400 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 10.245500 | c 14 > 12.086500 | c 11 > 10.987300 | c 12 > 6.855530 | c 21 > 2.645750 | c 20 > 100.000000 | c 22 > 2.645750 | 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 > -1.000000 | c 10 > 15.042600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.794600 | c 31 > -1.000000 | c 4 > 10.987300 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.04/8.28 c choco : 108.19
8.04/8.28 c mistral : 1801.0
8.04/8.28 c abscon : 1801.0
8.04/8.28 c
8.04/8.28 c
8.04/8.28 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen8-8-9.xml
8.04/8.28 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.493500 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 13.255800 | c 14 > 14.995600 | c 11 > 6.000000 | c 12 > 13.793000 | c 21 > 3.000000 | c 20 > 100.000000 | c 22 > 3.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 > -1.000000 | c 10 > 9.531380 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 6.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.04/8.29 c choco : 42.77
8.04/8.29 c mistral : 3.18
8.04/8.29 c abscon : 8.92
8.04/8.29 c
8.04/8.29 c
8.04/8.29 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/5-fullins-4-7.xml
8.04/8.29 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.081300 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 8.471660 | c 14 > 11.869600 | c 11 > 10.083500 | c 12 > 5.962710 | c 21 > 2.645750 | c 20 > 100.000000 | c 22 > 2.645750 | 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 > -1.000000 | c 10 > 13.481500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.890800 | c 31 > -1.000000 | c 4 > 10.083500 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.04/8.29 c choco : 24.54
8.04/8.29 c mistral : 9.26
8.04/8.29 c abscon : 787.5
8.04/8.29 c
8.04/8.29 c
8.04/8.29 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/5-fullins-4-8.xml
8.04/8.29 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.556600 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 8.104190 | c 14 > 11.875700 | c 11 > 10.083500 | c 12 > 5.810230 | c 21 > 2.828430 | c 20 > 100.000000 | c 22 > 2.828430 | 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 > -1.000000 | c 10 > 13.481500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.083500 | c 31 > -1.000000 | c 4 > 10.083500 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.30 c choco : 37.8
8.11/8.30 c mistral : 1801.0
8.11/8.30 c abscon : 1801.0
8.11/8.30 c
8.11/8.30 c
8.11/8.30 c /home/ehebrard/new_instances/competition_4c/data/insertion/k-insertion/2-insertions-4-3.xml
8.11/8.30 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.348400 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 9.607050 | c 14 > 12.685600 | c 11 > 7.219170 | c 12 > 9.115140 | c 21 > 1.732050 | c 20 > 100.000000 | c 22 > 1.732050 | 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 > -1.000000 | c 10 > 9.079480 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.804130 | c 31 > -1.000000 | c 4 > 7.219170 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.30 c choco : 11.2
8.11/8.30 c mistral : 1.46
8.11/8.30 c abscon : 7.24
8.11/8.30 c
8.11/8.30 c
8.11/8.30 c /home/ehebrard/new_instances/competition_4c/data/insertion/k-insertion/2-insertions-5-3.xml
8.11/8.30 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.685400 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 7.857530 | c 14 > 11.352000 | c 11 > 9.221590 | c 12 > 6.236630 | c 21 > 1.732050 | c 20 > 100.000000 | c 22 > 1.732050 | 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 > -1.000000 | c 10 > 11.942500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.806500 | c 31 > -1.000000 | c 4 > 9.221590 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.31 c choco : 37.61
8.11/8.31 c mistral : 24.16
8.11/8.31 c abscon : 17.59
8.11/8.31 c
8.11/8.31 c
8.11/8.31 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/4-fullins-3-6.xml
8.11/8.31 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.213600 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 10.238500 | c 14 > 11.886800 | c 11 > 6.832890 | c 12 > 8.533670 | c 21 > 2.449490 | c 20 > 100.000000 | c 22 > 2.449490 | 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 > -1.000000 | c 10 > 9.095400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.417850 | c 31 > -1.000000 | c 4 > 6.832890 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.32 c choco : 4.66
8.11/8.32 c mistral : 0.14
8.11/8.32 c abscon : 4.56
8.11/8.32 c
8.11/8.32 c
8.11/8.32 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/3-fullins-5-6.xml
8.11/8.32 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.533800 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 8.814370 | c 14 > 11.205200 | c 11 > 10.987300 | c 12 > 5.990840 | c 21 > 2.449490 | c 20 > 100.000000 | c 22 > 2.449490 | 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 > -1.000000 | c 10 > 15.042600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.572200 | c 31 > -1.000000 | c 4 > 10.987300 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.32 c choco : 63.53
8.11/8.32 c mistral : 68.81
8.11/8.32 c abscon : 857.77
8.11/8.32 c
8.11/8.32 c
8.11/8.32 c /home/ehebrard/new_instances/competition_4c/data/hos/abb313GPIA-9.xml
8.11/8.32 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.901600 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 7.683010 | c 14 > 10.976600 | c 11 > 10.604600 | c 12 > 6.780800 | c 21 > 3.000000 | c 20 > 100.000000 | c 22 > 3.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 > 1.000000 | c 10 > 15.996800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.774500 | c 31 > -1.000000 | c 4 > 10.602700 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.33 c choco : 1801.0
8.11/8.33 c mistral : 152.82
8.11/8.33 c abscon : 202.24
8.11/8.33 c
8.11/8.33 c
8.11/8.33 c /home/eomahony/cpZilla/CSP/zhou/color.xml
8.11/8.33 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.409000 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 6.518610 | c 14 > 10.029300 | c 11 > 8.965780 | c 12 > 6.389880 | c 21 > 2.236070 | c 20 > 100.000000 | c 22 > 2.236070 | 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 > -1.000000 | c 10 > 13.675700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.287700 | c 31 > -1.000000 | c 4 > 8.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.33 c choco : 17.02
8.11/8.33 c mistral : 4.22
8.11/8.33 c abscon : 8.71867
8.11/8.33 c
8.11/8.33 c
8.11/8.33 c /home/ehebrard/new_instances/competition_4c/data/school/school1-nsh-15.xml
8.11/8.33 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.260700 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 9.684630 | c 14 > 6.599910 | c 11 > 8.459430 | c 12 > 8.086570 | c 21 > 3.872980 | c 20 > 100.000000 | c 22 > 3.872980 | 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 > -1.000000 | c 10 > 14.347400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.366300 | c 31 > -1.000000 | c 4 > 8.459430 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.34 c choco : 1801.0
8.11/8.34 c mistral : 1801.0
8.11/8.34 c abscon : 13.76
8.11/8.34 c
8.11/8.34 c
8.11/8.34 c /home/ehebrard/new_instances/competition_4c/data/school/school1-15.xml
8.11/8.34 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.431700 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 10.010100 | c 14 > 6.357550 | c 11 > 8.588710 | c 12 > 8.273620 | c 21 > 3.872980 | c 20 > 100.000000 | c 22 > 3.872980 | 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 > -1.000000 | c 10 > 14.709500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.495600 | c 31 > -1.000000 | c 4 > 8.588710 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.35 c choco : 1801.0
8.11/8.35 c mistral : 1801.0
8.11/8.35 c abscon : 13.86
8.11/8.35 c
8.11/8.35 c
8.11/8.35 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen6-6-6.xml
8.11/8.35 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.327100 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 9.409030 | c 14 > 13.374100 | c 11 > 5.169930 | c 12 > 12.310100 | c 21 > 2.449490 | c 20 > 100.000000 | c 22 > 2.449490 | 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 > -1.000000 | c 10 > 8.392320 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.754890 | c 31 > -1.000000 | c 4 > 5.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.35 c choco : 4.15
8.11/8.35 c mistral : 1.95
8.11/8.35 c abscon : 7.67
8.11/8.35 c
8.11/8.35 c
8.11/8.35 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/3-fullins-5-5.xml
8.11/8.35 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.003200 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 7.425420 | c 14 > 9.971540 | c 11 > 10.987300 | c 12 > 5.482120 | c 21 > 2.236070 | c 20 > 100.000000 | c 22 > 2.236070 | 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 > -1.000000 | c 10 > 15.042600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.309200 | c 31 > -1.000000 | c 4 > 10.987300 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.36 c choco : 37.94
8.11/8.36 c mistral : 5.34
8.11/8.36 c abscon : 42.97
8.11/8.36 c
8.11/8.36 c
8.11/8.36 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/3-fullins-4-5.xml
8.11/8.36 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.477400 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 8.153740 | c 14 > 9.537220 | c 11 > 8.661780 | c 12 > 5.761340 | c 21 > 2.236070 | c 20 > 100.000000 | c 22 > 2.236070 | 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 > -1.000000 | c 10 > 11.791600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.983700 | c 31 > -1.000000 | c 4 > 8.661780 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.36 c choco : 13.51
8.11/8.36 c mistral : 0.31
8.11/8.36 c abscon : 10.19
8.11/8.36 c
8.11/8.36 c
8.11/8.36 c /home/ehebrard/new_instances/competition_4c/data/school/school1-14.xml
8.11/8.36 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.306100 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 10.179100 | c 14 > 5.614710 | c 11 > 8.588710 | c 12 > 8.474340 | c 21 > 3.741660 | c 20 > 100.000000 | c 22 > 3.741660 | 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 > -1.000000 | c 10 > 14.787100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.396100 | c 31 > -1.000000 | c 4 > 8.588710 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.37 c choco : 1801.0
8.11/8.37 c mistral : 1801.0
8.11/8.37 c abscon : 13.69
8.11/8.37 c
8.11/8.37 c
8.11/8.37 c /home/ehebrard/new_instances/competition_4c/data/school/school1-nsh-14.xml
8.11/8.37 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.979900 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 9.796850 | c 14 > 5.643860 | c 11 > 8.459430 | c 12 > 8.290920 | c 21 > 3.741660 | c 20 > 100.000000 | c 22 > 3.741660 | 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 > -1.000000 | c 10 > 14.429300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.266800 | c 31 > -1.000000 | c 4 > 8.459430 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.38 c choco : 1801.0
8.11/8.38 c mistral : 1801.0
8.11/8.38 c abscon : 18.32
8.11/8.38 c
8.11/8.38 c
8.11/8.38 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/1-fullins-5-4.xml
8.11/8.38 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.209100 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 7.045800 | c 14 > 9.447080 | c 11 > 8.139550 | c 12 > 5.521220 | 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 > -1.000000 | c 10 > 11.664900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.139600 | c 31 > -1.000000 | c 4 > 8.139550 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.38 c choco : 30.95
8.11/8.38 c mistral : 0.44
8.11/8.38 c abscon : 9.94
8.11/8.38 c
8.11/8.38 c
8.11/8.38 c /home/ehebrard/new_instances/competition_4c/data/insertion/k-insertion/3-insertions-5-3.xml
8.11/8.38 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.075800 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 6.134600 | c 14 > 10.410500 | c 11 > 10.457400 | c 12 > 4.680090 | c 21 > 1.732050 | c 20 > 100.000000 | c 22 > 1.732050 | 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 > -1.000000 | c 10 > 13.243000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.042300 | c 31 > -1.000000 | c 4 > 10.457400 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.11/8.39 c choco : 1801.0
8.11/8.39 c mistral : 1801.0
8.11/8.39 c abscon : 577.62
8.11/8.39 c
8.11/8.39 c
8.11/8.39 c /home/ehebrard/new_instances/competition_4c/data/mug/mug100-1-3.xml
8.11/8.39 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.226900 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 15.333500 | c 14 > 17.170400 | c 11 > 6.643860 | c 12 > 15.244300 | c 21 > 1.732050 | c 20 > 100.000000 | c 22 > 1.732050 | 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 > -1.000000 | c 10 > 7.375040 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.228820 | c 31 > -1.000000 | c 4 > 6.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.40 c choco : 1801.0
8.18/8.40 c mistral : 1801.0
8.18/8.40 c abscon : 7.28
8.18/8.40 c
8.18/8.40 c
8.18/8.40 c /home/ehebrard/new_instances/competition_4c/data/insertion/k-insertion/4-insertions-3-3.xml
8.18/8.40 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.272400 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 14.145900 | c 14 > 16.911400 | c 11 > 6.303780 | c 12 > 15.386600 | c 21 > 1.732050 | c 20 > 100.000000 | c 22 > 1.732050 | 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 > -1.000000 | c 10 > 7.285400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.888740 | c 31 > -1.000000 | c 4 > 6.303780 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.40 c choco : 1801.0
8.18/8.40 c mistral : 1801.0
8.18/8.40 c abscon : 470.86
8.18/8.40 c
8.18/8.40 c
8.18/8.40 c /home/ehebrard/new_instances/competition_4c/data/mug/mug100-25-3.xml
8.18/8.40 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.134300 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 15.388400 | c 14 > 17.323100 | c 11 > 6.643860 | c 12 > 15.341800 | c 21 > 1.732050 | c 20 > 100.000000 | c 22 > 1.732050 | 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 > -1.000000 | c 10 > 7.375040 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.228820 | c 31 > -1.000000 | c 4 > 6.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.41 c choco : 1801.0
8.18/8.41 c mistral : 1801.0
8.18/8.41 c abscon : 5.99
8.18/8.41 c
8.18/8.41 c
8.18/8.41 c Length: 40
8.18/8.41 c 2.3669336033146338 2.8827363823631185 3.0869002381029422 3.813930143828018 4.0308546897401305 4.801673599079805 4.802381733015401 5.1004978278595505 5.135536182026176 5.175772988549633 5.269017443366458 5.354119762472632 5.728494542338328 6.11330725926646 6.176264431466644 6.745565045472469 7.146377797611879 7.151854592579466 7.25297954771003 7.275039709094377 7.343093253003124 7.485840631939743 7.772946325647693 7.933223758964573 8.200201236786814 8.283863782770695 8.422294103491042 8.970873252961498 9.25060220704036 9.280231376679142 9.426642201155191 9.632261513133871 9.706794081044473 9.872189596654838 10.070234374546603 10.087016304904042 10.282560584927278 10.44230735807944 10.518363436457213 10.5466743265638
8.18/8.42 c
8.18/8.42 c 1.0 0.9406819390976318 0.9191022124858865 0.849689827314573 0.8309652323904361 0.7706209036299175 0.7705694958951237 0.7495200365405849 0.7471213221624389 0.7443855932700236 0.7381221996906104 0.7324970253128339 0.7087364114212319 0.6858680424459571 0.6822664030471308 0.6513376586959962 0.6311925306485906 0.6309258895165588 0.6260427275691751 0.6249875040641873 0.6217545353319414 0.6150806364576681 0.6020822294481598 0.5950620070121846 0.5837248159012015 0.5802604586363316 0.5746176718285935 0.5532952902746507 0.5430205437358224 0.5419545391793972 0.5367477886441279 0.5296020961497102 0.527058692895612 0.5215009522187399 0.5149983852961268 0.5144548152950454 0.5082046507566504 0.5032102809434386 0.5008667746751168 0.5
8.18/8.43 c
8.18/8.43 c solver 0
8.18/8.43 c before 0.0 seconds: {} 0
8.18/8.43 c before 18.0 seconds: {0, 4, 8, 9, 10, 12, 13, 17, 19, 22, 23, 24, 27, 28, 29, 30, 32, 33, 35, 37, 39} 13233
8.18/8.43 c before 36.0 seconds: {0, 1, 4, 5, 8, 9, 10, 12, 13, 14, 15, 17, 19, 22, 23, 24, 27, 28, 29, 30, 32, 33, 34, 35, 37, 39} 16793
8.18/8.43 c before 54.0 seconds: {0, 1, 3, 4, 5, 8, 9, 10, 11, 12, 13, 14, 15, 17, 19, 22, 23, 24, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 39} 18904
8.18/8.43 c before 216.0 seconds: {0, 1, 3, 4, 5, 8, 9, 10, 11, 12, 13, 14, 15, 17, 19, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 39} 19479
8.18/8.43 c before 486.0 seconds: {0, 1, 3, 4, 5, 8, 9, 10, 11, 12, 13, 14, 15, 17, 19, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 19980
8.18/8.43 c before 594.0 seconds: {0, 1, 3, 4, 5, 8, 9, 10, 11, 12, 13, 14, 15, 17, 19, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20488
8.18/8.43 c before 792.0 seconds: {0, 1, 3, 4, 5, 8, 9, 10, 11, 12, 13, 14, 15, 17, 19, 20, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21110
8.18/8.43 c before 864.0 seconds: {0, 1, 3, 4, 5, 8, 9, 10, 11, 12, 13, 14, 15, 17, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21690
8.18/8.43 c
8.18/8.43 c solver 1
8.18/8.43 c before 0.0 seconds: {} 0
8.18/8.43 c before 18.0 seconds: {0, 1, 3, 4, 5, 8, 9, 10, 12, 13, 14, 15, 17, 19, 20, 22, 24, 27, 30, 31, 32, 35} 15074
8.18/8.43 c before 36.0 seconds: {0, 1, 3, 4, 5, 8, 9, 10, 12, 13, 14, 15, 17, 19, 20, 22, 23, 24, 27, 30, 31, 32, 35} 15669
8.18/8.43 c before 72.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 15, 17, 19, 20, 22, 23, 24, 25, 27, 30, 31, 32, 35} 17020
8.18/8.43 c before 90.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 17, 19, 20, 22, 23, 24, 25, 27, 30, 31, 32, 35} 17752
8.18/8.43 c before 108.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 19, 20, 22, 23, 24, 25, 27, 30, 31, 32, 35} 18502
8.18/8.43 c before 162.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 19, 20, 22, 23, 24, 25, 26, 27, 30, 31, 32, 35} 19076
8.18/8.43 c
8.18/8.43 c solver 2
8.18/8.43 c before 0.0 seconds: {} 0
8.18/8.43 c before 18.0 seconds: {8, 9, 10, 12, 22, 24, 27, 30, 32} 5741
8.18/8.43 c before 36.0 seconds: {1, 6, 8, 9, 10, 12, 20, 22, 24, 27, 30, 32, 35} 8588
8.18/8.43 c before 54.0 seconds: {1, 5, 6, 8, 9, 10, 12, 17, 19, 20, 21, 22, 23, 24, 27, 30, 31, 32, 35} 12355
8.18/8.43 c before 72.0 seconds: {1, 2, 5, 6, 8, 9, 10, 12, 17, 19, 20, 21, 22, 23, 24, 25, 27, 30, 31, 32, 35} 13854
8.18/8.43 c before 90.0 seconds: {1, 2, 5, 6, 8, 9, 10, 12, 16, 17, 19, 20, 21, 22, 23, 24, 25, 27, 30, 31, 32, 35} 14485
8.18/8.43 c before 126.0 seconds: {1, 2, 5, 6, 8, 9, 10, 12, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 30, 31, 32, 35} 15111
8.18/8.43 c
8.18/8.43 cTotal time: 64
8.18/8.43 c 1152.0 seconds unused
8.18/8.43 c 0 c 8 c 16
8.18/8.43 c 2 c 0 c 9
8.18/8.43 c 5 c 4 c 0
8.18/8.43 c is solver0 dominated by:
8.18/8.43 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
8.18/8.43 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: false) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
8.18/8.43 c is dominated? false
8.18/8.43 c
8.18/8.43 c is solver1 dominated by:
8.18/8.43 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
8.18/8.43 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
8.18/8.43 c is dominated? false
8.18/8.43 c
8.18/8.43 c is solver2 dominated by:
8.18/8.43 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
8.18/8.43 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: true) (2 is equally as fast as 1: false) (2 < 1: true)
8.18/8.43 c is dominated? false
8.18/8.43 c
8.18/8.43 c Number of non-dominated solvers: 3
8.18/8.43 c remove dominated solvers
8.18/8.43 c solver 0 is not dominated by another solver
8.18/8.43 c solver 1 is not dominated by another solver
8.18/8.43 c solver 2 is not dominated by another solver
8.18/8.43 c
8.18/8.43 c solver 0: 864.0
8.18/8.43 c
8.18/8.43 c+ 48/64 of 36
8.18/8.43 c
8.18/8.43 c solver 1: 162.0
8.18/8.43 c
8.18/8.43 c+ 9/64 of 36
8.18/8.43 c
8.18/8.43 c solver 2: 126.0
8.18/8.44 c
8.18/8.44 c+ 7/64 of 36
8.18/8.44 c run abscon for 1350.0 seconds {0, 1, 3, 4, 5, 8, 9, 10, 11, 12, 13, 14, 15, 17, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21690
8.18/8.44 c run mistral for 252.0 seconds {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 19, 20, 22, 23, 24, 25, 26, 27, 30, 31, 32, 35} 19076
8.18/8.44 c run choco for 180.0 seconds {1, 2, 5, 6, 8, 9, 10, 12, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 30, 31, 32, 35} 15111
8.18/8.44 c Starting solver: HOME/cpHydra_k_40/solver/abscon
8.18/8.44 c On Instance: HOME/instance-1089544-1215268795.xml
8.18/8.44 c Running for: 1350 seconds
13.05/13.40 s SAT
13.05/13.40 v 4 8 3 9 3 0 4 8 3 0 1 11 10 10 8 12 4 6 11 8 12 10 4 5 6 4 5 1 0 5 2 5 3 0 2 0 7 3 7 2 14 12 14 4 7 9 11 0 1 0 0 2 3 1 2 13 0 0 0 0 11 9 14 4 5 0 6 1 11 1 14 7 5 12 5 0 13 11 10 3 14 2 5 2 5 10 9 0 11 12 1 1 8 5 2 13 10 13 10 2 0 1 3 10 14 12 11 0 0 5 1 6 14 10 6 3 13 5 5 12 5 12 0 13 0 8 10 4 4 9 7 12 14 4 2 10 12 4 5 13 14 11 2 1 8 14 14 9 0 14 12 0 11 1 12 10 1 7 0 3 12 10 0 0 3 14 8 12 6 0 14 14 1 3 13 7 3 3 6 14 13 8 2 11 7 1 10 14 7 1 1 3 6 8 14 10 13 3 3 6 5 10 14 12 13 11 4 13 0 8 9 11 1 5 6 9 3 7 10 3 6 1 3 11 8 6 4 7 2 1 0 4 4 11 3 0 7 4 3 11 8 0 5 11 10 5 1 7 9 13 6 0 2 0 1 9 10 5 12 8 1 2 11 13 8 0 9 13 10 0 0 13 11 9 4 0 5 0 5 3 0 8 7 10 8 11 8 12 1 14 1 1 8 13 12 3 5 1 9 4 6 14 8 6 5 3 13 5 3 5 13 7 4 7 5 13 2 14 9 6 2 6 14 11 4 13 1 1 10 11 12 4 2 9 7 14 1 12 12 11 8 7 10 4 3 2 1 2 6 7 5 7 1 13 13 9 1 0 10 1 5 2 1 11 10 3 12 1 4 7 4 13 2 13 11 14 12 6 11 8 4 1 14 1 9 1 7 4 0 2 0 3 7 0 13 7 2 3 8 11 2 2 2 5 6 0 1 8 1 7 14 13 2 9 3 9 6 2 11 14 9 1 7 2 12 7 12 2 2 1 3 1 7 7 5 9 9 8 1 2 4 12 14 1 12 14 0 14 14 0
13.05/13.40 d ASSIGNMENTS 5524
13.05/13.40 d CHECKS 2084994