0.00/0.00 c cpHydra_k_40 version 0.0
7.09/7.25 c CASE TO CLASSIFY:
7.09/7.25 c Case: 0
7.09/7.25 c 19 > 35.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 41.500000 | c 15 > 12.001400 | c 34 > 52.333300 | c 16 > 2.000000 | c 13 > 3.246200 | c 14 > 1.584960 | 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.09/7.26 c choco : 1801.0
7.09/7.26 c mistral : 1801.0
7.09/7.26 c abscon : 1801.0
7.09/7.26 c
7.09/7.26 c
7.18/7.34 c List of same ones: 40
7.18/7.34 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-20-5-mul.xml
7.18/7.34 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.18/7.35 c choco : 1801.0
7.18/7.35 c mistral : 83.0154
7.18/7.35 c abscon : 1.26981
7.18/7.35 c
7.18/7.35 c
7.18/7.35 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-25-5-mul.xml
7.18/7.35 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.18/7.36 c choco : 1801.0
7.18/7.36 c mistral : 162.159
7.18/7.36 c abscon : 1.9547
7.18/7.36 c
7.18/7.36 c
7.18/7.36 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-15-5-mul.xml
7.18/7.36 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.18/7.37 c choco : 1801.0
7.18/7.37 c mistral : 6.70198
7.18/7.37 c abscon : 1.00285
7.18/7.37 c
7.18/7.37 c
7.18/7.37 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-12-5-mul.xml
7.18/7.37 c 19 > 47.794100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.250000 | c 15 > 12.415500 | c 34 > 55.147100 | c 16 > 2.000000 | c 13 > 4.127790 | c 14 > 7.459430 | c 11 > 7.219170 | c 12 > 2.672620 | c 21 > 7.129060 | c 20 > 52.205900 | 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 > 8.071460 | 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.18/7.37 c choco : 11.06
7.18/7.37 c mistral : 1.70074
7.18/7.37 c abscon : 0.840871
7.18/7.37 c
7.18/7.37 c
7.18/7.37 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-80-2-3.xml
7.18/7.37 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.18/7.38 c choco : 1.72
7.18/7.39 c mistral : 0.030994
7.18/7.39 c abscon : 1.82972
7.18/7.39 c
7.18/7.39 c
7.18/7.39 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-80-2-3.xml
7.18/7.39 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.18/7.39 c choco : 1.72
7.18/7.40 c mistral : 0.030994
7.18/7.40 c abscon : 1.40479
7.18/7.40 c
7.18/7.40 c
7.18/7.40 c /home/eomahony/cpZilla/CSP/knights/knights-15-9.xml
7.18/7.40 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.26/7.40 c choco : 10.09
7.26/7.40 c mistral : 10.5634
7.26/7.40 c abscon : 0.893863
7.26/7.40 c
7.26/7.40 c
7.26/7.40 c /home/eomahony/cpZilla/CSP/knights/knights-12-9.xml
7.26/7.40 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.26/7.41 c choco : 4.64
7.26/7.41 c mistral : 2.98454
7.26/7.41 c abscon : 0.835872
7.26/7.41 c
7.26/7.41 c
7.26/7.41 c /home/eomahony/cpZilla/CSP/knights/knights-20-9.xml
7.26/7.41 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.26/7.42 c choco : 1801.0
7.26/7.42 c mistral : 59.293
7.26/7.42 c abscon : 1.42378
7.26/7.42 c
7.26/7.42 c
7.26/7.42 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-40-2-3.xml
7.26/7.42 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.26/7.43 c choco : 1.51
7.26/7.43 c mistral : 0.022996
7.26/7.43 c abscon : 2.08668
7.26/7.43 c
7.26/7.43 c
7.26/7.43 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-60-2-3.xml
7.26/7.43 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.45/7.64 c choco : 1.65
7.45/7.64 c mistral : 0.025995
7.45/7.64 c abscon : 1.79972
7.45/7.64 c
7.45/7.64 c
7.45/7.64 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-40-2-3.xml
7.45/7.64 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.45/7.65 c choco : 1.63
7.45/7.65 c mistral : 0.021995
7.45/7.65 c abscon : 1.92771
7.45/7.65 c
7.45/7.65 c
7.45/7.65 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-40-2-1.xml
7.45/7.65 c 19 > 47.500000 | c 35 > 25.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.779700 | c 34 > 50.500000 | c 16 > 3.000000 | c 13 > 2.199930 | c 14 > 6.339850 | c 11 > 6.643860 | c 12 > 0.765535 | c 21 > 6.782330 | c 20 > 52.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.807350 | c 2 > 6.108520 | c 10 > 6.954200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.392320 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.697100 | c 31 > -1.000000 | c 4 > 4.087460 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.66 c choco : 1.47
7.45/7.66 c mistral : 0.02
7.45/7.66 c abscon : 1.80672
7.45/7.66 c
7.45/7.66 c
7.45/7.66 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-60-2-3.xml
7.45/7.66 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.45/7.67 c choco : 1.65
7.45/7.67 c mistral : 0.024995
7.45/7.67 c abscon : 1.38079
7.45/7.67 c
7.45/7.67 c
7.45/7.67 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-40-2-1.xml
7.45/7.67 c 19 > 47.500000 | c 35 > 25.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.558400 | c 34 > 50.500000 | c 16 > 3.000000 | c 13 > 1.534240 | c 14 > 6.285400 | c 11 > 6.741470 | c 12 > 0.201048 | c 21 > 5.291500 | c 20 > 52.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.807350 | c 2 > 6.108520 | c 10 > 6.954200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.392320 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.502900 | c 31 > -1.000000 | c 4 > 4.087460 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.68 c choco : 1.42
7.45/7.68 c mistral : 0.019996
7.45/7.68 c abscon : 1.01284
7.45/7.68 c
7.45/7.68 c
7.45/7.68 c /home/eomahony/cpZilla/CSP/knights/knights-25-9.xml
7.45/7.68 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.45/7.68 c choco : 1801.0
7.45/7.68 c mistral : 206.566
7.45/7.68 c abscon : 2.28265
7.45/7.68 c
7.45/7.68 c
7.45/7.68 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-10-5-mul.xml
7.45/7.69 c 19 > 52.381000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 61.428600 | c 15 > 13.896600 | c 34 > 56.666700 | c 16 > 2.000000 | c 13 > 5.845900 | c 14 > 8.049850 | c 11 > 6.714250 | c 12 > 4.167630 | c 21 > 6.324560 | c 20 > 47.619000 | 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.614710 | 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.45/7.69 c choco : 7.88
7.45/7.69 c mistral : 2.12568
7.45/7.69 c abscon : 0.836872
7.45/7.69 c
7.45/7.69 c
7.45/7.69 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-60-2-1.xml
7.45/7.69 c 19 > 50.000000 | c 35 > 25.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.392300 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 2.548740 | c 14 > 6.000000 | c 11 > 6.643860 | c 12 > 1.182690 | c 21 > 6.782330 | c 20 > 50.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 > 4.754890 | c 2 > 5.754890 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.906890 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.209900 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.70 c choco : 1.56
7.45/7.70 c mistral : 0.02
7.45/7.70 c abscon : 2.07768
7.45/7.70 c
7.45/7.70 c
7.45/7.70 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-60-2-1.xml
7.45/7.70 c 19 > 50.000000 | c 35 > 25.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.348700 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 1.036060 | c 14 > 5.727920 | c 11 > 6.794420 | c 12 > 0.490986 | c 21 > 5.291500 | c 20 > 50.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 > 4.754890 | c 2 > 5.754890 | c 10 > 7.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.906890 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.972900 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.70 c choco : 1.54
7.53/7.70 c mistral : 0.024995
7.53/7.70 c abscon : 1.10383
7.53/7.70 c
7.53/7.70 c
7.53/7.70 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-80-2-1.xml
7.53/7.70 c 19 > 52.500000 | c 35 > 24.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.498800 | c 34 > 49.500000 | c 16 > 3.000000 | c 13 > 2.730980 | c 14 > 5.392320 | c 11 > 6.643860 | c 12 > 1.182690 | c 21 > 6.782330 | c 20 > 47.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 > 5.321930 | c 2 > 5.357550 | c 10 > 7.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.247930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.528900 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.72 c choco : 1.61
7.53/7.72 c mistral : 0.025995
7.53/7.72 c abscon : 2.43363
7.53/7.72 c
7.53/7.72 c
7.53/7.72 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-1-6-4.xml
7.53/7.72 c 19 > 40.000000 | c 35 > 26.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 24.000000 | c 15 > 12.714900 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 2.653550 | c 14 > 6.285400 | c 11 > 8.000000 | c 12 > 1.350940 | c 21 > 1.414210 | c 20 > 60.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.700440 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.285400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.383700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.72 c choco : 1.71
7.53/7.72 c mistral : 0.03
7.53/7.72 c abscon : 0.760884
7.53/7.72 c
7.53/7.72 c
7.53/7.72 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-1-6-2.xml
7.53/7.72 c 19 > 38.461500 | c 35 > 26.153800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.076900 | c 15 > 9.652840 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 0.020410 | c 14 > 1.000000 | c 11 > 8.022370 | c 12 > 0.509014 | c 21 > 1.414210 | c 20 > 61.538500 | 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.714250 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.321930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.409390 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.73 c choco : 1.49
7.53/7.73 c mistral : 0.021996
7.53/7.73 c abscon : 0.798878
7.53/7.73 c
7.53/7.73 c
7.53/7.73 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-80-2-1.xml
7.53/7.73 c 19 > 52.500000 | c 35 > 24.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.237200 | c 34 > 49.500000 | c 16 > 3.000000 | c 13 > 0.334045 | c 14 > 3.807350 | c 11 > 6.807350 | c 12 > 0.301170 | c 21 > 5.291500 | c 20 > 47.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 > 5.321930 | c 2 > 5.357550 | c 10 > 7.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.247930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.273700 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.73 c choco : 1.63
7.53/7.73 c mistral : 0.026994
7.53/7.73 c abscon : 1.17582
7.53/7.73 c
7.53/7.73 c
7.53/7.73 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-1-6-3.xml
7.53/7.73 c 19 > 40.000000 | c 35 > 26.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 24.000000 | c 15 > 13.581900 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 3.460210 | c 14 > 7.044390 | c 11 > 8.000000 | c 12 > 2.292320 | c 21 > 1.414210 | c 20 > 60.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.700440 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.285400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.383700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.74 c choco : 1.69
7.53/7.74 c mistral : 0.029995
7.53/7.74 c abscon : 0.835872
7.53/7.74 c
7.53/7.74 c
7.53/7.74 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-1-6-1.xml
7.53/7.74 c 19 > 38.461500 | c 35 > 26.153800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.076900 | c 15 > 13.887000 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 4.663000 | c 14 > 7.761550 | c 11 > 8.022370 | c 12 > 3.073030 | c 21 > 1.414210 | c 20 > 61.538500 | 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.714250 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.321930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.409390 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.74 c choco : 1.78
7.53/7.75 c mistral : 0.028995
7.53/7.75 c abscon : 0.859868
7.53/7.75 c
7.53/7.75 c
7.53/7.75 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-1-6-1.xml
7.53/7.75 c 19 > 38.846200 | c 35 > 26.115400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.307700 | c 15 > 15.249400 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 5.125640 | c 14 > 8.625710 | c 11 > 9.016810 | c 12 > 3.243820 | c 21 > 1.414210 | c 20 > 61.153800 | 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.710810 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.312880 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.403000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.75 c choco : 3.25
7.53/7.75 c mistral : 0.06
7.53/7.75 c abscon : 1.07783
7.53/7.75 c
7.53/7.75 c
7.53/7.75 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-2-0-4.xml
7.53/7.75 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.53/7.76 c choco : 1.8
7.53/7.76 c mistral : 0.032994
7.53/7.76 c abscon : 0.834872
7.53/7.76 c
7.53/7.76 c
7.53/7.76 c /home/eomahony/cpZilla/CSP/pseudoSeries/circuits/b1.xml
7.53/7.76 c 19 > 51.111100 | c 35 > 32.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 37.333300 | c 15 > 9.262090 | c 34 > 39.333300 | c 16 > 9.000000 | c 13 > 0.966209 | c 14 > 3.584960 | c 11 > 6.781360 | c 12 > 0.750022 | c 21 > 1.414210 | c 20 > 48.888900 | 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 > 6.768180 | c 1 > 4.584960 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.426260 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.651050 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.76 c choco : 1.25
7.53/7.76 c mistral : 0.016997
7.53/7.76 c abscon : 0.687894
7.53/7.76 c
7.53/7.76 c
7.53/7.76 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-20-2-1.xml
7.53/7.76 c 19 > 55.000000 | c 35 > 24.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.116300 | c 34 > 49.000000 | c 16 > 3.000000 | c 13 > 2.634480 | c 14 > 6.954200 | c 11 > 6.643860 | c 12 > 0.475085 | c 21 > 6.782330 | c 20 > 45.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 > 2.807350 | c 2 > 6.339850 | c 10 > 5.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 5.169930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.419700 | c 31 > -1.000000 | c 4 > 3.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.77 c choco : 1.34
7.53/7.77 c mistral : 0.017997
7.53/7.77 c abscon : 1.3248
7.53/7.77 c
7.53/7.77 c
7.53/7.77 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/my-adder.xml
7.53/7.77 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.53/7.77 c choco : 3.51
7.53/7.77 c mistral : 0.179972
7.53/7.77 c abscon : 1.3318
7.53/7.77 c
7.53/7.77 c
7.53/7.77 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-2-0-2.xml
7.53/7.77 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.53/7.78 c choco : 1.87
7.53/7.78 c mistral : 0.027994
7.53/7.78 c abscon : 0.897863
7.53/7.78 c
7.53/7.78 c
7.53/7.78 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-1-6-4.xml
7.53/7.78 c 19 > 38.461500 | c 35 > 26.153800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.076900 | c 15 > 17.680100 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 7.944640 | c 14 > 10.893300 | c 11 > 9.022370 | c 12 > 6.333710 | c 21 > 1.414210 | c 20 > 61.538500 | 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.714250 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.321930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.409400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.78 c choco : 2.78
7.53/7.78 c mistral : 0.056991
7.53/7.78 c abscon : 1.06884
7.53/7.79 c
7.53/7.79 c
7.53/7.79 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-1-6-2.xml
7.53/7.79 c 19 > 38.846200 | c 35 > 26.115400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.307700 | c 15 > 18.541400 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 7.915430 | c 14 > 11.476200 | c 11 > 9.016810 | c 12 > 6.489690 | c 21 > 1.414210 | c 20 > 61.153800 | 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.710810 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.312880 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.403000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.79 c choco : 4.61
7.53/7.79 c mistral : 0.036993
7.53/7.79 c abscon : 1.13283
7.53/7.79 c
7.53/7.79 c
7.53/7.79 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-1-6-3.xml
7.53/7.79 c 19 > 38.461500 | c 35 > 26.153800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.076900 | c 15 > 18.137200 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 7.967320 | c 14 > 11.473200 | c 11 > 9.022370 | c 12 > 6.629220 | c 21 > 1.414210 | c 20 > 61.538500 | 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.714250 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.321930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.409400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.80 c choco : 3.49
7.53/7.80 c mistral : 0.219965
7.53/7.80 c abscon : 1.37479
7.53/7.80 c
7.53/7.80 c
7.53/7.80 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-2-0-3.xml
7.53/7.80 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.59/7.80 c choco : 1.86
7.59/7.80 c mistral : 0.028995
7.59/7.80 c abscon : 0.857869
7.59/7.80 c
7.59/7.80 c
7.59/7.80 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-2-0-1.xml
7.59/7.80 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.59/7.81 c choco : 2.0
7.59/7.81 c mistral : 0.04
7.59/7.81 c abscon : 0.920859
7.59/7.81 c
7.59/7.81 c
7.59/7.81 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-20-2-1.xml
7.59/7.81 c 19 > 55.000000 | c 35 > 24.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 8.717680 | c 34 > 49.000000 | c 16 > 3.000000 | c 13 > 0.403677 | c 14 > 6.321930 | c 11 > 6.700440 | c 12 > -1.000000 | c 21 > 5.291500 | c 20 > 45.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 > 2.807350 | c 2 > 6.339850 | c 10 > 5.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 5.169930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.299900 | c 31 > -1.000000 | c 4 > 3.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.59/7.82 c choco : 1.26
7.59/7.82 c mistral : 0.017996
7.59/7.82 c abscon : 0.884864
7.59/7.82 c
7.59/7.82 c
7.59/7.82 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-40-2-5.xml
7.59/7.82 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.59/7.82 c choco : 1.74
7.59/7.82 c mistral : 0.024995
7.59/7.82 c abscon : 17.4004
7.59/7.83 c
7.59/7.83 c
7.59/7.83 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-2-0-4.xml
7.59/7.83 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.59/7.83 c choco : 4.29
7.59/7.83 c mistral : 0.082986
7.59/7.83 c abscon : 1.26181
7.59/7.83 c
7.59/7.83 c
7.59/7.83 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-8.xml
7.59/7.83 c 19 > 48.773000 | c 35 > 32.392600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 44.355800 | c 15 > 19.166300 | c 34 > 51.779100 | c 16 > 18.000000 | c 13 > 5.271550 | c 14 > 9.250300 | c 11 > 11.733000 | c 12 > 3.502030 | c 21 > 1.414210 | c 20 > 51.227000 | 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 > 11.817000 | c 1 > 8.754890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.537200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.565100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.59/7.84 c choco : 16.59
7.59/7.84 c mistral : 3.77743
7.59/7.84 c abscon : 1641.68
7.59/7.84 c
7.59/7.84 c
7.59/7.84 c Length: 40
7.59/7.84 c 0.9329034145612284 10.86843914714528 14.622405175059267 25.90665514144773 26.165291564080384 26.83211441120696 31.12672947527896 31.626947991801234 32.010118485385206 32.323440948847015 32.996004494583886 33.368018009367894 33.41028229943927 33.59453528108404 34.15521723371093 34.57312483157293 34.78073817794413 35.41578393954876 36.09951944045871 37.59718308669547 38.13369075415989 38.190518984380056 38.20219038066437 38.25339728516148 38.53732573617427 39.06027819114323 39.65142009079498 39.821951475319295 40.00935444189677 40.04040553347242 40.07488138010516 40.298361393349474 40.53844052412229 40.538616633781416 40.55822638528342 40.718779863060725 40.81527327110317 41.49002504345954 41.54017535324809 41.57232839200013
7.59/7.84 c
7.59/7.84 c 1.0 0.8035483252364637 0.7480255439881734 0.6193790183422081 0.6169471136176636 0.6107643233514297 0.5737337250770426 0.5697104771595016 0.5666666055477493 0.5642016677549125 0.5589822965067116 0.5561365862218057 0.5558151181493823 0.5544179951449996 0.5502094269586284 0.5471138723739947 0.5455889385492723 0.5409768071631702 0.5360974460551274 0.5257112212365789 0.5220877971390604 0.5217069184134694 0.5216287622222403 0.5212861375170744 0.5193945131827805 0.5159461232949778 0.5121028107658602 0.5110047184977394 0.5098034044687018 0.5096049021216632 0.5093846871367075 0.5079618077770808 0.506442073377497 0.5064409619165049 0.5063172316156257 0.5053064677023649 0.504700932973848 0.5005068155727092 0.500197872898053 0.5
7.59/7.85 c
7.59/7.85 c solver 0
7.59/7.86 c before 0.0 seconds: {} 0
7.59/7.86 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} 21855
7.59/7.86 c before 1656.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} 22355
7.59/7.86 c
7.59/7.86 c solver 1
7.59/7.86 c before 0.0 seconds: {} 0
7.59/7.86 c before 18.0 seconds: {2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19438
7.59/7.86 c before 72.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20005
7.59/7.86 c before 90.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21005
7.59/7.86 c before 180.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21808
7.59/7.86 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} 22355
7.59/7.86 c
7.59/7.86 c solver 2
7.59/7.86 c before 0.0 seconds: {} 0
7.59/7.86 c before 18.0 seconds: {3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18690
7.59/7.86 c
7.59/7.86 cTotal time: 105
7.59/7.86 c run abscon for 1656.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} 22355
7.59/7.86 c run mistral for 90.0 seconds {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21005
7.59/7.86 c run choco for 18.0 seconds {3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18690
7.59/7.86 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.59/7.86 c On Instance: HOME/instance-1081436-1215216984.xml
7.59/7.86 c Running for: 1656 seconds
8.95/9.27 s UNSATISFIABLE
8.95/9.27 d ASSIGNMENTS 396
8.95/9.27 d CHECKS 6534756