0.00/0.00 c cpHydra_k_40 version 0.0
8.28/8.43 c CASE TO CLASSIFY:
8.28/8.43 c Case: 0
8.28/8.44 c 19 > 23.793800 | c 35 > 25.364100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.276300 | c 15 > 19.921600 | c 34 > 30.122900 | c 16 > 3.000000 | c 13 > 3.887740 | c 14 > 8.511750 | c 11 > 12.600600 | c 12 > 2.614130 | c 21 > 1.406340 | c 20 > 76.206200 | 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.323900 | c 1 > 12.600600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.081200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.903500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.28/8.45 c choco : 1801.0
8.28/8.45 c mistral : 1801.0
8.28/8.45 c abscon : 1801.0
8.28/8.45 c
8.28/8.45 c
8.38/8.52 c List of same ones: 40
8.38/8.52 c /home/eomahony/cpZilla/CSP/pseudoSeries/primesDimacs/bf-1355-075.xml
8.38/8.52 c 19 > 24.349400 | c 35 > 23.975200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.609600 | c 15 > 18.219300 | c 34 > 28.845100 | c 16 > 6.000000 | c 13 > 3.502530 | c 14 > 8.016810 | c 11 > 13.580300 | c 12 > 1.600970 | c 21 > 1.354740 | c 20 > 75.650600 | 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.348000 | c 1 > 11.830500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.071100 | 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
8.38/8.53 c choco : 10.43
8.38/8.53 c mistral : 1.62
8.38/8.53 c abscon : 36.2955
8.38/8.53 c
8.38/8.53 c
8.38/8.53 c /home/eomahony/cpZilla/CSP/pseudoSeries/primesDimacs/bf-1355-638.xml
8.38/8.53 c 19 > 24.351200 | c 35 > 23.970900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.610700 | c 15 > 18.024500 | c 34 > 28.841200 | c 16 > 6.000000 | c 13 > 3.426860 | c 14 > 8.335390 | c 11 > 13.629800 | c 12 > 1.567170 | c 21 > 1.364290 | c 20 > 75.648800 | 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.398900 | c 1 > 11.872700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.123800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.938300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.38/8.54 c choco : 10.61
8.38/8.54 c mistral : 2.17667
8.38/8.54 c abscon : 41.2657
8.38/8.54 c
8.38/8.54 c
8.38/8.54 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-5.xml
8.38/8.54 c 19 > 23.621100 | c 35 > 25.445700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.172700 | c 15 > 19.373400 | c 34 > 30.169900 | c 16 > 3.000000 | c 13 > 2.811720 | c 14 > 8.535280 | c 11 > 12.175500 | c 12 > 1.784900 | c 21 > 1.271900 | c 20 > 76.378900 | 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.965400 | c 1 > 10.292300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.719400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.526000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.38/8.55 c choco : 58.49
8.38/8.55 c mistral : 13.9669
8.38/8.55 c abscon : 107.188
8.38/8.55 c
8.38/8.55 c
8.38/8.55 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-2.xml
8.38/8.55 c 19 > 23.533500 | c 35 > 25.499700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.120100 | c 15 > 19.403800 | c 34 > 30.206400 | c 16 > 3.000000 | c 13 > 2.620250 | c 14 > 8.326430 | c 11 > 12.196600 | c 12 > 1.714510 | c 21 > 1.273840 | c 20 > 76.466500 | 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.988000 | c 1 > 10.303800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.744000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.550300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.38/8.56 c choco : 261.66
8.38/8.56 c mistral : 9.45956
8.38/8.56 c abscon : 21.2948
8.38/8.56 c
8.38/8.56 c
8.38/8.56 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-3.xml
8.38/8.56 c 19 > 23.698300 | c 35 > 25.398100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.219000 | c 15 > 19.460100 | c 34 > 30.137800 | c 16 > 3.000000 | c 13 > 2.663550 | c 14 > 8.442940 | c 11 > 12.153600 | c 12 > 1.781520 | c 21 > 1.269190 | c 20 > 76.301700 | 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.942500 | c 1 > 10.276100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.695200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.501800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.38/8.57 c choco : 1801.0
8.38/8.57 c mistral : 43.1674
8.38/8.57 c abscon : 40.2669
8.38/8.57 c
8.38/8.57 c
8.38/8.57 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-4.xml
8.38/8.57 c 19 > 23.809500 | c 35 > 25.329600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.285700 | c 15 > 19.368100 | c 34 > 30.091500 | c 16 > 3.000000 | c 13 > 2.547980 | c 14 > 8.262090 | c 11 > 12.133100 | c 12 > 1.704880 | c 21 > 1.268800 | c 20 > 76.190500 | 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.919200 | c 1 > 10.273800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.668000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.475700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.38/8.58 c choco : 1801.0
8.38/8.58 c mistral : 3.97
8.38/8.58 c abscon : 90.0093
8.38/8.58 c
8.38/8.58 c
8.38/8.58 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-1.xml
8.38/8.58 c 19 > 23.888000 | c 35 > 25.281200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.332800 | c 15 > 19.394200 | c 34 > 30.058800 | c 16 > 3.000000 | c 13 > 2.449720 | c 14 > 8.118940 | c 11 > 12.103900 | c 12 > 1.693210 | c 21 > 1.264130 | c 20 > 76.112000 | 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.889900 | c 1 > 10.245600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.638400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.445500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.38/8.59 c choco : 61.68
8.38/8.59 c mistral : 2.5986
8.38/8.59 c abscon : 42.7435
8.38/8.59 c
8.38/8.59 c
8.38/8.59 c /home/eomahony/cpZilla/CSP/pseudoSeries/primesDimacs/bf-0432-007.xml
8.38/8.59 c 19 > 22.118200 | c 35 > 24.772400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.270900 | c 15 > 19.211100 | c 34 > 29.196100 | c 16 > 6.000000 | c 13 > 3.352130 | c 14 > 8.523560 | c 11 > 12.806500 | c 12 > 1.932700 | c 21 > 1.370710 | c 20 > 77.881800 | 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.609600 | c 1 > 10.836100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.381500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.168400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.38/8.60 c choco : 1801.0
8.38/8.60 c mistral : 1022.21
8.38/8.60 c abscon : 1800.12
8.38/8.60 c
8.38/8.60 c
8.38/8.60 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-2-c.xml
8.38/8.60 c 19 > 20.046000 | c 35 > 27.294700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.027600 | c 15 > 19.533400 | c 34 > 31.303800 | c 16 > 3.000000 | c 13 > 2.882080 | c 14 > 8.543030 | c 11 > 11.714200 | c 12 > 2.001820 | c 21 > 1.414210 | c 20 > 79.954000 | 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.556000 | c 1 > 9.447080 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.378300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.176800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.45/8.60 c choco : 11.83
8.45/8.60 c mistral : 17.3514
8.45/8.60 c abscon : 72.319
8.45/8.60 c
8.45/8.60 c
8.45/8.61 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-5-c.xml
8.45/8.61 c 19 > 20.047000 | c 35 > 27.278100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.028200 | c 15 > 19.476000 | c 34 > 31.287500 | c 16 > 3.000000 | c 13 > 3.124660 | c 14 > 8.700440 | c 11 > 11.679500 | c 12 > 2.120210 | c 21 > 1.414210 | c 20 > 79.953000 | 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.521100 | c 1 > 9.413630 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.343200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.141500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.45/8.61 c choco : 72.04
8.45/8.61 c mistral : 0.78388
8.45/8.61 c abscon : 64.5282
8.45/8.61 c
8.45/8.61 c
8.45/8.61 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-3-c.xml
8.45/8.61 c 19 > 20.048000 | c 35 > 27.262900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.028800 | c 15 > 19.442300 | c 34 > 31.272500 | c 16 > 3.000000 | c 13 > 3.009120 | c 14 > 8.727920 | c 11 > 11.648400 | c 12 > 2.063950 | c 21 > 1.414210 | c 20 > 79.952000 | 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.489800 | c 1 > 9.383700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.311700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.109800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.45/8.62 c choco : 314.14
8.45/8.62 c mistral : 74.9086
8.45/8.63 c abscon : 8.98763
8.45/8.63 c
8.45/8.63 c
8.45/8.63 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-4-c.xml
8.45/8.63 c 19 > 20.049500 | c 35 > 27.240100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.029700 | c 15 > 19.560800 | c 34 > 31.250000 | c 16 > 3.000000 | c 13 > 3.183300 | c 14 > 8.851750 | c 11 > 11.602700 | c 12 > 2.201940 | c 21 > 1.414210 | c 20 > 79.950500 | 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.444000 | c 1 > 9.339850 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.265600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.063400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.45/8.64 c choco : 91.34
8.45/8.64 c mistral : 9.8435
8.45/8.64 c abscon : 3.3155
8.45/8.64 c
8.45/8.64 c
8.45/8.64 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-3-4-4.xml
8.45/8.64 c 19 > 22.954500 | c 35 > 27.704500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.772700 | c 15 > 19.443100 | c 34 > 32.272700 | c 16 > 3.000000 | c 13 > 5.320490 | c 14 > 10.510800 | c 11 > 10.778100 | c 12 > 4.065160 | c 21 > 1.414210 | c 20 > 77.045500 | 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.605500 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.405100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.249100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.45/8.66 c choco : 45.26
8.45/8.66 c mistral : 4.17536
8.45/8.66 c abscon : 2.38464
8.45/8.66 c
8.45/8.66 c
8.45/8.66 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-3-4-3.xml
8.45/8.66 c 19 > 22.954500 | c 35 > 27.704500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.772700 | c 15 > 19.457600 | c 34 > 32.272700 | c 16 > 3.000000 | c 13 > 5.930490 | c 14 > 10.533300 | c 11 > 10.778100 | c 12 > 4.285280 | c 21 > 1.414210 | c 20 > 77.045500 | 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.605500 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.405100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.249100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.45/8.66 c choco : 34.73
8.45/8.66 c mistral : 14.1748
8.45/8.66 c abscon : 9.07162
8.45/8.66 c
8.45/8.66 c
8.45/8.66 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-3-4-1.xml
8.45/8.66 c 19 > 22.954500 | c 35 > 27.704500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.772700 | c 15 > 19.365600 | c 34 > 32.272700 | c 16 > 3.000000 | c 13 > 5.937570 | c 14 > 10.597100 | c 11 > 10.778100 | c 12 > 4.558220 | c 21 > 1.414210 | c 20 > 77.045500 | 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.605500 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.405100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.249100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.45/8.67 c choco : 38.17
8.45/8.67 c mistral : 7.74
8.45/8.67 c abscon : 3.54046
8.45/8.67 c
8.45/8.67 c
8.45/8.67 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-3-4-2.xml
8.45/8.67 c 19 > 22.727300 | c 35 > 27.727300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.636400 | c 15 > 19.401900 | c 34 > 32.272700 | c 16 > 3.000000 | c 13 > 6.138740 | c 14 > 10.438800 | c 11 > 10.781400 | c 12 > 4.486780 | c 21 > 1.414210 | c 20 > 77.272700 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.607300 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.409400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.252700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.45/8.67 c choco : 357.8
8.45/8.67 c mistral : 131.09
8.45/8.67 c abscon : 52.2991
8.45/8.67 c
8.45/8.67 c
8.45/8.67 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-1-c.xml
8.45/8.67 c 19 > 20.050600 | c 35 > 27.223300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.030400 | c 15 > 16.569400 | c 34 > 31.233400 | c 16 > 3.000000 | c 13 > 2.249130 | c 14 > 6.539160 | c 11 > 11.569900 | c 12 > 0.919491 | c 21 > 1.414210 | c 20 > 79.949400 | 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.411000 | c 1 > 9.308340 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.232400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.030000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.45/8.68 c choco : 1801.0
8.45/8.68 c mistral : 2.95655
8.45/8.68 c abscon : 24.3413
8.45/8.68 c
8.45/8.68 c
8.45/8.68 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-2670-130.xml
8.45/8.68 c 19 > 29.063300 | c 35 > 22.324600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 17.438000 | c 15 > 19.076800 | c 34 > 28.137300 | c 16 > 5.000000 | c 13 > 4.659350 | c 14 > 9.467610 | c 11 > 12.717700 | c 12 > 2.726720 | c 21 > 1.399310 | c 20 > 70.936700 | 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.407800 | c 1 > 11.346500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.012600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.930900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.45/8.69 c choco : 1801.0
8.45/8.69 c mistral : 51.4592
8.45/8.69 c abscon : 146.483
8.45/8.69 c
8.45/8.69 c
8.45/8.69 c /home/eomahony/cpZilla/CSP/pseudoSeries/primesDimacs/bf-2670-001.xml
8.45/8.69 c 19 > 28.894400 | c 35 > 22.383300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 17.336700 | c 15 > 18.605900 | c 34 > 28.162200 | c 16 > 5.000000 | c 13 > 5.614460 | c 14 > 9.768180 | c 11 > 12.675500 | c 12 > 3.106000 | c 21 > 1.370910 | c 20 > 71.105600 | 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.376400 | c 1 > 11.258600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.998600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.895000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.45/8.69 c choco : 7.07
8.45/8.69 c mistral : 1.01684
8.45/8.70 c abscon : 10.6024
8.45/8.70 c
8.45/8.70 c
8.45/8.70 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-3-4-2.xml
8.45/8.70 c 19 > 23.409100 | c 35 > 27.659100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.045500 | c 15 > 17.740600 | c 34 > 32.272700 | c 16 > 3.000000 | c 13 > 4.834040 | c 14 > 9.344300 | c 11 > 9.771490 | c 12 > 3.398280 | c 21 > 1.414210 | c 20 > 76.590900 | 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.601770 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.396600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.242000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.71 c choco : 4.81
8.52/8.71 c mistral : 0.34
8.52/8.71 c abscon : 1.48377
8.52/8.71 c
8.52/8.71 c
8.52/8.71 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-3-4-3.xml
8.52/8.71 c 19 > 22.727300 | c 35 > 27.727300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.636400 | c 15 > 17.157600 | c 34 > 32.272700 | c 16 > 3.000000 | c 13 > 4.132940 | c 14 > 8.665340 | c 11 > 9.781360 | c 12 > 2.782550 | c 21 > 1.414210 | c 20 > 77.272700 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.607330 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.409390 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.252700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.71 c choco : 5.62
8.52/8.71 c mistral : 0.11
8.52/8.71 c abscon : 1.16782
8.52/8.71 c
8.52/8.71 c
8.52/8.71 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-3-4-1.xml
8.52/8.71 c 19 > 22.954500 | c 35 > 27.704500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.772700 | c 15 > 19.246400 | c 34 > 32.272700 | c 16 > 3.000000 | c 13 > 5.828780 | c 14 > 10.685600 | c 11 > 9.778080 | c 12 > 4.430540 | c 21 > 1.414210 | c 20 > 77.045500 | 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.605480 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.405140 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.249100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.72 c choco : 4.27
8.52/8.72 c mistral : 0.27
8.52/8.72 c abscon : 1.19282
8.52/8.72 c
8.52/8.72 c
8.52/8.72 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-7552-038.xml
8.52/8.72 c 19 > 29.593800 | c 35 > 22.172700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 17.756300 | c 15 > 18.856400 | c 34 > 28.091500 | c 16 > 6.000000 | c 13 > 6.224230 | c 14 > 10.164900 | c 11 > 12.863600 | c 12 > 2.769670 | c 21 > 1.404760 | c 20 > 70.406200 | 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.548800 | c 1 > 11.512700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.145600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.052400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.72 c choco : 8.89
8.52/8.72 c mistral : 1.66774
8.52/8.72 c abscon : 12.4811
8.52/8.72 c
8.52/8.72 c
8.52/8.72 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-8-3.xml
8.52/8.72 c 19 > 23.680600 | c 35 > 25.521000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.208400 | c 15 > 14.832800 | c 34 > 30.257100 | c 16 > 3.000000 | c 13 > 1.693640 | c 14 > 4.754890 | c 11 > 10.151000 | c 12 > 0.826979 | c 21 > 1.201190 | c 20 > 76.319400 | 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.939580 | c 1 > 8.276120 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.691740 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.473700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.73 c choco : 3.29
8.52/8.73 c mistral : 0.154976
8.52/8.73 c abscon : 1.46978
8.52/8.73 c
8.52/8.73 c
8.52/8.73 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-3-4-4.xml
8.52/8.73 c 19 > 22.954500 | c 35 > 27.704500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.772700 | c 15 > 19.946200 | c 34 > 32.272700 | c 16 > 3.000000 | c 13 > 6.558770 | c 14 > 11.228200 | c 11 > 9.778080 | c 12 > 5.750470 | c 21 > 1.414210 | c 20 > 77.045500 | 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.605480 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.405140 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.249100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.74 c choco : 3.18
8.52/8.74 c mistral : 0.379941
8.52/8.74 c abscon : 1.3278
8.52/8.74 c
8.52/8.74 c
8.52/8.74 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-2670-141.xml
8.52/8.74 c 19 > 29.906000 | c 35 > 21.856200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 17.943600 | c 15 > 19.227200 | c 34 > 27.837400 | c 16 > 5.000000 | c 13 > 4.671110 | c 14 > 9.856430 | c 11 > 12.236600 | c 12 > 3.130120 | c 21 > 1.408820 | c 20 > 70.094000 | 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.912500 | c 1 > 10.923300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.493900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.426800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.74 c choco : 141.64
8.52/8.74 c mistral : 64.3662
8.52/8.74 c abscon : 427.927
8.52/8.74 c
8.52/8.74 c
8.52/8.74 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-8-1.xml
8.52/8.74 c 19 > 24.038500 | c 35 > 25.302200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.423100 | c 15 > 13.427200 | c 34 > 30.109900 | c 16 > 3.000000 | c 13 > 1.426040 | c 14 > 3.807350 | c 11 > 9.998590 | c 12 > 0.682648 | c 21 > 1.186830 | c 20 > 75.961500 | 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.781360 | c 1 > 8.159870 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.525520 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.303800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.75 c choco : 3.26
8.52/8.75 c mistral : 0.13
8.52/8.75 c abscon : 1.44278
8.52/8.75 c
8.52/8.75 c
8.52/8.75 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-3-4-3.xml
8.52/8.75 c 19 > 22.727300 | c 35 > 27.727300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.636400 | c 15 > 15.812600 | c 34 > 32.272700 | c 16 > 3.000000 | c 13 > 3.248160 | c 14 > 7.707360 | c 11 > 8.781360 | c 12 > 2.262350 | c 21 > 1.414210 | c 20 > 77.272700 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.607330 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.409390 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.252700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.75 c choco : 1.92
8.52/8.75 c mistral : 0.046992
8.52/8.75 c abscon : 0.863867
8.52/8.75 c
8.52/8.75 c
8.52/8.75 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-3-4-2.xml
8.52/8.75 c 19 > 22.727300 | c 35 > 27.727300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.636400 | c 15 > 15.625100 | c 34 > 32.272700 | c 16 > 3.000000 | c 13 > 3.001290 | c 14 > 7.523560 | c 11 > 8.781360 | c 12 > 2.060200 | c 21 > 1.414210 | c 20 > 77.272700 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.607330 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.409390 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.252700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.76 c choco : 1.95
8.52/8.76 c mistral : 0.042993
8.52/8.76 c abscon : 0.877865
8.52/8.76 c
8.52/8.76 c
8.52/8.76 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-8-4.xml
8.52/8.76 c 19 > 23.939800 | c 35 > 25.362500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.363900 | c 15 > 12.463300 | c 34 > 30.150500 | c 16 > 3.000000 | c 13 > 1.242610 | c 14 > 2.807350 | c 11 > 10.078200 | c 12 > 0.620554 | c 21 > 1.198810 | c 20 > 76.060200 | 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.857980 | c 1 > 8.257390 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.598050 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.381500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.76 c choco : 3.27
8.52/8.76 c mistral : 0.12
8.52/8.77 c abscon : 1.50577
8.52/8.77 c
8.52/8.77 c
8.52/8.77 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-7552-160.xml
8.52/8.77 c 19 > 30.822100 | c 35 > 21.721700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 18.493200 | c 15 > 14.867100 | c 34 > 27.886100 | c 16 > 5.000000 | c 13 > 2.359390 | c 14 > 7.499850 | c 11 > 12.679000 | c 12 > 0.557124 | c 21 > 1.407840 | c 20 > 69.177900 | 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.342100 | c 1 > 11.415700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.901600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.841300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.78 c choco : 6.81
8.52/8.78 c mistral : 0.49
8.52/8.78 c abscon : 8.16176
8.52/8.78 c
8.52/8.78 c
8.52/8.78 c /home/eomahony/cpZilla/CSP/xml/par/par-8-2.xml
8.52/8.78 c 19 > 23.907100 | c 35 > 25.382500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.344300 | c 15 > 12.318000 | c 34 > 30.163900 | c 16 > 3.000000 | c 13 > 1.230230 | c 14 > 2.807350 | c 11 > 10.075500 | c 12 > 0.613645 | c 21 > 1.196420 | c 20 > 76.092900 | 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.857980 | c 1 > 8.238400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.601770 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.383700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.78 c choco : 3.22
8.52/8.78 c mistral : 0.133979
8.52/8.78 c abscon : 1.45078
8.52/8.78 c
8.52/8.78 c
8.52/8.78 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-3-4-4.xml
8.52/8.78 c 19 > 23.636400 | c 35 > 27.636400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.181800 | c 15 > 14.822200 | c 34 > 32.272700 | c 16 > 3.000000 | c 13 > 2.815570 | c 14 > 6.672430 | c 11 > 8.768180 | c 12 > 1.798820 | c 21 > 1.414210 | c 20 > 76.363600 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.599910 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.392320 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.238400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.79 c choco : 2.0
8.52/8.79 c mistral : 0.040993
8.52/8.79 c abscon : 0.920859
8.52/8.79 c
8.52/8.79 c
8.52/8.79 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-8-5.xml
8.52/8.79 c 19 > 23.680600 | c 35 > 25.521000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.208400 | c 15 > 11.764500 | c 34 > 30.257100 | c 16 > 3.000000 | c 13 > 1.284440 | c 14 > 2.321930 | c 11 > 10.156100 | c 12 > 0.614581 | c 21 > 1.202380 | c 20 > 76.319400 | 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.943980 | c 1 > 8.285400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.695230 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.477800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.79 c choco : 3.25
8.52/8.79 c mistral : 0.13
8.52/8.79 c abscon : 1.39879
8.52/8.79 c
8.52/8.79 c
8.52/8.79 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-0432-003.xml
8.52/8.79 c 19 > 29.835400 | c 35 > 22.153600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 17.901200 | c 15 > 20.014700 | c 34 > 28.120700 | c 16 > 5.000000 | c 13 > 7.663500 | c 14 > 11.704800 | c 11 > 10.696100 | c 12 > 5.396660 | c 21 > 1.327000 | c 20 > 70.164600 | 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.375000 | c 1 > 9.370690 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.961450 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.848200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.59/8.81 c choco : 1801.0
8.59/8.81 c mistral : 0.393939
8.59/8.81 c abscon : 29.5855
8.59/8.81 c
8.59/8.81 c
8.59/8.81 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-7552-159.xml
8.59/8.81 c 19 > 31.040800 | c 35 > 21.735400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 18.624500 | c 15 > 13.875900 | c 34 > 27.943500 | c 16 > 5.000000 | c 13 > 1.756260 | c 14 > 7.238400 | c 11 > 12.511300 | c 12 > 0.433454 | c 21 > 1.379550 | c 20 > 68.959200 | 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.169600 | c 1 > 11.265600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.721100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.655600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.59/8.81 c choco : 5.96
8.59/8.81 c mistral : 0.44
8.59/8.81 c abscon : 3.86641
8.59/8.81 c
8.59/8.81 c
8.59/8.81 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-8-3-c.xml
8.59/8.81 c 19 > 20.107200 | c 35 > 27.185000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.064300 | c 15 > 13.908600 | c 34 > 31.206400 | c 16 > 3.000000 | c 13 > 1.883020 | c 14 > 4.169930 | c 11 > 9.483820 | c 12 > 0.945591 | c 21 > 1.414210 | c 20 > 79.892800 | 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.324180 | c 1 > 7.228820 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.144660 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.942500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.59/8.82 c choco : 2.15
8.59/8.82 c mistral : 0.044993
8.59/8.82 c abscon : 0.939856
8.59/8.82 c
8.59/8.82 c
8.59/8.82 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-7552-158.xml
8.59/8.82 c 19 > 31.026600 | c 35 > 21.736900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 18.616000 | c 15 > 13.784300 | c 34 > 27.942200 | c 16 > 5.000000 | c 13 > 1.789010 | c 14 > 7.118940 | c 11 > 12.447600 | c 12 > 0.432749 | c 21 > 1.365110 | c 20 > 68.973400 | 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.106200 | c 1 > 11.200900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.658200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.585300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.59/8.83 c choco : 5.94
8.59/8.83 c mistral : 0.46
8.59/8.83 c abscon : 3.79442
8.59/8.83 c
8.59/8.83 c
8.59/8.83 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-8-5-c.xml
8.59/8.83 c 19 > 20.107200 | c 35 > 27.185000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.064300 | c 15 > 13.441400 | c 34 > 31.206400 | c 16 > 3.000000 | c 13 > 1.828280 | c 14 > 4.000000 | c 11 > 9.483820 | c 12 > 0.899889 | c 21 > 1.414210 | c 20 > 79.892800 | 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.324180 | c 1 > 7.228820 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.144660 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.942500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.59/8.83 c choco : 2.07
8.59/8.83 c mistral : 0.042992
8.59/8.83 c abscon : 0.932857
8.59/8.83 c
8.59/8.83 c
8.59/8.83 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-3-4-1.xml
8.59/8.83 c 19 > 22.727300 | c 35 > 27.727300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.636400 | c 15 > 13.386700 | c 34 > 32.272700 | c 16 > 3.000000 | c 13 > 1.842460 | c 14 > 5.357550 | c 11 > 8.781360 | c 12 > 1.076620 | c 21 > 1.414210 | c 20 > 77.272700 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.607330 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.409390 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.252700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.59/8.84 c choco : 1.84
8.59/8.84 c mistral : 0.03
8.59/8.84 c abscon : 0.919859
8.59/8.84 c
8.59/8.84 c
8.59/8.84 c Length: 40
8.59/8.84 c 4.709634164486665 4.748716767517306 4.954384945459931 4.981578364022792 5.018629659259587 5.113212615108041 5.208331574218369 5.4851474729491105 8.540529420791197 8.55554296036786 8.61125120772818 8.643169105663738 8.934047607909868 9.094026235502074 9.16912713751969 9.221551553263692 9.757111500593863 9.918488466026462 9.931407929145797 10.75848340513197 10.902370129361781 11.060673165187552 11.118891607556932 11.44321786445146 11.594857741856949 11.595475889751139 12.780037596714026 13.334314989154862 13.426439736080448 13.599601069464354 13.650151344089048 13.68717798390249 13.727190391074204 14.083528278975441 14.132879818607389 14.504744910337998 14.523211590038239 14.570131238223661 14.78654990536606 14.796662567673835
8.59/8.85 c
8.59/8.85 c 1.0 0.9961404133327549 0.9763108776706638 0.9737479564851214 0.9702775313133367 0.9615295419754617 0.9528896347265021 0.9286066439099846 0.7247509506425587 0.723969989892845 0.7210868587538901 0.7194453001235352 0.7048226524832126 0.697030980557076 0.6934323431907821 0.6909422465791636 0.6664920927677066 0.6594603657669211 0.6589038314423689 0.625130446935601 0.6196053072473178 0.6136383405266551 0.6114726973814923 0.5996826002126873 0.5943246903676869 0.594303045203785 0.5555316684991363 0.5390757348971101 0.5364346662874997 0.531539805927402 0.530127669871983 0.5290980718270704 0.5279899353303092 0.5183222118080647 0.5170111077660084 0.5073412034577264 0.5068704184181343 0.5056781812288504 0.500250761017674 0.5
8.59/8.86 c
8.59/8.86 c solver 0
8.59/8.86 c before 0.0 seconds: {} 0
8.59/8.86 c before 18.0 seconds: {10, 11, 12, 13, 14, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 14646
8.59/8.86 c before 36.0 seconds: {3, 10, 11, 12, 13, 14, 16, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16804
8.59/8.86 c before 54.0 seconds: {0, 1, 3, 4, 6, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21414
8.59/8.86 c before 72.0 seconds: {0, 1, 3, 4, 6, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22138
8.59/8.86 c before 90.0 seconds: {0, 1, 3, 4, 6, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22863
8.59/8.86 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24800
8.59/8.86 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25460
8.59/8.86 c before 432.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26054
8.59/8.86 c
8.59/8.86 c solver 1
8.59/8.86 c before 0.0 seconds: {} 0
8.59/8.86 c before 18.0 seconds: {0, 1, 2, 3, 5, 6, 8, 9, 11, 12, 13, 14, 16, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22418
8.59/8.86 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24048
8.59/8.86 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 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} 24642
8.59/8.86 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 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} 25363
8.59/8.86 c before 144.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26054
8.59/8.86 c before 1026.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} 26983
8.59/8.86 c
8.59/8.86 c solver 2
8.59/8.86 c before 0.0 seconds: {} 0
8.59/8.86 c before 18.0 seconds: {0, 1, 8, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 13831
8.59/8.86 c before 36.0 seconds: {0, 1, 8, 13, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 14528
8.59/8.86 c before 54.0 seconds: {0, 1, 8, 12, 13, 14, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 15927
8.59/8.86 c before 72.0 seconds: {0, 1, 2, 6, 8, 12, 13, 14, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 17856
8.59/8.86 c before 90.0 seconds: {0, 1, 2, 6, 8, 9, 12, 13, 14, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 18580
8.59/8.86 c before 108.0 seconds: {0, 1, 2, 6, 8, 9, 11, 12, 13, 14, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 19299
8.59/8.86 c before 144.0 seconds: {0, 1, 2, 6, 8, 9, 11, 12, 13, 14, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 19894
8.59/8.86 c before 270.0 seconds: {0, 1, 2, 3, 6, 8, 9, 11, 12, 13, 14, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 20867
8.59/8.86 c before 324.0 seconds: {0, 1, 2, 3, 6, 8, 9, 10, 11, 12, 13, 14, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 21588
8.59/8.86 c before 360.0 seconds: {0, 1, 2, 3, 6, 8, 9, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 22279
8.59/8.86 c
8.59/8.86 cTotal time: 101
8.59/8.87 c run abscon for 432.0 seconds {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26054
8.59/8.87 c run mistral for 1026.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} 26983
8.59/8.87 c run choco for 324.0 seconds {0, 1, 2, 3, 6, 8, 9, 10, 11, 12, 13, 14, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 21588
8.59/8.87 c Starting solver: HOME/cpHydra_k_40/solver/abscon
8.59/8.87 c On Instance: HOME/instance-1060759-1215128558.xml
8.59/8.87 c Running for: 432 seconds
441.44/441.97 c Starting solver: HOME/cpHydra_k_40/solver/mistral
441.44/441.97 c On Instance: HOME/instance-1060759-1215128558.xml
441.44/441.97 c Running for: 1026 seconds
1467.37/1468.30 c Starting solver: HOME/cpHydra_k_40/solver/choco
1467.37/1468.30 c On Instance: HOME/instance-1060759-1215128558.xml
1467.37/1468.30 c Running for: 324 seconds