0.00/0.00 c cpHydra_k_40 version 0.0
7.16/7.36 c CASE TO CLASSIFY:
7.16/7.36 c Case: 0
7.16/7.36 c 19 > 20.046000 | c 35 > 27.294700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.027600 | c 15 > 20.674100 | c 34 > 31.303800 | c 16 > 3.000000 | c 13 > 3.593740 | c 14 > 9.633000 | c 11 > 11.714200 | c 12 > 2.551960 | 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
7.16/7.37 c choco : 1801.0
7.16/7.37 c mistral : 1801.0
7.16/7.37 c abscon : 1801.0
7.16/7.37 c
7.16/7.37 c
7.25/7.45 c List of same ones: 40
7.25/7.45 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-4-c.xml
7.25/7.45 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
7.25/7.46 c choco : 91.34
7.25/7.46 c mistral : 9.8435
7.25/7.46 c abscon : 3.3155
7.25/7.46 c
7.25/7.46 c
7.25/7.46 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-5-c.xml
7.25/7.46 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
7.25/7.46 c choco : 72.04
7.25/7.46 c mistral : 0.78388
7.25/7.46 c abscon : 64.5282
7.25/7.46 c
7.25/7.46 c
7.25/7.46 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-3-c.xml
7.25/7.46 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
7.25/7.47 c choco : 314.14
7.25/7.47 c mistral : 74.9086
7.25/7.47 c abscon : 8.98763
7.25/7.47 c
7.25/7.47 c
7.25/7.48 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-2-c.xml
7.25/7.48 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
7.25/7.48 c choco : 11.83
7.25/7.48 c mistral : 17.3514
7.25/7.48 c abscon : 72.319
7.25/7.48 c
7.25/7.48 c
7.25/7.48 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-1-c.xml
7.25/7.48 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
7.25/7.49 c choco : 1801.0
7.25/7.49 c mistral : 2.95655
7.25/7.49 c abscon : 24.3413
7.25/7.49 c
7.25/7.49 c
7.25/7.49 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-3-4-4.xml
7.25/7.49 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
7.34/7.50 c choco : 45.26
7.34/7.50 c mistral : 4.17536
7.34/7.50 c abscon : 2.38464
7.34/7.50 c
7.34/7.50 c
7.34/7.50 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-3-4-2.xml
7.34/7.50 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
7.34/7.51 c choco : 357.8
7.34/7.51 c mistral : 131.09
7.34/7.51 c abscon : 52.2991
7.34/7.51 c
7.34/7.51 c
7.34/7.51 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-3-4-3.xml
7.34/7.51 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
7.34/7.52 c choco : 34.73
7.34/7.52 c mistral : 14.1748
7.34/7.52 c abscon : 9.07162
7.34/7.52 c
7.34/7.52 c
7.34/7.52 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-3-4-1.xml
7.34/7.52 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
7.34/7.53 c choco : 38.17
7.34/7.53 c mistral : 7.74
7.34/7.53 c abscon : 3.54046
7.34/7.53 c
7.34/7.53 c
7.34/7.53 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-2.xml
7.34/7.53 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
7.34/7.54 c choco : 261.66
7.34/7.54 c mistral : 9.45956
7.34/7.54 c abscon : 21.2948
7.34/7.54 c
7.34/7.54 c
7.34/7.54 c /home/eomahony/cpZilla/CSP/pseudoSeries/primesDimacs/bf-0432-007.xml
7.34/7.54 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
7.34/7.55 c choco : 1801.0
7.34/7.55 c mistral : 1022.21
7.34/7.55 c abscon : 1800.12
7.34/7.55 c
7.34/7.55 c
7.34/7.55 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-5.xml
7.34/7.55 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
7.34/7.56 c choco : 58.49
7.34/7.56 c mistral : 13.9669
7.34/7.56 c abscon : 107.188
7.34/7.56 c
7.34/7.56 c
7.34/7.56 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-3.xml
7.34/7.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
7.34/7.58 c choco : 1801.0
7.34/7.58 c mistral : 43.1674
7.34/7.58 c abscon : 40.2669
7.34/7.58 c
7.34/7.58 c
7.34/7.58 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-4.xml
7.34/7.58 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
7.34/7.58 c choco : 1801.0
7.34/7.58 c mistral : 3.97
7.34/7.58 c abscon : 90.0093
7.34/7.58 c
7.34/7.58 c
7.34/7.58 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-1.xml
7.34/7.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
7.34/7.59 c choco : 61.68
7.34/7.59 c mistral : 2.5986
7.34/7.59 c abscon : 42.7435
7.34/7.59 c
7.34/7.59 c
7.34/7.59 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-3-4-3.xml
7.34/7.59 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
7.34/7.59 c choco : 5.62
7.34/7.59 c mistral : 0.11
7.34/7.59 c abscon : 1.16782
7.34/7.59 c
7.34/7.59 c
7.34/7.59 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-3-4-1.xml
7.34/7.59 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
7.40/7.60 c choco : 4.27
7.40/7.60 c mistral : 0.27
7.40/7.60 c abscon : 1.19282
7.40/7.60 c
7.40/7.60 c
7.40/7.60 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-3-4-2.xml
7.40/7.60 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
7.40/7.61 c choco : 4.81
7.40/7.61 c mistral : 0.34
7.40/7.61 c abscon : 1.48377
7.40/7.61 c
7.40/7.61 c
7.40/7.61 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-3-4-4.xml
7.40/7.61 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
7.40/7.61 c choco : 3.18
7.40/7.61 c mistral : 0.379941
7.40/7.61 c abscon : 1.3278
7.40/7.61 c
7.40/7.61 c
7.40/7.61 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-6-0-2.xml
7.40/7.61 c 19 > 14.857100 | c 35 > 28.514300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.914290 | c 15 > 19.457700 | c 34 > 31.428600 | c 16 > 3.000000 | c 13 > 3.398290 | c 14 > 9.169930 | c 11 > 11.442900 | c 12 > 1.917490 | c 21 > 1.414210 | c 20 > 85.142900 | 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.339900 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.219200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.957100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.62 c choco : 5.6
7.40/7.62 c mistral : 0.751885
7.40/7.62 c abscon : 1.48577
7.40/7.62 c
7.40/7.62 c
7.40/7.62 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-6-0-1.xml
7.40/7.62 c 19 > 14.857100 | c 35 > 28.514300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.914290 | c 15 > 19.310900 | c 34 > 31.428600 | c 16 > 3.000000 | c 13 > 4.082420 | c 14 > 9.142110 | c 11 > 11.442900 | c 12 > 2.269480 | c 21 > 1.414210 | c 20 > 85.142900 | 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.339900 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.219200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.957100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.63 c choco : 4.28
7.40/7.63 c mistral : 0.286955
7.40/7.63 c abscon : 1.85372
7.40/7.63 c
7.40/7.63 c
7.40/7.63 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-6-0-4.xml
7.40/7.63 c 19 > 14.785700 | c 35 > 28.521400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.871430 | c 15 > 19.366200 | c 34 > 31.428600 | c 16 > 3.000000 | c 13 > 3.573240 | c 14 > 9.142110 | c 11 > 11.444000 | c 12 > 2.554260 | c 21 > 1.414210 | c 20 > 85.214300 | 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.340400 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.220400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.958200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.64 c choco : 5.5
7.40/7.64 c mistral : 0.499923
7.40/7.64 c abscon : 1.87871
7.40/7.64 c
7.40/7.64 c
7.40/7.64 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-6-0-3.xml
7.40/7.64 c 19 > 14.642900 | c 35 > 28.535700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.785710 | c 15 > 19.350500 | c 34 > 31.428600 | c 16 > 3.000000 | c 13 > 3.440600 | c 14 > 9.172430 | c 11 > 11.446000 | c 12 > 2.523970 | c 21 > 1.414210 | c 20 > 85.357100 | 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.341500 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.222800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.960400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.64 c choco : 7.29
7.40/7.64 c mistral : 0.286955
7.40/7.64 c abscon : 1.77973
7.40/7.64 c
7.40/7.64 c
7.40/7.64 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-3-4-3.xml
7.40/7.64 c 19 > 22.727300 | c 35 > 27.727300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.636400 | c 15 > 15.812600 | c 34 > 32.272700 | c 16 > 3.000000 | c 13 > 3.248160 | c 14 > 7.707360 | c 11 > 8.781360 | c 12 > 2.262350 | c 21 > 1.414210 | c 20 > 77.272700 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.607330 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.409390 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.252700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.65 c choco : 1.92
7.40/7.65 c mistral : 0.046992
7.40/7.65 c abscon : 0.863867
7.40/7.65 c
7.40/7.65 c
7.40/7.65 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-3-4-2.xml
7.40/7.65 c 19 > 22.727300 | c 35 > 27.727300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.636400 | c 15 > 15.625100 | c 34 > 32.272700 | c 16 > 3.000000 | c 13 > 3.001290 | c 14 > 7.523560 | c 11 > 8.781360 | c 12 > 2.060200 | c 21 > 1.414210 | c 20 > 77.272700 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.607330 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.409390 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.252700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.40/7.65 c choco : 1.95
7.40/7.65 c mistral : 0.042993
7.40/7.65 c abscon : 0.877865
7.40/7.65 c
7.40/7.65 c
7.40/7.65 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-6-0-3.xml
7.40/7.65 c 19 > 14.571400 | c 35 > 28.542900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.742860 | c 15 > 17.674800 | c 34 > 31.428600 | c 16 > 3.000000 | c 13 > 3.318810 | c 14 > 8.467610 | c 11 > 10.447100 | c 12 > 1.949250 | c 21 > 1.414210 | c 20 > 85.428600 | 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.342100 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.224000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.961400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.85 c choco : 2.99
7.57/7.85 c mistral : 0.108983
7.57/7.85 c abscon : 1.23181
7.57/7.85 c
7.57/7.85 c
7.57/7.85 c /home/eomahony/cpZilla/CSP/pseudoSeries/primesDimacs/bf-1355-075.xml
7.57/7.85 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
7.57/7.86 c choco : 10.43
7.57/7.86 c mistral : 1.62
7.57/7.86 c abscon : 36.2955
7.57/7.86 c
7.57/7.86 c
7.57/7.86 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-6-0-2.xml
7.57/7.86 c 19 > 14.428600 | c 35 > 28.557100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.657140 | c 15 > 17.521600 | c 34 > 31.428600 | c 16 > 3.000000 | c 13 > 3.181450 | c 14 > 8.144660 | c 11 > 10.449100 | c 12 > 1.845180 | c 21 > 1.414210 | c 20 > 85.571400 | 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.343200 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.226400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.963600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.86 c choco : 2.82
7.57/7.86 c mistral : 0.104983
7.57/7.86 c abscon : 1.13683
7.57/7.86 c
7.57/7.86 c
7.57/7.86 c /home/eomahony/cpZilla/CSP/pseudoSeries/primesDimacs/bf-1355-638.xml
7.57/7.86 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
7.57/7.87 c choco : 10.61
7.57/7.87 c mistral : 2.17667
7.57/7.87 c abscon : 41.2657
7.57/7.87 c
7.57/7.87 c
7.57/7.87 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-8-3-c.xml
7.57/7.87 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
7.57/7.88 c choco : 2.15
7.57/7.88 c mistral : 0.044993
7.57/7.88 c abscon : 0.939856
7.57/7.88 c
7.57/7.88 c
7.57/7.88 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-8-3.xml
7.57/7.88 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
7.57/7.88 c choco : 3.29
7.57/7.88 c mistral : 0.154976
7.57/7.88 c abscon : 1.46978
7.57/7.88 c
7.57/7.88 c
7.57/7.88 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-8-5-c.xml
7.57/7.88 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
7.57/7.89 c choco : 2.07
7.57/7.89 c mistral : 0.042992
7.57/7.89 c abscon : 0.932857
7.57/7.89 c
7.57/7.89 c
7.57/7.89 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-6-0-1.xml
7.57/7.89 c 19 > 14.714300 | c 35 > 28.528600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.828570 | c 15 > 15.692600 | c 34 > 31.428600 | c 16 > 3.000000 | c 13 > 2.084290 | c 14 > 6.426260 | c 11 > 10.445000 | c 12 > 1.119130 | c 21 > 1.414210 | c 20 > 85.285700 | 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.341000 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.221600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.959300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.90 c choco : 2.89
7.57/7.90 c mistral : 0.077987
7.57/7.90 c abscon : 1.12583
7.57/7.90 c
7.57/7.90 c
7.57/7.90 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-3-4-4.xml
7.57/7.90 c 19 > 23.636400 | c 35 > 27.636400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.181800 | c 15 > 14.822200 | c 34 > 32.272700 | c 16 > 3.000000 | c 13 > 2.815570 | c 14 > 6.672430 | c 11 > 8.768180 | c 12 > 1.798820 | c 21 > 1.414210 | c 20 > 76.363600 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.599910 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.392320 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.238400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.90 c choco : 2.0
7.64/7.90 c mistral : 0.040993
7.64/7.90 c abscon : 0.920859
7.64/7.90 c
7.64/7.90 c
7.64/7.90 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-6-0-4.xml
7.64/7.90 c 19 > 14.857100 | c 35 > 28.514300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.914290 | c 15 > 15.439700 | c 34 > 31.428600 | c 16 > 3.000000 | c 13 > 2.197870 | c 14 > 5.977280 | c 11 > 10.442900 | c 12 > 1.134960 | c 21 > 1.414210 | c 20 > 85.142900 | 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.339900 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.219200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.957100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.91 c choco : 2.96
7.64/7.91 c mistral : 0.086986
7.64/7.91 c abscon : 1.17382
7.64/7.91 c
7.64/7.91 c
7.64/7.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-8-1-c.xml
7.64/7.91 c 19 > 20.125800 | c 35 > 27.044000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.075500 | c 15 > 13.516800 | c 34 > 31.069200 | c 16 > 3.000000 | c 13 > 1.817430 | c 14 > 4.000000 | c 11 > 9.243170 | c 12 > 0.990446 | c 21 > 1.414210 | c 20 > 79.874200 | 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.082150 | c 1 > 7.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.900870 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.697000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.91 c choco : 1.98
7.64/7.91 c mistral : 0.038993
7.64/7.91 c abscon : 0.91186
7.64/7.91 c
7.64/7.91 c
7.64/7.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8a2.xml
7.64/7.91 c 19 > 18.367300 | c 35 > 24.612200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 11.020400 | c 15 > 13.033300 | c 34 > 28.285700 | c 16 > 8.000000 | c 13 > 1.477620 | c 14 > 5.857980 | c 11 > 10.654600 | c 12 > 0.749441 | c 21 > 1.414210 | c 20 > 81.632700 | 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.483800 | c 1 > 8.491850 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.290000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.344900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.92 c choco : 2.94
7.64/7.92 c mistral : 0.090985
7.64/7.92 c abscon : 1.12283
7.64/7.92 c
7.64/7.92 c
7.64/7.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-3-4-1.xml
7.64/7.92 c 19 > 22.727300 | c 35 > 27.727300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.636400 | c 15 > 13.386700 | c 34 > 32.272700 | c 16 > 3.000000 | c 13 > 1.842460 | c 14 > 5.357550 | c 11 > 8.781360 | c 12 > 1.076620 | c 21 > 1.414210 | c 20 > 77.272700 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.607330 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.409390 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.252700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.93 c choco : 1.84
7.64/7.93 c mistral : 0.03
7.64/7.93 c abscon : 0.919859
7.64/7.93 c
7.64/7.93 c
7.64/7.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-8-2-c.xml
7.64/7.93 c 19 > 20.118300 | c 35 > 27.100600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.071000 | c 15 > 12.502800 | c 34 > 31.124300 | c 16 > 3.000000 | c 13 > 1.711840 | c 14 > 3.459430 | c 11 > 9.335390 | c 12 > 0.850724 | c 21 > 1.414210 | c 20 > 79.881700 | 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.174930 | c 1 > 7.087460 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.994350 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.791200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.93 c choco : 2.03
7.64/7.93 c mistral : 0.037993
7.64/7.93 c abscon : 0.926858
7.64/7.93 c
7.64/7.93 c
7.64/7.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-8-1.xml
7.64/7.93 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
7.64/7.94 c choco : 3.26
7.64/7.94 c mistral : 0.13
7.64/7.94 c abscon : 1.44278
7.64/7.94 c
7.64/7.94 c
7.64/7.94 c Length: 40
7.64/7.94 c 1.4861706932247034 1.6486717638753923 1.7146688850329088 1.81613464977132 5.568426773448761 5.732433755474192 5.898244198132184 6.004887529612853 6.120763223234497 6.288578411914729 6.322613657633999 6.349705122043066 6.484069117005152 6.73347064437055 6.890587964992538 7.078311119518551 7.152318602858792 7.564592197058603 7.847373528754697 8.247358765859529 8.264502481662161 8.343420297419996 8.560074537356558 9.389222169013786 9.547087765633034 9.604096485203595 9.872675532883676 9.90071816678467 9.932641023484134 10.296213090328937 10.589559235608482 10.71338982463725 10.826580665579511 10.885143096013937 10.906077437823372 10.917204068487314 11.548860384170423 11.714999061352927 11.8182671251117 12.345249821872537
7.64/7.95 c
7.64/7.95 c 1.0 0.9852561005126078 0.9793915131138127 0.9705100825839851 0.7267810391001677 0.7188899788838718 0.7110844472071591 0.7061531544141817 0.7008719022763042 0.693361954359631 0.6918584207817666 0.6906662870621267 0.6848139308228328 0.6742098316977484 0.6676964695224018 0.6600774545851794 0.6571213275007941 0.6411264190787946 0.6305982184982354 0.6162834538546244 0.6156844210126491 0.6129418398359762 0.6055366887444621 0.5787764384328425 0.5739472150655957 0.5722230232888198 0.5642374451474333 0.5634164940916684 0.5624848519210435 0.5520876524368633 0.5439747884679561 0.540621222888044 0.5375917714725181 0.5360376891033365 0.5354843282855635 0.5351906810055883 0.5190325551479252 0.5149434162829092 0.5124340128100835 0.5
7.64/7.96 c
7.64/7.96 c solver 0
7.64/7.96 c before 0.0 seconds: {} 0
7.64/7.96 c before 18.0 seconds: {0, 2, 5, 7, 8, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17260
7.64/7.96 c before 36.0 seconds: {0, 2, 4, 5, 7, 8, 9, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18680
7.64/7.96 c before 54.0 seconds: {0, 2, 4, 5, 6, 7, 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} 21870
7.64/7.96 c before 72.0 seconds: {0, 1, 2, 4, 5, 6, 7, 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} 22856
7.64/7.96 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 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} 23826
7.64/7.96 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 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} 25191
7.64/7.96 c
7.64/7.96 c solver 1
7.64/7.96 c before 0.0 seconds: {} 0
7.64/7.96 c before 18.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 11, 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} 22816
7.64/7.96 c before 54.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 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} 23501
7.64/7.96 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 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} 24480
7.64/7.96 c before 144.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 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} 25191
7.64/7.96 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} 25883
7.64/7.96 c
7.64/7.96 c solver 2
7.64/7.96 c before 0.0 seconds: {} 0
7.64/7.96 c before 18.0 seconds: {3, 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} 15252
7.64/7.96 c before 36.0 seconds: {3, 7, 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} 15958
7.64/7.96 c before 54.0 seconds: {3, 5, 7, 8, 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} 17378
7.64/7.96 c before 72.0 seconds: {3, 5, 7, 8, 11, 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} 18736
7.64/7.96 c before 90.0 seconds: {1, 3, 5, 7, 8, 11, 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} 19721
7.64/7.96 c before 108.0 seconds: {0, 1, 3, 5, 7, 8, 11, 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} 20721
7.64/7.96 c before 270.0 seconds: {0, 1, 3, 5, 7, 8, 9, 11, 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} 21415
7.64/7.96 c before 324.0 seconds: {0, 1, 2, 3, 5, 7, 8, 9, 11, 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} 22394
7.64/7.96 c before 360.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 11, 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} 23105
7.64/7.96 c
7.64/7.96 cTotal time: 83
7.64/7.96 c 1494.0 seconds unused
7.64/7.96 c 0 c 0 c 3
7.64/7.96 c 1 c 0 c 4
7.64/7.96 c 0 c 0 c 0
7.64/7.96 c is solver0 dominated by:
7.64/7.96 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
7.64/7.96 c is dominated? true
7.64/7.96 c
7.64/7.96 c is solver1 dominated by:
7.64/7.96 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.64/7.96 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.64/7.96 c is dominated? false
7.64/7.96 c
7.64/7.96 c is solver2 dominated by:
7.64/7.96 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true)
7.64/7.96 c is dominated? true
7.64/7.96 c
7.64/7.96 c Number of non-dominated solvers: 1
7.64/7.96 c remove dominated solvers
7.64/7.96 c solver 1 is not dominated by another solver
7.64/7.96 c solver 2 is dominated by another solver
7.64/7.96 c solver 0 is dominated by another solver
7.64/7.96 c
7.64/7.96 c solver 0: 0.0
7.64/7.96 c
7.64/7.96 c solver 1: 1026.0
7.64/7.96 c
7.64/7.96 c+ 57/57 of 43
7.64/7.96 c
7.64/7.96 c solver 2: 0.0
7.64/7.96 c do not run abscon
7.64/7.97 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25883
7.64/7.97 c do not run choco
7.64/7.97 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.64/7.97 c On Instance: HOME/instance-1060822-1215128735.xml
7.64/7.97 c Running for: 1800 seconds
159.42/161.26 c mistral-prime version 1.313
159.42/161.26 s SATISFIABLE
159.42/161.26 v 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1
159.42/161.26 d CHECKS 181434264
159.42/161.26 d ASSIGNMENTS 76639