0.00/0.09 c cpHydra_k_40 version 0.0
6.94/7.00 c CASE TO CLASSIFY:
6.94/7.00 c Case: 0
6.94/7.01 c 19 > 25.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 22.500000 | c 15 > 9.912890 | c 34 > 65.000000 | c 16 > 2.000000 | c 13 > 4.435520 | c 14 > 4.857980 | c 11 > 3.169930 | c 12 > 4.772590 | 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
6.94/7.02 c choco : 1801.0
6.94/7.02 c mistral : 1801.0
6.94/7.02 c abscon : 1801.0
6.94/7.02 c
6.94/7.02 c
6.94/7.09 c List of same ones: 40
6.94/7.09 c /home/eomahony/cpZilla/CSP/knights/knights-12-9.xml
6.94/7.09 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
6.94/7.09 c choco : 4.64
6.94/7.09 c mistral : 2.98454
6.94/7.09 c abscon : 0.835872
6.94/7.09 c
6.94/7.09 c
6.94/7.09 c /home/eomahony/cpZilla/CSP/knights/knights-15-9.xml
6.94/7.09 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.03/7.10 c choco : 10.09
7.03/7.10 c mistral : 10.5634
7.03/7.10 c abscon : 0.893863
7.03/7.10 c
7.03/7.10 c
7.03/7.10 c /home/eomahony/cpZilla/CSP/knights/knights-20-9.xml
7.03/7.10 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.03/7.11 c choco : 1801.0
7.03/7.11 c mistral : 59.293
7.03/7.11 c abscon : 1.42378
7.03/7.11 c
7.03/7.11 c
7.03/7.11 c /home/eomahony/cpZilla/CSP/knights/knights-25-9.xml
7.03/7.11 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.03/7.12 c choco : 1801.0
7.03/7.12 c mistral : 206.566
7.03/7.12 c abscon : 2.28265
7.03/7.12 c
7.03/7.12 c
7.03/7.12 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-8-5-add.xml
7.03/7.12 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.03/7.13 c choco : 3.95
7.03/7.13 c mistral : 0.317951
7.03/7.13 c abscon : 0.705891
7.03/7.13 c
7.03/7.13 c
7.03/7.13 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-25-5-mul.xml
7.03/7.13 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.03/7.14 c choco : 1801.0
7.03/7.14 c mistral : 162.159
7.03/7.14 c abscon : 1.9547
7.03/7.14 c
7.03/7.14 c
7.03/7.14 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-10-5-add.xml
7.03/7.14 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.03/7.14 c choco : 4.99
7.03/7.14 c mistral : 1.3028
7.03/7.15 c abscon : 0.764883
7.03/7.15 c
7.03/7.15 c
7.03/7.15 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-20-5-mul.xml
7.03/7.15 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.03/7.15 c choco : 1801.0
7.03/7.15 c mistral : 83.0154
7.03/7.15 c abscon : 1.26981
7.03/7.15 c
7.03/7.15 c
7.03/7.15 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-12-5-add.xml
7.03/7.15 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.03/7.16 c choco : 10.21
7.03/7.16 c mistral : 3.03454
7.03/7.16 c abscon : 0.826873
7.03/7.16 c
7.03/7.16 c
7.03/7.16 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-40-2-3.xml
7.03/7.16 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.03/7.17 c choco : 1.51
7.03/7.17 c mistral : 0.022996
7.03/7.17 c abscon : 2.08668
7.03/7.17 c
7.03/7.17 c
7.03/7.17 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-60-2-3.xml
7.03/7.17 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.03/7.18 c choco : 1.65
7.03/7.18 c mistral : 0.025995
7.03/7.18 c abscon : 1.79972
7.03/7.18 c
7.03/7.18 c
7.03/7.18 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-60-2-3.xml
7.03/7.18 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.03/7.19 c choco : 1.65
7.03/7.19 c mistral : 0.024995
7.03/7.19 c abscon : 1.38079
7.03/7.19 c
7.03/7.19 c
7.03/7.19 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-80-2-3.xml
7.03/7.19 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.11/7.20 c choco : 1.72
7.11/7.20 c mistral : 0.030994
7.11/7.20 c abscon : 1.40479
7.11/7.20 c
7.11/7.20 c
7.11/7.20 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-80-2-3.xml
7.11/7.20 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.11/7.20 c choco : 1.72
7.11/7.20 c mistral : 0.030994
7.11/7.20 c abscon : 1.82972
7.11/7.21 c
7.11/7.21 c
7.11/7.21 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-40-2-3.xml
7.11/7.21 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.11/7.21 c choco : 1.63
7.11/7.21 c mistral : 0.021995
7.11/7.21 c abscon : 1.92771
7.11/7.21 c
7.11/7.21 c
7.11/7.21 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-15-5-add.xml
7.11/7.21 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.11/7.22 c choco : 1801.0
7.11/7.22 c mistral : 8.38672
7.11/7.22 c abscon : 0.891864
7.11/7.22 c
7.11/7.22 c
7.11/7.22 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-15-5-mul.xml
7.11/7.22 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.11/7.23 c choco : 1801.0
7.11/7.23 c mistral : 6.70198
7.11/7.23 c abscon : 1.00285
7.11/7.23 c
7.11/7.23 c
7.11/7.23 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-2-0-4.xml
7.11/7.23 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.11/7.23 c choco : 1.8
7.11/7.23 c mistral : 0.032994
7.11/7.23 c abscon : 0.834872
7.11/7.23 c
7.11/7.23 c
7.11/7.23 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-2-0-3.xml
7.11/7.23 c 19 > 33.333300 | c 35 > 26.666700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.000000 | c 15 > 15.543500 | c 34 > 33.333300 | c 16 > 3.000000 | c 13 > 5.233670 | c 14 > 8.787900 | c 11 > 8.228820 | c 12 > 3.880360 | c 21 > 1.414210 | c 20 > 66.666700 | 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.965780 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.643860 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.11/7.24 c choco : 1.86
7.11/7.24 c mistral : 0.028995
7.11/7.24 c abscon : 0.857869
7.11/7.24 c
7.11/7.24 c
7.11/7.24 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-2-0-1.xml
7.11/7.24 c 19 > 33.333300 | c 35 > 26.666700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.000000 | c 15 > 15.969300 | c 34 > 33.333300 | c 16 > 3.000000 | c 13 > 5.608210 | c 14 > 9.245550 | c 11 > 8.228820 | c 12 > 4.219300 | c 21 > 1.414210 | c 20 > 66.666700 | 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.965780 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.643860 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.11/7.25 c choco : 2.0
7.11/7.25 c mistral : 0.04
7.11/7.25 c abscon : 0.920859
7.11/7.25 c
7.11/7.25 c
7.11/7.25 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-2-0-2.xml
7.11/7.25 c 19 > 34.000000 | c 35 > 26.600000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.400000 | c 15 > 15.111800 | c 34 > 33.333300 | c 16 > 3.000000 | c 13 > 4.705890 | c 14 > 8.000000 | c 11 > 8.219170 | c 12 > 3.286150 | 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.11/7.26 c choco : 1.87
7.11/7.26 c mistral : 0.027994
7.11/7.26 c abscon : 0.897863
7.11/7.26 c
7.11/7.26 c
7.11/7.26 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-3-4-4.xml
7.11/7.26 c 19 > 23.636400 | c 35 > 27.636400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.181800 | c 15 > 14.822200 | c 34 > 32.272700 | c 16 > 3.000000 | c 13 > 2.815570 | c 14 > 6.672430 | c 11 > 8.768180 | c 12 > 1.798820 | c 21 > 1.414210 | c 20 > 76.363600 | 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 > 8.599910 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.392320 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.238400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.11/7.26 c choco : 2.0
7.11/7.26 c mistral : 0.040993
7.11/7.26 c abscon : 0.920859
7.11/7.26 c
7.11/7.26 c
7.11/7.26 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-3-4-1.xml
7.11/7.26 c 19 > 22.727300 | c 35 > 27.727300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.636400 | c 15 > 13.386700 | c 34 > 32.272700 | c 16 > 3.000000 | c 13 > 1.842460 | c 14 > 5.357550 | c 11 > 8.781360 | c 12 > 1.076620 | c 21 > 1.414210 | c 20 > 77.272700 | 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 > 8.607330 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.409390 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.252700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.11/7.27 c choco : 1.84
7.11/7.27 c mistral : 0.03
7.11/7.27 c abscon : 0.919859
7.11/7.27 c
7.11/7.27 c
7.11/7.27 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-3-4-2.xml
7.11/7.27 c 19 > 22.727300 | c 35 > 27.727300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.636400 | c 15 > 15.625100 | c 34 > 32.272700 | c 16 > 3.000000 | c 13 > 3.001290 | c 14 > 7.523560 | c 11 > 8.781360 | c 12 > 2.060200 | c 21 > 1.414210 | c 20 > 77.272700 | 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 > 8.607330 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.409390 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.252700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.11/7.27 c choco : 1.95
7.11/7.27 c mistral : 0.042993
7.11/7.27 c abscon : 0.877865
7.11/7.27 c
7.11/7.27 c
7.11/7.27 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-3-4-3.xml
7.11/7.27 c 19 > 22.727300 | c 35 > 27.727300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.636400 | c 15 > 15.812600 | c 34 > 32.272700 | c 16 > 3.000000 | c 13 > 3.248160 | c 14 > 7.707360 | c 11 > 8.781360 | c 12 > 2.262350 | c 21 > 1.414210 | c 20 > 77.272700 | 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 > 8.607330 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.409390 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.252700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.11/7.28 c choco : 1.92
7.11/7.28 c mistral : 0.046992
7.11/7.28 c abscon : 0.863867
7.11/7.28 c
7.11/7.28 c
7.11/7.28 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-40-2-5.xml
7.11/7.28 c 19 > 17.500000 | c 35 > 16.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 33.000000 | c 15 > 17.876800 | c 34 > 32.500000 | c 16 > 7.000000 | c 13 > 7.590070 | c 14 > 10.960000 | c 11 > 6.643860 | c 12 > 6.338960 | c 21 > 6.782330 | c 20 > 82.500000 | 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.321930 | c 2 > 6.426260 | c 10 > 8.199670 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.988680 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.789000 | c 31 > -1.000000 | c 4 > 2.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.11/7.28 c choco : 1.74
7.11/7.28 c mistral : 0.024995
7.11/7.28 c abscon : 17.4004
7.11/7.28 c
7.11/7.28 c
7.11/7.28 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-95-0.xml
7.11/7.28 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.11/7.29 c choco : 1.28
7.11/7.29 c mistral : 0.01
7.11/7.29 c abscon : 0.990849
7.11/7.29 c
7.11/7.29 c
7.11/7.29 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-2-0-4.xml
7.11/7.29 c 19 > 33.333300 | c 35 > 26.666700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.000000 | c 15 > 17.505200 | c 34 > 33.333300 | c 16 > 3.000000 | c 13 > 6.808180 | c 14 > 10.068800 | c 11 > 9.228820 | c 12 > 5.428500 | c 21 > 1.414210 | c 20 > 66.666700 | 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 > 8.965780 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.643860 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.11/7.29 c choco : 4.29
7.11/7.29 c mistral : 0.082986
7.11/7.29 c abscon : 1.26181
7.11/7.29 c
7.11/7.29 c
7.11/7.29 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-95-9.xml
7.11/7.29 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.18/7.30 c choco : 1.26
7.18/7.30 c mistral : 0.016997
7.18/7.30 c abscon : 1.16882
7.18/7.30 c
7.18/7.30 c
7.18/7.30 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-95-1.xml
7.18/7.30 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.18/7.30 c choco : 1.27
7.18/7.30 c mistral : 0.014997
7.18/7.30 c abscon : 1.57076
7.18/7.30 c
7.18/7.30 c
7.18/7.30 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-95-3.xml
7.18/7.30 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.18/7.31 c choco : 1.28
7.18/7.31 c mistral : 0.015997
7.18/7.31 c abscon : 1.62875
7.18/7.31 c
7.18/7.31 c
7.18/7.31 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-105-5.xml
7.18/7.31 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.18/7.32 c choco : 1.64
7.18/7.32 c mistral : 0.015997
7.18/7.32 c abscon : 1.02884
7.18/7.32 c
7.18/7.32 c
7.18/7.32 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-100-5.xml
7.18/7.32 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.18/7.32 c choco : 1.69
7.18/7.32 c mistral : 0.01
7.18/7.32 c abscon : 0.984849
7.18/7.32 c
7.18/7.32 c
7.18/7.32 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/my-adder.xml
7.18/7.32 c 19 > 28.744300 | c 35 > 37.647500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 33.857800 | c 15 > 14.703400 | c 34 > 46.399400 | c 16 > 17.000000 | c 13 > 1.420870 | c 14 > 8.299210 | c 11 > 12.157700 | c 12 > 0.744147 | c 21 > 1.414210 | c 20 > 71.255700 | 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 > 12.094100 | c 1 > 9.172430 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.962900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.094700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/7.33 c choco : 3.51
7.18/7.33 c mistral : 0.179972
7.18/7.33 c abscon : 1.3318
7.18/7.33 c
7.18/7.33 c
7.18/7.33 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-100-7.xml
7.18/7.33 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.18/7.33 c choco : 1.69
7.18/7.33 c mistral : 0.014997
7.18/7.33 c abscon : 1.09883
7.18/7.33 c
7.18/7.33 c
7.18/7.33 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-100-9.xml
7.18/7.33 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.18/7.34 c choco : 1.63
7.18/7.34 c mistral : 0.016997
7.18/7.34 c abscon : 1.11183
7.18/7.34 c
7.18/7.34 c
7.18/7.34 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-40-2-5.xml
7.18/7.34 c 19 > 17.500000 | c 35 > 16.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 33.000000 | c 15 > 17.515300 | c 34 > 32.500000 | c 16 > 7.000000 | c 13 > 8.493130 | c 14 > 11.498400 | c 11 > 6.870360 | c 12 > 6.649030 | c 21 > 5.291500 | c 20 > 82.500000 | 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.321930 | c 2 > 6.426260 | c 10 > 8.199670 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.988680 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.333500 | c 31 > -1.000000 | c 4 > 2.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/7.35 c choco : 1.84
7.18/7.35 c mistral : 0.025995
7.18/7.35 c abscon : 4.38933
7.18/7.35 c
7.18/7.35 c
7.18/7.35 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-95-8.xml
7.18/7.35 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.18/7.35 c choco : 1.25
7.18/7.35 c mistral : 0.01
7.18/7.35 c abscon : 1.2948
7.18/7.35 c
7.18/7.35 c
7.18/7.35 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-105-7.xml
7.18/7.35 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.18/7.36 c choco : 1.68
7.18/7.36 c mistral : 0.01
7.18/7.36 c abscon : 1.09783
7.18/7.36 c
7.18/7.36 c
7.18/7.36 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-4/os-taillard-4-105-9.xml
7.18/7.36 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.18/7.36 c choco : 1.6
7.18/7.36 c mistral : 0.01
7.18/7.37 c abscon : 1.13283
7.18/7.37 c
7.18/7.37 c
7.18/7.37 c Length: 40
7.18/7.37 c 0.9324864084800367 4.695866799079804 12.447294646986549 20.010313206330004 24.15810819916576 28.496144241695227 29.539630852947365 31.51675962456166 33.74510736479734 35.108819814304496 35.1779938942473 35.27639747300594 35.74892791548859 35.76881382889116 35.99023671337548 38.16638795945065 40.42505683270835 40.59252343864569 40.62620407966267 40.737200495391185 40.75675571146212 40.907567585374714 41.050761841836746 41.25060850842325 41.26863991441201 41.643753402977495 41.73748984540877 41.76907604770664 41.7954701885635 41.83127197581613 41.84835350584655 41.85337249207523 41.86308114223797 41.897580686712075 41.91173821842635 41.91819063069636 41.92521859862511 41.934923247836046 41.95107272844998 41.96501046611927
7.18/7.37 c
7.18/7.37 c 1.0 0.9159882931943412 0.7808678816726324 0.6826199393892274 0.6385575480888054 0.5981750430793275 0.5892119382561107 0.5729455326075542 0.5556563542516464 0.545581005236953 0.5450796629024397 0.5443680639862635 0.5409767127630275 0.5408349178649471 0.5392610869312731 0.5242672542992096 0.509561948628062 0.5085044210331862 0.5082922625764863 0.507594333990806 0.5074715722973847 0.506526812375721 0.5056330229031444 0.5043908806594612 0.5042791069767798 0.501965024248367 0.5013900751139237 0.5011966320970452 0.5010351012041571 0.5008161622883566 0.500711770900127 0.5006811063374401 0.5006217999350459 0.500411169133785 0.5003247841369691 0.5002854233528622 0.5002425586295881 0.5001833804633673 0.5000849332666258 0.5
7.18/7.38 c
7.18/7.38 c solver 0
7.18/7.38 c before 0.0 seconds: {} 0
7.18/7.38 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} 22186
7.18/7.38 c
7.18/7.38 c solver 1
7.18/7.38 c before 0.0 seconds: {} 0
7.18/7.38 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, 38, 39} 19551
7.18/7.38 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} 20332
7.18/7.38 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} 20905
7.18/7.38 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} 21503
7.18/7.38 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} 22186
7.18/7.38 c
7.18/7.38 c solver 2
7.18/7.38 c before 0.0 seconds: {} 0
7.18/7.38 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, 38, 39} 18518
7.18/7.38 c
7.18/7.38 cTotal time: 14
7.18/7.38 c 252.0 seconds unused
7.18/7.38 c 0 c 0 c 6
7.18/7.38 c 0 c 0 c 6
7.18/7.38 c 0 c 0 c 0
7.18/7.38 c is solver0 dominated by:
7.18/7.38 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.18/7.38 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.18/7.38 c is dominated? false
7.18/7.38 c
7.18/7.38 c is solver1 dominated by:
7.18/7.38 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.18/7.38 c is dominated? true
7.18/7.38 c
7.18/7.38 c is solver2 dominated by:
7.18/7.38 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.18/7.38 c is dominated? true
7.18/7.38 c
7.18/7.38 c Number of non-dominated solvers: 1
7.18/7.38 c remove dominated solvers
7.18/7.38 c solver 0 is not dominated by another solver
7.18/7.39 c solver 2 is dominated by another solver
7.18/7.39 c solver 1 is dominated by another solver
7.18/7.39 c
7.18/7.39 c solver 0: 18.0
7.18/7.39 c
7.18/7.39 c+ 1/1 of 99
7.18/7.39 c
7.18/7.39 c solver 1: 0.0
7.18/7.39 c
7.18/7.39 c solver 2: 0.0
7.18/7.39 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} 22186
7.18/7.39 c do not run mistral
7.18/7.39 c do not run choco
7.18/7.39 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.18/7.39 c On Instance: HOME/instance-1081520-1215217355.xml
7.18/7.39 c Running for: 1800 seconds
8.03/8.28 s UNSATISFIABLE
8.03/8.28 d ASSIGNMENTS 143
8.03/8.28 d CHECKS 733962