0.00/0.00 c cpHydra_k_40 version 0.0
6.93/7.62 c CASE TO CLASSIFY:
6.93/7.62 c Case: 0
6.93/7.62 c 19 > 33.500000 | c 35 > 26.650000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.100000 | c 15 > 20.751100 | c 34 > 33.333300 | c 16 > 3.000000 | c 13 > 11.385400 | c 14 > 13.685100 | c 11 > 10.226400 | c 12 > 9.831070 | 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.93/7.63 c choco : 1801.0
6.93/7.63 c mistral : 1801.0
6.93/7.63 c abscon : 1801.0
6.93/7.63 c
6.93/7.63 c
7.02/7.71 c List of same ones: 40
7.02/7.71 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-2-0-2.xml
7.02/7.71 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.02/7.71 c choco : 9.95
7.02/7.71 c mistral : 0.19397
7.02/7.71 c abscon : 1.41378
7.02/7.71 c
7.02/7.71 c
7.02/7.71 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-2-0-4.xml
7.02/7.71 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.02/7.72 c choco : 1801.0
7.02/7.72 c mistral : 85.46
7.02/7.72 c abscon : 49.4865
7.02/7.72 c
7.02/7.72 c
7.02/7.72 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-2-0-2.xml
7.02/7.72 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.02/7.73 c choco : 1801.0
7.02/7.73 c mistral : 21.6907
7.02/7.73 c abscon : 18.3172
7.02/7.73 c
7.02/7.73 c
7.02/7.73 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-2-0-1.xml
7.02/7.73 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.02/7.74 c choco : 1801.0
7.02/7.74 c mistral : 207.724
7.02/7.74 c abscon : 95.5095
7.02/7.74 c
7.02/7.74 c
7.02/7.74 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-2-0-3.xml
7.02/7.74 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.02/7.75 c choco : 1801.0
7.02/7.75 c mistral : 0.827873
7.02/7.75 c abscon : 3.62545
7.02/7.75 c
7.02/7.75 c
7.02/7.75 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-2-0-3.xml
7.02/7.75 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.02/7.76 c choco : 6.52
7.02/7.76 c mistral : 0.182971
7.02/7.76 c abscon : 1.23681
7.02/7.76 c
7.02/7.76 c
7.02/7.76 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-2-0-1.xml
7.02/7.76 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.02/7.77 c choco : 6.08
7.02/7.77 c mistral : 0.12898
7.02/7.77 c abscon : 1.19782
7.02/7.77 c
7.02/7.77 c
7.02/7.77 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-1-6-2.xml
7.02/7.77 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.02/7.78 c choco : 42.29
7.02/7.78 c mistral : 4.09
7.02/7.78 c abscon : 5.17121
7.02/7.78 c
7.02/7.78 c
7.02/7.78 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-1-6-3.xml
7.02/7.78 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.02/7.78 c choco : 73.01
7.02/7.78 c mistral : 0.493924
7.02/7.78 c abscon : 7.12592
7.02/7.78 c
7.02/7.78 c
7.02/7.78 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-2-0-4.xml
7.02/7.79 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.02/7.79 c choco : 4.29
7.02/7.79 c mistral : 0.082986
7.02/7.79 c abscon : 1.26181
7.02/7.80 c
7.02/7.80 c
7.02/7.80 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-1-6-4.xml
7.02/7.80 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.20/7.99 c choco : 97.7
7.20/7.99 c mistral : 12.3971
7.20/7.99 c abscon : 4.75328
7.20/7.99 c
7.20/7.99 c
7.20/7.99 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-1-6-1.xml
7.20/7.99 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.30/8.00 c choco : 45.97
7.30/8.00 c mistral : 1.4
7.30/8.00 c abscon : 3.53646
7.30/8.00 c
7.30/8.00 c
7.30/8.00 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-1-6-3.xml
7.30/8.00 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.30/8.01 c choco : 3.49
7.30/8.01 c mistral : 0.219965
7.30/8.01 c abscon : 1.37479
7.30/8.01 c
7.30/8.01 c
7.30/8.01 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-1-6-4.xml
7.30/8.01 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.30/8.02 c choco : 2.78
7.30/8.02 c mistral : 0.056991
7.30/8.02 c abscon : 1.06884
7.30/8.02 c
7.30/8.02 c
7.30/8.02 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-1-6-2.xml
7.30/8.02 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.30/8.03 c choco : 4.61
7.30/8.03 c mistral : 0.036993
7.30/8.03 c abscon : 1.13283
7.30/8.03 c
7.30/8.03 c
7.30/8.03 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-0432-003.xml
7.30/8.03 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.30/8.03 c choco : 1801.0
7.30/8.03 c mistral : 0.393939
7.30/8.03 c abscon : 29.5855
7.30/8.03 c
7.30/8.03 c
7.30/8.03 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-2-0-1.xml
7.30/8.03 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
7.30/8.04 c choco : 2.0
7.30/8.04 c mistral : 0.04
7.30/8.04 c abscon : 0.920859
7.30/8.04 c
7.30/8.04 c
7.30/8.04 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-2-0-3.xml
7.30/8.04 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
7.30/8.05 c choco : 1.86
7.30/8.05 c mistral : 0.028995
7.30/8.05 c abscon : 0.857869
7.30/8.05 c
7.30/8.05 c
7.30/8.05 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-2-0-2.xml
7.30/8.05 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
7.30/8.05 c choco : 1.87
7.30/8.05 c mistral : 0.027994
7.30/8.05 c abscon : 0.897863
7.30/8.05 c
7.30/8.05 c
7.30/8.05 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-1-6-1.xml
7.30/8.05 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.30/8.06 c choco : 3.25
7.30/8.06 c mistral : 0.06
7.30/8.06 c abscon : 1.07783
7.30/8.06 c
7.30/8.06 c
7.30/8.06 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-2670-141.xml
7.30/8.06 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.30/8.07 c choco : 141.64
7.30/8.07 c mistral : 64.3662
7.30/8.07 c abscon : 427.927
7.30/8.07 c
7.30/8.07 c
7.30/8.07 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-7552-038.xml
7.30/8.07 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.30/8.08 c choco : 8.89
7.30/8.08 c mistral : 1.66774
7.30/8.08 c abscon : 12.4811
7.30/8.08 c
7.30/8.08 c
7.30/8.08 c /home/eomahony/cpZilla/CSP/pseudoSeries/primesDimacs/bf-2670-001.xml
7.30/8.08 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.30/8.08 c choco : 7.07
7.30/8.08 c mistral : 1.01684
7.30/8.08 c abscon : 10.6024
7.30/8.08 c
7.30/8.08 c
7.30/8.08 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-2670-130.xml
7.30/8.08 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.30/8.09 c choco : 1801.0
7.30/8.09 c mistral : 51.4592
7.30/8.09 c abscon : 146.483
7.30/8.09 c
7.30/8.09 c
7.30/8.09 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-1-6-1.xml
7.30/8.09 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
7.30/8.09 c choco : 1.78
7.30/8.09 c mistral : 0.028995
7.30/8.09 c abscon : 0.859868
7.30/8.09 c
7.30/8.09 c
7.30/8.09 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-2-0-4.xml
7.30/8.09 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
7.36/8.10 c choco : 1.8
7.36/8.10 c mistral : 0.032994
7.36/8.10 c abscon : 0.834872
7.36/8.10 c
7.36/8.10 c
7.36/8.10 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-3-4-4.xml
7.36/8.10 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.36/8.10 c choco : 3.18
7.36/8.10 c mistral : 0.379941
7.36/8.10 c abscon : 1.3278
7.36/8.10 c
7.36/8.10 c
7.36/8.10 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-3-4-1.xml
7.36/8.10 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.36/8.11 c choco : 38.17
7.36/8.11 c mistral : 7.74
7.36/8.11 c abscon : 3.54046
7.36/8.11 c
7.36/8.11 c
7.36/8.11 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-3-4-1.xml
7.36/8.11 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.36/8.12 c choco : 4.27
7.36/8.12 c mistral : 0.27
7.36/8.12 c abscon : 1.19282
7.36/8.12 c
7.36/8.12 c
7.36/8.12 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-3-4-3.xml
7.36/8.12 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.36/8.12 c choco : 34.73
7.36/8.12 c mistral : 14.1748
7.36/8.12 c abscon : 9.07162
7.36/8.12 c
7.36/8.12 c
7.36/8.12 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-1-6-3.xml
7.36/8.12 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
7.36/8.13 c choco : 1.69
7.36/8.13 c mistral : 0.029995
7.36/8.13 c abscon : 0.835872
7.36/8.13 c
7.36/8.13 c
7.36/8.13 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-7552-160.xml
7.36/8.13 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
7.36/8.13 c choco : 6.81
7.36/8.13 c mistral : 0.49
7.36/8.13 c abscon : 8.16176
7.36/8.13 c
7.36/8.13 c
7.36/8.13 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-3-4-2.xml
7.36/8.13 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.36/8.14 c choco : 357.8
7.36/8.14 c mistral : 131.09
7.36/8.14 c abscon : 52.2991
7.36/8.14 c
7.36/8.14 c
7.36/8.14 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-3-4-4.xml
7.36/8.14 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.36/8.14 c choco : 45.26
7.36/8.14 c mistral : 4.17536
7.36/8.14 c abscon : 2.38464
7.36/8.14 c
7.36/8.14 c
7.36/8.15 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-3-4-2.xml
7.36/8.15 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.36/8.15 c choco : 4.81
7.36/8.15 c mistral : 0.34
7.36/8.15 c abscon : 1.48377
7.36/8.15 c
7.36/8.15 c
7.36/8.15 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-7552-159.xml
7.36/8.15 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
7.36/8.16 c choco : 5.96
7.36/8.16 c mistral : 0.44
7.36/8.16 c abscon : 3.86641
7.36/8.16 c
7.36/8.16 c
7.36/8.16 c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-7552-158.xml
7.36/8.16 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
7.36/8.17 c choco : 5.94
7.36/8.17 c mistral : 0.46
7.36/8.17 c abscon : 3.79442
7.36/8.17 c
7.36/8.17 c
7.36/8.17 c /home/eomahony/cpZilla/CSP/haystacks/haystacks_08.xml
7.36/8.17 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.36/8.17 c choco : 2.24
7.36/8.17 c mistral : 0.015996
7.36/8.17 c abscon : 1800.14
7.36/8.17 c
7.36/8.17 c
7.36/8.17 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-50-1-6-4.xml
7.36/8.17 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
7.36/8.18 c choco : 1.71
7.36/8.18 c mistral : 0.03
7.36/8.18 c abscon : 0.760884
7.36/8.18 c
7.36/8.18 c
7.36/8.18 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-3-4-3.xml
7.36/8.18 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.36/8.18 c choco : 5.62
7.36/8.18 c mistral : 0.11
7.36/8.18 c abscon : 1.16782
7.36/8.18 c
7.36/8.18 c
7.36/8.19 c Length: 40
7.36/8.19 c 2.6794524671656332 2.9398386122540816 3.0601602992817227 3.8124829716078743 4.25410495197286 7.371716098060208 7.738080829721283 8.123800501729468 8.265964987192962 8.30616539551796 8.984298254070822 9.06326073103935 9.976557897591734 10.352157405212694 10.406664151105293 11.05141337661387 11.290173939913416 12.015877929597988 13.125884855483077 14.621002743683487 14.638697400124096 14.797666605184752 15.05905659514234 15.582593888884483 15.998312498613723 17.290424225987056 17.687772354621146 18.311034796990587 18.37194296140994 18.397707943583626 18.446046698637083 18.561915103598984 18.60915012854967 18.659387401021505 18.873697367932447 19.14905628205881 19.173531606085017 19.7124555079574 19.81445615037163 20.447161396237867
7.36/8.19 c
7.36/8.19 c 1.0 0.985556646777304 0.9790225319858061 0.9400536413706032 0.9185904734632191 0.7910832874632191 0.7783863307578907 0.7654517200654413 0.7607921748878201 0.7594848480272829 0.7380898761559138 0.7356767190701268 0.7088705575167823 0.6984048695857217 0.6969117181719755 0.6797220102179341 0.6735696043478889 0.6555350070372021 0.6297448052449207 0.5980529102431832 0.5976969255422557 0.59451765599427 0.5893629357763891 0.579302781822414 0.5715558044259267 0.5487471555848648 0.5420946213017922 0.5319786216822526 0.531010252039649 0.5306016787785605 0.5298368313786119 0.528012432105568 0.5272722956105583 0.5264873897934581 0.5231650987482789 0.5189574620515136 0.5185867384916596 0.5105559031222794 0.5090638405801683 0.5
7.43/8.20 c
7.43/8.20 c solver 0
7.43/8.20 c before 0.0 seconds: {} 0
7.43/8.20 c before 18.0 seconds: {0, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 38, 39} 20502
7.43/8.20 c before 36.0 seconds: {0, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 38, 39} 22161
7.43/8.20 c before 54.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 23674
7.43/8.20 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, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 24614
7.43/8.20 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, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 25193
7.43/8.20 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, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 25791
7.43/8.20 c
7.43/8.20 c solver 1
7.43/8.20 c before 0.0 seconds: {} 0
7.43/8.20 c before 18.0 seconds: {0, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 21692
7.43/8.20 c before 36.0 seconds: {0, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 22671
7.43/8.20 c before 54.0 seconds: {0, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 23251
7.43/8.20 c before 72.0 seconds: {0, 2, 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, 33, 34, 35, 36, 37, 38, 39} 23848
7.43/8.20 c before 90.0 seconds: {0, 1, 2, 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, 33, 34, 35, 36, 37, 38, 39} 24834
7.43/8.20 c before 144.0 seconds: {0, 1, 2, 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} 25361
7.43/8.20 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} 26301
7.43/8.20 c
7.43/8.20 c solver 2
7.43/8.20 c before 0.0 seconds: {} 0
7.43/8.20 c before 18.0 seconds: {0, 5, 6, 9, 12, 13, 14, 16, 17, 18, 19, 21, 22, 24, 25, 26, 28, 30, 31, 34, 35, 36, 37, 38, 39} 15505
7.43/8.20 c before 36.0 seconds: {0, 5, 6, 9, 12, 13, 14, 16, 17, 18, 19, 21, 22, 24, 25, 26, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 16036
7.43/8.20 c before 54.0 seconds: {0, 5, 6, 7, 9, 11, 12, 13, 14, 16, 17, 18, 19, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 18595
7.43/8.20 c before 90.0 seconds: {0, 5, 6, 7, 8, 9, 11, 12, 13, 14, 16, 17, 18, 19, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 19356
7.43/8.20 c before 108.0 seconds: {0, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 20094
7.43/8.20 c before 144.0 seconds: {0, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 20692
7.43/8.21 c before 360.0 seconds: {0, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21219
7.43/8.21 c
7.43/8.21 cTotal time: 56
7.43/8.21 c 1008.0 seconds unused
7.43/8.21 c 0 c 0 c 6
7.43/8.21 c 1 c 0 c 6
7.43/8.21 c 1 c 0 c 0
7.43/8.21 c is solver0 dominated by:
7.43/8.21 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)
7.43/8.21 c is dominated? true
7.43/8.21 c
7.43/8.21 c is solver1 dominated by:
7.43/8.21 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)
7.43/8.21 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.43/8.21 c is dominated? false
7.43/8.21 c
7.43/8.21 c is solver2 dominated by:
7.43/8.21 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)
7.43/8.21 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.43/8.21 c is dominated? true
7.43/8.21 c
7.43/8.21 c Number of non-dominated solvers: 1
7.43/8.21 c remove dominated solvers
7.43/8.21 c solver 1 is not dominated by another solver
7.43/8.21 c solver 2 is dominated by another solver
7.43/8.21 c solver 0 is dominated by another solver
7.43/8.21 c
7.43/8.21 c solver 0: 0.0
7.43/8.21 c
7.43/8.21 c solver 1: 216.0
7.43/8.21 c
7.43/8.21 c+ 12/12 of 88
7.43/8.21 c
7.43/8.21 c solver 2: 0.0
7.43/8.21 c do not run abscon
7.43/8.21 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} 26301
7.43/8.21 c do not run choco
7.43/8.21 c Starting solver: HOME/cpHydra_k_40/solver/mistral
7.43/8.21 c On Instance: HOME/instance-1062880-1215136178.xml
7.43/8.21 c Running for: 1800 seconds
10.81/11.67 c mistral-prime version 1.313
10.81/11.67 s SATISFIABLE
10.81/11.67 v 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 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 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 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 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 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 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1
10.81/11.67 d CHECKS 4337896
10.81/11.67 d ASSIGNMENTS 27190