0.00/0.00 c cpHydra_k_40 version 0.0
7.27/7.40 c CASE TO CLASSIFY:
7.27/7.40 c Case: 0
7.27/7.41 c 19 > 43.979300 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.193800 | c 15 > 20.718500 | c 34 > 26.682200 | c 16 > 2.000000 | c 13 > 13.427200 | c 14 > 12.298900 | c 11 > 8.864190 | c 12 > 12.414100 | c 21 > 4.000000 | c 20 > 56.020700 | c 22 > 4.000000 | 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 > 7.906890 | c 2 > -1.000000 | c 10 > 11.077500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.813780 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.341700 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.27/7.42 c choco : 1801.0
7.27/7.42 c mistral : 1801.0
7.27/7.42 c abscon : 1801.0
7.27/7.42 c
7.27/7.42 c
7.27/7.49 c List of same ones: 40
7.27/7.49 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_13.xml
7.27/7.49 c 19 > 43.274900 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.982500 | c 15 > 20.308100 | c 34 > 27.193000 | c 16 > 2.000000 | c 13 > 13.657300 | c 14 > 12.315700 | c 11 > 8.233620 | c 12 > 12.847700 | c 21 > 3.605550 | c 20 > 56.725100 | c 22 > 3.605550 | 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 > 7.285400 | c 2 > -1.000000 | c 10 > 10.193500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.169930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.386100 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.50 c choco : 3.6
7.37/7.50 c mistral : 0.017996
7.37/7.50 c abscon : 1800.16
7.37/7.50 c
7.37/7.50 c
7.37/7.50 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_14.xml
7.37/7.50 c 19 > 42.735000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.820500 | c 15 > 20.174100 | c 34 > 26.759900 | c 16 > 2.000000 | c 13 > 13.249200 | c 14 > 12.083100 | c 11 > 8.459430 | c 12 > 12.395200 | c 21 > 3.741660 | c 20 > 57.265000 | c 22 > 3.741660 | 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 > 7.507790 | c 2 > -1.000000 | c 10 > 10.508800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.400880 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.728600 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.51 c choco : 6.88
7.37/7.51 c mistral : 0.018996
7.37/7.51 c abscon : 1800.15
7.37/7.51 c
7.37/7.51 c
7.37/7.51 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_15.xml
7.37/7.51 c 19 > 43.234700 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.970400 | c 15 > 19.977200 | c 34 > 26.670900 | c 16 > 2.000000 | c 13 > 12.074400 | c 14 > 11.759500 | c 11 > 8.668880 | c 12 > 11.153500 | c 21 > 3.872980 | c 20 > 56.765300 | c 22 > 3.872980 | 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 > 7.714250 | c 2 > -1.000000 | c 10 > 10.802500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.614710 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.045900 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.52 c choco : 4.22
7.37/7.52 c mistral : 0.021996
7.37/7.52 c abscon : 1800.17
7.37/7.52 c
7.37/7.52 c
7.37/7.52 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_12.xml
7.37/7.52 c 19 > 43.213000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.963900 | c 15 > 20.310100 | c 34 > 27.484400 | c 16 > 2.000000 | c 13 > 13.828600 | c 14 > 12.454800 | c 11 > 7.988680 | c 12 > 13.090000 | c 21 > 3.464100 | c 20 > 56.787000 | c 22 > 3.464100 | 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 > 7.044390 | c 2 > -1.000000 | c 10 > 9.853310 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.918860 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.014400 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.53 c choco : 3.39
7.37/7.53 c mistral : 0.016997
7.37/7.53 c abscon : 1800.18
7.37/7.53 c
7.37/7.53 c
7.37/7.53 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_16.xml
7.37/7.53 c 19 > 43.979300 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.193800 | c 15 > 19.857900 | c 34 > 26.682200 | c 16 > 2.000000 | c 13 > 11.164200 | c 14 > 11.495400 | c 11 > 8.864190 | c 12 > 10.093300 | c 21 > 4.000000 | c 20 > 56.020700 | c 22 > 4.000000 | 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 > 7.906890 | c 2 > -1.000000 | c 10 > 11.077500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.813780 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.341700 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.54 c choco : 4.95
7.37/7.54 c mistral : 0.021995
7.37/7.54 c abscon : 1800.15
7.37/7.54 c
7.37/7.54 c
7.37/7.54 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_11.xml
7.37/7.54 c 19 > 42.113800 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.634100 | c 15 > 20.693400 | c 34 > 27.512200 | c 16 > 2.000000 | c 13 > 14.039700 | c 14 > 13.221300 | c 11 > 7.721100 | c 12 > 13.495500 | c 21 > 3.316620 | c 20 > 57.886200 | c 22 > 3.316620 | 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 > 6.781360 | c 2 > -1.000000 | c 10 > 9.483820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.643860 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.607800 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.55 c choco : 3.61
7.37/7.55 c mistral : 0.016996
7.37/7.55 c abscon : 1800.14
7.37/7.55 c
7.37/7.55 c
7.37/7.55 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_10.xml
7.37/7.55 c 19 > 42.919400 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.875800 | c 15 > 20.709600 | c 34 > 28.169900 | c 16 > 2.000000 | c 13 > 14.205200 | c 14 > 13.420600 | c 11 > 7.426260 | c 12 > 13.796000 | c 21 > 3.162280 | c 20 > 57.080600 | c 22 > 3.162280 | 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 > 6.491850 | c 2 > -1.000000 | c 10 > 9.079480 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.339850 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.159200 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.56 c choco : 2.74
7.37/7.56 c mistral : 0.015996
7.37/7.56 c abscon : 1800.14
7.37/7.56 c
7.37/7.56 c
7.37/7.56 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_17.xml
7.37/7.56 c 19 > 44.544700 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.363400 | c 15 > 19.744500 | c 34 > 26.662400 | c 16 > 2.000000 | c 13 > 8.778810 | c 14 > 11.172400 | c 11 > 9.047120 | c 12 > 7.922820 | c 21 > 4.123110 | c 20 > 55.455300 | c 22 > 4.123110 | 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 > 8.087460 | c 2 > -1.000000 | c 10 > 11.335900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.618500 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.56 c choco : 5.02
7.37/7.56 c mistral : 0.019996
7.37/7.56 c abscon : 1800.17
7.37/7.56 c
7.37/7.56 c
7.37/7.56 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_09.xml
7.37/7.56 c 19 > 40.963900 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.289200 | c 15 > 20.876400 | c 34 > 28.072300 | c 16 > 2.000000 | c 13 > 13.928700 | c 14 > 13.791500 | c 11 > 7.098030 | c 12 > 13.737600 | c 21 > 3.000000 | c 20 > 59.036100 | c 22 > 3.000000 | 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 > 6.169930 | c 2 > -1.000000 | c 10 > 8.633000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.659100 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.57 c choco : 2.27
7.37/7.57 c mistral : 0.017996
7.37/7.57 c abscon : 1800.14
7.37/7.57 c
7.37/7.57 c
7.37/7.57 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_18.xml
7.37/7.57 c 19 > 45.543100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.662900 | c 15 > 19.617900 | c 34 > 26.791800 | c 16 > 2.000000 | c 13 > 8.633960 | c 14 > 10.785500 | c 11 > 9.219170 | c 12 > 7.555120 | c 21 > 4.242640 | c 20 > 54.456900 | c 22 > 4.242640 | 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 > 8.257390 | c 2 > -1.000000 | c 10 > 11.579800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.174930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.878700 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.58 c choco : 6.23
7.37/7.58 c mistral : 0.021995
7.37/7.58 c abscon : 1800.14
7.37/7.58 c
7.37/7.58 c
7.37/7.58 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_19.xml
7.37/7.58 c 19 > 45.791200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.737400 | c 15 > 19.534100 | c 34 > 26.712600 | c 16 > 2.000000 | c 13 > 8.326430 | c 14 > 10.589700 | c 11 > 9.381540 | c 12 > 7.239020 | c 21 > 4.358900 | c 20 > 54.208800 | c 22 > 4.358900 | 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 > 8.417850 | c 2 > -1.000000 | c 10 > 11.810600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.339850 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.124200 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.59 c choco : 6.78
7.37/7.59 c mistral : 0.021995
7.37/7.59 c abscon : 1800.19
7.37/7.59 c
7.37/7.59 c
7.37/7.59 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_20.xml
7.37/7.59 c 19 > 46.006800 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.802000 | c 15 > 19.493600 | c 34 > 26.637900 | c 16 > 2.000000 | c 13 > 8.101280 | c 14 > 10.421000 | c 11 > 9.535280 | c 12 > 7.005260 | c 21 > 4.472140 | c 20 > 53.993200 | c 22 > 4.472140 | 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 > 8.569860 | c 2 > -1.000000 | c 10 > 12.029600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.495860 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.356500 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.60 c choco : 7.0
7.45/7.60 c mistral : 0.021995
7.45/7.60 c abscon : 1800.17
7.45/7.60 c
7.45/7.60 c
7.45/7.60 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_21.xml
7.45/7.61 c 19 > 45.620800 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.686200 | c 15 > 19.277700 | c 34 > 26.395000 | c 16 > 2.000000 | c 13 > 7.744070 | c 14 > 10.125400 | c 11 > 9.681240 | c 12 > 6.667870 | c 21 > 4.582580 | c 20 > 54.379200 | c 22 > 4.582580 | 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 > 8.714250 | c 2 > -1.000000 | c 10 > 12.238100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.643860 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.577000 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.61 c choco : 8.67
7.45/7.61 c mistral : 0.021995
7.45/7.61 c abscon : 1800.17
7.45/7.61 c
7.45/7.61 c
7.45/7.61 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_22.xml
7.45/7.61 c 19 > 45.404700 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.621400 | c 15 > 19.230300 | c 34 > 26.214000 | c 16 > 2.000000 | c 13 > 7.521870 | c 14 > 9.962900 | c 11 > 9.820180 | c 12 > 6.457890 | c 21 > 4.690420 | c 20 > 54.595300 | c 22 > 4.690420 | 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 > 8.851750 | c 2 > -1.000000 | c 10 > 12.437000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.784630 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.786800 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.63 c choco : 8.83
7.45/7.63 c mistral : 0.022995
7.45/7.63 c abscon : 1800.16
7.45/7.63 c
7.45/7.63 c
7.45/7.63 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_08.xml
7.45/7.63 c 19 > 37.229400 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 11.168800 | c 15 > 19.896000 | c 34 > 27.532500 | c 16 > 2.000000 | c 13 > 14.205600 | c 14 > 12.990100 | c 11 > 6.727920 | c 12 > 13.629500 | c 21 > 2.828430 | c 20 > 62.770600 | c 22 > 2.828430 | 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 > 5.807350 | c 2 > -1.000000 | c 10 > 8.134430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 5.614710 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.094100 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.63 c choco : 2.24
7.45/7.63 c mistral : 0.015996
7.45/7.63 c abscon : 1800.14
7.45/7.63 c
7.45/7.63 c
7.45/7.63 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-1-6-4.xml
7.45/7.63 c 19 > 39.230800 | c 35 > 26.076900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.538500 | c 15 > 20.080700 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 10.359300 | c 14 > 13.017900 | c 11 > 10.011200 | c 12 > 9.209880 | c 21 > 1.414210 | c 20 > 60.769200 | 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.707360 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.303780 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.396600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.83 c choco : 97.7
7.64/7.83 c mistral : 12.3971
7.64/7.83 c abscon : 4.75328
7.64/7.83 c
7.64/7.83 c
7.64/7.83 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-1-6-2.xml
7.64/7.83 c 19 > 38.653800 | c 35 > 26.134600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.192300 | c 15 > 19.935200 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 10.386500 | c 14 > 12.940100 | c 11 > 10.019600 | c 12 > 9.285440 | c 21 > 1.414210 | c 20 > 61.346200 | 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.712530 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.317410 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.406200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.83 c choco : 42.29
7.64/7.83 c mistral : 4.09
7.64/7.83 c abscon : 5.17121
7.64/7.83 c
7.64/7.83 c
7.64/7.83 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-1-6-3.xml
7.64/7.83 c 19 > 38.653800 | c 35 > 26.134600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.192300 | c 15 > 19.954900 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 9.940520 | c 14 > 12.803100 | c 11 > 10.019600 | c 12 > 8.670580 | c 21 > 1.414210 | c 20 > 61.346200 | 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.712530 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.317410 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.406200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.84 c choco : 73.01
7.64/7.84 c mistral : 0.493924
7.64/7.84 c abscon : 7.12592
7.64/7.84 c
7.64/7.84 c
7.64/7.84 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-1-6-1.xml
7.64/7.84 c 19 > 38.653800 | c 35 > 26.134600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.192300 | c 15 > 20.202000 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 8.324630 | c 14 > 12.436500 | c 11 > 10.019600 | c 12 > 7.104540 | c 21 > 1.414210 | c 20 > 61.346200 | 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.712530 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.317410 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.406200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.84 c choco : 45.97
7.64/7.84 c mistral : 1.4
7.64/7.85 c abscon : 3.53646
7.64/7.85 c
7.64/7.85 c
7.64/7.85 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-1-6-2.xml
7.64/7.85 c 19 > 38.846200 | c 35 > 26.115400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.307700 | c 15 > 18.541400 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 7.915430 | c 14 > 11.476200 | c 11 > 9.016810 | c 12 > 6.489690 | c 21 > 1.414210 | c 20 > 61.153800 | 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.710810 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.312880 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.403000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.86 c choco : 4.61
7.64/7.86 c mistral : 0.036993
7.64/7.86 c abscon : 1.13283
7.64/7.86 c
7.64/7.86 c
7.64/7.86 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-1-6-3.xml
7.64/7.86 c 19 > 38.461500 | c 35 > 26.153800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.076900 | c 15 > 18.137200 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 7.967320 | c 14 > 11.473200 | c 11 > 9.022370 | c 12 > 6.629220 | c 21 > 1.414210 | c 20 > 61.538500 | 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.714250 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.321930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.409400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.86 c choco : 3.49
7.64/7.86 c mistral : 0.219965
7.64/7.86 c abscon : 1.37479
7.64/7.86 c
7.64/7.86 c
7.64/7.86 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-1-6-4.xml
7.64/7.86 c 19 > 38.461500 | c 35 > 26.153800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.076900 | c 15 > 17.680100 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 7.944640 | c 14 > 10.893300 | c 11 > 9.022370 | c 12 > 6.333710 | c 21 > 1.414210 | c 20 > 61.538500 | 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.714250 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.321930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.409400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.87 c choco : 2.78
7.64/7.87 c mistral : 0.056991
7.64/7.87 c abscon : 1.06884
7.64/7.87 c
7.64/7.87 c
7.64/7.87 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-2-0-2.xml
7.64/7.87 c 19 > 34.000000 | c 35 > 26.600000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.400000 | c 15 > 20.765200 | c 34 > 33.333300 | c 16 > 3.000000 | c 13 > 10.169100 | c 14 > 13.490600 | c 11 > 9.219170 | c 12 > 9.740540 | c 21 > 1.414210 | c 20 > 66.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.960000 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.629360 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.633000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.87 c choco : 9.95
7.64/7.87 c mistral : 0.19397
7.64/7.87 c abscon : 1.41378
7.64/7.87 c
7.64/7.87 c
7.64/7.87 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-2-0-4.xml
7.64/7.87 c 19 > 33.666700 | c 35 > 26.633300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.200000 | c 15 > 19.199300 | c 34 > 33.333300 | c 16 > 3.000000 | c 13 > 10.074500 | c 14 > 12.474200 | c 11 > 10.224000 | c 12 > 8.103660 | c 21 > 1.414210 | c 20 > 66.333300 | 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.962900 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.636620 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.638400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.88 c choco : 1801.0
7.64/7.88 c mistral : 85.46
7.64/7.88 c abscon : 49.4865
7.64/7.88 c
7.64/7.88 c
7.64/7.88 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-2-0-2.xml
7.64/7.88 c 19 > 33.500000 | c 35 > 26.650000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.100000 | c 15 > 19.435500 | c 34 > 33.333300 | c 16 > 3.000000 | c 13 > 9.838820 | c 14 > 12.138900 | c 11 > 10.226400 | c 12 > 8.142540 | c 21 > 1.414210 | c 20 > 66.500000 | 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.964340 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.640240 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.641100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.88 c choco : 1801.0
7.64/7.88 c mistral : 21.6907
7.64/7.88 c abscon : 18.3172
7.64/7.88 c
7.64/7.88 c
7.64/7.89 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-2-0-1.xml
7.64/7.89 c 19 > 33.500000 | c 35 > 26.650000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.100000 | c 15 > 19.293000 | c 34 > 33.333300 | c 16 > 3.000000 | c 13 > 9.263320 | c 14 > 12.160800 | c 11 > 10.226400 | c 12 > 7.468390 | c 21 > 1.414210 | c 20 > 66.500000 | 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.964340 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.640240 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.641100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.89 c choco : 1801.0
7.64/7.89 c mistral : 207.724
7.64/7.89 c abscon : 95.5095
7.64/7.89 c
7.64/7.89 c
7.64/7.89 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_41.xml
7.64/7.89 c 19 > 52.745100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.397500 | c 15 > 17.340200 | c 34 > 25.823500 | c 16 > 2.000000 | c 13 > 3.060890 | c 14 > 5.614710 | c 11 > 10.680400 | c 12 > 5.494180 | c 21 > 6.403120 | c 20 > 47.254900 | c 22 > 6.403120 | 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 > 5.321930 | c 2 > -1.000000 | c 10 > 15.038800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.037900 | c 31 > -1.000000 | c 4 > 10.644800 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.90 c choco : 37.3
7.64/7.90 c mistral : 0.047992
7.64/7.90 c abscon : 1800.19
7.64/7.90 c
7.64/7.90 c
7.64/7.90 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-2-0-3.xml
7.64/7.90 c 19 > 33.500000 | c 35 > 26.650000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.100000 | c 15 > 19.556700 | c 34 > 33.333300 | c 16 > 3.000000 | c 13 > 8.617600 | c 14 > 12.118300 | c 11 > 10.226400 | c 12 > 7.270750 | c 21 > 1.414210 | c 20 > 66.500000 | 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.964340 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.640240 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.641100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.71/7.90 c choco : 1801.0
7.71/7.90 c mistral : 0.827873
7.71/7.90 c abscon : 3.62545
7.71/7.90 c
7.71/7.90 c
7.71/7.90 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_42.xml
7.71/7.90 c 19 > 52.669700 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.407900 | c 15 > 17.268500 | c 34 > 25.800900 | c 16 > 2.000000 | c 13 > 3.071160 | c 14 > 5.357550 | c 11 > 10.750700 | c 12 > 5.519660 | c 21 > 6.480740 | c 20 > 47.330300 | c 22 > 6.480740 | 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 > 5.357550 | c 2 > -1.000000 | c 10 > 15.143900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.143000 | c 31 > -1.000000 | c 4 > 10.716000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.71/7.91 c choco : 524.69
7.71/7.91 c mistral : 0.051991
7.71/7.91 c abscon : 1800.15
7.71/7.91 c
7.71/7.91 c
7.71/7.91 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_43.xml
7.71/7.91 c 19 > 52.620200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.424600 | c 15 > 17.207200 | c 34 > 25.786100 | c 16 > 2.000000 | c 13 > 3.079510 | c 14 > 5.129280 | c 11 > 10.819400 | c 12 > 5.545730 | c 21 > 6.557440 | c 20 > 47.379800 | c 22 > 6.557440 | 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 > 5.392320 | c 2 > -1.000000 | c 10 > 15.246400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.245600 | c 31 > -1.000000 | c 4 > 10.785500 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.71/7.91 c choco : 41.75
7.71/7.91 c mistral : 0.051991
7.71/7.91 c abscon : 1800.18
7.71/7.91 c
7.71/7.91 c
7.71/7.91 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_44.xml
7.71/7.91 c 19 > 52.586000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.444500 | c 15 > 17.183000 | c 34 > 25.775800 | c 16 > 2.000000 | c 13 > 3.086390 | c 14 > 4.954200 | c 11 > 10.886500 | c 12 > 5.572270 | c 21 > 6.633250 | c 20 > 47.414000 | c 22 > 6.633250 | 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 > 5.426260 | c 2 > -1.000000 | c 10 > 15.346700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.345900 | c 31 > -1.000000 | c 4 > 10.853300 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.71/7.92 c choco : 380.9
7.71/7.92 c mistral : 0.054991
7.71/7.92 c abscon : 1800.14
7.71/7.92 c
7.71/7.92 c
7.71/7.92 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_45.xml
7.71/7.92 c 19 > 52.527200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.455800 | c 15 > 17.190900 | c 34 > 25.758200 | c 16 > 2.000000 | c 13 > 3.092130 | c 14 > 4.857980 | c 11 > 10.952000 | c 12 > 5.599860 | c 21 > 6.708200 | c 20 > 47.472800 | c 22 > 6.708200 | 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 > 5.459430 | c 2 > -1.000000 | c 10 > 15.444600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.443900 | c 31 > -1.000000 | c 4 > 10.919600 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.71/7.93 c choco : 47.58
7.71/7.93 c mistral : 0.05699
7.71/7.93 c abscon : 1800.17
7.71/7.93 c
7.71/7.93 c
7.71/7.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-2-0-3.xml
7.71/7.93 c 19 > 33.666700 | c 35 > 26.633300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.200000 | c 15 > 17.890400 | c 34 > 33.333300 | c 16 > 3.000000 | c 13 > 7.332900 | c 14 > 10.773100 | c 11 > 9.224000 | c 12 > 5.809890 | c 21 > 1.414210 | c 20 > 66.333300 | 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.962900 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.636620 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.638400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.71/7.93 c choco : 6.52
7.71/7.93 c mistral : 0.182971
7.71/7.93 c abscon : 1.23681
7.71/7.93 c
7.71/7.93 c
7.71/7.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-1-6-1.xml
7.71/7.93 c 19 > 38.846200 | c 35 > 26.115400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.307700 | c 15 > 15.249400 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 5.125640 | c 14 > 8.625710 | c 11 > 9.016810 | c 12 > 3.243820 | c 21 > 1.414210 | c 20 > 61.153800 | 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.710810 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.312880 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.403000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.71/7.94 c choco : 3.25
7.71/7.94 c mistral : 0.06
7.71/7.94 c abscon : 1.07783
7.71/7.94 c
7.71/7.94 c
7.71/7.94 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_47.xml
7.71/7.94 c 19 > 52.380400 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.465800 | c 15 > 17.093100 | c 34 > 25.714100 | c 16 > 2.000000 | c 13 > 3.173020 | c 14 > 4.459430 | c 11 > 11.078800 | c 12 > 5.658790 | c 21 > 6.855650 | c 20 > 47.619600 | c 22 > 6.855650 | 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 > 5.523560 | c 2 > -1.000000 | c 10 > 15.634100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.633400 | c 31 > -1.000000 | c 4 > 11.047800 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.71/7.94 c choco : 627.15
7.71/7.94 c mistral : 0.06199
7.71/7.94 c abscon : 1800.16
7.71/7.94 c
7.71/7.94 c
7.71/7.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-2-0-1.xml
7.71/7.94 c 19 > 33.666700 | c 35 > 26.633300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.200000 | c 15 > 17.700000 | c 34 > 33.333300 | c 16 > 3.000000 | c 13 > 7.171530 | c 14 > 10.660000 | c 11 > 9.224000 | c 12 > 5.521250 | c 21 > 1.414210 | c 20 > 66.333300 | 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.962900 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.636620 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.638400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.71/7.95 c choco : 6.08
7.71/7.95 c mistral : 0.12898
7.71/7.95 c abscon : 1.19782
7.71/7.95 c
7.71/7.95 c
7.71/7.95 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_48.xml
7.71/7.95 c 19 > 52.344500 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.480400 | c 15 > 17.052200 | c 34 > 25.703300 | c 16 > 2.000000 | c 13 > 3.167260 | c 14 > 4.247930 | c 11 > 11.140200 | c 12 > 5.680190 | c 21 > 6.928200 | c 20 > 47.655500 | c 22 > 6.928200 | 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 > 5.554590 | c 2 > -1.000000 | c 10 > 15.725800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.725200 | c 31 > -1.000000 | c 4 > 11.109800 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.71/7.96 c choco : 507.36
7.71/7.96 c mistral : 0.063989
7.71/7.96 c abscon : 1800.14
7.71/7.96 c
7.71/7.96 c
7.71/7.96 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_51.xml
7.71/7.96 c 19 > 52.058400 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.465000 | c 15 > 17.030600 | c 34 > 25.617500 | c 16 > 2.000000 | c 13 > 3.160350 | c 14 > 3.807350 | c 11 > 11.316800 | c 12 > 5.749500 | c 21 > 7.141430 | c 20 > 47.941600 | c 22 > 7.141430 | 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 > 5.643860 | c 2 > -1.000000 | c 10 > 15.989800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.989300 | c 31 > -1.000000 | c 4 > 11.288300 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.71/7.96 c choco : 90.97
7.71/7.96 c mistral : 0.071988
7.71/7.96 c abscon : 1800.11
7.71/7.96 c
7.71/7.96 c
7.71/7.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-2-0-4.xml
7.71/7.96 c 19 > 33.333300 | c 35 > 26.666700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.000000 | c 15 > 17.505200 | c 34 > 33.333300 | c 16 > 3.000000 | c 13 > 6.808180 | c 14 > 10.068800 | c 11 > 9.228820 | c 12 > 5.428500 | c 21 > 1.414210 | c 20 > 66.666700 | 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.965780 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.643860 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.71/7.97 c choco : 4.29
7.71/7.97 c mistral : 0.082986
7.71/7.97 c abscon : 1.26181
7.71/7.97 c
7.71/7.97 c
7.71/7.97 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_07.xml
7.71/7.97 c 19 > 58.823500 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 10.588200 | c 15 > 17.191700 | c 34 > 27.647100 | c 16 > 2.000000 | c 13 > 11.124500 | c 14 > 11.233000 | c 11 > 5.426260 | c 12 > 11.719200 | c 21 > 2.645750 | c 20 > 41.176500 | c 22 > 2.645750 | 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 > 2.584960 | c 2 > -1.000000 | c 10 > 7.266790 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.233620 | c 31 > -1.000000 | c 4 > 5.209450 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.71/7.98 c choco : 1.77
7.71/7.98 c mistral : 0.014997
7.71/7.98 c abscon : 1800.16
7.71/7.98 c
7.71/7.98 c
7.71/7.98 c Length: 40
7.71/7.98 c 2.216260037202313 2.2233590935339285 2.393496950363633 2.970844703548135 3.44869921129692 4.558596879150429 4.973506139395023 6.703712564161741 7.056200623961878 7.499817138444111 8.136258661590105 8.659013488071256 9.131884243741814 9.493456660668967 11.616567841841242 21.397885242425243 21.508642587141573 21.669582869510897 22.29520113688818 22.32790759590786 22.41134227006718 22.580643005968632 23.24044843780559 24.066740598701767 24.199445329783906 24.426785202512836 24.551745901697092 24.572087139551254 24.646034181729927 24.752354243425007 24.850817851559732 24.905254355958704 24.96224932764874 24.98107141074017 25.046439429663447 25.109235706468645 25.168748469701466 25.342518745306272 25.525884619773713 25.632515910776295
7.71/7.98 c
7.71/7.98 c 1.0 0.9996969240165272 0.9924878899973232 0.9687811987713222 0.9499998206107395 0.9090658069787863 0.8946550559132069 0.8391807833372554 0.8287122403910965 0.8159027340743251 0.7982019611672272 0.784227487896096 0.7720014655117406 0.7629071990461712 0.7135499043466319 0.5497047102004663 0.5482791476836725 0.5462208069322781 0.5383641758875105 0.5379596540872882 0.5369304609829609 0.5348541385588027 0.5269131813603476 0.5172949878363812 0.5157829099233573 0.5132129714261006 0.5118112444250392 0.5115837941194729 0.5107586385195935 0.5095768950426135 0.5084873425311638 0.5078869711343479 0.5072599001710815 0.5070531555339582 0.5063364503419714 0.5056498476316064 0.5050008626286445 0.5031154007048878 0.5011410303022825 0.5
7.71/7.99 c
7.71/7.99 c solver 0
7.71/7.99 c before 0.0 seconds: {} 0
7.71/7.99 c before 18.0 seconds: {15, 16, 17, 18, 19, 20, 21, 22, 27, 32, 33, 35, 38} 6851
7.71/7.99 c before 36.0 seconds: {15, 16, 17, 18, 19, 20, 21, 22, 24, 27, 32, 33, 35, 38} 7367
7.71/7.99 c before 54.0 seconds: {15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 27, 32, 33, 35, 38} 7884
7.71/7.99 c before 108.0 seconds: {15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 32, 33, 35, 38} 8398
7.71/7.99 c
7.71/7.99 c solver 1
7.71/7.99 c before 0.0 seconds: {} 0
7.71/8.00 c before 18.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, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24444
7.71/8.00 c before 36.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, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24960
7.71/8.00 c before 90.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, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25477
7.71/8.00 c before 216.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} 25990
7.71/8.00 c
7.71/8.00 c solver 2
7.71/8.00 c before 0.0 seconds: {} 0
7.71/8.00 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 19, 20, 21, 22, 32, 33, 35, 38, 39} 17687
7.71/8.00 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 18, 19, 20, 21, 22, 26, 29, 31, 32, 33, 35, 38, 39} 20303
7.71/8.00 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 26, 29, 31, 32, 33, 35, 38, 39} 20849
7.71/8.00 c before 108.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, 26, 29, 31, 32, 33, 35, 37, 38, 39} 21902
7.71/8.00 c before 396.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, 26, 29, 30, 31, 32, 33, 35, 37, 38, 39} 22410
7.77/8.00 c before 522.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, 26, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 22915
7.77/8.00 c before 540.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, 26, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 23426
7.77/8.00 c before 630.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, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23932
7.77/8.00 c
7.77/8.00 cTotal time: 53
7.77/8.00 c 954.0 seconds unused
7.77/8.00 c 0 c 0 c 4
7.77/8.00 c 24 c 0 c 4
7.77/8.00 c 24 c 0 c 0
7.77/8.00 c is solver0 dominated by:
7.77/8.00 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.77/8.00 c is dominated? true
7.77/8.00 c
7.77/8.00 c is solver1 dominated by:
7.77/8.00 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.77/8.00 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: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.77/8.00 c is dominated? false
7.77/8.00 c
7.77/8.00 c is solver2 dominated by:
7.77/8.00 c solver 0 (2 solves instances that 0 can't: true) (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.77/8.00 c solver 1 (2 solves instances that 1 can't: false) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: false) (2 is equally as fast as 1: false) (2 < 1: true)
7.77/8.00 c is dominated? true
7.77/8.00 c
7.77/8.00 c Number of non-dominated solvers: 1
7.77/8.00 c remove dominated solvers
7.77/8.00 c solver 1 is not dominated by another solver
7.77/8.00 c solver 2 is dominated by another solver
7.77/8.00 c solver 0 is dominated by another solver
7.77/8.00 c
7.77/8.00 c solver 0: 0.0
7.77/8.00 c
7.77/8.00 c solver 1: 216.0
7.77/8.00 c
7.77/8.00 c+ 12/12 of 88
7.77/8.00 c
7.77/8.00 c solver 2: 0.0
7.77/8.00 c do not run abscon
7.77/8.00 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} 25990
7.77/8.00 c do not run choco
7.77/8.00 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.77/8.00 c On Instance: HOME/instance-1081856-1215219586.xml
7.77/8.00 c Running for: 1800 seconds
25.68/26.15 c mistral-prime version 1.313
25.68/26.15 s UNSATISFIABLE
25.68/26.15 d CHECKS 18972246
25.68/26.15 d ASSIGNMENTS 58043