0.00/0.00 c cpHydra_k_40 version 0.0
7.97/8.13 c CASE TO CLASSIFY:
7.97/8.13 c Case: 0
7.97/8.14 c 19 > 19.047600 | c 35 > 28.095200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 11.428600 | c 15 > 19.903600 | c 34 > 31.904800 | c 16 > 3.000000 | c 13 > 1.723780 | c 14 > 7.965780 | c 11 > 11.965800 | c 12 > 2.956240 | c 21 > 1.414210 | c 20 > 80.952400 | 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.213700 | c 1 > 11.965800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.053200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.848400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.97/8.15 c choco : 1801.0
7.97/8.15 c mistral : 1801.0
7.97/8.15 c abscon : 1801.0
7.97/8.15 c
7.97/8.15 c
8.06/8.23 c List of same ones: 40
8.06/8.23 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-2-c.xml
8.06/8.23 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.06/8.24 c choco : 11.83
8.06/8.24 c mistral : 17.3514
8.06/8.24 c abscon : 72.319
8.06/8.24 c
8.06/8.24 c
8.06/8.24 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-5-c.xml
8.06/8.24 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.06/8.25 c choco : 72.04
8.06/8.25 c mistral : 0.78388
8.06/8.25 c abscon : 64.5282
8.06/8.25 c
8.06/8.25 c
8.06/8.25 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-3-c.xml
8.06/8.25 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.06/8.26 c choco : 314.14
8.06/8.26 c mistral : 74.9086
8.06/8.26 c abscon : 8.98763
8.06/8.26 c
8.06/8.26 c
8.06/8.26 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-4-c.xml
8.06/8.26 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.06/8.27 c choco : 91.34
8.06/8.27 c mistral : 9.8435
8.06/8.27 c abscon : 3.3155
8.06/8.27 c
8.06/8.27 c
8.06/8.27 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-1-c.xml
8.06/8.27 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.06/8.28 c choco : 1801.0
8.06/8.28 c mistral : 2.95655
8.06/8.28 c abscon : 24.3413
8.06/8.28 c
8.06/8.28 c
8.06/8.28 c /home/eomahony/cpZilla/CSP/pseudoSeries/primesDimacs/bf-0432-007.xml
8.06/8.28 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.06/8.29 c choco : 1801.0
8.06/8.29 c mistral : 1022.21
8.06/8.29 c abscon : 1800.12
8.06/8.29 c
8.06/8.29 c
8.06/8.29 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-2.xml
8.06/8.29 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.06/8.29 c choco : 261.66
8.06/8.29 c mistral : 9.45956
8.06/8.29 c abscon : 21.2948
8.06/8.29 c
8.06/8.29 c
8.06/8.29 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-5.xml
8.06/8.29 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.14/8.30 c choco : 58.49
8.14/8.30 c mistral : 13.9669
8.14/8.30 c abscon : 107.188
8.14/8.30 c
8.14/8.30 c
8.14/8.30 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-3.xml
8.14/8.30 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.14/8.31 c choco : 1801.0
8.14/8.31 c mistral : 43.1674
8.14/8.31 c abscon : 40.2669
8.14/8.31 c
8.14/8.31 c
8.14/8.31 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-6-0-2.xml
8.14/8.31 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
8.14/8.32 c choco : 5.6
8.14/8.32 c mistral : 0.751885
8.14/8.32 c abscon : 1.48577
8.14/8.32 c
8.14/8.32 c
8.14/8.32 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-6-0-4.xml
8.14/8.32 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
8.33/8.54 c choco : 5.5
8.33/8.54 c mistral : 0.499923
8.33/8.54 c abscon : 1.87871
8.33/8.54 c
8.33/8.54 c
8.33/8.54 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-6-0-1.xml
8.33/8.54 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
8.33/8.56 c choco : 4.28
8.33/8.56 c mistral : 0.286955
8.33/8.56 c abscon : 1.85372
8.33/8.56 c
8.33/8.56 c
8.33/8.56 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-4.xml
8.33/8.56 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.33/8.57 c choco : 1801.0
8.33/8.57 c mistral : 3.97
8.33/8.57 c abscon : 90.0093
8.33/8.57 c
8.33/8.57 c
8.33/8.57 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-6-0-3.xml
8.33/8.57 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
8.33/8.58 c choco : 7.29
8.33/8.58 c mistral : 0.286955
8.33/8.58 c abscon : 1.77973
8.33/8.58 c
8.33/8.58 c
8.33/8.58 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-1.xml
8.33/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.33/8.58 c choco : 61.68
8.33/8.58 c mistral : 2.5986
8.33/8.58 c abscon : 42.7435
8.33/8.58 c
8.33/8.58 c
8.33/8.58 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-3-4-4.xml
8.33/8.58 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.33/8.59 c choco : 45.26
8.33/8.59 c mistral : 4.17536
8.33/8.59 c abscon : 2.38464
8.33/8.59 c
8.33/8.59 c
8.33/8.59 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-3-4-2.xml
8.33/8.59 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.33/8.60 c choco : 357.8
8.33/8.60 c mistral : 131.09
8.33/8.60 c abscon : 52.2991
8.33/8.60 c
8.33/8.60 c
8.33/8.60 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-3-4-3.xml
8.33/8.60 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.41/8.60 c choco : 34.73
8.41/8.60 c mistral : 14.1748
8.41/8.60 c abscon : 9.07162
8.41/8.60 c
8.41/8.60 c
8.41/8.60 c /home/eomahony/cpZilla/CSP/pseudoSeries/primesDimacs/bf-1355-075.xml
8.41/8.60 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.41/8.61 c choco : 10.43
8.41/8.61 c mistral : 1.62
8.41/8.61 c abscon : 36.2955
8.41/8.61 c
8.41/8.61 c
8.41/8.61 c /home/eomahony/cpZilla/CSP/pseudoSeries/primesDimacs/bf-1355-638.xml
8.41/8.61 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.41/8.62 c choco : 10.61
8.41/8.62 c mistral : 2.17667
8.41/8.62 c abscon : 41.2657
8.41/8.62 c
8.41/8.62 c
8.41/8.62 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-3-4-1.xml
8.41/8.62 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.41/8.63 c choco : 38.17
8.41/8.63 c mistral : 7.74
8.41/8.63 c abscon : 3.54046
8.41/8.63 c
8.41/8.63 c
8.41/8.63 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-6-0-3.xml
8.41/8.63 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
8.41/8.63 c choco : 2.99
8.41/8.63 c mistral : 0.108983
8.41/8.63 c abscon : 1.23181
8.41/8.63 c
8.41/8.63 c
8.41/8.63 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-6-0-2.xml
8.41/8.63 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
8.41/8.64 c choco : 2.82
8.41/8.64 c mistral : 0.104983
8.41/8.64 c abscon : 1.13683
8.41/8.64 c
8.41/8.64 c
8.41/8.64 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-3-4-3.xml
8.41/8.64 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.41/8.65 c choco : 5.62
8.41/8.65 c mistral : 0.11
8.41/8.65 c abscon : 1.16782
8.41/8.65 c
8.41/8.65 c
8.41/8.65 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-6-0-1.xml
8.41/8.65 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
8.41/8.65 c choco : 2.89
8.41/8.65 c mistral : 0.077987
8.41/8.65 c abscon : 1.12583
8.41/8.65 c
8.41/8.65 c
8.41/8.65 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-6-0-4.xml
8.41/8.65 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
8.41/8.66 c choco : 2.96
8.41/8.66 c mistral : 0.086986
8.41/8.66 c abscon : 1.17382
8.41/8.66 c
8.41/8.66 c
8.41/8.66 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-3-4-2.xml
8.41/8.66 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.41/8.66 c choco : 4.81
8.41/8.66 c mistral : 0.34
8.41/8.66 c abscon : 1.48377
8.41/8.66 c
8.41/8.66 c
8.41/8.66 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-3-4-1.xml
8.41/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.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.41/8.67 c choco : 4.27
8.41/8.67 c mistral : 0.27
8.41/8.67 c abscon : 1.19282
8.41/8.67 c
8.41/8.67 c
8.41/8.67 c /home/eomahony/cpZilla/CSP/pseudoSeries/primesDimacs/hanoi4.xml
8.41/8.67 c 19 > 12.997800 | c 35 > 24.453300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.798700 | c 15 > 19.124800 | c 34 > 27.052900 | c 16 > 7.000000 | c 13 > 2.443970 | c 14 > 7.832890 | c 11 > 12.828100 | c 12 > 1.603560 | c 21 > 1.324190 | c 20 > 87.002200 | 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.716600 | c 1 > 10.079500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.595700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.149400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.41/8.67 c choco : 1801.0
8.41/8.67 c mistral : 1273.03
8.41/8.67 c abscon : 1800.08
8.41/8.67 c
8.41/8.67 c
8.41/8.67 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-8-3-c.xml
8.41/8.67 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.41/8.68 c choco : 2.15
8.41/8.68 c mistral : 0.044993
8.41/8.68 c abscon : 0.939856
8.41/8.68 c
8.41/8.68 c
8.41/8.68 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8a2.xml
8.41/8.68 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
8.41/8.69 c choco : 2.94
8.41/8.69 c mistral : 0.090985
8.41/8.69 c abscon : 1.12283
8.41/8.69 c
8.41/8.69 c
8.41/8.69 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-3-4-4.xml
8.41/8.69 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.41/8.69 c choco : 3.18
8.41/8.69 c mistral : 0.379941
8.41/8.69 c abscon : 1.3278
8.41/8.69 c
8.41/8.69 c
8.41/8.69 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-8-5-c.xml
8.41/8.69 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.46/8.70 c choco : 2.07
8.46/8.70 c mistral : 0.042992
8.46/8.70 c abscon : 0.932857
8.46/8.70 c
8.46/8.70 c
8.46/8.70 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8a4.xml
8.46/8.70 c 19 > 12.398200 | c 35 > 26.261700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.438950 | c 15 > 18.898000 | c 34 > 28.741400 | c 16 > 8.000000 | c 13 > 4.452910 | c 14 > 8.285400 | c 11 > 12.448600 | c 12 > 1.839660 | c 21 > 1.414210 | c 20 > 87.601800 | 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.342600 | c 1 > 9.629360 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.228200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.286300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.46/8.71 c choco : 5.29
8.46/8.71 c mistral : 0.296953
8.46/8.71 c abscon : 1.60376
8.46/8.71 c
8.46/8.71 c
8.46/8.71 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-8-3.xml
8.46/8.71 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.46/8.72 c choco : 3.29
8.46/8.72 c mistral : 0.154976
8.46/8.72 c abscon : 1.46978
8.46/8.72 c
8.46/8.72 c
8.46/8.72 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8a3.xml
8.46/8.72 c 19 > 14.537400 | c 35 > 24.978000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.722470 | c 15 > 13.885100 | c 34 > 27.885500 | c 16 > 8.000000 | c 13 > 1.898830 | c 14 > 5.614710 | c 11 > 11.543000 | c 12 > 0.802373 | c 21 > 1.414210 | c 20 > 85.462600 | 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.409400 | c 1 > 9.044390 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.262100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.276700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.46/8.72 c choco : 4.17
8.46/8.72 c mistral : 0.156975
8.46/8.72 c abscon : 1.27081
8.46/8.72 c
8.46/8.72 c
8.46/8.72 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-8-1-c.xml
8.46/8.72 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
8.46/8.73 c choco : 1.98
8.46/8.73 c mistral : 0.038993
8.46/8.73 c abscon : 0.91186
8.46/8.73 c
8.46/8.73 c
8.46/8.73 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-3-4-3.xml
8.46/8.73 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.46/8.74 c choco : 1.92
8.46/8.74 c mistral : 0.046992
8.46/8.74 c abscon : 0.863867
8.46/8.74 c
8.46/8.74 c
8.46/8.74 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-3-4-2.xml
8.46/8.74 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.46/8.74 c choco : 1.95
8.46/8.74 c mistral : 0.042993
8.46/8.74 c abscon : 0.877865
8.46/8.74 c
8.46/8.74 c
8.46/8.74 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-8-2-c.xml
8.46/8.74 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
8.46/8.75 c choco : 2.03
8.46/8.75 c mistral : 0.037993
8.46/8.75 c abscon : 0.926858
8.46/8.75 c
8.46/8.75 c
8.46/8.75 c Length: 40
8.46/8.75 c 5.817250919231525 5.941956946983038 5.991633246394508 6.111967043742953 7.220518758198819 8.01836234542316 8.845337648343337 9.017458414947084 9.124961913745175 9.12880845262951 9.190820481513061 9.250579545941973 9.304105715962173 9.32799061553452 9.435609758595362 10.4352464448378 10.586688233682901 10.69078978465576 10.714036400311509 10.7429627254217 10.750572540590568 11.056089252583845 11.205043175824892 11.551822540859082 11.581596603538738 11.623837234588239 12.220227957538269 12.272874686739042 12.398198157837294 12.611528227146026 12.729168522511632 12.868550171771485 12.898101207402624 12.941688597080367 13.188503527186887 13.277036143510681 13.282568127423101 13.597546959400434 13.646283155507948 13.823528909126496
8.46/8.76 c
8.46/8.76 c 1.0 0.9846628615330117 0.9786835878273337 0.9644962855713936 0.8508676333067006 0.7843609823758918 0.7255767045749442 0.7144325489177921 0.7076441386789504 0.7074036350340531 0.7035487912457749 0.6998735409549205 0.6966140684645838 0.6951693752706244 0.6887336015301094 0.6341971266753786 0.6266794304011459 0.6216142729225593 0.620494350655939 0.6191064264772838 0.6187423282349198 0.6044701907104189 0.5977479468568607 0.5826625147822901 0.5814027148889336 0.5796247478411096 0.5556344151189724 0.5536116981154894 0.5488554447114579 0.5409444327457041 0.5366787115700348 0.5317109028225242 0.53066944499535 0.5291407337038944 0.5206478334703617 0.5176674813120825 0.5174823854546783 0.5071574094954264 0.5055965355615708 0.5
8.46/8.77 c
8.46/8.77 c solver 0
8.46/8.77 c before 0.0 seconds: {} 0
8.46/8.77 c before 18.0 seconds: {2, 3, 9, 10, 11, 13, 15, 17, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16416
8.46/8.77 c before 36.0 seconds: {2, 3, 4, 6, 9, 10, 11, 13, 15, 17, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17993
8.46/8.77 c before 54.0 seconds: {2, 3, 4, 6, 8, 9, 10, 11, 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} 21255
8.46/8.77 c before 72.0 seconds: {1, 2, 3, 4, 6, 8, 9, 10, 11, 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} 22240
8.46/8.77 c before 90.0 seconds: {0, 1, 2, 3, 4, 6, 8, 9, 10, 11, 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} 23240
8.46/8.77 c before 108.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 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} 24651
8.46/8.77 c
8.46/8.77 c solver 1
8.46/8.77 c before 0.0 seconds: {} 0
8.46/8.77 c before 18.0 seconds: {0, 1, 3, 4, 6, 7, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22338
8.46/8.77 c before 54.0 seconds: {0, 1, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23046
8.46/8.77 c before 90.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24024
8.46/8.77 c before 144.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 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} 24651
8.46/8.77 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, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25435
8.46/8.77 c before 1278.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} 25984
8.46/8.77 c
8.46/8.77 c solver 2
8.46/8.77 c before 0.0 seconds: {} 0
8.46/8.77 c before 18.0 seconds: {0, 9, 10, 11, 13, 18, 19, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14838
8.46/8.77 c before 36.0 seconds: {0, 9, 10, 11, 13, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15460
8.46/8.77 c before 54.0 seconds: {0, 9, 10, 11, 13, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16712
8.46/8.77 c before 72.0 seconds: {0, 7, 9, 10, 11, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18116
8.46/8.77 c before 90.0 seconds: {0, 1, 7, 9, 10, 11, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19100
8.46/8.77 c before 108.0 seconds: {0, 1, 3, 7, 9, 10, 11, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20065
8.46/8.77 c before 270.0 seconds: {0, 1, 3, 6, 7, 9, 10, 11, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20790
8.46/8.77 c before 324.0 seconds: {0, 1, 2, 3, 6, 7, 9, 10, 11, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21769
8.46/8.77 c before 360.0 seconds: {0, 1, 2, 3, 6, 7, 9, 10, 11, 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} 22396
8.46/8.77 c
8.46/8.77 cTotal time: 97
8.46/8.77 c 1746.0 seconds unused
8.46/8.77 c 0 c 0 c 3
8.46/8.77 c 2 c 0 c 5
8.46/8.77 c 0 c 0 c 0
8.46/8.77 c is solver0 dominated by:
8.46/8.77 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)
8.46/8.77 c is dominated? true
8.46/8.77 c
8.46/8.77 c is solver1 dominated by:
8.46/8.77 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)
8.46/8.77 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)
8.46/8.77 c is dominated? false
8.46/8.77 c
8.46/8.77 c is solver2 dominated by:
8.46/8.77 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)
8.46/8.77 c is dominated? true
8.46/8.77 c
8.46/8.77 c Number of non-dominated solvers: 1
8.46/8.77 c remove dominated solvers
8.46/8.77 c solver 1 is not dominated by another solver
8.46/8.77 c solver 2 is dominated by another solver
8.46/8.77 c solver 0 is dominated by another solver
8.46/8.77 c
8.46/8.77 c solver 0: 0.0
8.46/8.77 c
8.46/8.77 c solver 1: 1278.0
8.46/8.77 c
8.46/8.77 c+ 71/71 of 29
8.46/8.77 c
8.46/8.77 c solver 2: 0.0
8.46/8.78 c do not run abscon
8.46/8.78 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} 25984
8.46/8.78 c do not run choco
8.46/8.78 c Starting solver: HOME/cpHydra_k_40/solver/mistral
8.46/8.78 c On Instance: HOME/instance-1050329-1215049202.xml
8.46/8.78 c Running for: 1800 seconds