| | 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 |
158 | 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 |
158 | 2 | 1.1852 | 0.1481 | 1.0853- | 0.1899 | 1.0383- | 0.2336 | 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 |
158 | 3 | 4.0000 | 1.0000 | 3.1304- | 0.9000 | 2.4615- | 0.8000 | 1.9310- | 0.7000 | 1.5000- | 0.6000 | 1.2230- | 0.5351 | 1.2632+ | 0.6000 | 1.3659+ | 0.7000 | 1.4545+ | 0.8000 | 1.5319+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 6 | 1.1852 | 0.2963 | 1.1227- | 0.3228 | 1.0783- | 0.3505 | 1.0466- | 0.3794 | 1.0244- | 0.4098 | 1.1429+ | 0.5000 | 1.2632+ | 0.6000 | 1.3659+ | 0.7000 | 1.4545+ | 0.8000 | 1.5319+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 7 | 2.6667 | 1.0000 | 2.2500- | 0.9000 | 1.8824- | 0.8000 | 1.5660- | 0.7047 | 1.3433- | 0.6380 | 1.1925- | 0.5962 | 1.1429- | 0.6000 | 1.2727+ | 0.7000 | 1.3913+ | 0.8000 | 1.5000+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 8 | 1.1852 | 0.1481 | 1.1448- | 0.2003 | 1.1274- | 0.2537 | 1.1288+ | 0.3104 | 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 |
158 | 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 |
158 | 10 | 1.0000 | 0.2500 | 1.0006+ | 0.2877 | 1.0022+ | 0.3257 | 1.0048+ | 0.3642 | 1.0088+ | 0.4035 | 1.1429+ | 0.5000 | 1.2632+ | 0.6000 | 1.3659+ | 0.7000 | 1.4545+ | 0.8000 | 1.5319+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 11 | 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.1429+ | 0.6000 | 1.2727+ | 0.7000 | 1.3913+ | 0.8000 | 1.5000+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 14 | 1.0264 | 0.3849 | 1.0169- | 0.4068 | 1.0096- | 0.4291 | 1.0044- | 0.4520 | 1.0012- | 0.4755 | 1.0000- | 0.5000 | 1.1429+ | 0.6000 | 1.2727+ | 0.7000 | 1.3913+ | 0.8000 | 1.5000+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 15 | 2.0000 | 1.0000 | 1.7561- | 0.9000 | 1.5238- | 0.8000 | 1.3153- | 0.7070 | 1.1822- | 0.6502 | 1.0975- | 0.6174 | 1.0435- | 0.6000 | 1.1915+ | 0.7000 | 1.3333+ | 0.8000 | 1.4694+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 22 | 1.1852 | 0.4444 | 1.1399- | 0.4559 | 1.1019- | 0.4683 | 1.0703- | 0.4817 | 1.0446- | 0.4962 | 1.0244- | 0.5122 | 1.1429+ | 0.6000 | 1.2727+ | 0.7000 | 1.3913+ | 0.8000 | 1.5000+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 23 | 2.0000 | 1.0000 | 1.7703- | 0.9073 | 1.5776- | 0.8282 | 1.4173- | 0.7618 | 1.2860- | 0.7073 | 1.1808- | 0.6642 | 1.0996- | 0.6322 | 1.1915+ | 0.7000 | 1.3333+ | 0.8000 | 1.4694+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 24 | 1.0000 | 0.2500 | 1.0006+ | 0.2877 | 1.0022+ | 0.3257 | 1.0048+ | 0.3642 | 1.0088+ | 0.4035 | 1.1429+ | 0.5000 | 1.2632+ | 0.6000 | 1.3659+ | 0.7000 | 1.4545+ | 0.8000 | 1.5319+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 25 | 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.1429+ | 0.6000 | 1.2727+ | 0.7000 | 1.3913+ | 0.8000 | 1.5000+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 26 | 1.0264 | 0.3849 | 1.0169- | 0.4068 | 1.0096- | 0.4291 | 1.0044- | 0.4520 | 1.0012- | 0.4755 | 1.0000- | 0.5000 | 1.1429+ | 0.6000 | 1.2727+ | 0.7000 | 1.3913+ | 0.8000 | 1.5000+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 27 | 2.0000 | 1.0000 | 1.7561- | 0.9000 | 1.5238- | 0.8000 | 1.3153- | 0.7070 | 1.1822- | 0.6502 | 1.0975- | 0.6174 | 1.0435- | 0.6000 | 1.1915+ | 0.7000 | 1.3333+ | 0.8000 | 1.4694+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 30 | 1.0563 | 0.5282 | 1.0427- | 0.5344 | 1.0307- | 0.5411 | 1.0203- | 0.5484 | 1.0117- | 0.5564 | 1.0051- | 0.5654 | 1.0435+ | 0.6000 | 1.1915+ | 0.7000 | 1.3333+ | 0.8000 | 1.4694+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 31 | 1.6000 | 1.0000 | 1.4562- | 0.9101 | 1.3394- | 0.8371 | 1.2438- | 0.7774 | 1.1658- | 0.7286 | 1.1032- | 0.6895 | 1.0548- | 0.6593 | 1.1200+ | 0.7000 | 1.2800+ | 0.8000 | 1.4400+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 40 | 1.1852 | 0.2963 | 1.1600- | 0.3335 | 1.1420- | 0.3712 | 1.1300- | 0.4096 | 1.1250- | 0.4500 | 1.1429+ | 0.5000 | 1.2632+ | 0.6000 | 1.3659+ | 0.7000 | 1.4545+ | 0.8000 | 1.5319+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 41 | 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 |
158 | 42 | 1.0264 | 0.3849 | 1.0269+ | 0.4108 | 1.0279+ | 0.4368 | 1.0295+ | 0.4633 | 1.0321+ | 0.4902 | 1.0370+ | 0.5185 | 1.1429+ | 0.6000 | 1.2727+ | 0.7000 | 1.3913+ | 0.8000 | 1.5000+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 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.0435+ | 0.6000 | 1.1915+ | 0.7000 | 1.3333+ | 0.8000 | 1.4694+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 44 | 1.0264 | 0.3849 | 1.0269+ | 0.4108 | 1.0279+ | 0.4368 | 1.0295+ | 0.4633 | 1.0321+ | 0.4902 | 1.0370+ | 0.5185 | 1.1429+ | 0.6000 | 1.2727+ | 0.7000 | 1.3913+ | 0.8000 | 1.5000+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 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.0435+ | 0.6000 | 1.1915+ | 0.7000 | 1.3333+ | 0.8000 | 1.4694+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 46 | 1.0000 | 0.5000 | 1.0002+ | 0.5126 | 1.0007+ | 0.5254 | 1.0017+ | 0.5384 | 1.0034+ | 0.5518 | 1.0059+ | 0.5658 | 1.0435+ | 0.6000 | 1.1915+ | 0.7000 | 1.3333+ | 0.8000 | 1.4694+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 47 | 1.6000 | 1.0000 | 1.4400- | 0.9000 | 1.2800- | 0.8000 | 1.1407- | 0.7129 | 1.0751- | 0.6719 | 1.0370- | 0.6481 | 1.0138- | 0.6336 | 1.1200+ | 0.7000 | 1.2800+ | 0.8000 | 1.4400+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 60 | 1.0000 | 0.5000 | 1.0002+ | 0.5126 | 1.0007+ | 0.5254 | 1.0017+ | 0.5384 | 1.0034+ | 0.5518 | 1.0059+ | 0.5658 | 1.0435+ | 0.6000 | 1.1915+ | 0.7000 | 1.3333+ | 0.8000 | 1.4694+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 61 | 1.6000 | 1.0000 | 1.4400- | 0.9000 | 1.2800- | 0.8000 | 1.1407- | 0.7129 | 1.0751- | 0.6719 | 1.0370- | 0.6481 | 1.0138- | 0.6336 | 1.1200+ | 0.7000 | 1.2800+ | 0.8000 | 1.4400+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 62 | 1.0098 | 0.6311 | 1.0068- | 0.6293 | 1.0042- | 0.6276 | 1.0021- | 0.6263 | 1.0006- | 0.6254 | 1.0000- | 0.6250 | 1.0008+ | 0.6255 | 1.1200+ | 0.7000 | 1.2800+ | 0.8000 | 1.4400+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 63 | 1.3333 | 1.0000 | 1.2427- | 0.9165 | 1.1768- | 0.8532 | 1.1252- | 0.8017 | 1.0837- | 0.7586 | 1.0505- | 0.7222 | 1.0249- | 0.6918 | 1.0566+ | 0.7000 | 1.2308+ | 0.8000 | 1.4118+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 104 | 1.1852 | 0.4444 | 1.1669- | 0.4668 | 1.1515- | 0.4894 | 1.1388- | 0.5125 | 1.1294- | 0.5364 | 1.1250- | 0.5625 | 1.1429+ | 0.6000 | 1.2727+ | 0.7000 | 1.3913+ | 0.8000 | 1.5000+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 105 | 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.0435+ | 0.6000 | 1.1915+ | 0.7000 | 1.3333+ | 0.8000 | 1.4694+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 106 | 1.0563 | 0.5282 | 1.0544- | 0.5404 | 1.0529- | 0.5528 | 1.0520- | 0.5655 | 1.0519- | 0.5786 | 1.0535+ | 0.5926 | 1.0600+ | 0.6095 | 1.1915+ | 0.7000 | 1.3333+ | 0.8000 | 1.4694+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 107 | 1.6000 | 1.0000 | 1.4400- | 0.9000 | 1.2800- | 0.8000 | 1.1200- | 0.7000 | 1.0021- | 0.6263 | 1.0000- | 0.6250 | 1.0021+ | 0.6263 | 1.1200+ | 0.7000 | 1.2800+ | 0.8000 | 1.4400+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 110 | 1.0098 | 0.6311 | 1.0107+ | 0.6317 | 1.0118+ | 0.6324 | 1.0133+ | 0.6333 | 1.0151+ | 0.6344 | 1.0177+ | 0.6361 | 1.0219+ | 0.6387 | 1.1200+ | 0.7000 | 1.2800+ | 0.8000 | 1.4400+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 111 | 1.3333 | 1.0000 | 1.2203- | 0.9000 | 1.1034- | 0.8000 | 1.0351- | 0.7375 | 1.0179- | 0.7125 | 1.0072- | 0.6925 | 1.0013- | 0.6759 | 1.0566+ | 0.7000 | 1.2308+ | 0.8000 | 1.4118+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 126 | 1.0000 | 0.7500 | 1.0001+ | 0.7376 | 1.0003+ | 0.7253 | 1.0009+ | 0.7131 | 1.0018+ | 0.7013 | 1.0034+ | 0.6898 | 1.0059+ | 0.6790 | 1.0566+ | 0.7000 | 1.2308+ | 0.8000 | 1.4118+ | 0.9000 | 1.6000+ | 1.0000 |
158 | 127 | 1.1429 | 1.0000 | 1.1005- | 0.9354 | 1.0730- | 0.8852 | 1.0512- | 0.8410 | 1.0333- | 0.8008 | 1.0188- | 0.7641 | 1.0077- | 0.7306 | 1.0010- | 0.7007 | 1.1852+ | 0.8000 | 1.3846+ | 0.9000 | 1.6000+ | 1.0000 |