| | 0.0 | % SAT | 0.1 | % SAT | 0.2 | % SAT | 0.3 | % SAT | 0.4 | % SAT | 0.5 | % SAT | 0.6 | % SAT | 0.7 | % SAT | 0.8 | % SAT | 0.9 | % SAT | 1.0 | % SAT |
174 | 1 | 8.0000 | 1.0000 | 5.1429- | 0.9000 | 3.5556- | 0.8000 | 2.5455- | 0.7000 | 1.8462- | 0.6000 | 1.3333- | 0.5000 | 1.4118+ | 0.6000 | 1.4737+ | 0.7000 | 1.5238+ | 0.8000 | 1.5652+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 2 | 1.1852 | 0.1481 | 1.0521- | 0.1841 | 1.0051- | 0.2261 | 1.0909+ | 0.3000 | 1.2308+ | 0.4000 | 1.3333+ | 0.5000 | 1.4118+ | 0.6000 | 1.4737+ | 0.7000 | 1.5238+ | 0.8000 | 1.5652+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 3 | 4.0000 | 1.0000 | 3.1304- | 0.9000 | 2.4615- | 0.8000 | 1.9310- | 0.7000 | 1.5000- | 0.6000 | 1.1429- | 0.5000 | 1.2632+ | 0.6000 | 1.3659+ | 0.7000 | 1.4545+ | 0.8000 | 1.5319+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 6 | 1.1852 | 0.2963 | 1.0997- | 0.3162 | 1.0438- | 0.3392 | 1.0112- | 0.3666 | 1.0000- | 0.4000 | 1.1429+ | 0.5000 | 1.2632+ | 0.6000 | 1.3659+ | 0.7000 | 1.4545+ | 0.8000 | 1.5319+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 7 | 2.6667 | 1.0000 | 2.2500- | 0.9000 | 1.8824- | 0.8000 | 1.5556- | 0.7000 | 1.2791- | 0.6076 | 1.0962- | 0.5481 | 1.1429+ | 0.6000 | 1.2727+ | 0.7000 | 1.3913+ | 0.8000 | 1.5000+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 8 | 1.1852 | 0.1481 | 1.1920+ | 0.2086 | 1.2085+ | 0.2719 | 1.2335+ | 0.3392 | 1.2705+ | 0.4129 | 1.3333+ | 0.5000 | 1.4118+ | 0.6000 | 1.4737+ | 0.7000 | 1.5238+ | 0.8000 | 1.5652+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 9 | 4.0000 | 1.0000 | 3.1304- | 0.9000 | 2.4615- | 0.8000 | 1.9310- | 0.7000 | 1.5000- | 0.6000 | 1.1429- | 0.5000 | 1.2632+ | 0.6000 | 1.3659+ | 0.7000 | 1.4545+ | 0.8000 | 1.5319+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 10 | 1.0000 | 0.2500 | 1.0052+ | 0.2890 | 1.0196+ | 0.3314 | 1.0432+ | 0.3782 | 1.0789+ | 0.4316 | 1.1429+ | 0.5000 | 1.2632+ | 0.6000 | 1.3659+ | 0.7000 | 1.4545+ | 0.8000 | 1.5319+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 11 | 2.6667 | 1.0000 | 2.2500- | 0.9000 | 1.8824- | 0.8000 | 1.5556- | 0.7000 | 1.2632- | 0.6000 | 1.0000- | 0.5000 | 1.1429+ | 0.6000 | 1.2727+ | 0.7000 | 1.3913+ | 0.8000 | 1.5000+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 14 | 1.0264 | 0.3849 | 1.0097- | 0.4039 | 1.0011- | 0.4255 | 1.0012+ | 0.4505 | 1.0115+ | 0.4805 | 1.0370+ | 0.5185 | 1.1429+ | 0.6000 | 1.2727+ | 0.7000 | 1.3913+ | 0.8000 | 1.5000+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 15 | 2.0000 | 1.0000 | 1.7561- | 0.9000 | 1.5238- | 0.8000 | 1.3023- | 0.7000 | 1.1153- | 0.6134 | 1.0206- | 0.5741 | 1.0435+ | 0.6000 | 1.1915+ | 0.7000 | 1.3333+ | 0.8000 | 1.4694+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 22 | 1.1852 | 0.4444 | 1.1226- | 0.4491 | 1.0726- | 0.4559 | 1.0347- | 0.4656 | 1.0096- | 0.4796 | 1.0000- | 0.5000 | 1.1429+ | 0.6000 | 1.2727+ | 0.7000 | 1.3913+ | 0.8000 | 1.5000+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 23 | 2.0000 | 1.0000 | 1.7630- | 0.9035 | 1.5524- | 0.8150 | 1.3696- | 0.7361 | 1.2166- | 0.6691 | 1.0975- | 0.6174 | 1.0435- | 0.6000 | 1.1915+ | 0.7000 | 1.3333+ | 0.8000 | 1.4694+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 24 | 1.0000 | 0.2500 | 1.0052+ | 0.2890 | 1.0196+ | 0.3314 | 1.0432+ | 0.3782 | 1.0789+ | 0.4316 | 1.1429+ | 0.5000 | 1.2632+ | 0.6000 | 1.3659+ | 0.7000 | 1.4545+ | 0.8000 | 1.5319+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 25 | 2.6667 | 1.0000 | 2.2500- | 0.9000 | 1.8824- | 0.8000 | 1.5556- | 0.7000 | 1.2632- | 0.6000 | 1.0000- | 0.5000 | 1.1429+ | 0.6000 | 1.2727+ | 0.7000 | 1.3913+ | 0.8000 | 1.5000+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 26 | 1.0264 | 0.3849 | 1.0097- | 0.4039 | 1.0011- | 0.4255 | 1.0012+ | 0.4505 | 1.0115+ | 0.4805 | 1.0370+ | 0.5185 | 1.1429+ | 0.6000 | 1.2727+ | 0.7000 | 1.3913+ | 0.8000 | 1.5000+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 27 | 2.0000 | 1.0000 | 1.7561- | 0.9000 | 1.5238- | 0.8000 | 1.3023- | 0.7000 | 1.1153- | 0.6134 | 1.0206- | 0.5741 | 1.0435+ | 0.6000 | 1.1915+ | 0.7000 | 1.3333+ | 0.8000 | 1.4694+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 30 | 1.0563 | 0.5282 | 1.0339- | 0.5299 | 1.0163- | 0.5336 | 1.0045- | 0.5399 | 1.0000- | 0.5500 | 1.0059+ | 0.5658 | 1.0435+ | 0.6000 | 1.1915+ | 0.7000 | 1.3333+ | 0.8000 | 1.4694+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 31 | 1.6000 | 1.0000 | 1.4482- | 0.9051 | 1.3138- | 0.8211 | 1.1986- | 0.7491 | 1.1050- | 0.6907 | 1.0370- | 0.6481 | 1.0018- | 0.6261 | 1.1200+ | 0.7000 | 1.2800+ | 0.8000 | 1.4400+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 40 | 1.1852 | 0.2963 | 1.1873+ | 0.3413 | 1.1934+ | 0.3879 | 1.2039+ | 0.4364 | 1.2199+ | 0.4879 | 1.2442+ | 0.5443 | 1.2847+ | 0.6102 | 1.3659+ | 0.7000 | 1.4545+ | 0.8000 | 1.5319+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 41 | 2.6667 | 1.0000 | 2.2500- | 0.9000 | 1.8824- | 0.8000 | 1.5556- | 0.7000 | 1.2632- | 0.6000 | 1.0962- | 0.5481 | 1.1632+ | 0.6107 | 1.2727+ | 0.7000 | 1.3913+ | 0.8000 | 1.5000+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 42 | 1.0264 | 0.3849 | 1.0380+ | 0.4152 | 1.0524+ | 0.4473 | 1.0704+ | 0.4817 | 1.0936+ | 0.5194 | 1.1250+ | 0.5625 | 1.1730+ | 0.6158 | 1.2727+ | 0.7000 | 1.3913+ | 0.8000 | 1.5000+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 43 | 2.0000 | 1.0000 | 1.7561- | 0.9000 | 1.5238- | 0.8000 | 1.3023- | 0.7000 | 1.0909- | 0.6000 | 1.0206- | 0.5741 | 1.0743+ | 0.6177 | 1.1915+ | 0.7000 | 1.3333+ | 0.8000 | 1.4694+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 44 | 1.0264 | 0.3849 | 1.0380+ | 0.4152 | 1.0524+ | 0.4473 | 1.0704+ | 0.4817 | 1.0936+ | 0.5194 | 1.1250+ | 0.5625 | 1.1730+ | 0.6158 | 1.2727+ | 0.7000 | 1.3913+ | 0.8000 | 1.5000+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 45 | 2.0000 | 1.0000 | 1.7561- | 0.9000 | 1.5238- | 0.8000 | 1.3023- | 0.7000 | 1.0909- | 0.6000 | 1.0206- | 0.5741 | 1.0743+ | 0.6177 | 1.1915+ | 0.7000 | 1.3333+ | 0.8000 | 1.4694+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 46 | 1.0000 | 0.5000 | 1.0015+ | 0.5133 | 1.0063+ | 0.5283 | 1.0154+ | 0.5458 | 1.0302+ | 0.5666 | 1.0535+ | 0.5926 | 1.0925+ | 0.6282 | 1.1915+ | 0.7000 | 1.3333+ | 0.8000 | 1.4694+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 47 | 1.6000 | 1.0000 | 1.4400- | 0.9000 | 1.2800- | 0.8000 | 1.1200- | 0.7000 | 1.0193- | 0.6370 | 1.0000- | 0.6250 | 1.0193+ | 0.6370 | 1.1200+ | 0.7000 | 1.2800+ | 0.8000 | 1.4400+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 60 | 1.0000 | 0.5000 | 1.0015+ | 0.5133 | 1.0063+ | 0.5283 | 1.0154+ | 0.5458 | 1.0302+ | 0.5666 | 1.0535+ | 0.5926 | 1.0925+ | 0.6282 | 1.1915+ | 0.7000 | 1.3333+ | 0.8000 | 1.4694+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 61 | 1.6000 | 1.0000 | 1.4400- | 0.9000 | 1.2800- | 0.8000 | 1.1200- | 0.7000 | 1.0193- | 0.6370 | 1.0000- | 0.6250 | 1.0193+ | 0.6370 | 1.1200+ | 0.7000 | 1.2800+ | 0.8000 | 1.4400+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 62 | 1.0098 | 0.6311 | 1.0039- | 0.6274 | 1.0005- | 0.6253 | 1.0005+ | 0.6253 | 1.0054+ | 0.6284 | 1.0177+ | 0.6361 | 1.0430+ | 0.6519 | 1.1200+ | 0.7000 | 1.2800+ | 0.8000 | 1.4400+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 63 | 1.3333 | 1.0000 | 1.2328- | 0.9092 | 1.1508- | 0.8343 | 1.0855- | 0.7734 | 1.0370- | 0.7259 | 1.0072- | 0.6925 | 1.0014- | 0.6759 | 1.0566+ | 0.7000 | 1.2308+ | 0.8000 | 1.4118+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 104 | 1.1852 | 0.4444 | 1.1862+ | 0.4745 | 1.1894+ | 0.5055 | 1.1954+ | 0.5379 | 1.2049+ | 0.5723 | 1.2199+ | 0.6099 | 1.2442+ | 0.6532 | 1.2895+ | 0.7092 | 1.3913+ | 0.8000 | 1.5000+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 105 | 2.0000 | 1.0000 | 1.7561- | 0.9000 | 1.5238- | 0.8000 | 1.3023- | 0.7000 | 1.0909- | 0.6000 | 1.0975+ | 0.6174 | 1.1409+ | 0.6560 | 1.2077+ | 0.7095 | 1.3333+ | 0.8000 | 1.4694+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 106 | 1.0563 | 0.5282 | 1.0652+ | 0.5459 | 1.0759+ | 0.5648 | 1.0890+ | 0.5853 | 1.1055+ | 0.6080 | 1.1274+ | 0.6342 | 1.1590+ | 0.6664 | 1.2124+ | 0.7123 | 1.3333+ | 0.8000 | 1.4694+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 107 | 1.6000 | 1.0000 | 1.4400- | 0.9000 | 1.2800- | 0.8000 | 1.1200- | 0.7000 | 1.0138- | 0.6336 | 1.0370+ | 0.6481 | 1.0751+ | 0.6719 | 1.1407+ | 0.7129 | 1.2800+ | 0.8000 | 1.4400+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 110 | 1.0098 | 0.6311 | 1.0153+ | 0.6346 | 1.0228+ | 0.6393 | 1.0330+ | 0.6456 | 1.0469+ | 0.6543 | 1.0667+ | 0.6667 | 1.0964+ | 0.6852 | 1.1481+ | 0.7176 | 1.2800+ | 0.8000 | 1.4400+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 111 | 1.3333 | 1.0000 | 1.2203- | 0.9000 | 1.1034- | 0.8000 | 1.0073- | 0.7177 | 1.0000- | 0.7000 | 1.0072+ | 0.6925 | 1.0316+ | 0.6963 | 1.0857+ | 0.7193 | 1.2308+ | 0.8000 | 1.4118+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 126 | 1.0000 | 0.7500 | 1.0007+ | 0.7380 | 1.0031+ | 0.7273 | 1.0079+ | 0.7182 | 1.0163+ | 0.7114 | 1.0302+ | 0.7083 | 1.0535+ | 0.7111 | 1.0972+ | 0.7269 | 1.2308+ | 0.8000 | 1.4118+ | 0.9000 | 1.6000+ | 1.0000 |
174 | 127 | 1.1429 | 1.0000 | 1.0892- | 0.9258 | 1.0519- | 0.8678 | 1.0245- | 0.8196 | 1.0067- | 0.7802 | 1.0000- | 0.7500 | 1.0088+ | 0.7314 | 1.0451+ | 0.7316 | 1.1852+ | 0.8000 | 1.3846+ | 0.9000 | 1.6000+ | 1.0000 |