0.00/0.00 c cpHydra_k_40 version 0.0
9.75/9.98 c CASE TO CLASSIFY:
9.75/9.98 c Case: 0
9.75/9.98 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.920100 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 11.007000 | c 14 > 12.856000 | c 11 > 10.604600 | c 12 > 8.460560 | 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
9.75/9.99 c choco : 1801.0
9.75/9.99 c mistral : 1801.0
9.75/9.99 c abscon : 1801.0
9.75/9.99 c
9.75/9.99 c
9.85/10.07 c List of same ones: 40
9.85/10.07 c /home/ehebrard/new_instances/competition_4c/data/hos/abb313GPIA-7.xml
9.85/10.07 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
9.85/10.08 c choco : 1801.0
9.85/10.08 c mistral : 13.15
9.85/10.08 c abscon : 20.59
9.85/10.08 c
9.85/10.08 c
9.85/10.08 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/2-fullins-5-5.xml
9.85/10.08 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
9.85/10.09 c choco : 37.04
9.85/10.09 c mistral : 2.13
9.85/10.09 c abscon : 22.88
9.85/10.09 c
9.85/10.09 c
9.85/10.09 c /home/ehebrard/new_instances/competition_4c/data/hos/abb313GPIA-9.xml
9.85/10.09 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
9.85/10.10 c choco : 1801.0
9.85/10.10 c mistral : 152.82
9.85/10.10 c abscon : 202.24
9.85/10.10 c
9.85/10.10 c
9.85/10.10 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/2-fullins-5-6.xml
9.85/10.10 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
9.95/10.11 c choco : 57.15
9.95/10.11 c mistral : 1801.0
9.95/10.11 c abscon : 1801.0
9.95/10.11 c
9.95/10.11 c
9.95/10.11 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/4-fullins-4-7.xml
9.95/10.11 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
9.95/10.12 c choco : 28.71
9.95/10.12 c mistral : 67.83
9.95/10.12 c abscon : 1801.0
9.95/10.12 c
9.95/10.12 c
9.95/10.12 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/3-fullins-5-7.xml
9.95/10.12 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
9.95/10.13 c choco : 108.19
9.95/10.13 c mistral : 1801.0
9.95/10.13 c abscon : 1801.0
9.95/10.13 c
9.95/10.13 c
9.95/10.13 c /home/ehebrard/new_instances/competition_4c/data/leighton/leighton-15/lei450-15b-15.xml
9.95/10.13 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
9.95/10.13 c choco : 1801.0
9.95/10.13 c mistral : 0.81
9.95/10.13 c abscon : 14.61
9.95/10.13 c
9.95/10.13 c
9.95/10.13 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/4-fullins-4-6.xml
9.95/10.13 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
9.95/10.14 c choco : 16.95
9.95/10.14 c mistral : 1.21
9.95/10.14 c abscon : 15.62
9.95/10.14 c
9.95/10.14 c
9.95/10.14 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/3-fullins-5-6.xml
9.95/10.14 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
9.95/10.15 c choco : 63.53
9.95/10.15 c mistral : 68.81
9.95/10.15 c abscon : 857.77
9.95/10.15 c
9.95/10.15 c
9.95/10.15 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/5-fullins-4-8.xml
9.95/10.15 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
9.95/10.16 c choco : 37.8
9.95/10.16 c mistral : 1801.0
9.95/10.16 c abscon : 1801.0
9.95/10.16 c
9.95/10.16 c
9.95/10.16 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/5-fullins-4-7.xml
9.95/10.16 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
9.95/10.17 c choco : 24.54
9.95/10.17 c mistral : 9.26
9.95/10.17 c abscon : 787.5
9.95/10.17 c
9.95/10.17 c
9.95/10.17 c /home/ehebrard/new_instances/competition_4c/data/hos/will199GPIA-6.xml
9.95/10.17 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
9.95/10.18 c choco : 49.75
9.95/10.18 c mistral : 2.56
9.95/10.18 c abscon : 13.76
9.95/10.18 c
9.95/10.18 c
9.95/10.18 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/3-fullins-5-5.xml
9.95/10.18 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
9.95/10.19 c choco : 37.94
9.95/10.19 c mistral : 5.34
9.95/10.19 c abscon : 42.97
9.95/10.19 c
9.95/10.19 c
9.95/10.19 c /home/ehebrard/new_instances/competition_4c/data/leighton/leighton-15/lei450-15a-15.xml
9.95/10.19 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
10.02/10.20 c choco : 1801.0
10.02/10.20 c mistral : 5.16
10.02/10.20 c abscon : 35.49
10.02/10.20 c
10.02/10.20 c
10.02/10.20 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/3-fullins-4-6.xml
10.02/10.20 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
10.02/10.21 c choco : 18.37
10.02/10.21 c mistral : 2.48
10.02/10.21 c abscon : 18.86
10.02/10.21 c
10.02/10.21 c
10.02/10.21 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/1-fullins-5-5.xml
10.02/10.21 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
10.22/10.41 c choco : 1801.0
10.22/10.41 c mistral : 13.58
10.22/10.41 c abscon : 44.43
10.22/10.41 c
10.22/10.41 c
10.22/10.41 c /home/ehebrard/new_instances/competition_4c/data/insertion/k-insertion/2-insertions-5-3.xml
10.22/10.41 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
10.22/10.42 c choco : 37.61
10.22/10.42 c mistral : 24.16
10.22/10.42 c abscon : 17.59
10.22/10.42 c
10.22/10.42 c
10.22/10.42 c /home/eomahony/cpZilla/CSP/zhou/color.xml
10.22/10.42 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
10.22/10.43 c choco : 17.02
10.22/10.43 c mistral : 4.22
10.22/10.43 c abscon : 8.71867
10.22/10.43 c
10.22/10.43 c
10.22/10.43 c /home/ehebrard/new_instances/competition_4c/data/hos/abb313GPIA-10.xml
10.22/10.43 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.094200 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.152330 | c 14 > 10.570800 | c 11 > 10.604600 | c 12 > 5.421990 | 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 > 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.926500 | c 31 > -1.000000 | c 4 > 10.602700 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.22/10.44 c choco : 1801.0
10.22/10.44 c mistral : 7.51
10.22/10.44 c abscon : 17.75
10.22/10.44 c
10.22/10.44 c
10.22/10.44 c /home/ehebrard/new_instances/competition_4c/data/insertion/k-insertion/3-insertions-5-3.xml
10.22/10.44 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
10.22/10.45 c choco : 1801.0
10.22/10.45 c mistral : 1801.0
10.22/10.45 c abscon : 577.62
10.22/10.45 c
10.22/10.45 c
10.22/10.45 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/4-fullins-5-7.xml
10.22/10.45 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.213400 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.770980 | c 14 > 10.347600 | c 11 > 12.017500 | c 12 > 5.291970 | 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.238300 | 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 > 14.824900 | c 31 > -1.000000 | c 4 > 12.017500 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.22/10.45 c choco : 113.75
10.22/10.45 c mistral : 777.9
10.22/10.45 c abscon : 1801.0
10.22/10.45 c
10.22/10.45 c
10.22/10.46 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/4-fullins-5-6.xml
10.22/10.46 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.637400 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.523110 | c 14 > 9.415740 | c 11 > 12.017500 | c 12 > 5.257570 | 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 > 16.238300 | 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 > 14.602500 | c 31 > -1.000000 | c 4 > 12.017500 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.22/10.46 c choco : 86.07
10.22/10.46 c mistral : 16.8
10.22/10.46 c abscon : 297.45
10.22/10.46 c
10.22/10.46 c
10.22/10.46 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/4-fullins-5-8.xml
10.22/10.46 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.688900 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.504210 | c 14 > 10.730500 | c 11 > 12.017500 | c 12 > 5.270510 | 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 > 16.238300 | 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 > 15.017500 | c 31 > -1.000000 | c 4 > 12.017500 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.22/10.47 c choco : 264.45
10.22/10.47 c mistral : 1801.0
10.22/10.47 c abscon : 1801.0
10.22/10.47 c
10.22/10.47 c
10.22/10.47 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/2-fullins-4-5.xml
10.22/10.47 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
10.22/10.47 c choco : 12.41
10.22/10.47 c mistral : 0.34
10.22/10.47 c abscon : 7.45
10.22/10.47 c
10.22/10.47 c
10.22/10.47 c /home/ehebrard/new_instances/competition_4c/data/school/school1-15.xml
10.22/10.47 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
10.22/10.48 c choco : 1801.0
10.22/10.48 c mistral : 1801.0
10.22/10.48 c abscon : 13.86
10.22/10.48 c
10.22/10.48 c
10.22/10.48 c /home/ehebrard/new_instances/competition_4c/data/insertion/k-insertion/3-insertions-4-3.xml
10.22/10.48 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
10.22/10.48 c choco : 1801.0
10.22/10.48 c mistral : 73.5
10.22/10.48 c abscon : 47.28
10.22/10.49 c
10.22/10.49 c
10.22/10.49 c /home/ehebrard/new_instances/competition_4c/data/school/school1-nsh-15.xml
10.22/10.49 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
10.22/10.49 c choco : 1801.0
10.22/10.49 c mistral : 1801.0
10.22/10.49 c abscon : 13.76
10.22/10.49 c
10.22/10.49 c
10.22/10.49 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen12-12-14.xml
10.22/10.49 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
10.22/10.50 c choco : 1801.0
10.22/10.50 c mistral : 3.27
10.22/10.50 c abscon : 8.24
10.22/10.50 c
10.22/10.50 c
10.22/10.50 c /home/ehebrard/new_instances/competition_4c/data/school/school1-14.xml
10.22/10.50 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
10.28/10.50 c choco : 1801.0
10.28/10.50 c mistral : 1801.0
10.28/10.50 c abscon : 13.69
10.28/10.50 c
10.28/10.50 c
10.28/10.50 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/3-fullins-4-5.xml
10.28/10.50 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
10.28/10.51 c choco : 13.51
10.28/10.51 c mistral : 0.31
10.28/10.51 c abscon : 10.19
10.28/10.51 c
10.28/10.51 c
10.28/10.51 c /home/ehebrard/new_instances/competition_4c/data/school/school1-nsh-14.xml
10.28/10.51 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
10.28/10.51 c choco : 1801.0
10.28/10.52 c mistral : 1801.0
10.28/10.52 c abscon : 18.32
10.28/10.52 c
10.28/10.52 c
10.28/10.52 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/5-fullins-3-7.xml
10.28/10.52 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
10.28/10.52 c choco : 4.87
10.28/10.52 c mistral : 0.87
10.28/10.52 c abscon : 7.88
10.28/10.52 c
10.28/10.52 c
10.28/10.52 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen10-10-11.xml
10.28/10.52 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
10.28/10.53 c choco : 1801.0
10.28/10.53 c mistral : 92.45
10.28/10.53 c abscon : 1801.0
10.28/10.53 c
10.28/10.53 c
10.28/10.53 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/3-fullins-5-8.xml
10.28/10.53 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.042600 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 4.951940 | c 14 > 10.986600 | c 11 > 10.987300 | c 12 > 4.055380 | 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 > 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.987300 | c 31 > -1.000000 | c 4 > 10.987300 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.28/10.54 c choco : 47.16
10.28/10.54 c mistral : 2.48
10.28/10.54 c abscon : 15.75
10.28/10.54 c
10.28/10.54 c
10.28/10.54 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/1-fullins-5-4.xml
10.28/10.54 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
10.28/10.54 c choco : 30.95
10.28/10.54 c mistral : 0.44
10.28/10.54 c abscon : 9.94
10.28/10.54 c
10.28/10.54 c
10.28/10.54 c /home/ehebrard/new_instances/competition_4c/data/insertion/full-insertion/4-fullins-5-5.xml
10.28/10.54 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.743200 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 5.411690 | c 14 > 6.894820 | c 11 > 12.017500 | c 12 > 5.199920 | 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 > 16.238300 | 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 > 14.339400 | c 31 > -1.000000 | c 4 > 12.017500 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.28/10.55 c choco : 79.39
10.28/10.55 c mistral : 4.57
10.28/10.55 c abscon : 22.44
10.28/10.55 c
10.28/10.55 c
10.28/10.55 c /home/ehebrard/new_instances/competition_4c/data/insertion/k-insertion/2-insertions-4-3.xml
10.28/10.55 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
10.28/10.55 c choco : 11.2
10.28/10.55 c mistral : 1.46
10.28/10.55 c abscon : 7.24
10.28/10.55 c
10.28/10.55 c
10.28/10.55 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen10-10-12.xml
10.28/10.56 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
10.28/10.56 c choco : 15.64
10.28/10.56 c mistral : 0.19
10.28/10.56 c abscon : 5.15
10.28/10.56 c
10.28/10.56 c
10.28/10.56 c /home/ehebrard/new_instances/competition_4c/data/leighton/leighton-5/lei450-05a-05.xml
10.28/10.56 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.032100 | c 34 > 10.000000 | c 16 > 2.000000 | c 13 > 4.598500 | c 14 > 8.800900 | c 11 > 8.813780 | c 12 > 4.504620 | 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 > 12.593600 | 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.135700 | c 31 > -1.000000 | c 4 > 8.813780 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.28/10.57 c choco : 22.76
10.28/10.57 c mistral : 0.93
10.28/10.57 c abscon : 9.27
10.28/10.57 c
10.28/10.57 c
10.28/10.57 c /home/ehebrard/new_instances/competition_4c/data/sgb/queen/queen9-9-10.xml
10.28/10.57 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
10.28/10.57 c choco : 1801.0
10.28/10.57 c mistral : 4.9
10.28/10.57 c abscon : 6.98
10.28/10.57 c
10.28/10.57 c
10.28/10.58 c Length: 40
10.28/10.58 c 3.3611725331348286 4.630800150567936 4.634327328501948 4.7720334179466946 5.1396505078458405 5.146120180864415 5.150899187103162 5.458474290504628 5.56338327149047 5.779435683074949 5.796441468099199 6.214081973405244 6.716828976637712 6.797229866541224 7.039432426026974 7.182451789632842 7.4117119751782035 7.799571281365407 7.965267848641376 8.078134285582284 8.179129382978362 8.502451225970074 8.516930767970349 8.5417336725632 8.96332672667353 9.029245405154299 9.064231780338586 9.119534987739234 9.539094985159757 9.70800365590166 9.84578465358145 9.881431840239552 9.937975107716863 9.970860319240261 9.992222810115877 10.22076247683606 10.569281522364706 10.72116723611753 10.881093619310514 10.928320551200903
10.28/10.58 c
10.28/10.58 c 1.0 0.8563245611518361 0.855982897618336 0.8428536995146432 0.8096994277231363 0.8091392869025228 0.8087260205250558 0.7829879810953635 0.774579806795604 0.7578203732172424 0.7565319515873057 0.7262098168193913 0.6927843526532493 0.6877221478969693 0.6729100516391386 0.6644594407664355 0.6513471845450028 0.630304322274554 0.6217235010981323 0.6160111037293128 0.6109878033954248 0.5954433377323534 0.594765682278002 0.593608461298892 0.5746050851045024 0.5717432357879721 0.5702358574210412 0.5678692785230006 0.5505354108247053 0.5438521893323104 0.538519583559232 0.5371568978874776 0.5350095059013714 0.5337684743332821 0.532965370733397 0.5245224553270449 0.5121500095957351 0.5069388133735488 0.5015651460056317 0.5
10.28/10.59 c
10.28/10.59 c solver 0
10.28/10.59 c before 0.0 seconds: {} 0
10.28/10.59 c before 18.0 seconds: {6, 7, 11, 16, 17, 18, 23, 24, 26, 27, 28, 29, 31, 33, 34, 36, 37, 38, 39} 11246
10.28/10.59 c before 36.0 seconds: {0, 1, 6, 7, 11, 13, 14, 16, 17, 18, 23, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 15526
10.28/10.59 c before 54.0 seconds: {0, 1, 6, 7, 11, 12, 13, 14, 15, 16, 17, 18, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 17455
10.28/10.59 c before 216.0 seconds: {0, 1, 2, 6, 7, 11, 12, 13, 14, 15, 16, 17, 18, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 18311
10.28/10.59 c before 306.0 seconds: {0, 1, 2, 6, 7, 11, 12, 13, 14, 15, 16, 17, 18, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 18906
10.28/10.59 c before 594.0 seconds: {0, 1, 2, 6, 7, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 19522
10.28/10.59 c before 792.0 seconds: {0, 1, 2, 6, 7, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 20279
10.28/10.59 c before 864.0 seconds: {0, 1, 2, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 21054
10.28/10.59 c
10.28/10.59 c solver 1
10.28/10.59 c before 0.0 seconds: {} 0
10.28/10.59 c before 18.0 seconds: {0, 1, 6, 7, 10, 11, 12, 13, 14, 15, 17, 18, 21, 23, 27, 29, 31, 33, 34, 35, 36, 37, 38, 39} 15350
10.28/10.59 c before 36.0 seconds: {0, 1, 6, 7, 10, 11, 12, 13, 14, 15, 16, 17, 18, 21, 23, 27, 29, 31, 33, 34, 35, 36, 37, 38, 39} 16001
10.28/10.59 c before 72.0 seconds: {0, 1, 4, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 21, 23, 27, 29, 31, 33, 34, 35, 36, 37, 38, 39} 17586
10.28/10.59 c before 90.0 seconds: {0, 1, 4, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 21, 23, 25, 27, 29, 31, 33, 34, 35, 36, 37, 38, 39} 18157
10.28/10.59 c before 108.0 seconds: {0, 1, 4, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 21, 23, 25, 27, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18692
10.28/10.59 c before 162.0 seconds: {0, 1, 2, 4, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 21, 23, 25, 27, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19548
10.28/10.59 c before 792.0 seconds: {0, 1, 2, 4, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 23, 25, 27, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20159
10.28/10.59 c
10.28/10.59 c solver 2
10.28/10.59 c before 0.0 seconds: {} 0
10.28/10.59 c before 18.0 seconds: {7, 17, 23, 29, 31, 36, 37} 4106
10.28/10.59 c before 36.0 seconds: {4, 7, 10, 14, 17, 23, 29, 31, 34, 36, 37, 38} 7380
10.28/10.59 c before 54.0 seconds: {1, 4, 7, 9, 10, 11, 12, 14, 16, 17, 23, 29, 31, 33, 34, 36, 37, 38} 11598
10.28/10.59 c before 72.0 seconds: {1, 3, 4, 7, 8, 9, 10, 11, 12, 14, 16, 17, 23, 29, 31, 33, 34, 36, 37, 38} 13216
10.28/10.59 c before 90.0 seconds: {1, 3, 4, 7, 8, 9, 10, 11, 12, 14, 16, 17, 21, 23, 29, 31, 33, 34, 35, 36, 37, 38} 14336
10.28/10.60 c before 126.0 seconds: {1, 3, 4, 5, 7, 8, 9, 10, 11, 12, 14, 16, 17, 20, 21, 23, 29, 31, 33, 34, 35, 36, 37, 38} 15756
10.28/10.60 c before 270.0 seconds: {1, 3, 4, 5, 7, 8, 9, 10, 11, 12, 14, 16, 17, 20, 21, 22, 23, 29, 31, 33, 34, 35, 36, 37, 38} 16351
10.28/10.60 c
10.28/10.60 cTotal time: 107
10.35/10.60 c run abscon for 864.0 seconds {0, 1, 2, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 21054
10.35/10.60 c run mistral for 162.0 seconds {0, 1, 2, 4, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 21, 23, 25, 27, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19548
10.35/10.60 c run choco for 270.0 seconds {1, 3, 4, 5, 7, 8, 9, 10, 11, 12, 14, 16, 17, 20, 21, 22, 23, 29, 31, 33, 34, 35, 36, 37, 38} 16351
10.35/10.60 c Starting solver: HOME/cpHydra_k_40/solver/abscon
10.35/10.60 c On Instance: HOME/instance-1090363-1215271298.xml
10.35/10.60 c Running for: 864 seconds
423.87/424.39 s SAT
423.87/424.39 v 0 0 0 3 6 0 1 2 0 0 0 3 6 0 1 2 0 3 6 7 3 6 7 3 6 1 2 7 3 6 0 4 7 3 8 0 5 7 1 2 7 1 2 7 3 6 1 2 7 1 2 0 4 7 1 2 0 5 7 3 6 0 4 7 1 2 0 4 7 8 4 6 5 7 0 4 1 2 7 0 4 3 6 7 3 8 0 5 7 1 2 0 5 7 8 4 6 5 7 0 5 1 2 7 0 5 3 8 7 0 4 1 2 7 0 5 1 2 7 1 2 3 6 7 1 2 0 4 5 7 1 2 4 5 7 0 4 3 6 7 0 5 3 8 7 1 2 3 6 7 3 8 0 4 5 7 3 6 4 5 7 1 2 0 4 5 7 3 8 0 4 5 7 0 5 7 0 4 5 3 2 7 6 4 5 1 2 7 1 2 4 5 7 3 6 4 5 7 5 7 4 5 3 2 7 4 5 1 0 7 0 4 5 3 2 7 4 5 3 2 7 6 8 1 0 7 6 2 0 4 5 7 3 2 4 5 7 3 2 0 1 7 6 4 5 1 2 7 4 5 1 0 7 6 8 1 0 7 1 2 8 4 5 7 1 0 4 5 7 3 2 6 8 7 6 2 0 4 5 7 1 2 8 4 5 7 3 4 5 6 1 7 0 4 7 0 4 5 2 6 7 3 2 4 5 7 1 0 4 5 6 0 4 6 4 5 0 1 7 4 5 2 3 7 3 2 0 1 7 3 2 6 8 7 3 4 5 6 1 7 4 5 0 1 7 0 1 2 3 7 0 1 5 3 7 0 8 4 5 7 0 4 5 2 6 1 4 5 2 3 1 0 8 2 3 7 2 6 5 4 1 2 3 4 5 7 0 1 5 3 7 2 6 5 4 7 8 3 1 6 7 5 3 6 0 7 5 3 0 2 7 0 8 4 5 7 2 3 1 5 7 8 3 1 6 7 1 5 8 0 7 4 5 0 2 7 5 3 6 0 7 1 5 8 0 7 8 4 1 2 7 6 0 1 3 7 6 4 3 2 7 5 3 0 2 7 4 5 0 2 7 8 4 1 2 7 0 2 8 3 7 1 6 3 8 7 6 0 1 3 7 0 2 8 3 7 1 4 0 2 7 1 3 0 6 5 7 1 3 6 5 7 6 4 3 2 7 1 6 3 8 7 1 4 0 2 7 3 2 4 6 5 7 0 2 6 5 7 1 3 0 6 5 7 3 2 4 6 5 7 0 5 7 4 6 5 3 1 7 0 6 5 2 3 8 1 3 6 5 7 0 2 6 5 4 5 4 6 5 0 1 4 6 5 2 3 8 4 6 5 3 1 2 6 5 0 1 2 0 1 7 4 8 3 1 4 5 2 3 1 6 5 8 0 6 5 2 3 8 6 5 2 3 8 0 1 2 4 8 2 3 0 5 8 7 3 6 0 8 2 3 1 0 8 7 3 1 5 8 2 4 1 0 6 8 3 1 4 5 8 2 3 0 5 8 4 7 6 2 8 3 1 6 2 8 7 3 6 0 8 4 7 6 2 8 6 2 1 4 8 6 0 1 4 8 2 3 1 0 8 6 2 1 4 8 7 0 2 5 8 7 4 3 5 6 8 7 3 1 5 8 6 0 1 4 8 7 0 2 5 8 2 4 3 0 6 8 1 4 0 6 8 2 5 0 7 8 2 4 1 0 6 8 7 4 3 5 6 8 2 4 3 0 6 8 1 0 6 8 3 5 6 4 7 8 1 4 0 6 7 1 0 6 7 5 6 4 1 8 0 6 2 3 7 0 6 2 8 2 5 0 7 8 3 5 6 4 7 8 5 6 4 1 8 0 1 2 3 8 5 6 4 1 2 8 0 6 2 3 8 0 1 2 3 8 0 6 4 3 7 8 2 3 7 1 8 2 5 1 0 8 4 3 0 6 8 0 6 2 8 5 6 4 1 2 8 0 6 4 3 7 8 0 6 2 4 1 8 5 6 2 1 4 8 2 3 7 1 8 0 6 2 4 1 8 7 5 3 0 8 4 1 0 2 8 4 5 3 6 8 7 1 3 6 8 2 5 1 0 8 5 6 2 1 4 8 7 5 3 0 8 1 4 5 2 8 4 3 0 6 8 4 1 0 2 8 1 4 5 2 8 0 2 1 7 8 0 2 3 4 8 0 2 1 3 8 5 6 4 7 8 4 5 3 6 8 0 2 1 7 8 1 7 5 4 8 7 1 3 6 8 0 2 3 4 8 1 7 5 4 8 5 4 1 7 8 3 6 0 2 8 0 2 1 3 4 5 6 1 7 8 1 3 0 2 8 1 7 2 0 4 1 3 6 5 8 5 6 4 7 8 3 6 0 2 8 1 3 0 2 8 5 7 6 3 8 0 2 6 5 8 1 7 2 0 8 4 7 6 3 8 2 0 4 5 8 2 0 1 5 8 2 0 5 1 8 1 3 4 5 8 0 2 6 5 8 2 0 4 5 8 6 7 1 3 8 4 5 1 3 8 2 0 1 5 8 6 7 1 3 8 4 5 6 7 8 1 3 0 2 8 1 3 0 2 6 8 2 0 1 7 8 4 5 1 3 8 4 5 6 7 8 1 3 0 2 8 1 3 0 2 4 8 6 3 0 4 8 4 3 0 2 8 6 3 0 2 8 4 1 5 2 7 4 8 1 3 0 2 6 8 1 3 0 2 4 8 4 8 5 2 6 7 1 8 5 2 4 3 1 8 0 2 4 3 1 8 6 3 0 4 8 5 2 7 1 8 5 2 6 7 1 8 7 4 3 6 8 0 4 3 5 8 5 2 4 3 1 8 7 4 3 6 8 0 6 7 5 8 0 1 2 5 8 0 1 4 2 8 0 2 4 3 1 8 0 4 3 5 8 0 6 7 5 8 7 1 2 6 8 3 1 0 2 8 3 1 4 2 8 0 1 2 5 8 7 1 2 6 8 3 6 0 7 8 3 5 4 7 8 3 1 0 2 8 3 6 0 7 8 0 5 4 6 8 0 2 1 3 8 0 5 1 3 8 0 1 4 2 8 3 1 4 2 8 3 5 4 7 8 0 5 4 6 8 4 2 1 3 8 4 6 1 3 8 0 2 1 3 8 4 2 1 3 8 6 5 7 2 8 1 3 7 4 8 1 3 0 2 8 0 5 1 3 8 4 6 1 3 8 6 5 7 2 8 1 2 5 4 8 1 3 0 4 8 1 3 7 4 8 1 2 5 4 8 5 6 0 2 8 7 4 1 2 8 5 4 1 3 8 1 3 0 2 7 1 3 0 4 8 5 6 0 2 8 0 4 1 3 7 0 2 1 3 8 7 4 1 2 8 0 4 1 3 8 5 2 6 7 8 5 2 6 7 4 8 1 3 6 7 8 5 4 1 3 8 0 2 1 3 8 5 2 6 7 8 1 3 4 8 1 3 2 5 8 5 2 6 7 4 0 1 3 4 0 1 3 4 2 5 0 1 3 6 7 0 1 3 2 5 0 1 3 4 2 5 0
423.87/424.39 d ASSIGNMENTS 281036
423.87/424.39 d CHECKS 357749037