0.00/0.00 c cpHydra_k_40 version 0.0
6.64/6.71 c CASE TO CLASSIFY:
6.64/6.71 c Case: 0
6.64/6.71 c 19 > 38.653800 | c 35 > 26.134600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.192300 | c 15 > 20.971100 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 9.912510 | c 14 > 13.120700 | c 11 > 10.019600 | c 12 > 9.118540 | 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
6.64/6.72 c choco : 1801.0
6.64/6.72 c mistral : 1801.0
6.64/6.72 c abscon : 1801.0
6.64/6.72 c
6.64/6.72 c
6.64/6.79 c List of same ones: 40
6.64/6.79 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-1-6-3.xml
6.64/6.79 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
6.74/6.80 c choco : 73.01
6.74/6.80 c mistral : 0.493924
6.74/6.80 c abscon : 7.12592
6.74/6.80 c
6.74/6.80 c
6.74/6.80 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-1-6-2.xml
6.74/6.80 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
6.74/6.81 c choco : 42.29
6.74/6.81 c mistral : 4.09
6.74/6.81 c abscon : 5.17121
6.74/6.81 c
6.74/6.81 c
6.74/6.81 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-1-6-4.xml
6.74/6.81 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
6.74/6.82 c choco : 97.7
6.74/6.82 c mistral : 12.3971
6.74/6.82 c abscon : 4.75328
6.74/6.82 c
6.74/6.82 c
6.74/6.82 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-1-6-1.xml
6.74/6.82 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
6.74/6.83 c choco : 45.97
6.74/6.83 c mistral : 1.4
6.74/6.83 c abscon : 3.53646
6.74/6.83 c
6.74/6.83 c
6.74/6.83 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-1-6-2.xml
6.74/6.83 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
6.74/6.84 c choco : 4.61
6.74/6.84 c mistral : 0.036993
6.74/6.84 c abscon : 1.13283
6.74/6.84 c
6.74/6.84 c
6.74/6.84 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-1-6-3.xml
6.74/6.84 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
6.74/6.85 c choco : 3.49
6.74/6.85 c mistral : 0.219965
6.74/6.85 c abscon : 1.37479
6.74/6.85 c
6.74/6.85 c
6.74/6.85 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-1-6-4.xml
6.74/6.85 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
6.74/6.85 c choco : 2.78
6.74/6.85 c mistral : 0.056991
6.74/6.85 c abscon : 1.06884
6.74/6.85 c
6.74/6.85 c
6.74/6.85 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-2-0-2.xml
6.74/6.85 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
6.74/6.86 c choco : 9.95
6.74/6.86 c mistral : 0.19397
6.74/6.86 c abscon : 1.41378
6.74/6.86 c
6.74/6.86 c
6.74/6.86 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-2-0-4.xml
6.74/6.86 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
6.74/6.87 c choco : 1801.0
6.74/6.87 c mistral : 85.46
6.74/6.87 c abscon : 49.4865
6.74/6.87 c
6.74/6.87 c
6.74/6.87 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-2-0-2.xml
6.74/6.87 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
6.74/6.88 c choco : 1801.0
6.74/6.88 c mistral : 21.6907
6.74/6.88 c abscon : 18.3172
6.74/6.88 c
6.74/6.88 c
6.74/6.88 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-2-0-1.xml
6.74/6.88 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
6.74/6.89 c choco : 1801.0
6.74/6.89 c mistral : 207.724
6.74/6.89 c abscon : 95.5095
6.74/6.89 c
6.74/6.89 c
6.74/6.89 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-2-0-3.xml
6.74/6.89 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
6.83/6.90 c choco : 1801.0
6.83/6.90 c mistral : 0.827873
6.83/6.90 c abscon : 3.62545
6.83/6.90 c
6.83/6.90 c
6.83/6.90 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-2-0-3.xml
6.83/6.90 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
6.83/6.91 c choco : 6.52
6.83/6.91 c mistral : 0.182971
6.83/6.91 c abscon : 1.23681
6.83/6.91 c
6.83/6.91 c
6.83/6.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-2-0-1.xml
6.83/6.91 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
6.83/6.92 c choco : 6.08
6.83/6.92 c mistral : 0.12898
6.83/6.92 c abscon : 1.19782
6.83/6.92 c
6.83/6.92 c
6.83/6.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-2-0-4.xml
6.83/6.92 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
6.83/6.93 c choco : 4.29
6.83/6.93 c mistral : 0.082986
6.83/6.93 c abscon : 1.26181
6.83/6.93 c
6.83/6.93 c
6.83/6.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-1-6-1.xml
6.83/6.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
6.83/6.93 c choco : 3.25
6.83/6.93 c mistral : 0.06
6.83/6.93 c abscon : 1.07783
6.83/6.93 c
6.83/6.93 c
6.83/6.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-1-6-1.xml
6.83/6.93 c 19 > 38.461500 | c 35 > 26.153800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.076900 | c 15 > 13.887000 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 4.663000 | c 14 > 7.761550 | c 11 > 8.022370 | c 12 > 3.073030 | 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 > 7.714250 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.321930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.409390 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.83/6.94 c choco : 1.78
6.83/6.94 c mistral : 0.028995
6.83/6.94 c abscon : 0.859868
6.83/6.94 c
6.83/6.94 c
6.83/6.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-2-0-1.xml
6.83/6.94 c 19 > 33.333300 | c 35 > 26.666700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.000000 | c 15 > 15.969300 | c 34 > 33.333300 | c 16 > 3.000000 | c 13 > 5.608210 | c 14 > 9.245550 | c 11 > 8.228820 | c 12 > 4.219300 | 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 > 7.965780 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.643860 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.83/6.94 c choco : 2.0
6.83/6.94 c mistral : 0.04
6.83/6.94 c abscon : 0.920859
6.83/6.94 c
6.83/6.94 c
6.83/6.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-2-0-3.xml
6.83/6.94 c 19 > 33.333300 | c 35 > 26.666700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.000000 | c 15 > 15.543500 | c 34 > 33.333300 | c 16 > 3.000000 | c 13 > 5.233670 | c 14 > 8.787900 | c 11 > 8.228820 | c 12 > 3.880360 | 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 > 7.965780 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.643860 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.83/6.95 c choco : 1.86
6.83/6.95 c mistral : 0.028995
6.83/6.95 c abscon : 0.857869
6.83/6.95 c
6.83/6.95 c
6.83/6.95 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-2-0-2.xml
6.83/6.95 c 19 > 34.000000 | c 35 > 26.600000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.400000 | c 15 > 15.111800 | c 34 > 33.333300 | c 16 > 3.000000 | c 13 > 4.705890 | c 14 > 8.000000 | c 11 > 8.219170 | c 12 > 3.286150 | 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 > 7.960000 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.629360 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.633000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.83/6.96 c choco : 1.87
6.83/6.96 c mistral : 0.027994
6.83/6.96 c abscon : 0.897863
6.83/6.96 c
6.83/6.96 c
6.83/6.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-1-6-3.xml
6.83/6.96 c 19 > 40.000000 | c 35 > 26.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 24.000000 | c 15 > 13.581900 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 3.460210 | c 14 > 7.044390 | c 11 > 8.000000 | c 12 > 2.292320 | c 21 > 1.414210 | c 20 > 60.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 > 7.700440 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.285400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.383700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.83/6.96 c choco : 1.69
6.83/6.97 c mistral : 0.029995
6.83/6.97 c abscon : 0.835872
6.83/6.97 c
6.83/6.97 c
6.83/6.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-1-6-4.xml
6.83/6.97 c 19 > 40.000000 | c 35 > 26.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 24.000000 | c 15 > 12.714900 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 2.653550 | c 14 > 6.285400 | c 11 > 8.000000 | c 12 > 1.350940 | c 21 > 1.414210 | c 20 > 60.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 > 7.700440 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.285400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.383700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.83/6.97 c choco : 1.71
6.83/6.97 c mistral : 0.03
6.83/6.97 c abscon : 0.760884
6.83/6.97 c
6.83/6.97 c
6.83/6.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-0432-003.xml
6.83/6.97 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
6.83/6.98 c choco : 1801.0
6.83/6.98 c mistral : 0.393939
6.83/6.98 c abscon : 29.5855
6.83/6.98 c
6.83/6.98 c
6.83/6.98 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-2-0-4.xml
6.83/6.98 c 19 > 34.000000 | c 35 > 26.600000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.400000 | c 15 > 12.773300 | c 34 > 33.333300 | c 16 > 3.000000 | c 13 > 2.306510 | c 14 > 5.954200 | c 11 > 8.219170 | c 12 > 1.321930 | 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 > 7.960000 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.629360 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.633000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.83/6.98 c choco : 1.8
6.83/6.98 c mistral : 0.032994
6.83/6.98 c abscon : 0.834872
6.83/6.98 c
6.83/6.98 c
6.83/6.98 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-2670-141.xml
6.83/6.98 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
6.83/6.99 c choco : 141.64
6.83/6.99 c mistral : 64.3662
6.83/6.99 c abscon : 427.927
6.83/6.99 c
6.83/6.99 c
6.83/6.99 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-7552-038.xml
6.83/6.99 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
6.83/6.99 c choco : 8.89
6.83/6.99 c mistral : 1.66774
6.83/6.99 c abscon : 12.4811
6.83/6.99 c
6.83/6.99 c
6.83/6.99 c /home/eomahony/cpZilla/CSP/pseudoSeries/primesDimacs/bf-2670-001.xml
6.83/6.99 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
6.89/7.00 c choco : 7.07
6.89/7.00 c mistral : 1.01684
6.89/7.00 c abscon : 10.6024
6.89/7.00 c
6.89/7.00 c
6.89/7.00 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-2670-130.xml
6.89/7.00 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
6.89/7.00 c choco : 1801.0
6.89/7.00 c mistral : 51.4592
6.89/7.00 c abscon : 146.483
6.89/7.00 c
6.89/7.00 c
6.89/7.00 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_09.xml
6.89/7.00 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
6.89/7.01 c choco : 2.27
6.89/7.01 c mistral : 0.017996
6.89/7.01 c abscon : 1800.14
6.89/7.01 c
6.89/7.01 c
6.89/7.01 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_11.xml
6.89/7.01 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
6.89/7.01 c choco : 3.61
6.89/7.01 c mistral : 0.016996
6.89/7.01 c abscon : 1800.14
6.89/7.01 c
6.89/7.01 c
6.89/7.01 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_10.xml
6.89/7.01 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
6.89/7.02 c choco : 2.74
6.89/7.02 c mistral : 0.015996
6.89/7.02 c abscon : 1800.14
6.89/7.02 c
6.89/7.02 c
6.89/7.02 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_12.xml
6.89/7.02 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
6.89/7.02 c choco : 3.39
6.89/7.02 c mistral : 0.016997
6.89/7.02 c abscon : 1800.18
6.89/7.02 c
6.89/7.02 c
6.89/7.02 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-7552-160.xml
6.89/7.02 c 19 > 30.822100 | c 35 > 21.721700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 18.493200 | c 15 > 14.867100 | c 34 > 27.886100 | c 16 > 5.000000 | c 13 > 2.359390 | c 14 > 7.499850 | c 11 > 12.679000 | c 12 > 0.557124 | c 21 > 1.407840 | c 20 > 69.177900 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.342100 | c 1 > 11.415700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.901600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.841300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.89/7.03 c choco : 6.81
6.89/7.03 c mistral : 0.49
6.89/7.03 c abscon : 8.16176
6.89/7.03 c
6.89/7.03 c
6.89/7.03 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_15.xml
6.89/7.03 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
6.89/7.04 c choco : 4.22
6.89/7.04 c mistral : 0.021996
6.89/7.04 c abscon : 1800.17
6.89/7.04 c
6.89/7.04 c
6.89/7.04 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_14.xml
6.89/7.04 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
6.89/7.04 c choco : 6.88
6.89/7.04 c mistral : 0.018996
6.89/7.04 c abscon : 1800.15
6.89/7.04 c
6.89/7.04 c
6.89/7.04 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_13.xml
6.89/7.04 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
6.89/7.05 c choco : 3.6
6.89/7.05 c mistral : 0.017996
6.89/7.05 c abscon : 1800.16
6.89/7.05 c
6.89/7.05 c
6.89/7.05 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_08.xml
6.89/7.05 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
6.89/7.05 c choco : 2.24
6.89/7.05 c mistral : 0.015996
6.89/7.05 c abscon : 1800.14
6.89/7.05 c
6.89/7.05 c
6.89/7.05 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_16.xml
6.89/7.06 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
6.89/7.06 c choco : 4.95
6.89/7.06 c mistral : 0.021995
6.89/7.06 c abscon : 1800.15
6.89/7.06 c
6.89/7.06 c
6.89/7.06 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-7552-159.xml
6.89/7.06 c 19 > 31.040800 | c 35 > 21.735400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 18.624500 | c 15 > 13.875900 | c 34 > 27.943500 | c 16 > 5.000000 | c 13 > 1.756260 | c 14 > 7.238400 | c 11 > 12.511300 | c 12 > 0.433454 | c 21 > 1.379550 | c 20 > 68.959200 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.169600 | c 1 > 11.265600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.721100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.655600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.89/7.07 c choco : 5.96
6.89/7.07 c mistral : 0.44
6.89/7.07 c abscon : 3.86641
6.89/7.07 c
6.89/7.07 c
6.89/7.07 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-7552-158.xml
6.89/7.07 c 19 > 31.026600 | c 35 > 21.736900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 18.616000 | c 15 > 13.784300 | c 34 > 27.942200 | c 16 > 5.000000 | c 13 > 1.789010 | c 14 > 7.118940 | c 11 > 12.447600 | c 12 > 0.432749 | c 21 > 1.365110 | c 20 > 68.973400 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.106200 | c 1 > 11.200900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.658200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.585300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.89/7.07 c choco : 5.94
6.89/7.07 c mistral : 0.46
6.89/7.07 c abscon : 3.79442
6.89/7.07 c
6.89/7.07 c
6.89/7.07 c Length: 40
6.89/7.07 c 1.1554154757921506 1.1654300923264354 1.3419244596846767 2.763549048669118 4.9617785130233285 5.078286063250079 5.699390134698624 7.449999705798648 8.005104386296276 8.231640680392939 8.388192521252712 8.46028110568437 9.749839352297036 9.98321005366009 10.73079551775636 10.746231352841795 12.769079589011103 12.887257229104259 13.456564499046552 13.768718251340607 14.296612926938325 15.892015011313072 16.125330253052176 17.46711146556293 18.433884699541764 18.92128214319526 19.51894007919231 19.72425786499203 20.276885995790874 20.609857438364294 20.65030475202001 20.848859442734515 20.90997942766697 20.949078280222736 20.952994759057717 20.97889358908615 20.98027699366717 21.188684219873117 21.256331334077753 21.28348600718127
6.89/7.08 c
6.89/7.08 c 1.0 0.9995027026422463 0.9908189591740145 0.9260158965584362 0.8409670725518408 0.8368932605142902 0.8158249701693241 0.7617732098894509 0.7460986734180981 0.7398857418227776 0.7356523029798135 0.7337191474165913 0.700777246068753 0.6951293099149805 0.6776340843526716 0.6772821247324292 0.634120055401832 0.6317679204990905 0.6206769946305104 0.6147595075715464 0.605004911498364 0.5773199772939372 0.5734822199731501 0.5523655185798493 0.5380896138254547 0.5311686253607516 0.5229211847652702 0.5201466735265029 0.512823080021146 0.5085091689028046 0.5079900802241374 0.5054571827556303 0.504682571554683 0.5041882916774368 0.504138833677821 0.5038120226678079 0.503794577743884 0.5011802617768534 0.5003375013334973 0.5
6.89/7.09 c
6.89/7.09 c solver 0
6.89/7.09 c before 0.0 seconds: {} 0
6.89/7.09 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 25, 26, 32, 38, 39} 17451
6.89/7.09 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 32, 38, 39} 18764
6.89/7.09 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 32, 38, 39} 19510
6.89/7.09 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, 23, 25, 26, 32, 38, 39} 20246
6.89/7.09 c before 162.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, 25, 26, 27, 32, 38, 39} 20766
6.89/7.09 c before 432.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, 32, 38, 39} 21304
6.89/7.09 c
6.89/7.09 c solver 1
6.89/7.09 c before 0.0 seconds: {} 0
6.89/7.09 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22576
6.89/7.09 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23316
6.89/7.09 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23836
6.89/7.09 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24374
6.89/7.09 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25121
6.89/7.09 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} 25856
6.89/7.09 c
6.89/7.09 c solver 2
6.89/7.09 c before 0.0 seconds: {} 0
6.89/7.09 c before 18.0 seconds: {4, 5, 6, 7, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17353
6.89/7.09 c before 54.0 seconds: {1, 3, 4, 5, 6, 7, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19278
6.89/7.09 c before 90.0 seconds: {0, 1, 3, 4, 5, 6, 7, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20278
6.89/7.09 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21269
6.89/7.09 c before 144.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21807
6.89/7.09 c
6.89/7.09 cTotal time: 44
6.89/7.09 c 792.0 seconds unused
6.89/7.09 c 0 c 0 c 6
6.89/7.09 c 9 c 0 c 6
6.89/7.09 c 9 c 0 c 0
6.89/7.09 c is solver0 dominated by:
6.89/7.09 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: false) (0 is equally as fast as 1: false) (0 < 1: false)
6.89/7.09 c is dominated? true
6.89/7.09 c
6.89/7.09 c is solver1 dominated by:
6.89/7.09 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: true) (1 is equally as fast as 0: false) (1 < 0: true)
6.89/7.09 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)
6.89/7.09 c is dominated? false
6.89/7.09 c
6.89/7.09 c is solver2 dominated by:
6.89/7.09 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: true) (2 is equally as fast as 0: false) (2 < 0: true)
6.89/7.09 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: true) (2 is equally as fast as 1: false) (2 < 1: true)
6.89/7.09 c is dominated? true
6.89/7.09 c
6.89/7.09 c Number of non-dominated solvers: 1
6.89/7.09 c remove dominated solvers
6.89/7.09 c solver 1 is not dominated by another solver
6.89/7.09 c solver 2 is dominated by another solver
6.89/7.09 c solver 0 is dominated by another solver
6.89/7.09 c
6.89/7.09 c solver 0: 0.0
6.89/7.09 c
6.89/7.09 c solver 1: 216.0
6.89/7.09 c
6.89/7.09 c+ 12/12 of 88
6.89/7.09 c
6.89/7.09 c solver 2: 0.0
6.89/7.09 c do not run abscon
6.89/7.09 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} 25856
6.89/7.09 c do not run choco
6.89/7.09 c Starting solver: HOME/cpHydra_k_40/solver/mistral
6.89/7.09 c On Instance: HOME/instance-1063216-1215136366.xml
6.89/7.09 c Running for: 1800 seconds
9.61/9.84 c mistral-prime version 1.313
9.61/9.84 s SATISFIABLE
9.61/9.84 v 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 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 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1
9.61/9.84 d CHECKS 3743005
9.61/9.84 d ASSIGNMENTS 17344