0.00/0.00 c cpHydra_k_40 version 0.0
7.04/7.11 c CASE TO CLASSIFY:
7.04/7.11 c Case: 0
7.04/7.11 c 19 > 22.954500 | c 35 > 27.704500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.772700 | c 15 > 21.011200 | c 34 > 32.272700 | c 16 > 3.000000 | c 13 > 7.154960 | c 14 > 11.821800 | c 11 > 10.778100 | c 12 > 5.978870 | 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.04/7.12 c choco : 1801.0
7.04/7.12 c mistral : 1801.0
7.04/7.12 c abscon : 1801.0
7.04/7.12 c
7.04/7.12 c
7.04/7.19 c List of same ones: 40
7.04/7.20 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-3-4-4.xml
7.04/7.20 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.13/7.20 c choco : 3.18
7.13/7.20 c mistral : 0.379941
7.13/7.20 c abscon : 1.3278
7.13/7.20 c
7.13/7.20 c
7.13/7.20 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-3-4-1.xml
7.13/7.20 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.13/7.21 c choco : 38.17
7.13/7.21 c mistral : 7.74
7.13/7.21 c abscon : 3.54046
7.13/7.21 c
7.13/7.21 c
7.13/7.21 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-3-4-2.xml
7.13/7.21 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.13/7.22 c choco : 357.8
7.13/7.22 c mistral : 131.09
7.13/7.22 c abscon : 52.2991
7.13/7.22 c
7.13/7.22 c
7.13/7.22 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-3-4-3.xml
7.13/7.22 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.13/7.23 c choco : 34.73
7.13/7.23 c mistral : 14.1748
7.13/7.23 c abscon : 9.07162
7.13/7.23 c
7.13/7.23 c
7.13/7.23 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-3-4-4.xml
7.13/7.23 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.13/7.24 c choco : 45.26
7.13/7.24 c mistral : 4.17536
7.13/7.24 c abscon : 2.38464
7.13/7.24 c
7.13/7.24 c
7.13/7.24 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-3-4-1.xml
7.13/7.24 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.13/7.25 c choco : 4.27
7.13/7.25 c mistral : 0.27
7.13/7.25 c abscon : 1.19282
7.13/7.25 c
7.13/7.25 c
7.13/7.25 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-3-4-2.xml
7.13/7.25 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.13/7.26 c choco : 4.81
7.13/7.26 c mistral : 0.34
7.13/7.26 c abscon : 1.48377
7.13/7.26 c
7.13/7.26 c
7.13/7.26 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-3-4-3.xml
7.13/7.26 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.13/7.27 c choco : 5.62
7.13/7.27 c mistral : 0.11
7.13/7.27 c abscon : 1.16782
7.13/7.27 c
7.13/7.27 c
7.13/7.27 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-4-c.xml
7.13/7.27 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.13/7.28 c choco : 91.34
7.13/7.28 c mistral : 9.8435
7.13/7.28 c abscon : 3.3155
7.13/7.28 c
7.13/7.28 c
7.13/7.28 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-5-c.xml
7.13/7.28 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.13/7.29 c choco : 72.04
7.13/7.29 c mistral : 0.78388
7.13/7.29 c abscon : 64.5282
7.13/7.29 c
7.13/7.29 c
7.13/7.29 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-3-c.xml
7.13/7.29 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.30/7.48 c choco : 314.14
7.30/7.48 c mistral : 74.9086
7.30/7.48 c abscon : 8.98763
7.30/7.48 c
7.30/7.48 c
7.30/7.48 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-5.xml
7.30/7.48 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.30/7.50 c choco : 58.49
7.30/7.50 c mistral : 13.9669
7.30/7.50 c abscon : 107.188
7.30/7.50 c
7.30/7.50 c
7.30/7.50 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-2-c.xml
7.30/7.50 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.40/7.51 c choco : 11.83
7.40/7.51 c mistral : 17.3514
7.40/7.51 c abscon : 72.319
7.40/7.51 c
7.40/7.51 c
7.40/7.51 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-3.xml
7.40/7.51 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.40/7.52 c choco : 1801.0
7.40/7.52 c mistral : 43.1674
7.40/7.52 c abscon : 40.2669
7.40/7.52 c
7.40/7.52 c
7.40/7.52 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-2.xml
7.40/7.52 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.40/7.52 c choco : 261.66
7.40/7.52 c mistral : 9.45956
7.40/7.52 c abscon : 21.2948
7.40/7.52 c
7.40/7.52 c
7.40/7.52 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-4.xml
7.40/7.52 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.40/7.53 c choco : 1801.0
7.40/7.53 c mistral : 3.97
7.40/7.53 c abscon : 90.0093
7.40/7.53 c
7.40/7.53 c
7.40/7.53 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-1.xml
7.40/7.53 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.40/7.53 c choco : 61.68
7.40/7.53 c mistral : 2.5986
7.40/7.53 c abscon : 42.7435
7.40/7.53 c
7.40/7.53 c
7.40/7.53 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-3-4-3.xml
7.40/7.54 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.54 c choco : 1.92
7.40/7.54 c mistral : 0.046992
7.40/7.54 c abscon : 0.863867
7.40/7.54 c
7.40/7.54 c
7.40/7.54 c /home/eomahony/cpZilla/CSP/pseudoSeries/primesDimacs/bf-0432-007.xml
7.40/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.40/7.55 c choco : 1801.0
7.40/7.55 c mistral : 1022.21
7.40/7.55 c abscon : 1800.12
7.40/7.55 c
7.40/7.55 c
7.40/7.55 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-3-4-2.xml
7.40/7.55 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.56 c choco : 1.95
7.40/7.56 c mistral : 0.042993
7.40/7.56 c abscon : 0.877865
7.40/7.56 c
7.40/7.56 c
7.40/7.56 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-1-c.xml
7.40/7.56 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.40/7.56 c choco : 1801.0
7.40/7.56 c mistral : 2.95655
7.40/7.56 c abscon : 24.3413
7.40/7.56 c
7.40/7.56 c
7.40/7.56 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-3-4-4.xml
7.40/7.56 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.40/7.57 c choco : 2.0
7.40/7.57 c mistral : 0.040993
7.40/7.57 c abscon : 0.920859
7.40/7.57 c
7.40/7.57 c
7.40/7.57 c /home/eomahony/cpZilla/CSP/pseudoSeries/primesDimacs/bf-1355-075.xml
7.40/7.57 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.40/7.58 c choco : 10.43
7.40/7.58 c mistral : 1.62
7.40/7.58 c abscon : 36.2955
7.40/7.58 c
7.40/7.58 c
7.40/7.58 c /home/eomahony/cpZilla/CSP/pseudoSeries/primesDimacs/bf-1355-638.xml
7.40/7.58 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.40/7.58 c choco : 10.61
7.40/7.58 c mistral : 2.17667
7.40/7.58 c abscon : 41.2657
7.40/7.58 c
7.40/7.58 c
7.40/7.58 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-8-3.xml
7.40/7.58 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.40/7.59 c choco : 3.29
7.40/7.59 c mistral : 0.154976
7.40/7.59 c abscon : 1.46978
7.40/7.59 c
7.40/7.59 c
7.40/7.59 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-0432-003.xml
7.40/7.59 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
7.40/7.59 c choco : 1801.0
7.40/7.59 c mistral : 0.393939
7.40/7.59 c abscon : 29.5855
7.40/7.59 c
7.40/7.59 c
7.40/7.59 c /home/eomahony/cpZilla/CSP/pseudoSeries/primesDimacs/bf-2670-001.xml
7.40/7.59 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
7.47/7.60 c choco : 7.07
7.47/7.61 c mistral : 1.01684
7.47/7.61 c abscon : 10.6024
7.47/7.61 c
7.47/7.61 c
7.47/7.61 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-3-4-1.xml
7.47/7.61 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.47/7.61 c choco : 1.84
7.47/7.61 c mistral : 0.03
7.47/7.61 c abscon : 0.919859
7.47/7.61 c
7.47/7.61 c
7.47/7.61 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-2670-130.xml
7.47/7.61 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
7.47/7.62 c choco : 1801.0
7.47/7.62 c mistral : 51.4592
7.47/7.62 c abscon : 146.483
7.47/7.62 c
7.47/7.62 c
7.47/7.62 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-8-3-c.xml
7.47/7.62 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.47/7.62 c choco : 2.15
7.47/7.62 c mistral : 0.044993
7.47/7.62 c abscon : 0.939856
7.47/7.62 c
7.47/7.62 c
7.47/7.62 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-6-0-1.xml
7.47/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.47/7.63 c choco : 4.28
7.47/7.63 c mistral : 0.286955
7.47/7.63 c abscon : 1.85372
7.47/7.63 c
7.47/7.63 c
7.47/7.63 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-6-0-4.xml
7.47/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.47/7.63 c choco : 5.5
7.47/7.63 c mistral : 0.499923
7.47/7.63 c abscon : 1.87871
7.47/7.63 c
7.47/7.63 c
7.47/7.63 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-6-0-2.xml
7.47/7.63 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.47/7.64 c choco : 5.6
7.47/7.64 c mistral : 0.751885
7.47/7.64 c abscon : 1.48577
7.47/7.64 c
7.47/7.64 c
7.47/7.64 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-8-1.xml
7.47/7.64 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.47/7.65 c choco : 3.26
7.47/7.65 c mistral : 0.13
7.47/7.65 c abscon : 1.44278
7.47/7.65 c
7.47/7.65 c
7.47/7.65 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-8-5-c.xml
7.47/7.65 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.47/7.65 c choco : 2.07
7.47/7.65 c mistral : 0.042992
7.47/7.65 c abscon : 0.932857
7.47/7.65 c
7.47/7.65 c
7.47/7.65 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-6-0-3.xml
7.47/7.65 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.47/7.66 c choco : 7.29
7.47/7.66 c mistral : 0.286955
7.47/7.66 c abscon : 1.77973
7.47/7.66 c
7.47/7.66 c
7.47/7.66 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-7552-038.xml
7.47/7.66 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
7.47/7.67 c choco : 8.89
7.47/7.67 c mistral : 1.66774
7.47/7.67 c abscon : 12.4811
7.47/7.67 c
7.47/7.67 c
7.47/7.67 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-8-1-c.xml
7.47/7.67 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.47/7.67 c choco : 1.98
7.47/7.67 c mistral : 0.038993
7.47/7.67 c abscon : 0.91186
7.47/7.67 c
7.47/7.67 c
7.47/7.67 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-2670-141.xml
7.47/7.67 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
7.47/7.68 c choco : 141.64
7.47/7.68 c mistral : 64.3662
7.47/7.68 c abscon : 427.927
7.47/7.68 c
7.47/7.68 c
7.47/7.68 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-6-0-3.xml
7.47/7.68 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.47/7.68 c choco : 2.99
7.47/7.69 c mistral : 0.108983
7.47/7.69 c abscon : 1.23181
7.47/7.69 c
7.47/7.69 c
7.47/7.69 c Length: 40
7.47/7.69 c 2.6256799192780518 2.776359898248063 2.807837946979844 2.9054223581090572 3.3474206122027734 3.682600801566739 5.867095413362559 7.018472886960525 8.087819015229014 8.261654293669034 8.32644646544971 8.39088174440565 8.503653265991032 8.50849453359406 8.582304024625321 8.736401760238593 8.866241862638308 9.64884076843431 9.705335267933817 10.008214221128561 11.023814011699443 11.06260363044794 11.558367087331153 11.607855426395524 12.517342960084658 12.897567490081226 13.112239624827643 13.124202915819307 13.562084827573525 13.830409379636631 13.839268843327666 13.98053425086108 14.082140499522785 14.109602459416921 14.205876551510679 14.216578847479445 14.223358069422288 14.266710838682334 14.312639262470082 14.89624079285106
7.47/7.69 c
7.47/7.69 c 1.0 0.9878691685670709 0.9853720276554911 0.9777103045346701 0.9444485883251187 0.9206961298728596 0.7910378782652827 0.7363800223213947 0.6919736359754362 0.6852560086948253 0.6827854496764462 0.6803461033814248 0.6761185627794268 0.6759382508095689 0.673201094286578 0.6675573769327333 0.6628750181673675 0.6359872423741596 0.6341304268981277 0.6243576782204526 0.5936785507629486 0.5925664618199864 0.5787113771193689 0.5773638111241819 0.5536701064378041 0.5443313269120164 0.5391965486543157 0.5389132449759574 0.5287447307376975 0.5227011337890433 0.5225039432687998 0.5193796920400818 0.517155551844399 0.5165576813381693 0.5144725852244386 0.514241834971913 0.5140957764575791 0.5131636981682167 0.5121799235709834 0.5
7.47/7.70 c
7.47/7.70 c solver 0
7.53/7.70 c before 0.0 seconds: {} 0
7.53/7.70 c before 18.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 10, 17, 19, 21, 24, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 16371
7.53/7.70 c before 36.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 10, 14, 17, 19, 20, 21, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 18183
7.53/7.70 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 13, 14, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 21663
7.53/7.70 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 22348
7.53/7.70 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 23024
7.53/7.70 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 24372
7.53/7.70 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 24901
7.53/7.71 c before 432.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25413
7.53/7.71 c
7.53/7.71 c solver 1
7.53/7.71 c before 0.0 seconds: {} 0
7.53/7.71 c before 18.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 11, 12, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 22028
7.53/7.71 c before 54.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 23233
7.53/7.71 c before 72.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23745
7.53/7.71 c before 90.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24428
7.53/7.71 c before 144.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25413
7.53/7.71 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} 26047
7.53/7.71 c
7.53/7.71 c solver 2
7.53/7.71 c before 0.0 seconds: {} 0
7.53/7.71 c before 18.0 seconds: {0, 5, 6, 7, 12, 17, 19, 21, 22, 23, 24, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 13919
7.53/7.71 c before 36.0 seconds: {0, 3, 5, 6, 7, 12, 17, 19, 21, 22, 23, 24, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 14896
7.53/7.71 c before 54.0 seconds: {0, 1, 3, 4, 5, 6, 7, 12, 17, 19, 21, 22, 23, 24, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 16829
7.53/7.71 c before 72.0 seconds: {0, 1, 3, 4, 5, 6, 7, 11, 12, 16, 17, 19, 21, 22, 23, 24, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 18172
7.53/7.71 c before 90.0 seconds: {0, 1, 3, 4, 5, 6, 7, 9, 11, 12, 16, 17, 19, 21, 22, 23, 24, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 18857
7.53/7.71 c before 108.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 11, 12, 16, 17, 19, 21, 22, 23, 24, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 19549
7.53/7.71 c before 144.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 11, 12, 16, 17, 19, 21, 22, 23, 24, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20061
7.53/7.71 c before 270.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 11, 12, 14, 16, 17, 19, 21, 22, 23, 24, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20735
7.53/7.71 c before 324.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 16, 17, 19, 21, 22, 23, 24, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21417
7.53/7.71 c before 360.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 16, 17, 19, 21, 22, 23, 24, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22403
7.53/7.71 c
7.53/7.71 cTotal time: 101
7.53/7.71 c run abscon for 432.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25413
7.53/7.71 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} 26047
7.53/7.71 c run choco for 324.0 seconds {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 16, 17, 19, 21, 22, 23, 24, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21417
7.53/7.71 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.53/7.71 c On Instance: HOME/instance-1063048-1215136276.xml
7.53/7.71 c Running for: 432 seconds
9.48/9.71 s SAT
9.48/9.71 v 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0
9.48/9.71 d ASSIGNMENTS 6840
9.48/9.71 d CHECKS 188104