0.00/0.00 c cpHydra_k_40 version 0.0
7.50/7.61 c CASE TO CLASSIFY:
7.50/7.61 c Case: 0
7.50/7.61 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.574900 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 13.842700 | c 14 > 15.032900 | c 11 > 9.245550 | c 12 > 12.191500 | 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.629600 | 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.830500 | c 31 > -1.000000 | c 4 > 9.245550 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.50/7.62 c choco : 1801.0
7.50/7.62 c mistral : 1801.0
7.50/7.62 c abscon : 1801.0
7.50/7.62 c
7.50/7.62 c
7.70/7.88 c List of same ones: 40
7.70/7.88 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/3-fullins-4-6.xml
7.70/7.88 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.70/7.88 c choco : 18.37
7.70/7.88 c mistral : 2.48
7.70/7.88 c abscon : 18.86
7.70/7.88 c
7.70/7.88 c
7.70/7.88 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen12-12-14.xml
7.70/7.88 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.70/7.89 c choco : 1801.0
7.70/7.89 c mistral : 3.27
7.70/7.89 c abscon : 8.24
7.70/7.89 c
7.70/7.89 c
7.70/7.89 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/2-fullins-5-6.xml
7.70/7.89 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.79/7.90 c choco : 57.15
7.79/7.90 c mistral : 1801.0
7.79/7.90 c abscon : 1801.0
7.79/7.90 c
7.79/7.90 c
7.79/7.90 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/1-fullins-5-5.xml
7.79/7.90 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.79/7.91 c choco : 1801.0
7.79/7.91 c mistral : 13.58
7.79/7.91 c abscon : 44.43
7.79/7.91 c
7.79/7.91 c
7.79/7.91 c /home/ehebrard/new_instances/competition_4c/data/insertion/k-insertion/3-insertions-4-3.xml
7.79/7.91 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
7.79/7.92 c choco : 1801.0
7.79/7.92 c mistral : 73.5
7.79/7.92 c abscon : 47.28
7.79/7.92 c
7.79/7.92 c
7.79/7.92 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/5-fullins-3-7.xml
7.79/7.92 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
7.79/7.93 c choco : 4.87
7.79/7.93 c mistral : 0.87
7.79/7.93 c abscon : 7.88
7.79/7.93 c
7.79/7.93 c
7.79/7.93 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen10-10-12.xml
7.79/7.93 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
7.79/7.94 c choco : 15.64
7.79/7.94 c mistral : 0.19
7.79/7.94 c abscon : 5.15
7.79/7.94 c
7.79/7.94 c
7.79/7.94 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen10-10-11.xml
7.79/7.94 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.79/7.95 c choco : 1801.0
7.79/7.95 c mistral : 92.45
7.79/7.95 c abscon : 1801.0
7.79/7.95 c
7.79/7.95 c
7.79/7.95 c /home/ehebrard/new_instances/competition_4c/data/leighton/leighton-15/lei450-15b-15.xml
7.79/7.95 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.79/7.96 c choco : 1801.0
7.79/7.96 c mistral : 0.81
7.79/7.96 c abscon : 14.61
7.79/7.96 c
7.79/7.96 c
7.79/7.96 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen9-9-10.xml
7.79/7.96 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
7.79/7.97 c choco : 1801.0
7.79/7.97 c mistral : 4.9
7.79/7.97 c abscon : 6.98
7.79/7.97 c
7.79/7.97 c
7.79/7.97 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/2-fullins-4-5.xml
7.79/7.97 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
7.79/7.98 c choco : 12.41
7.79/7.98 c mistral : 0.34
7.79/7.98 c abscon : 7.45
7.79/7.98 c
7.79/7.98 c
7.79/7.98 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/2-fullins-5-5.xml
7.79/7.98 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.79/7.99 c choco : 37.04
7.79/7.99 c mistral : 2.13
7.79/7.99 c abscon : 22.88
7.79/7.99 c
7.79/7.99 c
7.79/7.99 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen8-8-9.xml
7.79/7.99 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
7.87/8.00 c choco : 42.77
7.87/8.00 c mistral : 3.18
7.87/8.00 c abscon : 8.92
7.87/8.00 c
7.87/8.00 c
7.87/8.00 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/4-fullins-4-7.xml
7.87/8.00 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.87/8.01 c choco : 28.71
7.87/8.01 c mistral : 67.83
7.87/8.01 c abscon : 1801.0
7.87/8.01 c
7.87/8.01 c
7.87/8.01 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/4-fullins-4-6.xml
7.87/8.01 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.87/8.01 c choco : 16.95
7.87/8.01 c mistral : 1.21
7.87/8.01 c abscon : 15.62
7.87/8.01 c
7.87/8.01 c
7.87/8.01 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen8-8-8.xml
7.87/8.01 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
7.87/8.02 c choco : 72.14
7.87/8.02 c mistral : 1801.0
7.87/8.02 c abscon : 1801.0
7.87/8.02 c
7.87/8.02 c
7.87/8.02 c /home/ehebrard/new_instances/competition_4c/data/insertion/k-insertion/2-insertions-4-3.xml
7.87/8.02 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
7.87/8.03 c choco : 11.2
7.87/8.03 c mistral : 1.46
7.87/8.03 c abscon : 7.24
7.87/8.03 c
7.87/8.03 c
7.87/8.03 c /home/ehebrard/new_instances/competition_4c/data/hos/abb313GPIA-7.xml
7.87/8.03 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
7.87/8.03 c choco : 1801.0
7.87/8.03 c mistral : 13.15
7.87/8.03 c abscon : 20.59
7.87/8.03 c
7.87/8.03 c
7.87/8.03 c /home/ehebrard/new_instances/competition_4c/data/mug/mug100-1-3.xml
7.87/8.03 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
7.87/8.05 c choco : 1801.0
7.87/8.05 c mistral : 1801.0
7.87/8.05 c abscon : 7.28
7.87/8.05 c
7.87/8.05 c
7.87/8.05 c /home/ehebrard/new_instances/competition_4c/data/mug/mug100-25-3.xml
7.87/8.05 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
7.87/8.06 c choco : 1801.0
7.87/8.06 c mistral : 1801.0
7.87/8.06 c abscon : 5.99
7.87/8.06 c
7.87/8.06 c
7.87/8.06 c /home/ehebrard/new_instances/competition_4c/data/leighton/leighton-15/lei450-15a-15.xml
7.87/8.06 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
7.87/8.06 c choco : 1801.0
7.87/8.06 c mistral : 5.16
7.87/8.06 c abscon : 35.49
7.87/8.06 c
7.87/8.06 c
7.87/8.06 c /home/ehebrard/new_instances/competition_4c/data/insertion/k-insertion/4-insertions-3-3.xml
7.87/8.06 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
7.87/8.07 c choco : 1801.0
7.87/8.07 c mistral : 1801.0
7.87/8.07 c abscon : 470.86
7.87/8.07 c
7.87/8.07 c
7.87/8.07 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/3-fullins-5-7.xml
7.87/8.07 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
7.87/8.07 c choco : 108.19
7.87/8.07 c mistral : 1801.0
7.87/8.07 c abscon : 1801.0
7.87/8.07 c
7.87/8.07 c
7.87/8.07 c /home/ehebrard/new_instances/competition_4c/data/mug/mug88-1-3.xml
7.87/8.07 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.127600 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 14.732800 | c 14 > 17.319300 | c 11 > 6.459430 | c 12 > 15.919100 | 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.189820 | 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.044390 | c 31 > -1.000000 | c 4 > 6.459430 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.87/8.08 c choco : 1801.0
7.87/8.08 c mistral : 1801.0
7.87/8.08 c abscon : 4.37
7.87/8.08 c
7.87/8.08 c
7.87/8.08 c /home/ehebrard/new_instances/competition_4c/data/mug/mug88-25-3.xml
7.87/8.08 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.070900 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 14.999900 | c 14 > 17.385200 | c 11 > 6.459430 | c 12 > 15.806100 | 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.189820 | 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.044390 | c 31 > -1.000000 | c 4 > 6.459430 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.87/8.09 c choco : 1801.0
7.87/8.09 c mistral : 1801.0
7.87/8.09 c abscon : 6.97
7.87/8.09 c
7.87/8.09 c
7.87/8.09 c /home/ehebrard/new_instances/competition_4c/data/hos/will199GPIA-6.xml
7.87/8.09 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
7.87/8.09 c choco : 49.75
7.87/8.09 c mistral : 2.56
7.87/8.09 c abscon : 13.76
7.87/8.09 c
7.87/8.09 c
7.87/8.09 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/4-fullins-3-6.xml
7.87/8.09 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
7.92/8.10 c choco : 4.66
7.92/8.10 c mistral : 0.14
7.92/8.10 c abscon : 4.56
7.92/8.10 c
7.92/8.10 c
7.92/8.10 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/5-fullins-4-7.xml
7.92/8.10 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
7.92/8.10 c choco : 24.54
7.92/8.10 c mistral : 9.26
7.92/8.10 c abscon : 787.5
7.92/8.10 c
7.92/8.10 c
7.92/8.10 c /home/ehebrard/new_instances/competition_4c/data/insertion/k-insertion/2-insertions-5-3.xml
7.92/8.10 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
7.92/8.11 c choco : 37.61
7.92/8.11 c mistral : 24.16
7.92/8.11 c abscon : 17.59
7.92/8.11 c
7.92/8.11 c
7.92/8.11 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/5-fullins-4-8.xml
7.92/8.11 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
7.92/8.12 c choco : 37.8
7.92/8.12 c mistral : 1801.0
7.92/8.12 c abscon : 1801.0
7.92/8.12 c
7.92/8.12 c
7.92/8.12 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen6-6-6.xml
7.92/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.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
7.92/8.12 c choco : 4.15
7.92/8.12 c mistral : 1.95
7.92/8.12 c abscon : 7.67
7.92/8.12 c
7.92/8.12 c
7.92/8.12 c /home/ehebrard/new_instances/competition_4c/data/insertion/k-insertion/3-insertions-3-3.xml
7.92/8.12 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.190900 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 14.208300 | c 14 > 17.040000 | c 11 > 5.807350 | c 12 > 16.017800 | 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 > 6.781360 | 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.392320 | c 31 > -1.000000 | c 4 > 5.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.92/8.13 c choco : 64.88
7.92/8.13 c mistral : 27.66
7.92/8.13 c abscon : 9.46
7.92/8.13 c
7.92/8.13 c
7.92/8.13 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/3-fullins-5-6.xml
7.92/8.13 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
7.92/8.13 c choco : 63.53
7.92/8.13 c mistral : 68.81
7.92/8.13 c abscon : 857.77
7.92/8.13 c
7.92/8.13 c
7.92/8.13 c /home/ehebrard/new_instances/competition_4c/data/hos/abb313GPIA-9.xml
7.92/8.13 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
7.92/8.14 c choco : 1801.0
7.92/8.14 c mistral : 152.82
7.92/8.14 c abscon : 202.24
7.92/8.14 c
7.92/8.14 c
7.92/8.14 c /home/eomahony/cpZilla/CSP/zhou/color.xml
7.92/8.14 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
7.92/8.15 c choco : 17.02
7.92/8.15 c mistral : 4.22
7.92/8.15 c abscon : 8.71867
7.92/8.15 c
7.92/8.15 c
7.92/8.15 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/3-fullins-4-5.xml
7.92/8.15 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
7.92/8.15 c choco : 13.51
7.92/8.15 c mistral : 0.31
7.92/8.15 c abscon : 10.19
7.92/8.15 c
7.92/8.15 c
7.92/8.15 c /home/ehebrard/new_instances/competition_4c/data/school/school1-15.xml
7.92/8.15 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
7.92/8.16 c choco : 1801.0
7.92/8.16 c mistral : 1801.0
7.92/8.16 c abscon : 13.86
7.92/8.16 c
7.92/8.16 c
7.92/8.16 c /home/ehebrard/new_instances/competition_4c/data/school/school1-nsh-15.xml
7.92/8.16 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
7.92/8.16 c choco : 1801.0
7.92/8.16 c mistral : 1801.0
7.92/8.16 c abscon : 13.76
7.92/8.16 c
7.92/8.16 c
7.92/8.16 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/3-fullins-5-5.xml
7.92/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.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
7.92/8.17 c choco : 37.94
7.92/8.17 c mistral : 5.34
7.92/8.17 c abscon : 42.97
7.92/8.17 c
7.92/8.17 c
7.92/8.17 c /home/ehebrard/new_instances/competition_4c/data/insertion/k-insertion/2-insertions-3-3.xml
7.92/8.17 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.392800 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 10.397300 | c 14 > 13.195500 | c 11 > 5.209450 | c 12 > 11.209700 | 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 > 6.169930 | 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 > 6.794420 | c 31 > -1.000000 | c 4 > 5.209450 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.92/8.18 c choco : 7.47
7.92/8.18 c mistral : 0.3
7.92/8.18 c abscon : 3.49
7.92/8.18 c
7.92/8.18 c
7.92/8.18 c Length: 40
7.92/8.18 c 2.2508890767427876 3.91654293051921 3.9205174251876493 4.0895646776643595 4.504036874638128 4.850319365041853 4.972708082765366 5.042846950483427 5.196864688300052 5.64651782752875 5.757913787492828 6.2702011790771115 6.424031688005594 6.607502083631909 6.838835454000923 6.885534501881462 8.299155428078208 8.357828012964852 8.44876348144508 8.538281127686064 8.68711590422276 8.738207485554462 8.9691643312574 8.977482220338839 8.98175825139488 9.090859808719964 9.232668469223835 9.338186626743974 9.390114088028962 9.574957160489022 9.579489200797713 9.875291036582162 10.126960923174336 10.48251522065673 10.89333835291551 11.493050668912934 11.495663420103252 11.50626671683305 11.515028160200043 11.593092623303757
7.92/8.18 c
7.92/8.18 c 1.0 0.8486850080629342 0.8483786926313246 0.8355517865215847 0.8056852499797204 0.7823220570780857 0.7743854511081221 0.7699092852787152 0.7602593863867134 0.7334217729108263 0.7270633970756494 0.699187411970989 0.6912293209118396 0.6819715783556577 0.6706463029939668 0.6684055587548441 0.6070122360486139 0.604706931596507 0.6011683838305031 0.597725225088533 0.5920870026419732 0.5901759745429435 0.5816889808998295 0.5813878740704684 0.5812332034204781 0.5773144810923962 0.5722992716573632 0.5686236904975653 0.5668321476971093 0.5605454989448512 0.5603931118826394 0.5506230190262155 0.5425748707889209 0.5315974782448519 0.5194542056854085 0.5026915623332844 0.5026208995291628 0.5023343333092432 0.5020977917223176 0.5
7.92/8.19 c
7.92/8.19 c solver 0
7.92/8.19 c before 0.0 seconds: {} 0
7.92/8.19 c before 18.0 seconds: {1, 5, 6, 8, 9, 10, 12, 14, 16, 18, 19, 23, 24, 25, 26, 28, 30, 31, 34, 35, 36, 37, 39} 14311
7.92/8.19 c before 36.0 seconds: {0, 1, 5, 6, 8, 9, 10, 11, 12, 14, 16, 17, 18, 19, 20, 23, 24, 25, 26, 28, 30, 31, 34, 35, 36, 37, 39} 17207
7.92/8.19 c before 54.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 16, 17, 18, 19, 20, 23, 24, 25, 26, 28, 30, 31, 34, 35, 36, 37, 38, 39} 19350
7.92/8.20 c before 216.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 16, 17, 18, 19, 20, 23, 24, 25, 26, 28, 30, 31, 33, 34, 35, 36, 37, 38, 39} 19882
7.92/8.20 c before 486.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 28, 30, 31, 33, 34, 35, 36, 37, 38, 39} 20472
7.92/8.20 c before 792.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 30, 31, 33, 34, 35, 36, 37, 38, 39} 21040
7.92/8.20 c before 864.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21583
7.92/8.20 c
7.92/8.20 c solver 1
7.92/8.20 c before 0.0 seconds: {} 0
7.92/8.20 c before 18.0 seconds: {0, 1, 3, 5, 6, 8, 9, 10, 11, 12, 14, 16, 17, 20, 25, 26, 27, 30, 34, 35, 38, 39} 14629
7.92/8.20 c before 36.0 seconds: {0, 1, 3, 5, 6, 8, 9, 10, 11, 12, 14, 16, 17, 20, 25, 26, 27, 28, 30, 31, 34, 35, 38, 39} 15746
7.92/8.20 c before 72.0 seconds: {0, 1, 3, 5, 6, 8, 9, 10, 11, 12, 13, 14, 16, 17, 20, 25, 26, 27, 28, 30, 31, 32, 34, 35, 38, 39} 16971
7.92/8.20 c before 90.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 16, 17, 20, 25, 26, 27, 28, 30, 31, 32, 34, 35, 38, 39} 17777
7.98/8.20 c before 108.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 20, 25, 26, 27, 28, 30, 31, 32, 34, 35, 38, 39} 18547
7.98/8.20 c before 162.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 20, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 38, 39} 19078
7.98/8.20 c
7.98/8.20 c solver 2
7.98/8.20 c before 0.0 seconds: {} 0
7.98/8.20 c before 18.0 seconds: {5, 6, 10, 14, 16, 26, 30, 34, 35, 39} 6216
7.98/8.20 c before 36.0 seconds: {0, 5, 6, 10, 13, 14, 16, 26, 27, 30, 34, 35, 39} 8466
7.98/8.20 c before 54.0 seconds: {0, 5, 6, 10, 11, 12, 13, 14, 16, 25, 26, 27, 28, 29, 30, 34, 35, 38, 39} 12064
7.98/8.20 c before 72.0 seconds: {0, 2, 5, 6, 10, 11, 12, 13, 14, 16, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 38, 39} 14005
7.98/8.20 c before 90.0 seconds: {0, 2, 5, 6, 10, 11, 12, 13, 14, 15, 16, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 38, 39} 14674
7.98/8.20 c before 126.0 seconds: {0, 2, 5, 6, 10, 11, 12, 13, 14, 15, 16, 22, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 38, 39} 15255
7.98/8.20 c
7.98/8.20 cTotal time: 64
7.98/8.20 c 1152.0 seconds unused
7.98/8.20 c 0 c 7 c 15
7.98/8.20 c 2 c 0 c 9
7.98/8.20 c 5 c 4 c 0
7.98/8.20 c is solver0 dominated by:
7.98/8.20 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)
7.98/8.20 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)
7.98/8.20 c is dominated? false
7.98/8.20 c
7.98/8.20 c is solver1 dominated by:
7.98/8.20 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)
7.98/8.20 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)
7.98/8.20 c is dominated? false
7.98/8.20 c
7.98/8.20 c is solver2 dominated by:
7.98/8.20 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)
7.98/8.20 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)
7.98/8.20 c is dominated? false
7.98/8.20 c
7.98/8.20 c Number of non-dominated solvers: 3
7.98/8.20 c remove dominated solvers
7.98/8.20 c solver 0 is not dominated by another solver
7.98/8.20 c solver 1 is not dominated by another solver
7.98/8.20 c solver 2 is not dominated by another solver
7.98/8.20 c
7.98/8.20 c solver 0: 864.0
7.98/8.20 c
7.98/8.20 c+ 48/64 of 36
7.98/8.20 c
7.98/8.20 c solver 1: 162.0
7.98/8.20 c
7.98/8.20 c+ 9/64 of 36
7.98/8.20 c
7.98/8.20 c solver 2: 126.0
7.98/8.20 c
7.98/8.20 c+ 7/64 of 36
7.98/8.20 c run abscon for 1350.0 seconds {0, 1, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21583
7.98/8.20 c run mistral for 252.0 seconds {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 20, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 38, 39} 19078
7.98/8.20 c run choco for 180.0 seconds {0, 2, 5, 6, 10, 11, 12, 13, 14, 15, 16, 22, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 38, 39} 15255
7.98/8.20 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.98/8.20 c On Instance: HOME/instance-1090951-1215272827.xml
7.98/8.20 c Running for: 1350 seconds
1358.28/1359.23 c Starting solver: HOME/cpHydra_k_40/solver/mistral
1358.28/1359.23 c On Instance: HOME/instance-1090951-1215272827.xml
1358.28/1359.23 c Running for: 252 seconds
1610.22/1613.65 c Starting solver: HOME/cpHydra_k_40/solver/choco
1610.22/1613.65 c On Instance: HOME/instance-1090951-1215272827.xml
1610.22/1613.65 c Running for: 180 seconds