0.00/0.00 c cpHydra_k_40 version 0.0
7.19/7.37 c CASE TO CLASSIFY:
7.19/7.37 c Case: 0
7.19/7.37 c 19 > 0.000000 | c 35 > 56.603800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.830200 | c 15 > 20.983800 | c 34 > 75.471700 | c 16 > 10.000000 | c 13 > 10.197000 | c 14 > 13.709100 | c 11 > 9.668880 | c 12 > 8.793380 | c 21 > 1.414210 | c 20 > 100.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 > 9.438790 | c 1 > 6.906890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.438790 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.530400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.19/7.38 c choco : 1801.0
7.19/7.38 c mistral : 1801.0
7.19/7.38 c abscon : 1801.0
7.19/7.38 c
7.19/7.38 c
7.28/7.47 c List of same ones: 40
7.28/7.47 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-10-8.xml
7.28/7.47 c 19 > 0.000000 | c 35 > 56.603800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.830200 | c 15 > 20.224500 | c 34 > 75.471700 | c 16 > 10.000000 | c 13 > 9.148800 | c 14 > 12.697800 | c 11 > 9.668880 | c 12 > 7.862210 | c 21 > 1.414210 | c 20 > 100.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 > 9.438790 | c 1 > 6.906890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.438790 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.530400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.47 c choco : 54.88
7.28/7.47 c mistral : 988.574
7.28/7.47 c abscon : 1.02884
7.28/7.47 c
7.28/7.47 c
7.28/7.47 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-10-9.xml
7.28/7.47 c 19 > 0.000000 | c 35 > 61.016900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.542400 | c 15 > 20.074200 | c 34 > 80.084700 | c 16 > 10.000000 | c 13 > 9.016840 | c 14 > 12.542100 | c 11 > 9.909890 | c 12 > 7.572590 | c 21 > 1.414210 | c 20 > 100.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 > 9.691740 | c 1 > 7.076820 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.691740 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.849000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.48 c choco : 1801.0
7.28/7.48 c mistral : 1.56
7.28/7.48 c abscon : 0.794878
7.28/7.48 c
7.28/7.48 c
7.28/7.48 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-11-9.xml
7.28/7.48 c 19 > 0.000000 | c 35 > 62.265600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.578100 | c 15 > 20.176200 | c 34 > 81.640600 | c 16 > 11.000000 | c 13 > 8.877500 | c 14 > 12.540400 | c 11 > 10.058000 | c 12 > 7.343540 | c 21 > 1.414210 | c 20 > 100.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 > 9.840780 | c 1 > 7.219170 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.840780 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.022700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.49 c choco : 588.27
7.28/7.49 c mistral : 1800.02
7.28/7.49 c abscon : 1.86871
7.28/7.49 c
7.28/7.49 c
7.28/7.49 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-10-10.xml
7.28/7.49 c 19 > 0.000000 | c 35 > 65.384600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.307700 | c 15 > 19.792200 | c 34 > 84.615400 | c 16 > 10.000000 | c 13 > 7.580690 | c 14 > 11.636200 | c 11 > 10.129300 | c 12 > 6.558790 | c 21 > 1.414210 | c 20 > 100.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 > 9.921840 | c 1 > 7.228820 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.921840 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.135700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.50 c choco : 1801.0
7.37/7.50 c mistral : 0.25
7.37/7.50 c abscon : 0.823873
7.37/7.50 c
7.37/7.50 c
7.37/7.50 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-11-10.xml
7.37/7.50 c 19 > 0.000000 | c 35 > 66.312100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.340400 | c 15 > 19.979300 | c 34 > 85.815600 | c 16 > 11.000000 | c 13 > 7.992250 | c 14 > 12.286600 | c 11 > 10.269100 | c 12 > 6.576440 | c 21 > 1.414210 | c 20 > 100.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 > 10.062000 | c 1 > 7.366320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.062000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.294600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.51 c choco : 1801.0
7.37/7.51 c mistral : 146.81
7.37/7.51 c abscon : 2.55861
7.37/7.51 c
7.37/7.51 c
7.37/7.51 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-12-10.xml
7.37/7.51 c 19 > 0.000000 | c 35 > 67.105300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.368400 | c 15 > 19.856600 | c 34 > 86.842100 | c 16 > 12.000000 | c 13 > 7.680060 | c 14 > 12.109200 | c 11 > 10.396600 | c 12 > 6.192780 | c 21 > 1.414210 | c 20 > 100.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 > 10.189800 | c 1 > 7.491850 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.189800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.440400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.52 c choco : 1801.0
7.37/7.52 c mistral : 1800.03
7.37/7.52 c abscon : 64.0893
7.37/7.52 c
7.37/7.52 c
7.37/7.52 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-11-11.xml
7.37/7.52 c 19 > 0.000000 | c 35 > 71.103900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.142900 | c 15 > 19.609700 | c 34 > 90.779200 | c 16 > 11.000000 | c 13 > 7.094720 | c 14 > 11.513700 | c 11 > 10.477800 | c 12 > 5.528550 | c 21 > 1.414210 | c 20 > 100.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 > 10.280800 | c 1 > 7.507790 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.280800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.579600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.53 c choco : 1801.0
7.37/7.53 c mistral : 0.225965
7.37/7.53 c abscon : 0.843871
7.37/7.53 c
7.37/7.53 c
7.37/7.53 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-12-11.xml
7.37/7.53 c 19 > 0.000000 | c 35 > 71.566300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.168700 | c 15 > 19.692700 | c 34 > 91.445800 | c 16 > 12.000000 | c 13 > 8.120820 | c 14 > 12.035800 | c 11 > 10.598100 | c 12 > 6.422620 | c 21 > 1.414210 | c 20 > 100.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 > 10.400900 | c 1 > 7.629360 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.400900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.711900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.54 c choco : 1801.0
7.37/7.54 c mistral : 1800.01
7.37/7.54 c abscon : 0.904862
7.37/7.54 c
7.37/7.54 c
7.37/7.54 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-13-11.xml
7.37/7.54 c 19 > 0.000000 | c 35 > 72.640400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.191000 | c 15 > 19.848800 | c 34 > 92.752800 | c 16 > 13.000000 | c 13 > 8.574980 | c 14 > 11.794000 | c 11 > 10.721100 | c 12 > 6.814870 | c 21 > 1.414210 | c 20 > 100.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 > 10.524500 | c 1 > 7.748190 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.524500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.855600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.55 c choco : 1801.0
7.37/7.55 c mistral : 1800.08
7.37/7.55 c abscon : 124.961
7.37/7.55 c
7.37/7.55 c
7.37/7.55 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-12-12.xml
7.37/7.55 c 19 > 0.000000 | c 35 > 76.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.000000 | c 15 > 19.693300 | c 34 > 96.000000 | c 16 > 12.000000 | c 13 > 6.896820 | c 14 > 11.592900 | c 11 > 10.784600 | c 12 > 5.352680 | c 21 > 1.414210 | c 20 > 100.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 > 10.596200 | c 1 > 7.754890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.596200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.960000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.56 c choco : 1801.0
7.37/7.56 c mistral : 0.67
7.37/7.56 c abscon : 0.920859
7.37/7.56 c
7.37/7.56 c
7.37/7.56 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-13-12.xml
7.37/7.56 c 19 > 0.000000 | c 35 > 76.787600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.020700 | c 15 > 19.615500 | c 34 > 96.994800 | c 16 > 13.000000 | c 13 > 7.252100 | c 14 > 11.556000 | c 11 > 10.901600 | c 12 > 5.569820 | c 21 > 1.414210 | c 20 > 100.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 > 10.713400 | c 1 > 7.870360 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.713400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.092600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.78 c choco : 1801.0
7.55/7.78 c mistral : 1800.03
7.55/7.78 c abscon : 128.541
7.55/7.78 c
7.55/7.78 c
7.55/7.78 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-14-12.xml
7.55/7.78 c 19 > 0.000000 | c 35 > 77.475700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.038800 | c 15 > 19.598400 | c 34 > 97.864100 | c 16 > 14.000000 | c 13 > 7.677140 | c 14 > 11.494400 | c 11 > 11.009800 | c 12 > 5.898800 | c 21 > 1.414210 | c 20 > 100.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 > 10.821800 | c 1 > 7.977280 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.821800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.215800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.79 c choco : 1801.0
7.55/7.79 c mistral : 1800.0
7.55/7.79 c abscon : 1628.67
7.55/7.79 c
7.55/7.79 c
7.55/7.79 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-13-13.xml
7.55/7.79 c 19 > 0.000000 | c 35 > 81.586500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.875000 | c 15 > 19.495300 | c 34 > 101.923000 | c 16 > 13.000000 | c 13 > 6.722870 | c 14 > 11.442400 | c 11 > 11.080800 | c 12 > 4.829150 | c 21 > 1.414210 | c 20 > 100.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 > 10.900900 | c 1 > 7.988680 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.900900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.340500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.80 c choco : 1801.0
7.55/7.80 c mistral : 1.0
7.55/7.80 c abscon : 0.926858
7.55/7.80 c
7.55/7.80 c
7.55/7.80 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-14-13.xml
7.55/7.80 c 19 > 0.000000 | c 35 > 81.982000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.891900 | c 15 > 19.459200 | c 34 > 102.477000 | c 16 > 14.000000 | c 13 > 7.837230 | c 14 > 11.458900 | c 11 > 11.183600 | c 12 > 5.828740 | c 21 > 1.414210 | c 20 > 100.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 > 11.003500 | c 1 > 8.092760 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.003500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.453500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.81 c choco : 1801.0
7.64/7.81 c mistral : 1800.04
7.64/7.81 c abscon : 1.01884
7.64/7.81 c
7.64/7.81 c
7.64/7.81 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e64-b.xml
7.64/7.81 c 19 > 0.000000 | c 35 > 79.305300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.332700 | c 15 > 16.325200 | c 34 > 87.749500 | c 16 > 32.000000 | c 13 > 2.222290 | c 14 > 8.839200 | c 11 > 13.078200 | c 12 > 0.816762 | c 21 > 1.414210 | c 20 > 100.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 > 12.973200 | c 1 > 9.245550 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.973200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.598000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.82 c choco : 3.46
7.64/7.82 c mistral : 0.301953
7.64/7.82 c abscon : 2.43263
7.64/7.82 c
7.64/7.82 c
7.64/7.82 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos1.xml
7.64/7.82 c 19 > 5.625000 | c 35 > 36.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 35.156200 | c 15 > 19.459600 | c 34 > 57.000000 | c 16 > 32.000000 | c 13 > 6.046540 | c 14 > 9.751540 | c 11 > 11.044400 | c 12 > 4.083560 | c 21 > 1.414210 | c 20 > 94.375000 | 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 > 14.971500 | c 1 > 11.044400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.958600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.537100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.82 c choco : 10.36
7.64/7.82 c mistral : 4.03139
7.64/7.83 c abscon : 8.01678
7.64/7.83 c
7.64/7.83 c
7.64/7.83 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-20-3-1.xml
7.64/7.83 c 19 > 0.000000 | c 35 > 36.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 14.862700 | c 34 > 73.000000 | c 16 > 4.000000 | c 13 > 7.637220 | c 14 > 9.211890 | c 11 > 6.643860 | c 12 > 5.263030 | c 21 > 6.782330 | c 20 > 100.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 > -1.000000 | c 2 > 6.643860 | c 10 > 6.977280 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.727920 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.455300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.83 c choco : 1.62
7.64/7.83 c mistral : 0.018996
7.64/7.83 c abscon : 2.05069
7.64/7.83 c
7.64/7.83 c
7.64/7.83 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/seymour.xml
7.64/7.83 c 19 > 0.000000 | c 35 > 69.260400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.164300 | c 34 > 69.260400 | c 16 > 19.000000 | c 13 > 4.961440 | c 14 > 9.642050 | c 11 > 10.293500 | c 12 > 4.714390 | c 21 > 1.414210 | c 20 > 100.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 > 14.804000 | c 1 > 10.293500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.804000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.435400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.84 c choco : 7.93
7.64/7.84 c mistral : 1.3058
7.64/7.84 c abscon : 2.56561
7.64/7.84 c
7.64/7.84 c
7.64/7.84 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-seymour.xml
7.64/7.84 c 19 > 0.000000 | c 35 > 69.260400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.161900 | c 34 > 69.260400 | c 16 > 19.000000 | c 13 > 4.961380 | c 14 > 9.643860 | c 11 > 10.293500 | c 12 > 4.714300 | c 21 > 1.383740 | c 20 > 100.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 > 14.804000 | c 1 > 10.293500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.804000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.435400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.84 c choco : 8.03
7.64/7.84 c mistral : 1.2898
7.64/7.84 c abscon : 4.09638
7.64/7.84 c
7.64/7.84 c
7.64/7.84 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/max1024-pi.xml
7.64/7.85 c 19 > 0.000000 | c 35 > 64.967300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.906300 | c 34 > 64.967300 | c 16 > 18.000000 | c 13 > 1.317860 | c 14 > 9.840780 | c 11 > 12.803700 | c 12 > 0.719344 | c 21 > 1.410340 | c 20 > 100.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 > 12.523100 | c 1 > 10.303800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.523100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.242300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.86 c choco : 3.87
7.64/7.86 c mistral : 0.249961
7.64/7.86 c abscon : 3.85641
7.64/7.86 c
7.64/7.86 c
7.64/7.86 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-40-3-1.xml
7.64/7.86 c 19 > 0.000000 | c 35 > 35.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 14.890600 | c 34 > 71.000000 | c 16 > 4.000000 | c 13 > 6.116040 | c 14 > 9.523560 | c 11 > 6.643860 | c 12 > 4.291310 | c 21 > 6.782330 | c 20 > 100.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 > -1.000000 | c 2 > 6.643860 | c 10 > 7.930740 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.672430 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.197600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.86 c choco : 1.51
7.64/7.86 c mistral : 0.021996
7.64/7.86 c abscon : 1.90771
7.64/7.86 c
7.64/7.86 c
7.64/7.86 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-20-3-1.xml
7.64/7.86 c 19 > 0.000000 | c 35 > 36.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 11.694400 | c 34 > 73.000000 | c 16 > 4.000000 | c 13 > 1.333850 | c 14 > 6.988680 | c 11 > 6.768180 | c 12 > 0.371367 | c 21 > 5.291500 | c 20 > 100.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 > -1.000000 | c 2 > 6.643860 | c 10 > 6.977280 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.727920 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.705200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.87 c choco : 1.34
7.64/7.87 c mistral : 0.017996
7.64/7.87 c abscon : 3.63445
7.64/7.87 c
7.64/7.87 c
7.64/7.87 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-40-3-1.xml
7.64/7.87 c 19 > 0.000000 | c 35 > 35.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 13.756300 | c 34 > 71.000000 | c 16 > 4.000000 | c 13 > 1.816510 | c 14 > 6.794420 | c 11 > 6.882640 | c 12 > 1.012170 | c 21 > 5.291500 | c 20 > 100.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 > -1.000000 | c 2 > 6.643860 | c 10 > 7.930740 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.672430 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.563200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.87 c choco : 1.54
7.64/7.87 c mistral : 0.021995
7.64/7.87 c abscon : 2.23766
7.64/7.87 c
7.64/7.87 c
7.64/7.87 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-60-3-1.xml
7.64/7.87 c 19 > 0.000000 | c 35 > 35.833300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 13.363200 | c 34 > 71.666700 | c 16 > 4.000000 | c 13 > 1.564610 | c 14 > 5.672430 | c 11 > 6.977280 | c 12 > 1.078000 | c 21 > 5.291500 | c 20 > 100.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 > -1.000000 | c 2 > 6.643860 | c 10 > 8.531380 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.276120 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.152100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.88 c choco : 1.64
7.64/7.88 c mistral : 0.024995
7.64/7.88 c abscon : 2.03469
7.64/7.88 c
7.64/7.88 c
7.64/7.88 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-80-3-1.xml
7.64/7.88 c 19 > 0.000000 | c 35 > 35.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 13.280200 | c 34 > 71.000000 | c 16 > 4.000000 | c 13 > 1.792730 | c 14 > 4.643860 | c 11 > 7.022370 | c 12 > 1.249100 | c 21 > 5.291500 | c 20 > 100.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 > -1.000000 | c 2 > 6.643860 | c 10 > 8.930740 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.672430 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.534400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.88 c choco : 1.74
7.64/7.88 c mistral : 0.029994
7.64/7.89 c abscon : 2.04169
7.64/7.89 c
7.64/7.89 c
7.64/7.89 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-60-3-1.xml
7.64/7.89 c 19 > 0.000000 | c 35 > 35.833300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 12.990800 | c 34 > 71.666700 | c 16 > 4.000000 | c 13 > 1.334730 | c 14 > 5.727920 | c 11 > 6.643860 | c 12 > 1.063500 | c 21 > 6.782330 | c 20 > 100.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 > -1.000000 | c 2 > 6.643860 | c 10 > 8.531380 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.276120 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.760100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.89 c choco : 1.64
7.64/7.89 c mistral : 0.026995
7.64/7.89 c abscon : 2.14367
7.64/7.89 c
7.64/7.89 c
7.64/7.89 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-80-3-1.xml
7.64/7.89 c 19 > 0.000000 | c 35 > 35.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 13.111800 | c 34 > 71.000000 | c 16 > 4.000000 | c 13 > 1.970600 | c 14 > 5.930740 | c 11 > 6.643860 | c 12 > 1.416840 | c 21 > 6.782330 | c 20 > 100.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 > -1.000000 | c 2 > 6.643860 | c 10 > 8.930740 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.672430 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.143600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.90 c choco : 1.75
7.70/7.90 c mistral : 0.029995
7.70/7.90 c abscon : 2.70059
7.70/7.90 c
7.70/7.90 c
7.70/7.90 c /home/eomahony/cpZilla/CSP/pseudoSeries/jnh/jnh-301.xml
7.70/7.90 c 19 > 10.000000 | c 35 > 48.540000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.000000 | c 15 > 19.446100 | c 34 > 50.540000 | c 16 > 14.000000 | c 13 > 2.737180 | c 14 > 7.169930 | c 11 > 11.949100 | c 12 > 1.748410 | c 21 > 1.414210 | c 20 > 90.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 > 11.912100 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.874200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.174800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.90 c choco : 4.29
7.70/7.90 c mistral : 0.225964
7.70/7.90 c abscon : 1.43978
7.70/7.90 c
7.70/7.90 c
7.70/7.90 c /home/eomahony/cpZilla/CSP/pseudoSeries/jnh/jnh-1.xml
7.70/7.90 c 19 > 10.526300 | c 35 > 48.336800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.315790 | c 15 > 19.462700 | c 34 > 50.442100 | c 16 > 14.000000 | c 13 > 2.804390 | c 14 > 7.357550 | c 11 > 11.869600 | c 12 > 1.821930 | c 21 > 1.414210 | c 20 > 89.473700 | 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.830500 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.790300 | 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.70/7.91 c choco : 3.11
7.70/7.91 c mistral : 0.226965
7.70/7.91 c abscon : 1.37679
7.70/7.91 c
7.70/7.91 c
7.70/7.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/jnh/jnh-201.xml
7.70/7.91 c 19 > 11.111100 | c 35 > 48.377800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.666670 | c 15 > 17.021100 | c 34 > 50.600000 | c 16 > 14.000000 | c 13 > 2.303490 | c 14 > 5.906890 | c 11 > 11.795200 | c 12 > 0.970058 | c 21 > 1.414210 | c 20 > 88.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 > 11.754100 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.711700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.021800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.91 c choco : 2.99
7.70/7.91 c mistral : 0.139978
7.70/7.91 c abscon : 1.22681
7.70/7.91 c
7.70/7.91 c
7.70/7.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/jnh/jnh-212.xml
7.70/7.91 c 19 > 11.111100 | c 35 > 45.911100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.666670 | c 15 > 19.466500 | c 34 > 48.133300 | c 16 > 11.000000 | c 13 > 2.862780 | c 14 > 7.483820 | c 11 > 11.702200 | c 12 > 1.882090 | c 21 > 1.414210 | c 20 > 88.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 > 11.658200 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.612900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.873800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.92 c choco : 5.74
7.70/7.92 c mistral : 0.643902
7.70/7.92 c abscon : 1.59276
7.70/7.92 c
7.70/7.92 c
7.70/7.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-14-14.xml
7.70/7.92 c 19 > 0.000000 | c 35 > 86.470600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.764700 | c 15 > 19.399800 | c 34 > 107.059000 | c 16 > 14.000000 | c 13 > 6.837210 | c 14 > 11.345400 | c 11 > 11.346500 | c 12 > 4.792060 | c 21 > 1.414210 | c 20 > 100.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 > 11.173700 | c 1 > 8.199670 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.173700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.673100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.93 c choco : 1801.0
7.70/7.93 c mistral : 1.47
7.70/7.93 c abscon : 1.06484
7.70/7.93 c
7.70/7.93 c
7.70/7.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/jnh/jnh-217.xml
7.70/7.93 c 19 > 11.111100 | c 35 > 45.988900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.666670 | c 15 > 19.411900 | c 34 > 48.211100 | c 16 > 11.000000 | c 13 > 2.667550 | c 14 > 7.607330 | c 11 > 11.705200 | c 12 > 1.239150 | c 21 > 1.414210 | c 20 > 88.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 > 11.661300 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.616100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.878500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.93 c choco : 3.12
7.70/7.93 c mistral : 0.600908
7.70/7.93 c abscon : 1.38679
7.70/7.93 c
7.70/7.93 c
7.70/7.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/jnh/jnh-207.xml
7.70/7.93 c 19 > 11.111100 | c 35 > 45.955600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.666670 | c 15 > 19.497700 | c 34 > 48.177800 | c 16 > 11.000000 | c 13 > 2.845540 | c 14 > 7.434630 | c 11 > 11.703900 | c 12 > 1.329860 | c 21 > 1.414210 | c 20 > 88.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 > 11.660000 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.614700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.873100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.94 c choco : 3.28
7.70/7.94 c mistral : 0.211966
7.70/7.94 c abscon : 1.54576
7.70/7.94 c
7.70/7.94 c
7.70/7.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/jnh/jnh-7.xml
7.70/7.94 c 19 > 10.526300 | c 35 > 45.894700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.315790 | c 15 > 19.300000 | c 34 > 48.000000 | c 16 > 10.000000 | c 13 > 2.601710 | c 14 > 7.129280 | c 11 > 11.777300 | c 12 > 1.157360 | c 21 > 1.414210 | c 20 > 89.473700 | 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.735600 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.692600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.947500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.95 c choco : 3.25
7.70/7.95 c mistral : 0.217966
7.70/7.95 c abscon : 1.2908
7.70/7.95 c
7.70/7.95 c
7.70/7.95 c /home/eomahony/cpZilla/CSP/pseudoSeries/jnh/jnh-209.xml
7.70/7.95 c 19 > 11.111100 | c 35 > 45.577800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.666670 | c 15 > 19.564600 | c 34 > 47.800000 | c 16 > 11.000000 | c 13 > 2.877630 | c 14 > 7.499850 | c 11 > 11.689100 | c 12 > 1.881090 | c 21 > 1.414210 | c 20 > 88.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 > 11.644800 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.599000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.858600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.95 c choco : 3.3
7.70/7.95 c mistral : 0.273957
7.70/7.95 c abscon : 1.77673
7.70/7.95 c
7.70/7.95 c
7.70/7.95 c /home/eomahony/cpZilla/CSP/zhou/radi.xml
7.70/7.95 c 19 > 0.000000 | c 35 > 26.099300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.531900 | c 15 > 13.549100 | c 34 > 51.347500 | c 16 > 10.000000 | c 13 > 1.798220 | c 14 > 5.672430 | c 11 > 9.674190 | c 12 > 0.838548 | c 21 > 1.886300 | c 20 > 100.000000 | c 22 > 8.426150 | 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 > 2.584960 | c 10 > 9.768180 | c 1 > 6.321930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.033420 | c 6 > 9.228820 | c 32 > -1.000000 | c 5 > 12.258300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.96 c choco : 2.54
7.70/7.96 c mistral : 0.037993
7.70/7.96 c abscon : 42.6835
7.70/7.96 c
7.70/7.96 c
7.70/7.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/jnh/jnh-205.xml
7.70/7.96 c 19 > 11.111100 | c 35 > 45.677800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.666670 | c 15 > 18.913600 | c 34 > 47.900000 | c 16 > 11.000000 | c 13 > 2.633200 | c 14 > 6.727920 | c 11 > 11.693100 | c 12 > 1.186910 | c 21 > 1.414210 | c 20 > 88.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 > 11.648800 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.603200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.867400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.97 c choco : 3.25
7.70/7.97 c mistral : 0.281956
7.70/7.97 c abscon : 1.26681
7.70/7.97 c
7.70/7.97 c
7.70/7.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/jnh/jnh-12.xml
7.70/7.97 c 19 > 10.526300 | c 35 > 46.010500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.315790 | c 15 > 17.842000 | c 34 > 48.115800 | c 16 > 11.000000 | c 13 > 2.387900 | c 14 > 5.672430 | c 11 > 11.781800 | c 12 > 1.014680 | c 21 > 1.414210 | c 20 > 89.473700 | 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.740200 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.697400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.959900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.97 c choco : 3.17
7.70/7.97 c mistral : 0.172972
7.70/7.97 c abscon : 1.56176
7.70/7.97 c
7.70/7.97 c
7.70/7.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/jnh/jnh-220.xml
7.70/7.97 c 19 > 11.111100 | c 35 > 45.811100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.666670 | c 15 > 17.589200 | c 34 > 48.033300 | c 16 > 11.000000 | c 13 > 2.339020 | c 14 > 5.672430 | c 11 > 11.698300 | c 12 > 1.015970 | c 21 > 1.414210 | c 20 > 88.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 > 11.654200 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.608700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.862900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.98 c choco : 3.02
7.70/7.98 c mistral : 0.293954
7.70/7.98 c abscon : 1.51577
7.70/7.98 c
7.70/7.98 c
7.70/7.98 c Length: 40
7.70/7.98 c 1.8881379687141502 6.799033155508215 8.823295244329076 13.404726339261835 14.73864495764791 16.233823069868663 21.830488779317335 22.41687810654062 24.138091415584203 28.946037581627646 30.232339788165582 31.382231056040293 37.14260382518301 37.73937854437988 37.915408041141056 38.626113735506706 38.69654608130938 39.12072067716672 39.120734874667164 39.5102128684584 39.60695244071551 40.69002284870297 40.74180429382332 40.851367890712055 41.27406165900081 41.57094318412321 41.601210168986675 42.39886570765425 42.48015560598501 43.07666979384877 44.23347072947475 44.24262781250115 44.29000795731131 44.29391745496553 44.4669699642836 44.511108793737094 44.64398762361987 44.718928197595474 44.75980576627315 44.94282660905742
7.70/7.98 c
7.70/7.98 c 1.0 0.8976162741082775 0.8612686806981931 0.7889624542183742 0.7701375186279812 0.7500767997476774 0.6834398729779741 0.6771369438183766 0.6592898646139798 0.6140792932194079 0.6030162144408633 0.5934584649809856 0.5498040288775685 0.5456457970665153 0.5444312374295148 0.5395820400314005 0.5391061753282076 0.5362579636477957 0.5362578688192979 0.5336690113870247 0.5330298548579753 0.5259771669974563 0.525644650762465 0.5249424686096824 0.5222509564542228 0.5203769975847521 0.5201867031687956 0.5152213739345038 0.514720669304653 0.5110760059082344 0.5041531364275132 0.504099084015229 0.5038195936170371 0.5037965457498469 0.5027784484465903 0.5025194304910654 0.501741272059204 0.5013034707054662 0.501064986637229 0.5
7.70/8.00 c
7.70/8.00 c solver 0
7.70/8.00 c before 0.0 seconds: {} 0
7.70/8.00 c before 18.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 20354
7.70/8.00 c before 54.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9, 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} 20856
7.70/8.00 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 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.76/8.00 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 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} 22265
7.76/8.00 c before 144.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 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} 22868
7.76/8.00 c before 1638.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} 23461
7.76/8.00 c
7.76/8.00 c solver 1
7.76/8.00 c before 0.0 seconds: {} 0
7.76/8.00 c before 18.0 seconds: {1, 3, 6, 9, 12, 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} 17001
7.76/8.00 c before 162.0 seconds: {1, 3, 4, 6, 9, 12, 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} 17772
7.76/8.00 c before 990.0 seconds: {0, 1, 3, 4, 6, 9, 12, 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} 18772
7.76/8.00 c
7.76/8.00 c solver 2
7.76/8.00 c before 0.0 seconds: {} 0
7.76/8.00 c before 18.0 seconds: {14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 12963
7.76/8.00 c before 72.0 seconds: {0, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 13963
7.76/8.00 c before 594.0 seconds: {0, 2, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 14825
7.76/8.00 c
7.76/8.00 cTotal time: 179
7.76/8.00 c run abscon for 1638.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} 23461
7.76/8.00 c run mistral for 162.0 seconds {1, 3, 4, 6, 9, 12, 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} 17772
7.76/8.00 c do not run choco
7.76/8.00 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.76/8.00 c On Instance: HOME/instance-1062376-1215134706.xml
7.76/8.00 c Running for: 1638 seconds
8.83/9.16 s SAT
8.83/9.16 v 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1
8.83/9.16 d ASSIGNMENTS 1836
8.83/9.16 d CHECKS 67604