0.00/0.00 c cpHydra_k_40 version 0.0
6.99/7.14 c CASE TO CLASSIFY:
6.99/7.14 c Case: 0
6.99/7.15 c 19 > 0.000000 | c 35 > 65.384600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.307700 | c 15 > 20.958000 | c 34 > 84.615400 | c 16 > 10.000000 | c 13 > 8.998870 | c 14 > 12.980500 | c 11 > 10.129300 | c 12 > 7.931500 | 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
6.99/7.16 c choco : 1801.0
6.99/7.16 c mistral : 1801.0
6.99/7.16 c abscon : 1801.0
6.99/7.16 c
6.99/7.16 c
7.09/7.23 c List of same ones: 40
7.09/7.23 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-10-10.xml
7.09/7.23 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.09/7.24 c choco : 1801.0
7.09/7.24 c mistral : 0.25
7.09/7.24 c abscon : 0.823873
7.09/7.24 c
7.09/7.24 c
7.09/7.24 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-11-10.xml
7.09/7.24 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.09/7.25 c choco : 1801.0
7.09/7.25 c mistral : 146.81
7.09/7.25 c abscon : 2.55861
7.09/7.25 c
7.09/7.25 c
7.09/7.25 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-12-10.xml
7.09/7.25 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.09/7.26 c choco : 1801.0
7.09/7.26 c mistral : 1800.03
7.09/7.26 c abscon : 64.0893
7.09/7.26 c
7.09/7.26 c
7.09/7.26 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-11-9.xml
7.09/7.26 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.09/7.27 c choco : 588.27
7.09/7.27 c mistral : 1800.02
7.09/7.27 c abscon : 1.86871
7.09/7.27 c
7.09/7.27 c
7.09/7.27 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-10-9.xml
7.09/7.27 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.09/7.28 c choco : 1801.0
7.09/7.28 c mistral : 1.56
7.09/7.28 c abscon : 0.794878
7.09/7.28 c
7.09/7.28 c
7.09/7.28 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-11-11.xml
7.09/7.28 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.09/7.29 c choco : 1801.0
7.09/7.29 c mistral : 0.225965
7.09/7.29 c abscon : 0.843871
7.09/7.29 c
7.09/7.29 c
7.09/7.29 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-12-11.xml
7.09/7.29 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.09/7.29 c choco : 1801.0
7.09/7.29 c mistral : 1800.01
7.09/7.29 c abscon : 0.904862
7.09/7.29 c
7.09/7.29 c
7.09/7.29 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-13-11.xml
7.09/7.29 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.17/7.30 c choco : 1801.0
7.17/7.30 c mistral : 1800.08
7.17/7.30 c abscon : 124.961
7.17/7.30 c
7.17/7.30 c
7.17/7.30 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-10-8.xml
7.17/7.30 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.17/7.31 c choco : 54.88
7.17/7.31 c mistral : 988.574
7.17/7.31 c abscon : 1.02884
7.17/7.31 c
7.17/7.31 c
7.17/7.31 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-12-12.xml
7.17/7.31 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.17/7.32 c choco : 1801.0
7.17/7.32 c mistral : 0.67
7.17/7.32 c abscon : 0.920859
7.17/7.32 c
7.17/7.32 c
7.17/7.32 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-13-12.xml
7.17/7.32 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.36/7.52 c choco : 1801.0
7.36/7.52 c mistral : 1800.03
7.36/7.52 c abscon : 128.541
7.36/7.52 c
7.36/7.52 c
7.36/7.52 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-14-12.xml
7.36/7.52 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.36/7.53 c choco : 1801.0
7.36/7.53 c mistral : 1800.0
7.36/7.53 c abscon : 1628.67
7.36/7.53 c
7.36/7.53 c
7.36/7.53 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-13-13.xml
7.36/7.53 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.36/7.54 c choco : 1801.0
7.36/7.54 c mistral : 1.0
7.36/7.54 c abscon : 0.926858
7.36/7.54 c
7.36/7.54 c
7.36/7.54 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-14-13.xml
7.36/7.54 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.36/7.55 c choco : 1801.0
7.36/7.55 c mistral : 1800.04
7.36/7.55 c abscon : 1.01884
7.36/7.55 c
7.36/7.55 c
7.36/7.55 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e64-b.xml
7.36/7.55 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.36/7.56 c choco : 3.46
7.36/7.56 c mistral : 0.301953
7.36/7.56 c abscon : 2.43263
7.36/7.56 c
7.36/7.56 c
7.36/7.56 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-14-14.xml
7.36/7.56 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.36/7.56 c choco : 1801.0
7.36/7.56 c mistral : 1.47
7.36/7.56 c abscon : 1.06484
7.36/7.56 c
7.36/7.56 c
7.36/7.56 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/seymour.xml
7.36/7.56 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.36/7.57 c choco : 7.93
7.36/7.57 c mistral : 1.3058
7.36/7.57 c abscon : 2.56561
7.36/7.57 c
7.36/7.57 c
7.36/7.57 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-seymour.xml
7.36/7.57 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.36/7.58 c choco : 8.03
7.36/7.58 c mistral : 1.2898
7.36/7.58 c abscon : 4.09638
7.36/7.58 c
7.36/7.58 c
7.36/7.58 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-15-15.xml
7.36/7.58 c 19 > 0.000000 | c 35 > 91.963000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.666700 | c 15 > 19.308400 | c 34 > 112.815000 | c 16 > 15.000000 | c 13 > 7.288500 | c 14 > 11.102000 | c 11 > 11.604600 | c 12 > 5.019110 | 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.438800 | c 1 > 8.400880 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.438800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.006800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.36/7.58 c choco : 1801.0
7.36/7.58 c mistral : 2.03
7.36/7.58 c abscon : 1.09183
7.36/7.58 c
7.36/7.58 c
7.36/7.58 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/max1024-pi.xml
7.36/7.58 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.36/7.59 c choco : 3.87
7.36/7.59 c mistral : 0.249961
7.36/7.59 c abscon : 3.85641
7.36/7.59 c
7.36/7.59 c
7.36/7.59 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/prom2-pi.xml
7.36/7.59 c 19 > 0.000000 | c 35 > 77.468400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.346200 | c 34 > 77.468400 | c 16 > 30.000000 | c 13 > 1.680560 | c 14 > 10.958600 | c 11 > 11.348700 | c 12 > 2.513720 | c 21 > 1.413000 | 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 > 13.726800 | c 1 > 11.348700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.726800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.628800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.44/7.61 c choco : 6.44
7.44/7.61 c mistral : 0.99
7.44/7.61 c abscon : 7.10492
7.44/7.61 c
7.44/7.61 c
7.44/7.61 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-20-3-1.xml
7.44/7.61 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.44/7.61 c choco : 1.62
7.44/7.61 c mistral : 0.018996
7.44/7.61 c abscon : 2.05069
7.44/7.61 c
7.44/7.61 c
7.44/7.61 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-40-3-1.xml
7.44/7.61 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.44/7.62 c choco : 1.51
7.44/7.62 c mistral : 0.021996
7.44/7.62 c abscon : 1.90771
7.44/7.62 c
7.44/7.62 c
7.44/7.62 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-20-3-1.xml
7.44/7.62 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.44/7.62 c choco : 1.34
7.44/7.62 c mistral : 0.017996
7.44/7.62 c abscon : 3.63445
7.44/7.62 c
7.44/7.62 c
7.44/7.62 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-60-3-1.xml
7.44/7.62 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.44/7.63 c choco : 1.64
7.44/7.63 c mistral : 0.024995
7.44/7.63 c abscon : 2.03469
7.44/7.63 c
7.44/7.63 c
7.44/7.63 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-40-3-1.xml
7.44/7.63 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.44/7.63 c choco : 1.54
7.44/7.63 c mistral : 0.021995
7.44/7.63 c abscon : 2.23766
7.44/7.63 c
7.44/7.63 c
7.44/7.63 c /home/eomahony/cpZilla/CSP/primes/primes-10/primes-10-80-3-1.xml
7.44/7.63 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.44/7.64 c choco : 1.74
7.44/7.64 c mistral : 0.029994
7.44/7.64 c abscon : 2.04169
7.44/7.64 c
7.44/7.64 c
7.44/7.64 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-60-3-1.xml
7.44/7.64 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.44/7.65 c choco : 1.64
7.44/7.65 c mistral : 0.026995
7.44/7.65 c abscon : 2.14367
7.44/7.65 c
7.44/7.65 c
7.44/7.65 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-testprob.xml
7.44/7.65 c 19 > 0.000000 | c 35 > 41.666700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.000000 | c 15 > 12.379400 | c 34 > 83.333300 | c 16 > 44.000000 | c 13 > 0.086506 | c 14 > 5.247930 | c 11 > 7.392320 | c 12 > 0.787592 | 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 > 8.233620 | c 1 > 5.807350 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.233620 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 24.870000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.44/7.65 c choco : 1.31
7.44/7.65 c mistral : 0.03
7.44/7.65 c abscon : 25.8971
7.44/7.65 c
7.44/7.65 c
7.44/7.65 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos1.xml
7.44/7.65 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.44/7.66 c choco : 10.36
7.44/7.66 c mistral : 4.03139
7.44/7.66 c abscon : 8.01678
7.44/7.66 c
7.44/7.66 c
7.44/7.66 c /home/eomahony/cpZilla/CSP/primes/primes-15/primes-15-80-3-1.xml
7.44/7.66 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.44/7.66 c choco : 1.75
7.44/7.66 c mistral : 0.029995
7.44/7.66 c abscon : 2.70059
7.44/7.66 c
7.44/7.66 c
7.44/7.66 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-bm23.xml
7.44/7.66 c 19 > 0.000000 | c 35 > 65.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 18.000000 | c 15 > 16.325800 | c 34 > 126.000000 | c 16 > 26.000000 | c 13 > 1.848410 | c 14 > 5.727920 | c 11 > 9.513730 | c 12 > 0.893540 | 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.821770 | c 1 > 4.754890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.821770 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.909200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.44/7.67 c choco : 1.42
7.44/7.67 c mistral : 0.071988
7.44/7.67 c abscon : 4.93025
7.44/7.67 c
7.44/7.67 c
7.44/7.67 c /home/eomahony/cpZilla/CSP/pseudoSeries/jnh/jnh-301.xml
7.44/7.67 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.44/7.67 c choco : 4.29
7.44/7.68 c mistral : 0.225964
7.44/7.68 c abscon : 1.43978
7.44/7.68 c
7.44/7.68 c
7.44/7.68 c /home/eomahony/cpZilla/CSP/pseudoSeries/jnh/jnh-1.xml
7.44/7.68 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.44/7.68 c choco : 3.11
7.44/7.68 c mistral : 0.226965
7.44/7.68 c abscon : 1.37679
7.44/7.68 c
7.44/7.68 c
7.44/7.68 c /home/eomahony/cpZilla/CSP/mknap/mknap-1-0.xml
7.44/7.68 c 19 > 0.000000 | c 35 > 60.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 9.310610 | c 34 > 120.000000 | c 16 > 6.000000 | c 13 > 1.166680 | c 14 > 1.000000 | c 11 > 6.339850 | c 12 > 0.602665 | 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 > 6.807350 | c 1 > 2.584960 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.672430 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.881500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.44/7.69 c choco : 1.09
7.44/7.69 c mistral : 0.012997
7.44/7.69 c abscon : 0.6549
7.44/7.69 c
7.44/7.69 c
7.44/7.69 c /home/eomahony/cpZilla/CSP/pseudoSeries/jnh/jnh-201.xml
7.44/7.69 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.44/7.70 c choco : 2.99
7.44/7.70 c mistral : 0.139978
7.44/7.70 c abscon : 1.22681
7.44/7.70 c
7.44/7.70 c
7.44/7.70 c /home/eomahony/cpZilla/CSP/pseudoSeries/jnh/jnh-212.xml
7.44/7.70 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.50/7.70 c choco : 5.74
7.50/7.70 c mistral : 0.643902
7.50/7.70 c abscon : 1.59276
7.50/7.70 c
7.50/7.70 c
7.50/7.70 c /home/eomahony/cpZilla/CSP/pseudoSeries/jnh/jnh-217.xml
7.50/7.70 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.50/7.71 c choco : 3.12
7.50/7.71 c mistral : 0.600908
7.50/7.71 c abscon : 1.38679
7.50/7.71 c
7.50/7.71 c
7.50/7.71 c /home/eomahony/cpZilla/CSP/pseudoSeries/jnh/jnh-207.xml
7.50/7.71 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.50/7.71 c choco : 3.28
7.50/7.71 c mistral : 0.211966
7.50/7.71 c abscon : 1.54576
7.50/7.71 c
7.50/7.71 c
7.50/7.71 c /home/eomahony/cpZilla/CSP/pseudoSeries/jnh/jnh-7.xml
7.50/7.71 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.50/7.72 c choco : 3.25
7.50/7.72 c mistral : 0.217966
7.50/7.72 c abscon : 1.2908
7.50/7.72 c
7.50/7.72 c
7.50/7.72 c Length: 40
7.50/7.72 c 2.6574046335663657 2.7737370205554837 4.362845385594132 4.565865344948311 6.404756032597964 9.260312160456579 9.777496715708988 11.567489358849649 12.758393881100393 16.225889846137868 17.549854120593135 18.75774100465458 24.400885323268497 25.038980019801134 30.245432039022752 31.498918297632063 38.81189242414108 38.81193526679904 39.45060932870112 40.990146116101315 42.526841274848984 45.55792503582555 46.833237446295556 46.998343527246675 47.46671784506593 47.605715169807084 47.999105475544035 48.06500328461864 48.09248301253928 48.09463290850342 48.290879223085184 48.60390367665132 49.81838160797578 49.95349749982177 50.21852156600915 50.38397311780368 52.285401861746266 52.293074056470424 52.31110464187407 52.479744226210734
7.50/7.73 c
7.50/7.73 c 1.0 0.9976704949815934 0.9669024991835475 0.9631078448397133 0.9300471716438706 0.8829795550048327 0.8749598169110986 0.8482935988296411 0.8314347776894305 0.7859550612527276 0.7698756389564602 0.7557693747149186 0.696175065081093 0.6900226893128751 0.6436132720294008 0.6333574765280711 0.5794856720006009 0.5794853832403055 0.575212451787063 0.565166964683017 0.5554839215437287 0.5373253110978546 0.5300351944906132 0.5291058297198102 0.5264870486385781 0.5257148655716465 0.5235416588566608 0.5231793752207138 0.5230284491596165 0.5230166450251117 0.5219413821935023 0.5202353949613074 0.5137207238958202 0.5130060106121361 0.5116098911503468 0.51074215565158 0.5009770824849724 0.5009384370931411 0.5008476392154994 0.5
7.50/7.74 c
7.50/7.74 c solver 0
7.50/7.74 c before 0.0 seconds: {} 0
7.50/7.74 c before 18.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22096
7.50/7.74 c before 36.0 seconds: {0, 1, 3, 4, 5, 6, 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} 22619
7.50/7.74 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 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} 23586
7.50/7.74 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} 24434
7.50/7.74 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} 25204
7.50/7.74 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} 25960
7.50/7.74 c
7.50/7.74 c solver 1
7.50/7.74 c before 0.0 seconds: {} 0
7.50/7.74 c before 18.0 seconds: {0, 4, 5, 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} 18262
7.50/7.74 c before 162.0 seconds: {0, 1, 4, 5, 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} 19260
7.50/7.74 c before 990.0 seconds: {0, 1, 4, 5, 8, 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} 20091
7.50/7.74 c
7.50/7.74 c solver 2
7.50/7.74 c before 0.0 seconds: {} 0
7.50/7.74 c before 18.0 seconds: {14, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 12758
7.50/7.74 c before 72.0 seconds: {8, 14, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13590
7.50/7.74 c before 594.0 seconds: {3, 8, 14, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14553
7.50/7.74 c
7.50/7.74 cTotal time: 179
7.50/7.74 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} 25960
7.50/7.74 c run mistral for 162.0 seconds {0, 1, 4, 5, 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} 19260
7.50/7.74 c do not run choco
7.50/7.75 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.50/7.75 c On Instance: HOME/instance-1062334-1215134545.xml
7.50/7.75 c Running for: 1638 seconds
8.81/9.11 s SAT
8.81/9.11 v 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 1 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1
8.81/9.11 d ASSIGNMENTS 1966
8.81/9.11 d CHECKS 195642