0.00/0.00 c cpHydra_k_40 version 0.0
7.08/7.30 c CASE TO CLASSIFY:
7.08/7.30 c Case: 0
7.17/7.30 c 19 > 25.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 22.500000 | c 15 > 8.471680 | c 34 > 65.000000 | c 16 > 2.000000 | c 13 > 2.897930 | c 14 > 3.321930 | c 11 > 3.169930 | c 12 > 3.874470 | c 21 > 15.000000 | c 20 > 75.000000 | c 22 > 15.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 > 5.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 > 10.983700 | c 31 > -1.000000 | c 4 > 3.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.17/7.31 c choco : 1801.0
7.17/7.31 c mistral : 1801.0
7.17/7.31 c abscon : 1801.0
7.17/7.31 c
7.17/7.31 c
7.17/7.38 c List of same ones: 40
7.17/7.38 c /home/eomahony/cpZilla/CSP/knights/knights-15-9.xml
7.17/7.38 c 19 > 25.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 22.500000 | c 15 > 8.915880 | c 34 > 65.000000 | c 16 > 2.000000 | c 13 > 3.383360 | c 14 > 3.807350 | c 11 > 3.169930 | c 12 > 4.115480 | c 21 > 15.000000 | c 20 > 75.000000 | c 22 > 15.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 > 5.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 > 10.983700 | c 31 > -1.000000 | c 4 > 3.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.17/7.39 c choco : 10.09
7.17/7.39 c mistral : 10.5634
7.17/7.39 c abscon : 0.893863
7.17/7.39 c
7.17/7.39 c
7.17/7.39 c /home/eomahony/cpZilla/CSP/knights/knights-12-9.xml
7.17/7.39 c 19 > 25.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 22.500000 | c 15 > 10.396600 | c 34 > 65.000000 | c 16 > 2.000000 | c 13 > 4.934330 | c 14 > 5.357550 | c 11 > 3.169930 | c 12 > 5.142960 | c 21 > 12.000000 | c 20 > 75.000000 | c 22 > 12.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 > 5.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 > 10.339900 | c 31 > -1.000000 | c 4 > 3.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.27/7.40 c choco : 4.64
7.27/7.40 c mistral : 2.98454
7.27/7.40 c abscon : 0.835872
7.27/7.40 c
7.27/7.40 c
7.27/7.40 c /home/eomahony/cpZilla/CSP/knights/knights-20-9.xml
7.27/7.40 c 19 > 25.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 22.500000 | c 15 > 7.348730 | c 34 > 65.000000 | c 16 > 2.000000 | c 13 > 1.576000 | c 14 > 2.000000 | c 11 > 3.169930 | c 12 > 3.415040 | c 21 > 20.000000 | c 20 > 75.000000 | c 22 > 20.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 > 5.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 > 11.813800 | c 31 > -1.000000 | c 4 > 3.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.27/7.41 c choco : 1801.0
7.27/7.41 c mistral : 59.293
7.27/7.41 c abscon : 1.42378
7.27/7.41 c
7.27/7.41 c
7.27/7.41 c /home/eomahony/cpZilla/CSP/knights/knights-25-9.xml
7.27/7.41 c 19 > 25.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 22.500000 | c 15 > 6.087460 | c 34 > 65.000000 | c 16 > 2.000000 | c 13 > 0.318715 | c 14 > 0.000000 | c 11 > 3.169930 | c 12 > 3.115480 | c 21 > 25.000000 | c 20 > 75.000000 | c 22 > 25.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 > 5.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 > 12.457600 | c 31 > -1.000000 | c 4 > 3.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.27/7.42 c choco : 1801.0
7.27/7.42 c mistral : 206.566
7.27/7.42 c abscon : 2.28265
7.27/7.42 c
7.27/7.42 c
7.27/7.42 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-8-5-add.xml
7.27/7.42 c 19 > 13.157900 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 11.842100 | c 15 > 13.951200 | c 34 > 68.421100 | c 16 > 2.000000 | c 13 > 7.344490 | c 14 > 9.271460 | c 11 > 6.108520 | c 12 > 5.612570 | c 21 > 5.434930 | c 20 > 86.842100 | c 22 > 8.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 > 3.000000 | c 2 > -1.000000 | c 10 > 6.569860 | 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.965780 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 5.807350 | c
7.27/7.43 c choco : 3.95
7.27/7.43 c mistral : 0.317951
7.27/7.43 c abscon : 0.705891
7.27/7.43 c
7.27/7.43 c
7.27/7.43 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-25-5-mul.xml
7.27/7.43 c 19 > 29.885100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 35.517200 | c 15 > 12.146300 | c 34 > 51.609200 | c 16 > 2.000000 | c 13 > 3.392760 | c 14 > 1.000000 | c 11 > 9.299210 | c 12 > 1.926600 | c 21 > 11.180300 | c 20 > 70.114900 | c 22 > 25.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 > 4.643860 | c 2 > -1.000000 | c 10 > 10.016800 | 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.646700 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 9.228820 | c
7.27/7.44 c choco : 1801.0
7.27/7.44 c mistral : 162.159
7.27/7.44 c abscon : 1.9547
7.27/7.44 c
7.27/7.44 c
7.27/7.44 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-10-5-add.xml
7.27/7.44 c 19 > 9.090910 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.181820 | c 15 > 13.555100 | c 34 > 62.727300 | c 16 > 2.000000 | c 13 > 5.784370 | c 14 > 8.339850 | c 11 > 6.714250 | c 12 > 4.175260 | c 21 > 6.324560 | c 20 > 90.909100 | c 22 > 10.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 > 3.321930 | 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 > 10.861100 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 6.491850 | c
7.27/7.45 c choco : 4.99
7.27/7.45 c mistral : 1.3028
7.27/7.45 c abscon : 0.764883
7.27/7.45 c
7.27/7.45 c
7.27/7.45 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-20-5-mul.xml
7.27/7.45 c 19 > 35.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 41.500000 | c 15 > 12.573400 | c 34 > 52.333300 | c 16 > 2.000000 | c 13 > 3.246200 | c 14 > 2.321930 | c 11 > 8.661780 | c 12 > 1.954770 | c 21 > 9.797960 | c 20 > 65.000000 | c 22 > 20.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 > 4.321930 | c 2 > -1.000000 | c 10 > 9.411510 | 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.712100 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 8.569860 | c
7.27/7.46 c choco : 1801.0
7.27/7.46 c mistral : 83.0154
7.27/7.46 c abscon : 1.26981
7.27/7.46 c
7.27/7.46 c
7.27/7.46 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-12-5-add.xml
7.27/7.46 c 19 > 6.578950 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 5.921050 | c 15 > 12.132500 | c 34 > 59.210500 | c 16 > 2.000000 | c 13 > 3.839120 | c 14 > 7.383700 | c 11 > 7.219170 | c 12 > 2.446170 | c 21 > 7.129060 | c 20 > 93.421100 | c 22 > 12.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 > 3.584960 | c 2 > -1.000000 | c 10 > 7.707360 | 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.601800 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 7.044390 | c
7.27/7.46 c choco : 10.21
7.27/7.46 c mistral : 3.03454
7.27/7.46 c abscon : 0.826873
7.27/7.46 c
7.27/7.46 c
7.27/7.47 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-60-2-3.xml
7.27/7.47 c 19 > 18.333300 | c 35 > 23.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.000000 | c 15 > 13.003300 | c 34 > 46.000000 | c 16 > 5.000000 | c 13 > 1.197590 | c 14 > 6.044390 | c 11 > 6.643860 | c 12 > 1.097610 | c 21 > 6.782330 | c 20 > 81.666700 | c 22 > 6.782330 | 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 > 3.807350 | c 2 > 6.339850 | c 10 > 8.507790 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.247930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.914200 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.27/7.47 c choco : 1.65
7.27/7.47 c mistral : 0.025995
7.27/7.47 c abscon : 1.79972
7.27/7.47 c
7.27/7.47 c
7.27/7.47 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-80-2-3.xml
7.27/7.47 c 19 > 26.250000 | c 35 > 22.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 45.000000 | c 15 > 11.889100 | c 34 > 45.500000 | c 16 > 5.000000 | c 13 > 0.834944 | c 14 > 2.000000 | c 11 > 6.643860 | c 12 > 1.063500 | c 21 > 6.782330 | c 20 > 73.750000 | c 22 > 6.782330 | 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 > 5.044390 | c 2 > 5.977280 | c 10 > 8.787900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.499850 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.170900 | c 31 > -1.000000 | c 4 > 2.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.69 c choco : 1.72
7.45/7.69 c mistral : 0.030994
7.45/7.69 c abscon : 1.82972
7.45/7.69 c
7.45/7.69 c
7.45/7.69 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-60-2-3.xml
7.45/7.69 c 19 > 18.333300 | c 35 > 23.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.000000 | c 15 > 14.111900 | c 34 > 46.000000 | c 16 > 5.000000 | c 13 > 3.635300 | c 14 > 6.459430 | c 11 > 7.033420 | c 12 > 2.021860 | c 21 > 5.291500 | c 20 > 81.666700 | c 22 > 5.291500 | 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 > 3.807350 | c 2 > 6.339850 | c 10 > 8.507790 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.247930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.309700 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.70 c choco : 1.65
7.55/7.70 c mistral : 0.024995
7.55/7.70 c abscon : 1.38079
7.55/7.70 c
7.55/7.70 c
7.55/7.70 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-40-2-3.xml
7.55/7.70 c 19 > 20.000000 | c 35 > 24.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 46.500000 | c 15 > 14.664100 | c 34 > 49.500000 | c 16 > 5.000000 | c 13 > 4.635790 | c 14 > 8.527480 | c 11 > 6.930740 | c 12 > 2.778350 | c 21 > 5.291500 | c 20 > 80.000000 | c 22 > 5.291500 | 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 > 3.000000 | c 2 > 6.409390 | c 10 > 7.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.584960 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.556900 | c 31 > -1.000000 | c 4 > 2.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.71 c choco : 1.51
7.55/7.71 c mistral : 0.022996
7.55/7.71 c abscon : 2.08668
7.55/7.71 c
7.55/7.71 c
7.55/7.71 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-80-2-3.xml
7.55/7.71 c 19 > 26.250000 | c 35 > 22.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 45.000000 | c 15 > 11.758200 | c 34 > 45.500000 | c 16 > 5.000000 | c 13 > 1.988920 | c 14 > 3.459430 | c 11 > 7.055280 | c 12 > 1.094460 | c 21 > 5.291500 | c 20 > 73.750000 | c 22 > 5.291500 | 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 > 5.044390 | c 2 > 5.977280 | c 10 > 8.787900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.499850 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.543800 | c 31 > -1.000000 | c 4 > 2.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.72 c choco : 1.72
7.55/7.72 c mistral : 0.030994
7.55/7.72 c abscon : 1.40479
7.55/7.72 c
7.55/7.72 c
7.55/7.72 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-40-2-3.xml
7.55/7.72 c 19 > 20.000000 | c 35 > 24.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 46.500000 | c 15 > 17.798500 | c 34 > 49.500000 | c 16 > 5.000000 | c 13 > 8.243490 | c 14 > 11.035500 | c 11 > 6.643860 | c 12 > 6.218780 | c 21 > 6.782330 | c 20 > 80.000000 | c 22 > 6.782330 | 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 > 3.000000 | c 2 > 6.409390 | c 10 > 7.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.584960 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.218600 | c 31 > -1.000000 | c 4 > 2.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.72 c choco : 1.63
7.55/7.72 c mistral : 0.021995
7.55/7.72 c abscon : 1.92771
7.55/7.72 c
7.55/7.72 c
7.55/7.73 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-15-5-add.xml
7.55/7.73 c 19 > 4.347830 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.913040 | c 15 > 12.433600 | c 34 > 56.087000 | c 16 > 2.000000 | c 13 > 2.996320 | c 14 > 6.149750 | c 11 > 7.845490 | c 12 > 1.966690 | c 21 > 8.215840 | c 20 > 95.652200 | c 22 > 15.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 > 3.906890 | c 2 > -1.000000 | c 10 > 8.348730 | 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.517900 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 7.714250 | c
7.55/7.74 c choco : 1801.0
7.55/7.74 c mistral : 8.38672
7.55/7.74 c abscon : 0.891864
7.55/7.74 c
7.55/7.74 c
7.55/7.74 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-15-5-mul.xml
7.55/7.74 c 19 > 42.105300 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 49.736800 | c 15 > 12.636400 | c 34 > 53.684200 | c 16 > 2.000000 | c 13 > 3.147020 | c 14 > 5.000000 | c 11 > 7.845490 | c 12 > 2.077840 | c 21 > 8.215840 | c 20 > 57.894700 | c 22 > 15.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 > 3.906890 | c 2 > -1.000000 | c 10 > 8.647460 | 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.517900 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 7.714250 | c
7.55/7.74 c choco : 1801.0
7.55/7.74 c mistral : 6.70198
7.55/7.74 c abscon : 1.00285
7.55/7.74 c
7.55/7.74 c
7.55/7.74 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-95-3.xml
7.55/7.74 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 11.224600 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 2.271550 | c 14 > 3.700440 | c 11 > 6.807350 | c 12 > 2.031850 | c 21 > 13.585400 | c 20 > 100.000000 | c 22 > 14.832400 | 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 > 4.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.584960 | c 6 > 6.584960 | c 32 > -1.000000 | c 5 > 14.348700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.75 c choco : 1.28
7.55/7.75 c mistral : 0.015997
7.55/7.75 c abscon : 1.62875
7.55/7.75 c
7.55/7.75 c
7.55/7.75 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-95-1.xml
7.55/7.75 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 11.252700 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 2.384020 | c 14 > 3.459430 | c 11 > 6.807350 | c 12 > 2.019190 | c 21 > 13.202700 | c 20 > 100.000000 | c 22 > 14.832400 | 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 > 4.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.584960 | c 6 > 6.584960 | c 32 > -1.000000 | c 5 > 14.267000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.76 c choco : 1.27
7.55/7.76 c mistral : 0.014997
7.55/7.76 c abscon : 1.57076
7.55/7.76 c
7.55/7.76 c
7.55/7.76 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-95-8.xml
7.55/7.76 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 11.370100 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 2.097980 | c 14 > 3.321930 | c 11 > 6.807350 | c 12 > 1.960830 | c 21 > 13.770400 | c 20 > 100.000000 | c 22 > 15.427200 | 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 > 4.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.584960 | c 6 > 6.584960 | c 32 > -1.000000 | c 5 > 14.387300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.77 c choco : 1.25
7.55/7.77 c mistral : 0.01
7.55/7.77 c abscon : 1.2948
7.55/7.77 c
7.55/7.77 c
7.55/7.77 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-95-4.xml
7.55/7.77 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 11.697000 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 2.474350 | c 14 > 3.807350 | c 11 > 6.807350 | c 12 > 2.114490 | c 21 > 14.696900 | c 20 > 100.000000 | c 22 > 15.968700 | 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 > 4.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.584960 | c 6 > 6.584960 | c 32 > -1.000000 | c 5 > 14.573600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.77 c choco : 1.26
7.55/7.77 c mistral : 0.01
7.55/7.77 c abscon : 2.53061
7.55/7.77 c
7.55/7.77 c
7.55/7.77 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-105-1.xml
7.55/7.77 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 11.143400 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 1.409100 | c 14 > 4.321930 | c 11 > 6.807350 | c 12 > 1.337300 | c 21 > 14.082300 | c 20 > 100.000000 | c 22 > 15.620500 | 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 > 4.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.584960 | c 6 > 6.584960 | c 32 > -1.000000 | c 5 > 14.451400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.78 c choco : 1.6
7.55/7.78 c mistral : 0.01
7.55/7.78 c abscon : 1.20082
7.55/7.78 c
7.55/7.78 c
7.55/7.78 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-105-7.xml
7.55/7.78 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 11.591500 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 1.427010 | c 14 > 4.321930 | c 11 > 6.807350 | c 12 > 1.347460 | c 21 > 13.369700 | c 20 > 100.000000 | c 22 > 15.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 > 4.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.584960 | c 6 > 6.584960 | c 32 > -1.000000 | c 5 > 14.302900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.79 c choco : 1.68
7.55/7.79 c mistral : 0.01
7.55/7.79 c abscon : 1.09783
7.55/7.79 c
7.55/7.79 c
7.55/7.79 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-95-7.xml
7.55/7.79 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 9.266790 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 1.970330 | c 14 > 0.000000 | c 11 > 6.807350 | c 12 > 1.825640 | c 21 > 12.520000 | c 20 > 100.000000 | c 22 > 14.247800 | 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 > 4.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.584960 | c 6 > 6.584960 | c 32 > -1.000000 | c 5 > 14.115400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.80 c choco : 1.26
7.55/7.80 c mistral : 0.015997
7.55/7.80 c abscon : 1.02784
7.55/7.80 c
7.55/7.80 c
7.55/7.80 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-95-9.xml
7.55/7.80 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 12.260600 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 2.513120 | c 14 > 4.000000 | c 11 > 6.807350 | c 12 > 2.155540 | c 21 > 12.718100 | c 20 > 100.000000 | c 22 > 14.352700 | 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 > 4.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.584960 | c 6 > 6.584960 | c 32 > -1.000000 | c 5 > 14.160200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.60/7.80 c choco : 1.26
7.60/7.80 c mistral : 0.016997
7.60/7.80 c abscon : 1.16882
7.60/7.80 c
7.60/7.80 c
7.60/7.80 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-100-5.xml
7.60/7.80 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 10.903100 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 1.379350 | c 14 > 2.807350 | c 11 > 6.807350 | c 12 > 1.321930 | c 21 > 12.134700 | c 20 > 100.000000 | c 22 > 13.747700 | 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 > 4.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.584960 | c 6 > 6.584960 | c 32 > -1.000000 | c 5 > 14.026200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.60/7.81 c choco : 1.69
7.60/7.81 c mistral : 0.01
7.60/7.81 c abscon : 0.984849
7.60/7.81 c
7.60/7.81 c
7.60/7.81 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-105-3.xml
7.60/7.81 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 11.723200 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 1.428600 | c 14 > 4.700440 | c 11 > 6.807350 | c 12 > 1.357550 | c 21 > 14.476300 | c 20 > 100.000000 | c 22 > 15.652500 | 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 > 4.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.584960 | c 6 > 6.584960 | c 32 > -1.000000 | c 5 > 14.530300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.60/7.81 c choco : 1.59
7.60/7.81 c mistral : 0.01
7.60/7.81 c abscon : 1.27581
7.60/7.81 c
7.60/7.81 c
7.60/7.81 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-100-7.xml
7.60/7.81 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 11.684700 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 1.421460 | c 14 > 4.169930 | c 11 > 6.807350 | c 12 > 1.357550 | c 21 > 12.951800 | c 20 > 100.000000 | c 22 > 14.628700 | 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 > 4.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.584960 | c 6 > 6.584960 | c 32 > -1.000000 | c 5 > 14.212200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.60/7.82 c choco : 1.69
7.60/7.82 c mistral : 0.014997
7.60/7.82 c abscon : 1.09883
7.60/7.82 c
7.60/7.82 c
7.60/7.82 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-105-5.xml
7.60/7.82 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 11.414200 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 1.439290 | c 14 > 4.087460 | c 11 > 6.807350 | c 12 > 1.352520 | c 21 > 12.500000 | c 20 > 100.000000 | c 22 > 14.071200 | 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 > 4.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.584960 | c 6 > 6.584960 | c 32 > -1.000000 | c 5 > 14.110800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.60/7.83 c choco : 1.64
7.60/7.83 c mistral : 0.015997
7.60/7.83 c abscon : 1.02884
7.60/7.83 c
7.60/7.83 c
7.60/7.83 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-95-6.xml
7.60/7.83 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 8.550750 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 1.994340 | c 14 > 0.000000 | c 11 > 6.807350 | c 12 > 1.811030 | c 21 > 12.191200 | c 20 > 100.000000 | c 22 > 13.674800 | 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 > 4.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.584960 | c 6 > 6.584960 | c 32 > -1.000000 | c 5 > 14.039400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.60/7.83 c choco : 1.27
7.60/7.83 c mistral : 0.01
7.60/7.83 c abscon : 1.03584
7.60/7.83 c
7.60/7.83 c
7.60/7.83 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-100-9.xml
7.60/7.83 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 11.978700 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 1.589220 | c 14 > 4.392320 | c 11 > 6.807350 | c 12 > 1.450030 | c 21 > 13.143400 | c 20 > 100.000000 | c 22 > 14.730900 | 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 > 4.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.584960 | c 6 > 6.584960 | c 32 > -1.000000 | c 5 > 14.254100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.60/7.84 c choco : 1.63
7.60/7.84 c mistral : 0.016997
7.60/7.84 c abscon : 1.11183
7.60/7.84 c
7.60/7.84 c
7.60/7.84 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-105-9.xml
7.60/7.84 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 11.859100 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 1.513380 | c 14 > 4.906890 | c 11 > 6.807350 | c 12 > 1.416650 | c 21 > 13.555400 | c 20 > 100.000000 | c 22 > 15.099700 | 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 > 4.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.584960 | c 6 > 6.584960 | c 32 > -1.000000 | c 5 > 14.342400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.60/7.84 c choco : 1.6
7.60/7.84 c mistral : 0.01
7.60/7.84 c abscon : 1.13283
7.60/7.84 c
7.60/7.84 c
7.60/7.84 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-100-1.xml
7.60/7.84 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 12.792600 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 1.543780 | c 14 > 4.392320 | c 11 > 6.807350 | c 12 > 1.426260 | c 21 > 13.649600 | c 20 > 100.000000 | c 22 > 15.231500 | 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 > 4.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.584960 | c 6 > 6.584960 | c 32 > -1.000000 | c 5 > 14.362100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.60/7.85 c choco : 1.6
7.60/7.85 c mistral : 0.01
7.60/7.85 c abscon : 1.21281
7.60/7.85 c
7.60/7.85 c
7.60/7.85 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-95-5.xml
7.60/7.85 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 10.638400 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 1.984360 | c 14 > 0.000000 | c 11 > 6.807350 | c 12 > 1.781360 | c 21 > 11.758000 | c 20 > 100.000000 | c 22 > 13.416400 | 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 > 4.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.584960 | c 6 > 6.584960 | c 32 > -1.000000 | c 5 > 13.936300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.60/7.86 c choco : 1.27
7.60/7.86 c mistral : 0.014997
7.60/7.86 c abscon : 1.03484
7.60/7.86 c
7.60/7.86 c
7.60/7.86 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-95-0.xml
7.60/7.86 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 12.895600 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 2.898890 | c 14 > 4.392320 | c 11 > 6.807350 | c 12 > 2.389860 | c 21 > 11.919000 | c 20 > 100.000000 | c 22 > 13.490700 | 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 > 4.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.584960 | c 6 > 6.584960 | c 32 > -1.000000 | c 5 > 13.975000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.60/7.86 c choco : 1.28
7.60/7.86 c mistral : 0.01
7.60/7.86 c abscon : 0.990849
7.60/7.86 c
7.60/7.86 c
7.60/7.86 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-95-2.xml
7.60/7.86 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 13.697700 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 3.481110 | c 14 > 5.643860 | c 11 > 6.807350 | c 12 > 2.822000 | c 21 > 14.256600 | c 20 > 100.000000 | c 22 > 16.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 > 4.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.584960 | c 6 > 6.584960 | c 32 > -1.000000 | c 5 > 14.486600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.60/7.87 c choco : 1.26
7.60/7.87 c mistral : 0.015997
7.60/7.87 c abscon : 1.40079
7.60/7.87 c
7.60/7.87 c
7.60/7.87 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-100-3.xml
7.60/7.87 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 15.803600 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 3.769380 | c 14 > 6.942510 | c 11 > 6.807350 | c 12 > 3.228820 | c 21 > 14.020100 | c 20 > 100.000000 | c 22 > 15.231500 | 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 > 4.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.584960 | c 6 > 6.584960 | c 32 > -1.000000 | c 5 > 14.438700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.60/7.88 c choco : 1.62
7.60/7.88 c mistral : 0.017996
7.60/7.88 c abscon : 1.3308
7.60/7.88 c
7.60/7.88 c
7.60/7.88 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-2-0-4.xml
7.60/7.88 c 19 > 34.000000 | c 35 > 26.600000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.400000 | c 15 > 12.773300 | c 34 > 33.333300 | c 16 > 3.000000 | c 13 > 2.306510 | c 14 > 5.954200 | c 11 > 8.219170 | c 12 > 1.321930 | c 21 > 1.414210 | c 20 > 66.000000 | c 22 > 1.414210 | 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.960000 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.629360 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.633000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.60/7.88 c choco : 1.8
7.60/7.88 c mistral : 0.032994
7.60/7.88 c abscon : 0.834872
7.60/7.88 c
7.60/7.88 c
7.60/7.88 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-20-5-add.xml
7.60/7.88 c 19 > 2.500000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.250000 | c 15 > 13.591300 | c 34 > 53.500000 | c 16 > 2.000000 | c 13 > 3.101920 | c 14 > 5.044390 | c 11 > 8.661780 | c 12 > 1.833080 | c 21 > 9.797960 | c 20 > 97.500000 | c 22 > 20.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 > 4.321930 | c 2 > -1.000000 | c 10 > 9.182390 | 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.712100 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 8.569860 | c
7.60/7.89 c choco : 1801.0
7.60/7.89 c mistral : 64.2982
7.60/7.89 c abscon : 1.19982
7.60/7.89 c
7.60/7.89 c
7.60/7.89 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-5/os-taillard-5-105-9.xml
7.60/7.89 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 12.780500 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 1.760510 | c 14 > 5.044390 | c 11 > 7.813780 | c 12 > 1.407810 | c 21 > 16.865300 | c 20 > 100.000000 | c 22 > 18.138400 | 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 > 4.643860 | c 10 > 8.965780 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.643860 | c 6 > 7.643860 | c 32 > -1.000000 | c 5 > 15.974800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.60/7.89 c choco : 1.85
7.60/7.89 c mistral : 0.021995
7.60/7.89 c abscon : 2.94555
7.60/7.90 c
7.60/7.90 c
7.66/7.90 c Length: 40
7.66/7.90 c 0.8524519466808673 5.658580747051332 7.460305388333643 15.037304312263718 26.630082894758328 27.307354088823768 31.116927723290736 31.16660076614548 34.648220331298404 36.208826392102246 36.54931648772513 36.76404567232774 36.78518482652493 36.90698925260499 37.812721114623585 38.55338994931055 40.76262278292456 41.64474965156352 41.6523817890766 41.65819262059505 41.68040582230096 41.706922661259725 41.741836994255536 41.745330776052064 41.7499465488089 41.754717984880465 41.75725332767829 41.75807679424185 41.76178963286296 41.76747385690928 41.76929226891808 41.770151689442066 41.837275541091344 41.85815500862884 41.86959064498123 41.92131575767512 42.31330863468254 42.43326240545381 42.59798896882809 42.81411957829684
7.66/7.90 c
7.66/7.90 c 1.0 0.8972342259623044 0.8639506156199356 0.7473600791947473 0.6194582540923305 0.6133260958620925 0.5809761625294942 0.5805768747007853 0.5538950344442004 0.5427150831083725 0.5403355749542305 0.5388456435528807 0.5386994104337764 0.5378583547509207 0.5316857306503736 0.5267423441341383 0.5125287084897796 0.5070653407481948 0.5070185800218817 0.5069829838904388 0.5068469557859785 0.5066846688287295 0.5064711464089257 0.5064497897091744 0.5064215772933229 0.5063924167396984 0.5063769233998475 0.50637189144511 0.506349204654863 0.5063144759230466 0.5063033670319 0.5062981169012731 0.5058883987903938 0.5057610875316202 0.5056913866027444 0.5053763585822573 0.503001653016969 0.5022794222864144 0.5012909916796453 0.5
7.66/7.91 c
7.66/7.91 c solver 0
7.66/7.91 c before 0.0 seconds: {} 0
7.66/7.91 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22353
7.66/7.91 c
7.66/7.91 c solver 1
7.66/7.91 c before 0.0 seconds: {} 0
7.66/7.91 c before 18.0 seconds: {0, 1, 4, 6, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 19047
7.66/7.91 c before 72.0 seconds: {0, 1, 2, 4, 6, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20412
7.66/7.91 c before 90.0 seconds: {0, 1, 2, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20993
7.66/7.91 c before 180.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21606
7.66/7.91 c before 216.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22353
7.66/7.91 c
7.66/7.91 c solver 2
7.66/7.92 c before 0.0 seconds: {} 0
7.66/7.92 c before 18.0 seconds: {0, 1, 4, 6, 8, 9, 10, 11, 12, 13, 14, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 18008
7.66/7.92 c
7.66/7.92 cTotal time: 14
7.66/7.92 c 252.0 seconds unused
7.66/7.92 c 0 c 0 c 7
7.66/7.92 c 0 c 0 c 7
7.66/7.92 c 0 c 0 c 0
7.66/7.92 c is solver0 dominated by:
7.66/7.92 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
7.66/7.92 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: true) (0 < 2: false)
7.66/7.92 c is dominated? false
7.66/7.92 c
7.66/7.92 c is solver1 dominated by:
7.66/7.92 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.66/7.92 c is dominated? true
7.66/7.92 c
7.66/7.92 c is solver2 dominated by:
7.66/7.92 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: false) (2 is equally as fast as 0: true) (2 < 0: true)
7.66/7.92 c is dominated? true
7.66/7.92 c
7.66/7.92 c Number of non-dominated solvers: 1
7.66/7.92 c remove dominated solvers
7.66/7.92 c solver 0 is not dominated by another solver
7.66/7.92 c solver 2 is dominated by another solver
7.66/7.92 c solver 1 is dominated by another solver
7.66/7.92 c
7.66/7.92 c solver 0: 18.0
7.66/7.92 c
7.66/7.92 c+ 1/1 of 99
7.66/7.92 c
7.66/7.92 c solver 1: 0.0
7.66/7.92 c
7.66/7.92 c solver 2: 0.0
7.66/7.92 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22353
7.66/7.92 c do not run mistral
7.66/7.92 c do not run choco
7.66/7.92 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.66/7.92 c On Instance: HOME/instance-1081667-1215218255.xml
7.66/7.92 c Running for: 1800 seconds
8.63/8.92 s UNSATISFIABLE
8.63/8.92 d ASSIGNMENTS 221
8.63/8.92 d CHECKS 2399882