| | 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 |
254 | 1 | 8.0000 | 1.0000 | 4.5000- | 0.9000 | 2.9091- | 0.8000 | 2.0000- | 0.7000 | 1.4118- | 0.6000 | 1.0000- | 0.5000 | 1.0435+ | 0.6000 | 1.0769+ | 0.7000 | 1.1034+ | 0.8000 | 1.1250+ | 0.9000 | 1.1429+ | 1.0000 |
254 | 2 | 1.1852 | 0.1481 | 1.0400- | 0.2080 | 1.0031- | 0.2759 | 1.0023- | 0.3508 | 1.0165+ | 0.4320 | 1.0370+ | 0.5185 | 1.0600+ | 0.6095 | 1.0831+ | 0.7040 | 1.1051+ | 0.8012 | 1.1252+ | 0.9001 | 1.1429+ | 1.0000 |
254 | 3 | 4.0000 | 1.0000 | 2.8800- | 0.9000 | 2.1333- | 0.8000 | 1.6000- | 0.7000 | 1.2000- | 0.6000 | 1.0206- | 0.5741 | 1.0021- | 0.6263 | 1.0301+ | 0.7082 | 1.0691+ | 0.8019 | 1.1079+ | 0.9002 | 1.1429+ | 1.0000 |
254 | 6 | 1.1852 | 0.2963 | 1.0859- | 0.3393 | 1.0328- | 0.3873 | 1.0072- | 0.4407 | 1.0000- | 0.5000 | 1.0059+ | 0.5658 | 1.0219+ | 0.6387 | 1.0457+ | 0.7189 | 1.0754+ | 0.8066 | 1.1089+ | 0.9010 | 1.1429+ | 1.0000 |
254 | 7 | 2.6667 | 1.0000 | 2.1176- | 0.9000 | 1.6842- | 0.8000 | 1.3457- | 0.7065 | 1.1409- | 0.6560 | 1.0370- | 0.6481 | 1.0013- | 0.6759 | 1.0097+ | 0.7320 | 1.0445+ | 0.8095 | 1.0923+ | 0.9012 | 1.1429+ | 1.0000 |
254 | 8 | 1.1852 | 0.1481 | 1.1495- | 0.2299 | 1.1353- | 0.3122 | 1.1287- | 0.3950 | 1.1258- | 0.4785 | 1.1250- | 0.5625 | 1.1256+ | 0.6472 | 1.1275+ | 0.7328 | 1.1304+ | 0.8195 | 1.1349+ | 0.9079 | 1.1429+ | 1.0000 |
254 | 9 | 4.0000 | 1.0000 | 2.8800- | 0.9000 | 2.1333- | 0.8000 | 1.6000- | 0.7000 | 1.2000- | 0.6000 | 1.0206- | 0.5741 | 1.0459+ | 0.6537 | 1.0706+ | 0.7361 | 1.0944+ | 0.8208 | 1.1177+ | 0.9082 | 1.1429+ | 1.0000 |
254 | 10 | 1.0000 | 0.2500 | 1.0043+ | 0.3138 | 1.0138+ | 0.3802 | 1.0258+ | 0.4488 | 1.0392+ | 0.5196 | 1.0535+ | 0.5926 | 1.0685+ | 0.6678 | 1.0842+ | 0.7454 | 1.1011+ | 0.8258 | 1.1197+ | 0.9098 | 1.1429+ | 1.0000 |
254 | 11 | 2.6667 | 1.0000 | 2.1176- | 0.9000 | 1.6842- | 0.8000 | 1.3333- | 0.7000 | 1.0435- | 0.6000 | 1.0000- | 0.6250 | 1.0123+ | 0.6833 | 1.0376+ | 0.7523 | 1.0686+ | 0.8282 | 1.1033+ | 0.9102 | 1.1429+ | 1.0000 |
254 | 14 | 1.0264 | 0.3849 | 1.0085- | 0.4286 | 1.0009- | 0.4754 | 1.0008- | 0.5254 | 1.0068+ | 0.5789 | 1.0177+ | 0.6361 | 1.0331+ | 0.6974 | 1.0528+ | 0.7632 | 1.0767+ | 0.8344 | 1.1057+ | 0.9122 | 1.1429+ | 1.0000 |
254 | 15 | 2.0000 | 1.0000 | 1.6744- | 0.9000 | 1.3913- | 0.8000 | 1.1617- | 0.7116 | 1.0505- | 0.6828 | 1.0072- | 0.6925 | 1.0010- | 0.7257 | 1.0172+ | 0.7756 | 1.0481+ | 0.8385 | 1.0899+ | 0.9128 | 1.1429+ | 1.0000 |
254 | 22 | 1.1852 | 0.4444 | 1.1104- | 0.4719 | 1.0589- | 0.5030 | 1.0251- | 0.5382 | 1.0061- | 0.5785 | 1.0000- | 0.6250 | 1.0059+ | 0.6790 | 1.0237+ | 0.7422 | 1.0533+ | 0.8163 | 1.0943+ | 0.9028 | 1.1429+ | 1.0000 |
254 | 23 | 2.0000 | 1.0000 | 1.6888- | 0.9078 | 1.4471- | 0.8321 | 1.2649- | 0.7747 | 1.1346- | 0.7375 | 1.0505- | 0.7222 | 1.0077- | 0.7306 | 1.0018- | 0.7639 | 1.0278+ | 0.8222 | 1.0786+ | 0.9033 | 1.1429+ | 1.0000 |
254 | 24 | 1.0000 | 0.2500 | 1.0043+ | 0.3138 | 1.0138+ | 0.3802 | 1.0258+ | 0.4488 | 1.0392+ | 0.5196 | 1.0535+ | 0.5926 | 1.0685+ | 0.6678 | 1.0842+ | 0.7454 | 1.1011+ | 0.8258 | 1.1197+ | 0.9098 | 1.1429+ | 1.0000 |
254 | 25 | 2.6667 | 1.0000 | 2.1176- | 0.9000 | 1.6842- | 0.8000 | 1.3333- | 0.7000 | 1.0435- | 0.6000 | 1.0000- | 0.6250 | 1.0123+ | 0.6833 | 1.0376+ | 0.7523 | 1.0686+ | 0.8282 | 1.1033+ | 0.9102 | 1.1429+ | 1.0000 |
254 | 26 | 1.0264 | 0.3849 | 1.0085- | 0.4286 | 1.0009- | 0.4754 | 1.0008- | 0.5254 | 1.0068+ | 0.5789 | 1.0177+ | 0.6361 | 1.0331+ | 0.6974 | 1.0528+ | 0.7632 | 1.0767+ | 0.8344 | 1.1057+ | 0.9122 | 1.1429+ | 1.0000 |
254 | 27 | 2.0000 | 1.0000 | 1.6744- | 0.9000 | 1.3913- | 0.8000 | 1.1617- | 0.7116 | 1.0505- | 0.6828 | 1.0072- | 0.6925 | 1.0010- | 0.7257 | 1.0172+ | 0.7756 | 1.0481+ | 0.8385 | 1.0899+ | 0.9128 | 1.1429+ | 1.0000 |
254 | 30 | 1.0563 | 0.5282 | 1.0309- | 0.5541 | 1.0135- | 0.5828 | 1.0033- | 0.6146 | 1.0000- | 0.6500 | 1.0034+ | 0.6898 | 1.0136+ | 0.7348 | 1.0312+ | 0.7863 | 1.0570+ | 0.8456 | 1.0928+ | 0.9152 | 1.1429+ | 1.0000 |
254 | 31 | 1.6000 | 1.0000 | 1.4017- | 0.9111 | 1.2502- | 0.8439 | 1.1393- | 0.7975 | 1.0637- | 0.7712 | 1.0188- | 0.7641 | 1.0007- | 0.7756 | 1.0062+ | 0.8050 | 1.0325+ | 0.8519 | 1.0779+ | 0.9162 | 1.1429+ | 1.0000 |
254 | 40 | 1.1852 | 0.2963 | 1.1619- | 0.3631 | 1.1473- | 0.4302 | 1.1377- | 0.4977 | 1.1314- | 0.5657 | 1.1274- | 0.6342 | 1.1254- | 0.7034 | 1.1251- | 0.7735 | 1.1267+ | 0.8450 | 1.1311+ | 0.9190 | 1.1429+ | 1.0000 |
254 | 41 | 2.6667 | 1.0000 | 2.1176- | 0.9000 | 1.6842- | 0.8000 | 1.3333- | 0.7000 | 1.0435- | 0.6000 | 1.0370- | 0.6481 | 1.0551+ | 0.7122 | 1.0737+ | 0.7785 | 1.0932+ | 0.8472 | 1.1146+ | 0.9195 | 1.1429+ | 1.0000 |
254 | 42 | 1.0264 | 0.3849 | 1.0336+ | 0.4393 | 1.0412+ | 0.4946 | 1.0491+ | 0.5508 | 1.0576+ | 0.6081 | 1.0667+ | 0.6667 | 1.0766+ | 0.7267 | 1.0878+ | 0.7887 | 1.1009+ | 0.8532 | 1.1172+ | 0.9217 | 1.1429+ | 1.0000 |
254 | 43 | 2.0000 | 1.0000 | 1.6744- | 0.9000 | 1.3913- | 0.8000 | 1.1429- | 0.7000 | 1.0000- | 0.6500 | 1.0072+ | 0.6925 | 1.0233+ | 0.7419 | 1.0447+ | 0.7966 | 1.0705+ | 0.8564 | 1.1014+ | 0.9224 | 1.1429+ | 1.0000 |
254 | 44 | 1.0264 | 0.3849 | 1.0336+ | 0.4393 | 1.0412+ | 0.4946 | 1.0491+ | 0.5508 | 1.0576+ | 0.6081 | 1.0667+ | 0.6667 | 1.0766+ | 0.7267 | 1.0878+ | 0.7887 | 1.1009+ | 0.8532 | 1.1172+ | 0.9217 | 1.1429+ | 1.0000 |
254 | 45 | 2.0000 | 1.0000 | 1.6744- | 0.9000 | 1.3913- | 0.8000 | 1.1429- | 0.7000 | 1.0000- | 0.6500 | 1.0072+ | 0.6925 | 1.0233+ | 0.7419 | 1.0447+ | 0.7966 | 1.0705+ | 0.8564 | 1.1014+ | 0.9224 | 1.1429+ | 1.0000 |
254 | 46 | 1.0000 | 0.5000 | 1.0013+ | 0.5382 | 1.0052+ | 0.5780 | 1.0113+ | 0.6194 | 1.0196+ | 0.6627 | 1.0302+ | 0.7083 | 1.0432+ | 0.7563 | 1.0592+ | 0.8076 | 1.0789+ | 0.8631 | 1.1043+ | 0.9248 | 1.1429+ | 1.0000 |
254 | 47 | 1.6000 | 1.0000 | 1.3846- | 0.9000 | 1.1852- | 0.8000 | 1.0451- | 0.7316 | 1.0088- | 0.7314 | 1.0000- | 0.7500 | 1.0067+ | 0.7802 | 1.0245+ | 0.8196 | 1.0519+ | 0.8678 | 1.0892+ | 0.9258 | 1.1429+ | 1.0000 |
254 | 60 | 1.0000 | 0.5000 | 1.0013+ | 0.5382 | 1.0052+ | 0.5780 | 1.0113+ | 0.6194 | 1.0196+ | 0.6627 | 1.0302+ | 0.7083 | 1.0432+ | 0.7563 | 1.0592+ | 0.8076 | 1.0789+ | 0.8631 | 1.1043+ | 0.9248 | 1.1429+ | 1.0000 |
254 | 61 | 1.6000 | 1.0000 | 1.3846- | 0.9000 | 1.1852- | 0.8000 | 1.0451- | 0.7316 | 1.0088- | 0.7314 | 1.0000- | 0.7500 | 1.0067+ | 0.7802 | 1.0245+ | 0.8196 | 1.0519+ | 0.8678 | 1.0892+ | 0.9258 | 1.1429+ | 1.0000 |
254 | 62 | 1.0098 | 0.6311 | 1.0036- | 0.6523 | 1.0004- | 0.6753 | 1.0004+ | 0.7003 | 1.0038+ | 0.7277 | 1.0108+ | 0.7581 | 1.0219+ | 0.7920 | 1.0381+ | 0.8305 | 1.0606+ | 0.8750 | 1.0924+ | 0.9286 | 1.1429+ | 1.0000 |
254 | 63 | 1.3333 | 1.0000 | 1.2052- | 0.9190 | 1.1179- | 0.8664 | 1.0593- | 0.8342 | 1.0225- | 0.8180 | 1.0038- | 0.8156 | 1.0006- | 0.8255 | 1.0117+ | 0.8473 | 1.0370+ | 0.8815 | 1.0780+ | 0.9298 | 1.1429+ | 1.0000 |
254 | 104 | 1.1852 | 0.4444 | 1.1680- | 0.4964 | 1.1549- | 0.5486 | 1.1448- | 0.6010 | 1.1371- | 0.6538 | 1.1314- | 0.7071 | 1.1274- | 0.7610 | 1.1253- | 0.8158 | 1.1253+ | 0.8721 | 1.1288+ | 0.9312 | 1.1429+ | 1.0000 |
254 | 105 | 2.0000 | 1.0000 | 1.6744- | 0.9000 | 1.3913- | 0.8000 | 1.1429- | 0.7000 | 1.0381- | 0.6748 | 1.0505+ | 0.7222 | 1.0637+ | 0.7712 | 1.0779+ | 0.8219 | 1.0938+ | 0.8750 | 1.1128+ | 0.9320 | 1.1429+ | 1.0000 |
254 | 106 | 1.0563 | 0.5282 | 1.0596+ | 0.5695 | 1.0632+ | 0.6113 | 1.0673+ | 0.6537 | 1.0720+ | 0.6968 | 1.0774+ | 0.7407 | 1.0839+ | 0.7858 | 1.0917+ | 0.8324 | 1.1017+ | 0.8814 | 1.1158+ | 0.9345 | 1.1429+ | 1.0000 |
254 | 107 | 1.6000 | 1.0000 | 1.3846- | 0.9000 | 1.1852- | 0.8000 | 1.0010- | 0.7007 | 1.0077+ | 0.7306 | 1.0188+ | 0.7641 | 1.0333+ | 0.8008 | 1.0512+ | 0.8410 | 1.0730+ | 0.8852 | 1.1005+ | 0.9354 | 1.1429+ | 1.0000 |
254 | 110 | 1.0098 | 0.6311 | 1.0141+ | 0.6592 | 1.0194+ | 0.6881 | 1.0256+ | 0.7179 | 1.0329+ | 0.7489 | 1.0417+ | 0.7812 | 1.0522+ | 0.8154 | 1.0650+ | 0.8520 | 1.0814+ | 0.8921 | 1.1037+ | 0.9381 | 1.1429+ | 1.0000 |
254 | 111 | 1.3333 | 1.0000 | 1.1803- | 0.9000 | 1.0323- | 0.8000 | 1.0046- | 0.7911 | 1.0000- | 0.8000 | 1.0038+ | 0.8156 | 1.0144+ | 0.8368 | 1.0314+ | 0.8638 | 1.0556+ | 0.8972 | 1.0891+ | 0.9393 | 1.1429+ | 1.0000 |
254 | 126 | 1.0000 | 0.7500 | 1.0006+ | 0.7630 | 1.0027+ | 0.7771 | 1.0063+ | 0.7925 | 1.0118+ | 0.8095 | 1.0196+ | 0.8284 | 1.0302+ | 0.8499 | 1.0445+ | 0.8748 | 1.0641+ | 0.9045 | 1.0925+ | 0.9423 | 1.1429+ | 1.0000 |
254 | 127 | 1.1429 | 1.0000 | 1.0786- | 0.9438 | 1.0413- | 0.9111 | 1.0176- | 0.8904 | 1.0043- | 0.8788 | 1.0000- | 0.8750 | 1.0043+ | 0.8788 | 1.0176+ | 0.8904 | 1.0413+ | 0.9111 | 1.0786+ | 0.9438 | 1.1429+ | 1.0000 |