0.00/0.00 c cpHydra_k_40 version 0.0
8.07/8.28 c CASE TO CLASSIFY:
8.07/8.28 c Case: 0
8.07/8.28 c 19 > 0.000000 | c 35 > 31.023600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.931500 | c 34 > 31.023600 | c 16 > 24.000000 | c 13 > 4.585600 | c 14 > 10.048500 | c 11 > 11.455300 | c 12 > 4.183840 | c 21 > 1.414210 | c 20 > 100.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 > 14.872100 | c 1 > 11.455300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.849400 | c 6 > 8.108520 | c 32 > -1.000000 | c 5 > 16.742300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.07/8.29 c choco : 1801.0
8.07/8.29 c mistral : 1801.0
8.07/8.29 c abscon : 1801.0
8.07/8.29 c
8.07/8.29 c
8.17/8.36 c List of same ones: 40
8.17/8.36 c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-3-8.xml
8.17/8.36 c 19 > 0.000000 | c 35 > 31.023600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.073800 | c 34 > 31.023600 | c 16 > 24.000000 | c 13 > 4.574770 | c 14 > 9.897850 | c 11 > 11.455300 | c 12 > 4.148820 | c 21 > 1.414210 | c 20 > 100.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 > 14.872100 | c 1 > 11.455300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.849400 | c 6 > 8.108520 | c 32 > -1.000000 | c 5 > 16.742300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.17/8.37 c choco : 20.92
8.17/8.37 c mistral : 4.84
8.17/8.37 c abscon : 43.4904
8.17/8.37 c
8.17/8.37 c
8.17/8.37 c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-3-7.xml
8.17/8.37 c 19 > 0.000000 | c 35 > 32.054800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.000400 | c 34 > 32.054800 | c 16 > 21.000000 | c 13 > 2.992920 | c 14 > 9.407270 | c 11 > 11.064700 | c 12 > 3.871940 | c 21 > 1.414210 | c 20 > 100.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 > 14.308200 | c 1 > 11.064700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.281100 | c 6 > 7.714250 | c 32 > -1.000000 | c 5 > 16.177800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.17/8.38 c choco : 14.12
8.17/8.38 c mistral : 3.42148
8.17/8.38 c abscon : 15.1667
8.17/8.38 c
8.17/8.38 c
8.17/8.38 c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-3-6.xml
8.17/8.38 c 19 > 0.000000 | c 35 > 32.279100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.086000 | c 34 > 32.279100 | c 16 > 18.000000 | c 13 > 4.811540 | c 14 > 9.463520 | c 11 > 10.612900 | c 12 > 4.280860 | c 21 > 1.414210 | c 20 > 100.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 > 13.658800 | c 1 > 10.612900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.625300 | c 6 > 7.257390 | c 32 > -1.000000 | c 5 > 15.527500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.17/8.39 c choco : 8.85
8.17/8.39 c mistral : 4.83926
8.17/8.39 c abscon : 20.2099
8.17/8.39 c
8.17/8.39 c
8.17/8.39 c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-4-8.xml
8.17/8.39 c 19 > 0.000000 | c 35 > 30.938700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.981300 | c 34 > 30.938700 | c 16 > 32.000000 | c 13 > 3.601170 | c 14 > 9.751540 | c 11 > 12.139600 | c 12 > 4.151730 | c 21 > 1.414210 | c 20 > 100.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 > 15.691700 | c 1 > 12.139600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.671500 | c 6 > 8.954200 | c 32 > -1.000000 | c 5 > 17.560700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.25/8.40 c choco : 1801.0
8.25/8.40 c mistral : 960.35
8.25/8.40 c abscon : 239.695
8.25/8.40 c
8.25/8.40 c
8.25/8.40 c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-3-5.xml
8.25/8.40 c 19 > 0.000000 | c 35 > 32.533300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.368300 | c 34 > 32.533300 | c 16 > 15.000000 | c 13 > 2.757520 | c 14 > 8.588710 | c 11 > 13.064200 | c 12 > 1.778410 | c 21 > 1.414210 | c 20 > 100.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 > 12.892700 | c 1 > 10.076800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.849400 | c 6 > 6.714250 | c 32 > -1.000000 | c 5 > 14.760200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.25/8.41 c choco : 1801.0
8.25/8.41 c mistral : 712.73
8.25/8.41 c abscon : 1579.13
8.25/8.41 c
8.25/8.41 c
8.25/8.41 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16d2.xml
8.25/8.41 c 19 > 6.287130 | c 35 > 29.657800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.772280 | c 15 > 19.536500 | c 34 > 30.915200 | c 16 > 16.000000 | c 13 > 5.139330 | c 14 > 6.569860 | c 11 > 10.707400 | c 12 > 4.567380 | c 21 > 1.414210 | c 20 > 93.712900 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.673900 | c 1 > 10.707400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.627000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.296500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.25/8.42 c choco : 1801.0
8.25/8.42 c mistral : 59.302
8.25/8.42 c abscon : 28.8566
8.25/8.42 c
8.25/8.42 c
8.25/8.42 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16c2.xml
8.25/8.42 c 19 > 6.274190 | c 35 > 27.913400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.764510 | c 15 > 19.331400 | c 34 > 29.168200 | c 16 > 16.000000 | c 13 > 5.072050 | c 14 > 6.491850 | c 11 > 10.851700 | c 12 > 4.481130 | c 21 > 1.414210 | c 20 > 93.725800 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.687200 | c 1 > 10.851700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.635800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.206900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.25/8.43 c choco : 1801.0
8.25/8.43 c mistral : 75.2366
8.25/8.43 c abscon : 1800.1
8.25/8.43 c
8.25/8.43 c
8.25/8.43 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16d1.xml
8.25/8.43 c 19 > 7.179970 | c 35 > 29.332800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.307980 | c 15 > 19.476000 | c 34 > 30.768800 | c 16 > 16.000000 | c 13 > 4.377040 | c 14 > 7.781360 | c 11 > 11.264400 | c 12 > 4.362010 | c 21 > 1.414210 | c 20 > 92.820000 | 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 > 15.015400 | c 1 > 11.264400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.960800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.626900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.25/8.43 c choco : 1801.0
8.25/8.43 c mistral : 33.9608
8.25/8.43 c abscon : 55.5955
8.25/8.43 c
8.25/8.43 c
8.25/8.43 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16c1.xml
8.25/8.43 c 19 > 8.754920 | c 35 > 28.691700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 5.252950 | c 15 > 19.421200 | c 34 > 30.442700 | c 16 > 20.000000 | c 13 > 3.984800 | c 14 > 8.813780 | c 11 > 11.625700 | c 12 > 4.053800 | c 21 > 1.414210 | c 20 > 91.245100 | 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 > 15.041900 | c 1 > 11.625700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.972700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.649800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.25/8.44 c choco : 1801.0
8.25/8.44 c mistral : 28.4047
8.25/8.44 c abscon : 99.5269
8.25/8.44 c
8.25/8.44 c
8.25/8.44 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16b2.xml
8.25/8.44 c 19 > 6.256910 | c 35 > 25.583500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.754140 | c 15 > 19.339800 | c 34 > 26.834900 | c 16 > 16.000000 | c 13 > 4.989890 | c 14 > 6.108520 | c 11 > 11.071500 | c 12 > 4.356670 | c 21 > 1.414210 | c 20 > 93.743100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.709900 | c 1 > 11.071500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.650800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.037500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.25/8.45 c choco : 1801.0
8.25/8.45 c mistral : 105.677
8.25/8.45 c abscon : 10.7104
8.25/8.45 c
8.25/8.45 c
8.25/8.45 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16b1.xml
8.25/8.45 c 19 > 6.515840 | c 35 > 25.315200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.909500 | c 15 > 19.382000 | c 34 > 26.618400 | c 16 > 16.000000 | c 13 > 4.704770 | c 14 > 7.139550 | c 11 > 11.754900 | c 12 > 4.281220 | c 21 > 1.414210 | c 20 > 93.484200 | 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 > 15.309800 | c 1 > 11.754900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.247000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.610300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.25/8.46 c choco : 1801.0
8.25/8.46 c mistral : 56.2854
8.25/8.46 c abscon : 132.43
8.25/8.46 c
8.25/8.46 c
8.25/8.46 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-02-02.xml
8.25/8.46 c 19 > 0.000000 | c 35 > 20.035900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.782200 | c 34 > 30.752100 | c 16 > 17.000000 | c 13 > 3.814870 | c 14 > 9.005620 | c 11 > 11.455800 | c 12 > 3.270540 | c 21 > 1.414210 | c 20 > 100.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 > 15.013900 | c 1 > 11.455800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.385500 | c 6 > 12.895800 | c 32 > -1.000000 | c 5 > 16.512700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 11.952000 | c
8.25/8.48 c choco : 13.2
8.25/8.48 c mistral : 0.068989
8.25/8.48 c abscon : 22.3216
8.25/8.48 c
8.25/8.48 c
8.25/8.48 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16a2.xml
8.25/8.48 c 19 > 6.438130 | c 35 > 22.572000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.862880 | c 15 > 18.387400 | c 34 > 23.859700 | c 16 > 16.000000 | c 13 > 4.792640 | c 14 > 6.686500 | c 11 > 11.645700 | c 12 > 4.049520 | c 21 > 1.414210 | c 20 > 93.561900 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.933100 | c 1 > 11.645700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.857300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.817200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.25/8.48 c choco : 24.25
8.25/8.48 c mistral : 2.88
8.25/8.48 c abscon : 1800.1
8.25/8.48 c
8.25/8.48 c
8.25/8.48 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16a1.xml
8.25/8.48 c 19 > 7.850410 | c 35 > 22.680600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.710250 | c 15 > 19.168600 | c 34 > 24.250600 | c 16 > 16.000000 | c 13 > 3.711370 | c 14 > 8.554590 | c 11 > 11.688300 | c 12 > 3.859460 | c 21 > 1.414210 | c 20 > 92.149600 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.702000 | c 1 > 11.688300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.609800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.666000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.25/8.50 c choco : 1801.0
8.25/8.50 c mistral : 17.7903
8.25/8.50 c abscon : 207.102
8.25/8.50 c
8.25/8.50 c
8.25/8.50 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/stein27.xml
8.25/8.50 c 19 > 0.000000 | c 35 > 29.745800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.662700 | c 34 > 29.745800 | c 16 > 27.000000 | c 13 > 1.905440 | c 14 > 3.000000 | c 11 > 8.164910 | c 12 > 0.857461 | c 21 > 1.414210 | c 20 > 100.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.022370 | c 1 > 4.754890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.022370 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.162400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.33/8.50 c choco : 1.41
8.33/8.50 c mistral : 0.02
8.33/8.50 c abscon : 0.732888
8.33/8.50 c
8.33/8.50 c
8.33/8.50 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-stein27.xml
8.33/8.50 c 19 > 0.000000 | c 35 > 29.745800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.651900 | c 34 > 29.745800 | c 16 > 27.000000 | c 13 > 1.905080 | c 14 > 3.000000 | c 11 > 8.164910 | c 12 > 0.857461 | c 21 > 1.414210 | c 20 > 100.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.022370 | c 1 > 4.754890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.022370 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.162400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.70 c choco : 1.39
8.52/8.70 c mistral : 0.02
8.52/8.70 c abscon : 0.763883
8.52/8.70 c
8.52/8.70 c
8.52/8.70 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16e2.xml
8.52/8.70 c 19 > 6.365920 | c 35 > 40.277600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.819550 | c 15 > 19.511600 | c 34 > 41.550800 | c 16 > 16.000000 | c 13 > 5.568540 | c 14 > 6.727920 | c 11 > 10.055300 | c 12 > 4.991330 | c 21 > 1.414210 | c 20 > 93.634100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.627000 | c 1 > 10.055300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.596400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.569400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.71 c choco : 1801.0
8.52/8.71 c mistral : 132.853
8.52/8.71 c abscon : 1800.05
8.52/8.71 c
8.52/8.71 c
8.52/8.71 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32a1.xml
8.52/8.71 c 19 > 4.746150 | c 35 > 19.093200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.847690 | c 15 > 19.726400 | c 34 > 20.042400 | c 16 > 32.000000 | c 13 > 4.856550 | c 14 > 7.276120 | c 11 > 9.842350 | c 12 > 5.211620 | c 21 > 1.414210 | c 20 > 95.253900 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.565700 | c 1 > 9.842350 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.538100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.139100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.72 c choco : 1801.0
8.52/8.72 c mistral : 171.472
8.52/8.72 c abscon : 613.015
8.52/8.72 c
8.52/8.72 c
8.52/8.72 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16e1.xml
8.52/8.72 c 19 > 7.775900 | c 35 > 39.956900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.665540 | c 15 > 19.728200 | c 34 > 41.512100 | c 16 > 16.000000 | c 13 > 4.729470 | c 14 > 8.523560 | c 11 > 11.281900 | c 12 > 4.688060 | c 21 > 1.414210 | c 20 > 92.224100 | 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 > 15.549700 | c 1 > 11.281900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.511700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.495900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.72 c choco : 1801.0
8.52/8.72 c mistral : 395.649
8.52/8.72 c abscon : 140.834
8.52/8.72 c
8.52/8.72 c
8.52/8.72 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e5.xml
8.52/8.72 c 19 > 4.293470 | c 35 > 18.659300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.576080 | c 15 > 19.700800 | c 34 > 19.518000 | c 16 > 32.000000 | c 13 > 5.665320 | c 14 > 7.247930 | c 11 > 10.027900 | c 12 > 5.597150 | c 21 > 1.414210 | c 20 > 95.706500 | 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 > 15.227600 | c 1 > 10.027900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.207900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.956300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.73 c choco : 1801.0
8.52/8.73 c mistral : 28.4527
8.52/8.73 c abscon : 1800.08
8.52/8.73 c
8.52/8.73 c
8.52/8.73 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-02-08.xml
8.52/8.73 c 19 > 0.000000 | c 35 > 19.335500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.449400 | c 34 > 29.596400 | c 16 > 17.000000 | c 13 > 3.811990 | c 14 > 9.011230 | c 11 > 11.455800 | c 12 > 3.267290 | c 21 > 2.828430 | c 20 > 100.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 15.013900 | c 1 > 11.455800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.385500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.911400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 13.512000 | c
8.52/8.74 c choco : 13.33
8.52/8.74 c mistral : 0.077987
8.52/8.74 c abscon : 26.9069
8.52/8.74 c
8.52/8.74 c
8.52/8.74 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32d2.xml
8.52/8.74 c 19 > 7.270110 | c 35 > 19.226200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.362070 | c 15 > 19.723200 | c 34 > 20.680200 | c 16 > 32.000000 | c 13 > 3.628800 | c 14 > 8.113740 | c 11 > 9.658210 | c 12 > 4.554740 | c 21 > 1.414210 | c 20 > 92.729900 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.687300 | c 1 > 9.658210 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.642400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.214800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.74 c choco : 1801.0
8.52/8.74 c mistral : 65.521
8.52/8.74 c abscon : 1800.05
8.52/8.74 c
8.52/8.74 c
8.52/8.74 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e4.xml
8.52/8.74 c 19 > 5.164820 | c 35 > 18.205000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.098890 | c 15 > 19.645000 | c 34 > 19.238000 | c 16 > 32.000000 | c 13 > 5.455050 | c 14 > 7.266790 | c 11 > 9.596190 | c 12 > 5.548950 | c 21 > 1.414210 | c 20 > 94.835200 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.809200 | c 1 > 9.596190 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.789600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.635700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.75 c choco : 1801.0
8.52/8.75 c mistral : 38.2112
8.52/8.75 c abscon : 762.347
8.52/8.75 c
8.52/8.75 c
8.52/8.75 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b4.xml
8.52/8.75 c 19 > 5.219890 | c 35 > 18.138100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.131940 | c 15 > 19.632900 | c 34 > 19.182100 | c 16 > 32.000000 | c 13 > 5.469140 | c 14 > 7.312880 | c 11 > 9.573650 | c 12 > 5.562700 | c 21 > 1.414210 | c 20 > 94.780100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.808400 | c 1 > 9.573650 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.789100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.646000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.76 c choco : 1801.0
8.52/8.76 c mistral : 68.1926
8.52/8.76 c abscon : 1398.64
8.52/8.76 c
8.52/8.76 c
8.52/8.76 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e3.xml
8.52/8.76 c 19 > 6.168220 | c 35 > 18.358900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.700930 | c 15 > 19.678100 | c 34 > 19.592500 | c 16 > 32.000000 | c 13 > 4.952670 | c 14 > 7.531380 | c 11 > 9.366320 | c 12 > 5.241470 | c 21 > 1.414210 | c 20 > 93.831800 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.233000 | c 1 > 9.366320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.208100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.031600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.76 c choco : 1801.0
8.52/8.76 c mistral : 38.3842
8.52/8.76 c abscon : 864.371
8.52/8.76 c
8.52/8.76 c
8.52/8.76 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b3.xml
8.52/8.76 c 19 > 5.721800 | c 35 > 18.132200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.433080 | c 15 > 19.664900 | c 34 > 19.276600 | c 16 > 32.000000 | c 13 > 5.224600 | c 14 > 7.276120 | c 11 > 9.442940 | c 12 > 5.434720 | c 21 > 1.414210 | c 20 > 94.278200 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.548000 | c 1 > 9.442940 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.526900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.386700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.77 c choco : 1801.0
8.52/8.77 c mistral : 34.6827
8.52/8.77 c abscon : 227.057
8.52/8.77 c
8.52/8.77 c
8.52/8.77 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c4.xml
8.52/8.77 c 19 > 3.510480 | c 35 > 17.836800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.106290 | c 15 > 19.658400 | c 34 > 18.538900 | c 16 > 32.000000 | c 13 > 7.016210 | c 14 > 5.754890 | c 11 > 10.568000 | c 12 > 6.261040 | c 21 > 1.414210 | c 20 > 96.489500 | 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 > 16.532600 | c 1 > 10.568000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 16.521000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.412700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.77 c choco : 1801.0
8.52/8.77 c mistral : 158.081
8.52/8.77 c abscon : 1800.11
8.52/8.77 c
8.52/8.77 c
8.52/8.77 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-02-16.xml
8.52/8.77 c 19 > 0.000000 | c 35 > 17.110300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.449300 | c 34 > 25.470900 | c 16 > 17.000000 | c 13 > 3.811990 | c 14 > 9.011230 | c 11 > 11.455800 | c 12 > 3.267290 | c 21 > 4.000000 | c 20 > 100.000000 | 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 > -1.000000 | c 2 > -1.000000 | c 10 > 15.013900 | c 1 > 11.455800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.385500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.968100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 13.512000 | c
8.52/8.78 c choco : 13.37
8.52/8.78 c mistral : 0.077987
8.52/8.78 c abscon : 26.506
8.52/8.78 c
8.52/8.78 c
8.52/8.78 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c3.xml
8.52/8.78 c 19 > 7.856940 | c 35 > 18.037200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.714170 | c 15 > 19.685700 | c 34 > 19.608600 | c 16 > 32.000000 | c 13 > 4.633610 | c 14 > 7.483820 | c 11 > 9.124120 | c 12 > 5.041490 | c 21 > 1.414210 | c 20 > 92.143100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.820800 | c 1 > 9.124120 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.792700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.674800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.79 c choco : 23.56
8.52/8.79 c mistral : 26.173
8.52/8.79 c abscon : 26.201
8.52/8.79 c
8.52/8.79 c
8.52/8.79 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e2.xml
8.52/8.79 c 19 > 8.861600 | c 35 > 18.589400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 5.316960 | c 15 > 19.203800 | c 34 > 20.361800 | c 16 > 32.000000 | c 13 > 3.100940 | c 14 > 7.800900 | c 11 > 13.295600 | c 12 > 1.642620 | c 21 > 1.414210 | c 20 > 91.138400 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.256800 | c 1 > 9.060700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.216900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.005100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.79 c choco : 1801.0
8.52/8.79 c mistral : 1.61175
8.52/8.79 c abscon : 1784.44
8.52/8.79 c
8.52/8.79 c
8.52/8.79 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b2.xml
8.52/8.79 c 19 > 9.258600 | c 35 > 18.442700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 5.555160 | c 15 > 19.224400 | c 34 > 20.294400 | c 16 > 32.000000 | c 13 > 2.783920 | c 14 > 7.700440 | c 11 > 13.292500 | c 12 > 1.612590 | c 21 > 1.414210 | c 20 > 90.741400 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.254400 | c 1 > 9.027910 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.215400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.036800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.52/8.80 c choco : 37.65
8.52/8.80 c mistral : 4.67629
8.52/8.80 c abscon : 13.5079
8.52/8.80 c
8.52/8.80 c
8.52/8.80 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-stein15.xml
8.52/8.80 c 19 > 0.000000 | c 35 > 33.333300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 8.980140 | c 34 > 33.333300 | c 16 > 15.000000 | c 13 > 1.312730 | c 14 > 2.584960 | c 11 > 6.629360 | c 12 > 0.762961 | c 21 > 1.414210 | c 20 > 100.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 > 6.392320 | c 1 > 3.906890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.392320 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.515700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.58/8.81 c choco : 1.18
8.58/8.81 c mistral : 0.01
8.58/8.81 c abscon : 0.696893
8.58/8.81 c
8.58/8.81 c
8.58/8.81 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32d1.xml
8.58/8.81 c 19 > 10.939000 | c 35 > 19.308100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.563430 | c 15 > 19.426200 | c 34 > 21.495900 | c 16 > 32.000000 | c 13 > 2.401190 | c 14 > 7.707360 | c 11 > 12.798700 | c 12 > 1.614890 | c 21 > 1.414210 | c 20 > 89.061000 | 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.729800 | c 1 > 9.375040 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.657500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.208500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.58/8.81 c choco : 5.88
8.58/8.81 c mistral : 5.9101
8.58/8.81 c abscon : 1.74073
8.58/8.81 c
8.58/8.81 c
8.58/8.81 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c2.xml
8.58/8.81 c 19 > 10.242700 | c 35 > 18.079000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.145620 | c 15 > 19.372300 | c 34 > 20.127500 | c 16 > 32.000000 | c 13 > 2.722930 | c 14 > 7.531380 | c 11 > 13.286100 | c 12 > 1.582940 | c 21 > 1.414210 | c 20 > 89.757300 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.249700 | c 1 > 8.960000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.212300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.098200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.58/8.82 c choco : 1801.0
8.58/8.82 c mistral : 2.04969
8.58/8.82 c abscon : 35.6686
8.58/8.82 c
8.58/8.82 c
8.58/8.82 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8e2.xml
8.58/8.82 c 19 > 12.444600 | c 35 > 23.301400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.466740 | c 15 > 18.879300 | c 34 > 25.790300 | c 16 > 10.000000 | c 13 > 3.282830 | c 14 > 8.247930 | c 11 > 13.311900 | c 12 > 1.682290 | c 21 > 1.414210 | c 20 > 87.555400 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.182900 | c 1 > 10.764900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.041100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.933500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.58/8.82 c choco : 15.93
8.58/8.82 c mistral : 0.815875
8.58/8.82 c abscon : 11.3283
8.58/8.82 c
8.58/8.82 c
8.58/8.83 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8a4.xml
8.58/8.83 c 19 > 12.398200 | c 35 > 26.261700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.438950 | c 15 > 18.898000 | c 34 > 28.741400 | c 16 > 8.000000 | c 13 > 4.452910 | c 14 > 8.285400 | c 11 > 12.448600 | c 12 > 1.839660 | c 21 > 1.414210 | c 20 > 87.601800 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.342600 | c 1 > 9.629360 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.228200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.286300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.58/8.83 c choco : 5.29
8.58/8.83 c mistral : 0.296953
8.58/8.83 c abscon : 1.60376
8.58/8.83 c
8.58/8.83 c
8.58/8.83 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-stein45.xml
8.58/8.83 c 19 > 0.000000 | c 35 > 29.879200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.144700 | c 34 > 29.879200 | c 16 > 45.000000 | c 13 > 2.372830 | c 14 > 3.584960 | c 11 > 9.546890 | c 12 > 0.910486 | c 21 > 1.414210 | c 20 > 100.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 > 9.457380 | c 1 > 5.491850 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.457380 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.608300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.58/8.84 c choco : 1.83
8.58/8.84 c mistral : 0.05
8.58/8.84 c abscon : 0.839872
8.58/8.84 c
8.58/8.84 c
8.58/8.84 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/stein45.xml
8.58/8.84 c 19 > 0.000000 | c 35 > 29.879200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.135400 | c 34 > 29.879200 | c 16 > 45.000000 | c 13 > 2.373190 | c 14 > 3.584960 | c 11 > 9.546890 | c 12 > 0.910486 | c 21 > 1.414210 | c 20 > 100.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 > 9.457380 | c 1 > 5.491850 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.457380 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.608300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.58/8.85 c choco : 1.85
8.58/8.85 c mistral : 0.05
8.58/8.85 c abscon : 0.831872
8.58/8.85 c
8.58/8.85 c
8.58/8.85 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8d2.xml
8.58/8.85 c 19 > 12.438100 | c 35 > 22.669500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.462890 | c 15 > 15.577800 | c 34 > 25.157100 | c 16 > 10.000000 | c 13 > 2.448500 | c 14 > 6.321930 | c 11 > 13.344700 | c 12 > 0.792920 | c 21 > 1.414210 | c 20 > 87.561900 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.209600 | c 1 > 10.861100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.060500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.892000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.58/8.85 c choco : 8.3
8.58/8.85 c mistral : 0.75
8.58/8.85 c abscon : 19.783
8.58/8.85 c
8.58/8.85 c
8.58/8.85 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8c2.xml
8.58/8.85 c 19 > 12.436200 | c 35 > 22.476800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.461710 | c 15 > 15.365900 | c 34 > 24.964000 | c 16 > 10.000000 | c 13 > 2.471200 | c 14 > 6.643860 | c 11 > 13.355500 | c 12 > 0.789169 | c 21 > 1.414210 | c 20 > 87.563800 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.218400 | c 1 > 10.891800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.066900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.877900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.58/8.86 c choco : 8.14
8.58/8.86 c mistral : 0.77
8.58/8.86 c abscon : 16.3695
8.58/8.86 c
8.58/8.86 c
8.58/8.86 c Length: 40
8.58/8.86 c 0.8716010565620044 4.056966243167425 6.845439989606221 8.345339630656143 10.841609396132107 16.01103668691693 16.350620702459587 16.669220696655263 16.991739023398992 17.407202256867702 17.584737730822145 19.31831967992299 19.528613052024458 20.29217861187901 21.014640778791367 21.019452410242305 21.36846112848092 21.891780063743102 22.04878371364053 22.27140302646198 22.334446266131156 23.070519162801684 23.110175057705643 23.205466648328798 23.38126241439285 23.43398900048389 23.56137397031633 24.48806185544499 24.75754030497981 25.085490091206108 25.55728827040537 25.769349624459696 26.27385844909536 26.6973287897516 27.5153800773004 27.621171163710635 27.722969418040627 27.725554300298775 28.469237504432748 28.55650540651536
8.58/8.87 c
8.58/8.87 c 1.0 0.896814467951662 0.8225174694486633 0.7874281271253982 0.7352268900003581 0.6464759144608785 0.6413898873655353 0.6366903714303839 0.6320026847535269 0.6260648539734113 0.6235613939555296 0.6001285574966262 0.5974052549661549 0.5877214971630691 0.5788437050141826 0.5787854774975938 0.5745929955480357 0.5684191965539054 0.5665927520854593 0.5640230211330738 0.5632995324928226 0.5549876289906548 0.5545467836846953 0.5534903073828222 0.5515518255726231 0.5509730591657758 0.5495797859909841 0.5396523907235893 0.5368324894112799 0.5334402313516925 0.5286345546856809 0.5265026166177844 0.5214990487577069 0.5173720300469917 0.5095817279622923 0.508591377542754 0.5076420329721214 0.507617973156012 0.5007892898989733 0.5
8.58/8.88 c
8.58/8.88 c solver 0
8.58/8.88 c before 0.0 seconds: {} 0
8.58/8.88 c before 18.0 seconds: {1, 9, 14, 15, 30, 31, 32, 34, 35, 36, 37, 39} 6790
8.58/8.88 c before 36.0 seconds: {1, 2, 5, 9, 11, 14, 15, 20, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 11517
8.58/8.88 c before 54.0 seconds: {0, 1, 2, 5, 9, 11, 14, 15, 20, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 12517
8.58/8.88 c before 72.0 seconds: {0, 1, 2, 5, 7, 9, 11, 14, 15, 20, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13154
8.58/8.88 c before 108.0 seconds: {0, 1, 2, 5, 7, 8, 9, 11, 14, 15, 20, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13786
8.58/8.88 c before 144.0 seconds: {0, 1, 2, 5, 7, 8, 9, 10, 11, 14, 15, 18, 20, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14976
8.58/8.88 c before 216.0 seconds: {0, 1, 2, 5, 7, 8, 9, 10, 11, 13, 14, 15, 18, 20, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15564
8.58/8.88 c before 234.0 seconds: {0, 1, 2, 5, 7, 8, 9, 10, 11, 13, 14, 15, 18, 20, 25, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16115
8.58/8.88 c before 252.0 seconds: {0, 1, 2, 3, 5, 7, 8, 9, 10, 11, 13, 14, 15, 18, 20, 25, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16902
8.58/8.88 c before 630.0 seconds: {0, 1, 2, 3, 5, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 20, 25, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17471
8.58/8.88 c before 774.0 seconds: {0, 1, 2, 3, 5, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 20, 22, 25, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18025
8.58/8.88 c before 882.0 seconds: {0, 1, 2, 3, 5, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 20, 22, 24, 25, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18577
8.58/8.88 c before 1404.0 seconds: {0, 1, 2, 3, 5, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 20, 22, 23, 24, 25, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19130
8.58/8.88 c before 1584.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 20, 22, 23, 24, 25, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19865
8.58/8.88 c before 1800.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 20, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20399
8.58/8.88 c
8.58/8.88 c solver 1
8.58/8.88 c before 0.0 seconds: {} 0
8.58/8.88 c before 18.0 seconds: {0, 1, 2, 11, 12, 13, 14, 15, 20, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 12426
8.58/8.88 c before 36.0 seconds: {0, 1, 2, 7, 8, 11, 12, 13, 14, 15, 19, 20, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15347
8.58/8.88 c before 54.0 seconds: {0, 1, 2, 7, 8, 11, 12, 13, 14, 15, 19, 20, 22, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16453
8.58/8.88 c before 72.0 seconds: {0, 1, 2, 5, 7, 8, 10, 11, 12, 13, 14, 15, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18831
8.58/8.88 c before 90.0 seconds: {0, 1, 2, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19473
8.58/8.88 c before 108.0 seconds: {0, 1, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20099
8.58/8.88 c before 144.0 seconds: {0, 1, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20674
8.58/8.88 c before 162.0 seconds: {0, 1, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21223
8.58/8.88 c before 180.0 seconds: {0, 1, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21792
8.58/8.88 c before 396.0 seconds: {0, 1, 2, 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} 22358
8.58/8.88 c before 720.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} 23093
8.58/8.88 c before 972.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} 23881
8.58/8.88 c
8.58/8.88 c solver 2
8.58/8.88 c before 0.0 seconds: {} 0
8.58/8.88 c before 18.0 seconds: {1, 2, 11, 14, 15, 20, 27, 31, 32, 34, 35, 36, 37, 38, 39} 8662
8.58/8.88 c before 36.0 seconds: {0, 1, 2, 11, 12, 14, 15, 20, 27, 28, 31, 32, 34, 35, 36, 37, 38, 39} 10796
8.58/8.88 c before 54.0 seconds: {0, 1, 2, 11, 12, 14, 15, 20, 27, 28, 30, 31, 32, 34, 35, 36, 37, 38, 39} 11325
8.58/8.88 c
8.58/8.88 cTotal time: 157
8.58/8.88 c run abscon for 1584.0 seconds {0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 20, 22, 23, 24, 25, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19865
8.58/8.89 c run mistral for 180.0 seconds {0, 1, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21792
8.58/8.89 c run choco for 36.0 seconds {0, 1, 2, 11, 12, 14, 15, 20, 27, 28, 31, 32, 34, 35, 36, 37, 38, 39} 10796
8.58/8.89 c Starting solver: HOME/cpHydra_k_40/solver/abscon
8.58/8.89 c On Instance: HOME/instance-1093599-1215250847.xml
8.58/8.89 c Running for: 1584 seconds
67.47/67.89 s SAT
67.47/67.89 v 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1
67.47/67.89 d ASSIGNMENTS 11581
67.47/67.89 d CHECKS 25089116