0.00/0.00 c cpHydra_k_40 version 0.0
8.64/8.73 c CASE TO CLASSIFY:
8.64/8.73 c Case: 0
8.64/8.73 c 19 > 0.000000 | c 35 > 30.938700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.964300 | c 34 > 30.938700 | c 16 > 32.000000 | c 13 > 3.653370 | c 14 > 10.316300 | c 11 > 12.139600 | c 12 > 4.176850 | 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.64/8.74 c choco : 1801.0
8.64/8.74 c mistral : 1801.0
8.64/8.74 c abscon : 1801.0
8.64/8.74 c
8.64/8.74 c
8.74/8.81 c List of same ones: 40
8.74/8.81 c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-4-8.xml
8.74/8.81 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.74/8.82 c choco : 1801.0
8.74/8.82 c mistral : 960.35
8.74/8.82 c abscon : 239.695
8.74/8.82 c
8.74/8.82 c
8.74/8.82 c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-3-8.xml
8.74/8.82 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.74/8.83 c choco : 20.92
8.74/8.83 c mistral : 4.84
8.74/8.83 c abscon : 43.4904
8.74/8.83 c
8.74/8.83 c
8.74/8.83 c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-3-7.xml
8.74/8.83 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.74/8.84 c choco : 14.12
8.74/8.84 c mistral : 3.42148
8.74/8.84 c abscon : 15.1667
8.74/8.84 c
8.74/8.84 c
8.74/8.84 c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-3-6.xml
8.74/8.84 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.74/8.84 c choco : 8.85
8.74/8.84 c mistral : 4.83926
8.74/8.84 c abscon : 20.2099
8.74/8.84 c
8.74/8.84 c
8.74/8.84 c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-3-5.xml
8.74/8.84 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.74/8.85 c choco : 1801.0
8.74/8.85 c mistral : 712.73
8.74/8.85 c abscon : 1579.13
8.74/8.85 c
8.74/8.85 c
8.74/8.85 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16c1.xml
8.74/8.85 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.74/8.86 c choco : 1801.0
8.74/8.86 c mistral : 28.4047
8.74/8.86 c abscon : 99.5269
8.74/8.86 c
8.74/8.86 c
8.74/8.86 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32a1.xml
8.74/8.86 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.74/8.87 c choco : 1801.0
8.74/8.87 c mistral : 171.472
8.74/8.87 c abscon : 613.015
8.74/8.87 c
8.74/8.87 c
8.74/8.87 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e5.xml
8.74/8.87 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.74/8.88 c choco : 1801.0
8.74/8.88 c mistral : 28.4527
8.74/8.88 c abscon : 1800.08
8.74/8.88 c
8.74/8.88 c
8.74/8.88 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16d2.xml
8.74/8.88 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.74/8.88 c choco : 1801.0
8.74/8.88 c mistral : 59.302
8.74/8.88 c abscon : 28.8566
8.74/8.88 c
8.74/8.88 c
8.74/8.88 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16c2.xml
8.74/8.88 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.74/8.89 c choco : 1801.0
8.74/8.89 c mistral : 75.2366
8.74/8.89 c abscon : 1800.1
8.74/8.89 c
8.74/8.89 c
8.74/8.89 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16d1.xml
8.74/8.89 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.81/8.90 c choco : 1801.0
8.81/8.90 c mistral : 33.9608
8.81/8.90 c abscon : 55.5955
8.81/8.90 c
8.81/8.90 c
8.81/8.90 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e4.xml
8.81/8.90 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.81/8.92 c choco : 1801.0
8.81/8.92 c mistral : 38.2112
8.81/8.92 c abscon : 762.347
8.81/8.92 c
8.81/8.92 c
8.81/8.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32d2.xml
8.81/8.92 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.81/8.92 c choco : 1801.0
8.81/8.92 c mistral : 65.521
8.81/8.92 c abscon : 1800.05
8.81/8.92 c
8.81/8.92 c
8.81/8.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b4.xml
8.81/8.92 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.81/8.94 c choco : 1801.0
8.81/8.94 c mistral : 68.1926
8.81/8.94 c abscon : 1398.64
8.81/8.94 c
8.81/8.94 c
8.81/8.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c4.xml
8.81/8.94 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.81/8.94 c choco : 1801.0
8.81/8.94 c mistral : 158.081
8.81/8.94 c abscon : 1800.11
8.81/8.94 c
8.81/8.94 c
8.81/8.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e3.xml
8.81/8.94 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.81/8.95 c choco : 1801.0
8.81/8.95 c mistral : 38.3842
8.81/8.95 c abscon : 864.371
8.81/8.95 c
8.81/8.95 c
8.81/8.95 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b3.xml
8.81/8.95 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.81/8.95 c choco : 1801.0
8.81/8.95 c mistral : 34.6827
8.81/8.95 c abscon : 227.057
8.81/8.95 c
8.81/8.95 c
8.81/8.95 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16b2.xml
8.81/8.95 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.81/8.96 c choco : 1801.0
8.81/8.96 c mistral : 105.677
8.81/8.96 c abscon : 10.7104
8.81/8.96 c
8.81/8.96 c
8.81/8.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16b1.xml
8.81/8.96 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.81/8.97 c choco : 1801.0
8.81/8.97 c mistral : 56.2854
8.81/8.97 c abscon : 132.43
8.81/8.97 c
8.81/8.97 c
8.81/8.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/stein27.xml
8.81/8.97 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.81/8.98 c choco : 1.41
8.81/8.98 c mistral : 0.02
8.81/8.98 c abscon : 0.732888
8.81/8.98 c
8.81/8.98 c
8.81/8.98 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-stein27.xml
8.81/8.98 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.81/8.98 c choco : 1.39
8.81/8.98 c mistral : 0.02
8.81/8.98 c abscon : 0.763883
8.81/8.98 c
8.81/8.98 c
8.81/8.98 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-02-02.xml
8.81/8.98 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.81/8.99 c choco : 13.2
8.81/8.99 c mistral : 0.068989
8.81/8.99 c abscon : 22.3216
8.81/8.99 c
8.81/8.99 c
8.81/8.99 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-stein45.xml
8.81/8.99 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.81/8.99 c choco : 1.83
8.81/8.99 c mistral : 0.05
8.81/8.99 c abscon : 0.839872
8.81/8.99 c
8.81/8.99 c
8.81/8.99 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/stein45.xml
8.81/8.99 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.88/9.00 c choco : 1.85
8.88/9.00 c mistral : 0.05
8.88/9.00 c abscon : 0.831872
8.88/9.00 c
8.88/9.00 c
8.88/9.00 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c3.xml
8.88/9.00 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.88/9.00 c choco : 23.56
8.88/9.00 c mistral : 26.173
8.88/9.00 c abscon : 26.201
8.88/9.00 c
8.88/9.00 c
8.88/9.00 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e2.xml
8.88/9.00 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.88/9.01 c choco : 1801.0
8.88/9.01 c mistral : 1.61175
8.88/9.01 c abscon : 1784.44
8.88/9.01 c
8.88/9.01 c
8.88/9.01 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16a2.xml
8.88/9.01 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.88/9.01 c choco : 24.25
8.88/9.01 c mistral : 2.88
8.88/9.01 c abscon : 1800.1
8.88/9.01 c
8.88/9.01 c
8.88/9.02 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b2.xml
8.88/9.02 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.88/9.02 c choco : 37.65
8.88/9.02 c mistral : 4.67629
8.88/9.02 c abscon : 13.5079
8.88/9.02 c
8.88/9.02 c
8.88/9.02 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16a1.xml
8.88/9.02 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.88/9.03 c choco : 1801.0
8.88/9.03 c mistral : 17.7903
8.88/9.03 c abscon : 207.102
8.88/9.03 c
8.88/9.03 c
8.88/9.03 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32d1.xml
8.88/9.03 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.88/9.03 c choco : 5.88
8.88/9.03 c mistral : 5.9101
8.88/9.03 c abscon : 1.74073
8.88/9.03 c
8.88/9.03 c
8.88/9.03 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c2.xml
8.88/9.03 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.88/9.04 c choco : 1801.0
8.88/9.04 c mistral : 2.04969
8.88/9.04 c abscon : 35.6686
8.88/9.04 c
8.88/9.04 c
8.88/9.04 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16e2.xml
8.88/9.04 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.88/9.04 c choco : 1801.0
8.88/9.04 c mistral : 132.853
8.88/9.04 c abscon : 1800.05
8.88/9.04 c
8.88/9.04 c
8.88/9.04 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-02-08.xml
8.88/9.04 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.88/9.05 c choco : 13.33
8.88/9.05 c mistral : 0.077987
8.88/9.05 c abscon : 26.9069
8.88/9.05 c
8.88/9.05 c
8.88/9.05 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16e1.xml
8.88/9.05 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.88/9.05 c choco : 1801.0
8.88/9.05 c mistral : 395.649
8.88/9.05 c abscon : 140.834
8.88/9.05 c
8.88/9.05 c
8.88/9.05 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-02-16.xml
8.88/9.05 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.88/9.06 c choco : 13.37
8.88/9.06 c mistral : 0.077987
8.88/9.06 c abscon : 26.506
8.88/9.06 c
8.88/9.06 c
8.88/9.06 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b1.xml
8.88/9.06 c 19 > 14.232200 | c 35 > 18.651700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.539330 | c 15 > 19.731000 | c 34 > 21.498100 | c 16 > 32.000000 | c 13 > 2.394650 | c 14 > 7.266790 | c 11 > 12.361400 | c 12 > 1.646680 | c 21 > 1.414210 | c 20 > 85.767800 | 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.297500 | c 1 > 8.832890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.230600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.031400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.88/9.07 c choco : 4.72
8.88/9.07 c mistral : 0.34
8.88/9.07 c abscon : 1.3318
8.88/9.07 c
8.88/9.07 c
8.88/9.07 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-stein15.xml
8.88/9.07 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.88/9.07 c choco : 1.18
8.88/9.07 c mistral : 0.01
8.88/9.07 c abscon : 0.696893
8.88/9.07 c
8.88/9.07 c
8.88/9.07 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c1.xml
8.88/9.07 c 19 > 14.950200 | c 35 > 18.518300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.970100 | c 15 > 16.379400 | c 34 > 21.508300 | c 16 > 32.000000 | c 13 > 2.156740 | c 14 > 5.000000 | c 11 > 12.358400 | c 12 > 0.904159 | c 21 > 1.414210 | c 20 > 85.049800 | 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.295200 | c 1 > 8.813780 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.229100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.062500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.88/9.08 c choco : 3.65
8.88/9.08 c mistral : 0.234963
8.88/9.08 c abscon : 1.43478
8.88/9.08 c
8.88/9.08 c
8.88/9.08 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e1.xml
8.88/9.08 c 19 > 15.767000 | c 35 > 18.366500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.460230 | c 15 > 16.592800 | c 34 > 21.519900 | c 16 > 32.000000 | c 13 > 2.164430 | c 14 > 5.285400 | c 11 > 12.355400 | c 12 > 0.906450 | c 21 > 1.414210 | c 20 > 84.233000 | 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.292900 | c 1 > 8.794420 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.227600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.093000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.88/9.08 c choco : 3.45
8.88/9.08 c mistral : 0.232963
8.88/9.08 c abscon : 1.38179
8.88/9.08 c
8.88/9.08 c
8.88/9.08 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8e2.xml
8.88/9.08 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.88/9.09 c choco : 15.93
8.88/9.09 c mistral : 0.815875
8.88/9.09 c abscon : 11.3283
8.88/9.09 c
8.88/9.09 c
8.88/9.09 c Length: 40
8.88/9.09 c 1.135164618898951 8.336746912663235 11.635461070537774 14.914371385127167 18.437494348384217 20.818157996727283 20.893814398077247 21.22857635492074 21.746070676593504 21.975719573872883 22.115109952912285 22.164689449735135 22.17800699323093 22.264672453519275 22.464183847500443 22.503261413646243 22.52973292495497 22.748009441023626 22.753955653578128 22.87899663456029 22.8834170709582 23.324540343134313 23.514357341230827 23.517432052881457 23.971445439958348 24.19709991402689 24.336716539276622 24.674299537198618 24.912096915490675 25.473827584132305 25.851190752506934 26.05661483390734 26.246398823642455 26.419460743991344 28.051794697863812 29.516695836939476 30.81634099684161 30.993053719354293 31.920922447963502 32.68950403110607
8.88/9.10 c
8.88/9.10 c 1.0 0.8141811115111557 0.750317741767303 0.6960483366557626 0.6458553144647323 0.6158466433354968 0.6149386326825911 0.6109528239021724 0.6048919951965597 0.6022407296229235 0.6006427909818888 0.6000764657835445 0.5999245271403998 0.59893764524016 0.5966780519090842 0.5962374689028515 0.5959393833033386 0.5934927693957402 0.5934264006465858 0.5920341836663469 0.5919850856888799 0.5871261287407871 0.5850597608458827 0.5850264089135279 0.5801430334289106 0.5777460945715017 0.5762729570147529 0.5727418681732077 0.5702803936673176 0.564549014546105 0.5607630074220098 0.5587232975491002 0.5568520249262618 0.5551565253796434 0.5396582216234884 0.5264683582702925 0.5152947436638214 0.5138119911362766 0.5061644239995967 0.5
8.93/9.11 c
8.93/9.11 c solver 0
8.93/9.11 c before 0.0 seconds: {} 0
8.93/9.11 c before 18.0 seconds: {2, 17, 19, 20, 22, 23, 27, 29, 35, 36, 37, 38, 39} 7396
8.93/9.11 c before 36.0 seconds: {2, 3, 8, 17, 19, 20, 21, 22, 23, 24, 27, 29, 30, 32, 34, 35, 36, 37, 38, 39} 11522
8.93/9.11 c before 54.0 seconds: {1, 2, 3, 8, 17, 19, 20, 21, 22, 23, 24, 27, 29, 30, 32, 34, 35, 36, 37, 38, 39} 12336
8.93/9.11 c before 72.0 seconds: {1, 2, 3, 8, 10, 17, 19, 20, 21, 22, 23, 24, 27, 29, 30, 32, 34, 35, 36, 37, 38, 39} 12937
8.93/9.11 c before 108.0 seconds: {1, 2, 3, 5, 8, 10, 17, 19, 20, 21, 22, 23, 24, 27, 29, 30, 32, 34, 35, 36, 37, 38, 39} 13553
8.93/9.11 c before 144.0 seconds: {1, 2, 3, 5, 8, 10, 17, 18, 19, 20, 21, 22, 23, 24, 27, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 14701
8.93/9.11 c before 216.0 seconds: {1, 2, 3, 5, 8, 10, 17, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 15271
8.93/9.11 c before 234.0 seconds: {1, 2, 3, 5, 8, 10, 16, 17, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 15867
8.93/9.11 c before 252.0 seconds: {0, 1, 2, 3, 5, 8, 10, 16, 17, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 16867
8.93/9.11 c before 630.0 seconds: {0, 1, 2, 3, 5, 6, 8, 10, 16, 17, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 17482
8.93/9.11 c before 774.0 seconds: {0, 1, 2, 3, 5, 6, 8, 10, 11, 16, 17, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 18082
8.93/9.11 c before 882.0 seconds: {0, 1, 2, 3, 5, 6, 8, 10, 11, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 18679
8.93/9.11 c before 1404.0 seconds: {0, 1, 2, 3, 5, 6, 8, 10, 11, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 19278
8.93/9.11 c before 1584.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 10, 11, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 19923
8.93/9.11 c before 1800.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 10, 11, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 20501
8.93/9.11 c
8.93/9.11 c solver 1
8.93/9.11 c before 0.0 seconds: {} 0
8.93/9.11 c before 18.0 seconds: {1, 2, 3, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 32, 34, 35, 36, 37, 38, 39} 12282
8.93/9.11 c before 36.0 seconds: {1, 2, 3, 5, 7, 10, 16, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 34, 35, 36, 37, 38, 39} 15285
8.93/9.11 c before 54.0 seconds: {1, 2, 3, 5, 7, 10, 11, 15, 16, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 34, 35, 36, 37, 38, 39} 16482
8.93/9.11 c before 72.0 seconds: {1, 2, 3, 5, 7, 8, 10, 11, 12, 13, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 34, 35, 36, 37, 38, 39} 18879
8.93/9.11 c before 90.0 seconds: {1, 2, 3, 5, 7, 8, 9, 10, 11, 12, 13, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 34, 35, 36, 37, 38, 39} 19481
8.93/9.11 c before 108.0 seconds: {1, 2, 3, 5, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 34, 35, 36, 37, 38, 39} 20075
8.93/9.11 c before 144.0 seconds: {1, 2, 3, 5, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 20633
8.93/9.11 c before 162.0 seconds: {1, 2, 3, 5, 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, 34, 35, 36, 37, 38, 39} 21230
8.93/9.11 c before 180.0 seconds: {1, 2, 3, 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, 34, 35, 36, 37, 38, 39} 21845
8.93/9.11 c before 396.0 seconds: {1, 2, 3, 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} 22400
8.93/9.11 c before 720.0 seconds: {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} 23046
8.93/9.11 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} 24046
8.93/9.11 c
8.93/9.11 c solver 2
8.93/9.11 c before 0.0 seconds: {} 0
8.93/9.11 c before 18.0 seconds: {2, 3, 19, 20, 21, 22, 23, 29, 32, 34, 35, 36, 37, 38, 39} 8610
8.93/9.11 c before 36.0 seconds: {1, 2, 3, 19, 20, 21, 22, 23, 24, 26, 29, 32, 34, 35, 36, 37, 38, 39} 10580
8.93/9.11 c before 54.0 seconds: {1, 2, 3, 19, 20, 21, 22, 23, 24, 26, 27, 29, 32, 34, 35, 36, 37, 38, 39} 11153
8.93/9.11 c
8.93/9.11 cTotal time: 157
8.93/9.12 c run abscon for 1584.0 seconds {0, 1, 2, 3, 4, 5, 6, 8, 10, 11, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 19923
8.93/9.12 c run mistral for 180.0 seconds {1, 2, 3, 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, 34, 35, 36, 37, 38, 39} 21845
8.93/9.12 c run choco for 36.0 seconds {1, 2, 3, 19, 20, 21, 22, 23, 24, 26, 29, 32, 34, 35, 36, 37, 38, 39} 10580
8.93/9.12 c Starting solver: HOME/cpHydra_k_40/solver/abscon
8.93/9.12 c On Instance: HOME/instance-1093620-1215250954.xml
8.93/9.12 c Running for: 1584 seconds
477.63/478.88 s SAT
477.63/478.88 v 0 0 0 0 0 0 1 0 0 1 0 1 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 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 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 0 1 0 0 0 1 0 0 0 1 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 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 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 1 0 0 0 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 1 0 0 0 0 1 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 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 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 1 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 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 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 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 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 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 1 0 1 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 1 0 0 0 0 1 0 0 1 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 0 0 0 0 0 1 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 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 1 0 0 0 0 0 0 1 0 0 1 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 1 1 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 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 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 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 0 0 0 0 0 0 1 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 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 0 1 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 0 1 0 0 0 0 0 0 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 1 0 1 0 0 1 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 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 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 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 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 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 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 0 0 0 0 1 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 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 1 0 1 0 0 0 0 0 1 0 0 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 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 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 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 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 1 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 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 0 0 0 0 1 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 0 0 0 1 0 0 1 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 0 0 0 0 0 1 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 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 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 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 0 0 1 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 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 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 0 0 1 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 1 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 1 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 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 1 0 0 0 0 0 1 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 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 0 0 0 0 0 1 0 0 0 0 1 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 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 1 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 1 0 0 0 0 0 0 1 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 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 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 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 0 1 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 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 1 0 0 0 0 0 0 1 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 1 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 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 1 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 0 0 0 0 1 0 0 0 0 1 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 1 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 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 1 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 0 0 0 0 0 1 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 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 1 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 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 0 0 0 1 0 0 0 0 1 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 0 0 1 0 0 1 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 1 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 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 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 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 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 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 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 0 0 1 1 0 0 0 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 1 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 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 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 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 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 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 0 0 0 0 1 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 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 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 1 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 0 0 1 0 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 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 1 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 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 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 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 1 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 0 0 0 0 1 0 0 0 0 1 0 0 1 0 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 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 1 0 1 0 0 0 0 1 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 1
477.63/478.88 d ASSIGNMENTS 33305
477.63/478.88 d CHECKS 159001801