| | 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 |
234 | 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 |
234 | 2 | 1.1852 | 0.1481 | 1.0251- | 0.1794 | 1.0059- | 0.2263 | 1.0943+ | 0.3009 | 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 |
234 | 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 |
234 | 6 | 1.1852 | 0.2963 | 1.0782- | 0.3100 | 1.0173- | 0.3306 | 1.0005- | 0.3627 | 1.0370+ | 0.4148 | 1.1429+ | 0.5000 | 1.2632+ | 0.6000 | 1.3659+ | 0.7000 | 1.4545+ | 0.8000 | 1.5319+ | 0.9000 | 1.6000+ | 1.0000 |
234 | 7 | 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 |
234 | 8 | 1.1852 | 0.1481 | 1.2412+ | 0.2172 | 1.2918+ | 0.2907 | 1.3384+ | 0.3681 | 1.3819+ | 0.4491 | 1.4228+ | 0.5335 | 1.4615+ | 0.6211 | 1.4983+ | 0.7117 | 1.5336+ | 0.8051 | 1.5674+ | 0.9013 | 1.6000+ | 1.0000 |
234 | 9 | 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.3088+ | 0.6217 | 1.3890+ | 0.7119 | 1.4639+ | 0.8052 | 1.5341+ | 0.9013 | 1.6000+ | 1.0000 |
234 | 10 | 1.0000 | 0.2500 | 1.0142+ | 0.2916 | 1.0519+ | 0.3419 | 1.1065+ | 0.4011 | 1.1722+ | 0.4689 | 1.2442+ | 0.5443 | 1.3186+ | 0.6263 | 1.3927+ | 0.7138 | 1.4649+ | 0.8057 | 1.5342+ | 0.9013 | 1.6000+ | 1.0000 |
234 | 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.1951+ | 0.6274 | 1.2982+ | 0.7140 | 1.4013+ | 0.8057 | 1.5022+ | 0.9013 | 1.6000+ | 1.0000 |
234 | 14 | 1.0264 | 0.3849 | 1.0044- | 0.4018 | 1.0011- | 0.4255 | 1.0191+ | 0.4586 | 1.0604+ | 0.5037 | 1.1250+ | 0.5625 | 1.2082+ | 0.6343 | 1.3029+ | 0.7166 | 1.4024+ | 0.8064 | 1.5023+ | 0.9014 | 1.6000+ | 1.0000 |
234 | 15 | 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.1075+ | 0.6368 | 1.2205+ | 0.7171 | 1.3441+ | 0.8065 | 1.4717+ | 0.9014 | 1.6000+ | 1.0000 |
234 | 22 | 1.1852 | 0.4444 | 1.1061- | 0.4424 | 1.0468- | 0.4449 | 1.0096- | 0.4543 | 1.0012- | 0.4756 | 1.0370+ | 0.5185 | 1.1429+ | 0.6000 | 1.2727+ | 0.7000 | 1.3913+ | 0.8000 | 1.5000+ | 0.9000 | 1.6000+ | 1.0000 |
234 | 23 | 2.0000 | 1.0000 | 1.7580- | 0.9010 | 1.5327- | 0.8047 | 1.3269- | 0.7132 | 1.1481- | 0.6315 | 1.0206- | 0.5741 | 1.0435+ | 0.6000 | 1.1915+ | 0.7000 | 1.3333+ | 0.8000 | 1.4694+ | 0.9000 | 1.6000+ | 1.0000 |
234 | 24 | 1.0000 | 0.2500 | 1.0142+ | 0.2916 | 1.0519+ | 0.3419 | 1.1065+ | 0.4011 | 1.1722+ | 0.4689 | 1.2442+ | 0.5443 | 1.3186+ | 0.6263 | 1.3927+ | 0.7138 | 1.4649+ | 0.8057 | 1.5342+ | 0.9013 | 1.6000+ | 1.0000 |
234 | 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.1951+ | 0.6274 | 1.2982+ | 0.7140 | 1.4013+ | 0.8057 | 1.5022+ | 0.9013 | 1.6000+ | 1.0000 |
234 | 26 | 1.0264 | 0.3849 | 1.0044- | 0.4018 | 1.0011- | 0.4255 | 1.0191+ | 0.4586 | 1.0604+ | 0.5037 | 1.1250+ | 0.5625 | 1.2082+ | 0.6343 | 1.3029+ | 0.7166 | 1.4024+ | 0.8064 | 1.5023+ | 0.9014 | 1.6000+ | 1.0000 |
234 | 27 | 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.1075+ | 0.6368 | 1.2205+ | 0.7171 | 1.3441+ | 0.8065 | 1.4717+ | 0.9014 | 1.6000+ | 1.0000 |
234 | 30 | 1.0563 | 0.5282 | 1.0259- | 0.5258 | 1.0061- | 0.5282 | 1.0002- | 0.5376 | 1.0136+ | 0.5575 | 1.0535+ | 0.5926 | 1.1256+ | 0.6472 | 1.2267+ | 0.7207 | 1.3455+ | 0.8073 | 1.4718+ | 0.9015 | 1.6000+ | 1.0000 |
234 | 31 | 1.6000 | 1.0000 | 1.4424- | 0.9015 | 1.2918- | 0.8074 | 1.1546- | 0.7216 | 1.0459- | 0.6537 | 1.0000- | 0.6250 | 1.0459+ | 0.6537 | 1.1546+ | 0.7216 | 1.2918+ | 0.8074 | 1.4424+ | 0.9015 | 1.6000+ | 1.0000 |
234 | 40 | 1.1852 | 0.2963 | 1.2154+ | 0.3494 | 1.2470+ | 0.4053 | 1.2803+ | 0.4641 | 1.3156+ | 0.5262 | 1.3533+ | 0.5920 | 1.3938+ | 0.6621 | 1.4379+ | 0.7369 | 1.4862+ | 0.8174 | 1.5398+ | 0.9047 | 1.6000+ | 1.0000 |
234 | 41 | 2.6667 | 1.0000 | 2.2500- | 0.9000 | 1.8824- | 0.8000 | 1.5556- | 0.7000 | 1.2632- | 0.6000 | 1.1925- | 0.5962 | 1.2646+ | 0.6639 | 1.3411+ | 0.7376 | 1.4219+ | 0.8176 | 1.5078+ | 0.9047 | 1.6000+ | 1.0000 |
234 | 42 | 1.0264 | 0.3849 | 1.0506+ | 0.4202 | 1.0821+ | 0.4599 | 1.1208+ | 0.5043 | 1.1667+ | 0.5542 | 1.2199+ | 0.6099 | 1.2804+ | 0.6722 | 1.3485+ | 0.7417 | 1.4244+ | 0.8190 | 1.5081+ | 0.9049 | 1.6000+ | 1.0000 |
234 | 43 | 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.1743+ | 0.6752 | 1.2641+ | 0.7426 | 1.3653+ | 0.8192 | 1.4774+ | 0.9049 | 1.6000+ | 1.0000 |
234 | 44 | 1.0264 | 0.3849 | 1.0506+ | 0.4202 | 1.0821+ | 0.4599 | 1.1208+ | 0.5043 | 1.1667+ | 0.5542 | 1.2199+ | 0.6099 | 1.2804+ | 0.6722 | 1.3485+ | 0.7417 | 1.4244+ | 0.8190 | 1.5081+ | 0.9049 | 1.6000+ | 1.0000 |
234 | 45 | 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.1743+ | 0.6752 | 1.2641+ | 0.7426 | 1.3653+ | 0.8192 | 1.4774+ | 0.9049 | 1.6000+ | 1.0000 |
234 | 46 | 1.0000 | 0.5000 | 1.0041+ | 0.5146 | 1.0174+ | 0.5341 | 1.0413+ | 0.5597 | 1.0774+ | 0.5926 | 1.1274+ | 0.6342 | 1.1923+ | 0.6856 | 1.2727+ | 0.7477 | 1.3681+ | 0.8209 | 1.4777+ | 0.9051 | 1.6000+ | 1.0000 |
234 | 47 | 1.6000 | 1.0000 | 1.4400- | 0.9000 | 1.2800- | 0.8000 | 1.1200- | 0.7000 | 1.0018- | 0.6261 | 1.0370+ | 0.6481 | 1.1050+ | 0.6907 | 1.1986+ | 0.7491 | 1.3138+ | 0.8211 | 1.4482+ | 0.9051 | 1.6000+ | 1.0000 |
234 | 60 | 1.0000 | 0.5000 | 1.0041+ | 0.5146 | 1.0174+ | 0.5341 | 1.0413+ | 0.5597 | 1.0774+ | 0.5926 | 1.1274+ | 0.6342 | 1.1923+ | 0.6856 | 1.2727+ | 0.7477 | 1.3681+ | 0.8209 | 1.4777+ | 0.9051 | 1.6000+ | 1.0000 |
234 | 61 | 1.6000 | 1.0000 | 1.4400- | 0.9000 | 1.2800- | 0.8000 | 1.1200- | 0.7000 | 1.0018- | 0.6261 | 1.0370+ | 0.6481 | 1.1050+ | 0.6907 | 1.1986+ | 0.7491 | 1.3138+ | 0.8211 | 1.4482+ | 0.9051 | 1.6000+ | 1.0000 |
234 | 62 | 1.0098 | 0.6311 | 1.0017- | 0.6261 | 1.0005- | 0.6253 | 1.0085+ | 0.6303 | 1.0292+ | 0.6432 | 1.0667+ | 0.6667 | 1.1254+ | 0.7034 | 1.2086+ | 0.7554 | 1.3170+ | 0.8231 | 1.4486+ | 0.9054 | 1.6000+ | 1.0000 |
234 | 63 | 1.3333 | 1.0000 | 1.2245- | 0.9031 | 1.1253- | 0.8158 | 1.0471- | 0.7461 | 1.0046- | 0.7032 | 1.0072+ | 0.6925 | 1.0551+ | 0.7122 | 1.1436+ | 0.7576 | 1.2669+ | 0.8235 | 1.4202+ | 0.9054 | 1.6000+ | 1.0000 |
234 | 104 | 1.1852 | 0.4444 | 1.2059+ | 0.4824 | 1.2288+ | 0.5222 | 1.2543+ | 0.5644 | 1.2829+ | 0.6094 | 1.3156+ | 0.6578 | 1.3533+ | 0.7105 | 1.3975+ | 0.7686 | 1.4506+ | 0.8341 | 1.5162+ | 0.9097 | 1.6000+ | 1.0000 |
234 | 105 | 2.0000 | 1.0000 | 1.7561- | 0.9000 | 1.5238- | 0.8000 | 1.3023- | 0.7000 | 1.1282- | 0.6205 | 1.1808+ | 0.6642 | 1.2412+ | 0.7137 | 1.3105+ | 0.7699 | 1.3907+ | 0.8344 | 1.4853+ | 0.9097 | 1.6000+ | 1.0000 |
234 | 106 | 1.0563 | 0.5282 | 1.0767+ | 0.5518 | 1.1014+ | 0.5782 | 1.1309+ | 0.6079 | 1.1663+ | 0.6414 | 1.2085+ | 0.6798 | 1.2592+ | 0.7240 | 1.3203+ | 0.7757 | 1.3945+ | 0.8367 | 1.4859+ | 0.9101 | 1.6000+ | 1.0000 |
234 | 107 | 1.6000 | 1.0000 | 1.4400- | 0.9000 | 1.2800- | 0.8000 | 1.1200- | 0.7000 | 1.0548- | 0.6593 | 1.1032+ | 0.6895 | 1.1658+ | 0.7286 | 1.2438+ | 0.7774 | 1.3394+ | 0.8371 | 1.4562+ | 0.9101 | 1.6000+ | 1.0000 |
234 | 110 | 1.0098 | 0.6311 | 1.0206+ | 0.6379 | 1.0368+ | 0.6480 | 1.0595+ | 0.6622 | 1.0904+ | 0.6815 | 1.1314+ | 0.7071 | 1.1850+ | 0.7406 | 1.2545+ | 0.7840 | 1.3436+ | 0.8397 | 1.4569+ | 0.9106 | 1.6000+ | 1.0000 |
234 | 111 | 1.3333 | 1.0000 | 1.2203- | 0.9000 | 1.1034- | 0.8000 | 1.0003- | 0.7127 | 1.0149+ | 0.7104 | 1.0505+ | 0.7222 | 1.1073+ | 0.7474 | 1.1871+ | 0.7864 | 1.2927+ | 0.8403 | 1.4284+ | 0.9106 | 1.6000+ | 1.0000 |
234 | 126 | 1.0000 | 0.7500 | 1.0019+ | 0.7389 | 1.0086+ | 0.7312 | 1.0217+ | 0.7280 | 1.0436+ | 0.7305 | 1.0774+ | 0.7407 | 1.1274+ | 0.7610 | 1.1987+ | 0.7941 | 1.2972+ | 0.8432 | 1.4291+ | 0.9111 | 1.6000+ | 1.0000 |
234 | 127 | 1.1429 | 1.0000 | 1.0779- | 0.9162 | 1.0325- | 0.8519 | 1.0062- | 0.8050 | 1.0007- | 0.7756 | 1.0188+ | 0.7641 | 1.0637+ | 0.7712 | 1.1393+ | 0.7975 | 1.2502+ | 0.8439 | 1.4017+ | 0.9111 | 1.6000+ | 1.0000 |