| | 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 |
111 | 2 | 1.1852 | 0.1481 | 1.1473- | 0.2151 | 1.1314- | 0.2828 | 1.1254- | 0.3517 | 1.1267+ | 0.4225 | 1.1429+ | 0.5000 | 1.2000+ | 0.6000 | 1.2444+ | 0.7000 | 1.2800+ | 0.8000 | 1.3091+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 6 | 1.1852 | 0.2963 | 1.1610- | 0.3483 | 1.1448- | 0.4007 | 1.1340- | 0.4536 | 1.1274- | 0.5073 | 1.1250- | 0.5625 | 1.1288+ | 0.6208 | 1.1667+ | 0.7000 | 1.2308+ | 0.8000 | 1.2857+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 8 | 1.1852 | 0.1481 | 1.0597- | 0.1987 | 1.0146- | 0.2536 | 1.0007- | 0.3127 | 1.0667+ | 0.4000 | 1.1429+ | 0.5000 | 1.2000+ | 0.6000 | 1.2444+ | 0.7000 | 1.2800+ | 0.8000 | 1.3091+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 10 | 1.0000 | 0.2500 | 1.0021+ | 0.3006 | 1.0073+ | 0.3526 | 1.0148+ | 0.4059 | 1.0244+ | 0.4610 | 1.0370+ | 0.5185 | 1.0909+ | 0.6000 | 1.1667+ | 0.7000 | 1.2308+ | 0.8000 | 1.2857+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 14 | 1.0264 | 0.3849 | 1.0303+ | 0.4250 | 1.0347+ | 0.4656 | 1.0398+ | 0.5069 | 1.0458+ | 0.5491 | 1.0535+ | 0.5926 | 1.0642+ | 0.6385 | 1.0980+ | 0.7000 | 1.1852+ | 0.8000 | 1.2632+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 22 | 1.1852 | 0.4444 | 1.1675- | 0.4816 | 1.1533- | 0.5190 | 1.1420- | 0.5567 | 1.1334- | 0.5950 | 1.1274- | 0.6342 | 1.1250- | 0.6750 | 1.1296+ | 0.7201 | 1.1852+ | 0.8000 | 1.2632+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 24 | 1.0000 | 0.2500 | 1.0021+ | 0.3006 | 1.0073+ | 0.3526 | 1.0148+ | 0.4059 | 1.0244+ | 0.4610 | 1.0370+ | 0.5185 | 1.0909+ | 0.6000 | 1.1667+ | 0.7000 | 1.2308+ | 0.8000 | 1.2857+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 26 | 1.0264 | 0.3849 | 1.0303+ | 0.4250 | 1.0347+ | 0.4656 | 1.0398+ | 0.5069 | 1.0458+ | 0.5491 | 1.0535+ | 0.5926 | 1.0642+ | 0.6385 | 1.0980+ | 0.7000 | 1.1852+ | 0.8000 | 1.2632+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 30 | 1.0563 | 0.5282 | 1.0570+ | 0.5549 | 1.0582+ | 0.5820 | 1.0601+ | 0.6096 | 1.0628+ | 0.6377 | 1.0667+ | 0.6667 | 1.0727+ | 0.6972 | 1.0833+ | 0.7313 | 1.1429+ | 0.8000 | 1.2414+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 40 | 1.1852 | 0.2963 | 1.1030- | 0.3309 | 1.0521- | 0.3682 | 1.0214- | 0.4086 | 1.0051- | 0.4523 | 1.0000- | 0.5000 | 1.0909+ | 0.6000 | 1.1667+ | 0.7000 | 1.2308+ | 0.8000 | 1.2857+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 42 | 1.0264 | 0.3849 | 1.0123- | 0.4176 | 1.0039- | 0.4517 | 1.0002- | 0.4876 | 1.0009+ | 0.5255 | 1.0059+ | 0.5658 | 1.0160+ | 0.6096 | 1.0980+ | 0.7000 | 1.1852+ | 0.8000 | 1.2632+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 44 | 1.0264 | 0.3849 | 1.0123- | 0.4176 | 1.0039- | 0.4517 | 1.0002- | 0.4876 | 1.0009+ | 0.5255 | 1.0059+ | 0.5658 | 1.0160+ | 0.6096 | 1.0980+ | 0.7000 | 1.1852+ | 0.8000 | 1.2632+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 46 | 1.0000 | 0.5000 | 1.0006+ | 0.5253 | 1.0025+ | 0.5514 | 1.0058+ | 0.5784 | 1.0108+ | 0.6065 | 1.0177+ | 0.6361 | 1.0277+ | 0.6680 | 1.0433+ | 0.7042 | 1.1429+ | 0.8000 | 1.2414+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 60 | 1.0000 | 0.5000 | 1.0006+ | 0.5253 | 1.0025+ | 0.5514 | 1.0058+ | 0.5784 | 1.0108+ | 0.6065 | 1.0177+ | 0.6361 | 1.0277+ | 0.6680 | 1.0433+ | 0.7042 | 1.1429+ | 0.8000 | 1.2414+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 62 | 1.0098 | 0.6311 | 1.0124+ | 0.6454 | 1.0155+ | 0.6601 | 1.0194+ | 0.6753 | 1.0241+ | 0.6913 | 1.0302+ | 0.7083 | 1.0383+ | 0.7268 | 1.0505+ | 0.7485 | 1.1034+ | 0.8000 | 1.2203+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 104 | 1.1852 | 0.4444 | 1.1245- | 0.4638 | 1.0782- | 0.4852 | 1.0438- | 0.5089 | 1.0197- | 0.5354 | 1.0051- | 0.5654 | 1.0000- | 0.6000 | 1.0980+ | 0.7000 | 1.1852+ | 0.8000 | 1.2632+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 106 | 1.0563 | 0.5282 | 1.0365- | 0.5442 | 1.0210- | 0.5615 | 1.0096- | 0.5805 | 1.0025- | 0.6015 | 1.0000- | 0.6250 | 1.0029+ | 0.6519 | 1.0370+ | 0.7000 | 1.1429+ | 0.8000 | 1.2414+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 110 | 1.0098 | 0.6311 | 1.0050- | 0.6407 | 1.0017- | 0.6511 | 1.0001- | 0.6626 | 1.0005+ | 0.6753 | 1.0034+ | 0.6898 | 1.0096+ | 0.7067 | 1.0211+ | 0.7276 | 1.1034+ | 0.8000 | 1.2203+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 126 | 1.0000 | 0.7500 | 1.0003+ | 0.7502 | 1.0013+ | 0.7510 | 1.0031+ | 0.7524 | 1.0062+ | 0.7546 | 1.0108+ | 0.7581 | 1.0177+ | 0.7633 | 1.0287+ | 0.7715 | 1.0667+ | 0.8000 | 1.2000+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 128 | 8.0000 | 1.0000 | 4.8000- | 0.9000 | 3.2000- | 0.8000 | 2.2400- | 0.7000 | 1.6000- | 0.6000 | 1.1429- | 0.5000 | 1.2000+ | 0.6000 | 1.2444+ | 0.7000 | 1.2800+ | 0.8000 | 1.3091+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 130 | 4.0000 | 1.0000 | 3.0000- | 0.9000 | 2.2857- | 0.8000 | 1.7500- | 0.7000 | 1.3333- | 0.6000 | 1.0000- | 0.5000 | 1.0909+ | 0.6000 | 1.1667+ | 0.7000 | 1.2308+ | 0.8000 | 1.2857+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 134 | 2.6667 | 1.0000 | 2.1818- | 0.9000 | 1.7778- | 0.8000 | 1.4359- | 0.7000 | 1.1429- | 0.6000 | 1.0206- | 0.5741 | 1.0417+ | 0.6250 | 1.0980+ | 0.7000 | 1.1852+ | 0.8000 | 1.2632+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 136 | 4.0000 | 1.0000 | 3.0000- | 0.9000 | 2.2857- | 0.8000 | 1.7500- | 0.7000 | 1.3333- | 0.6000 | 1.0962- | 0.5481 | 1.0909- | 0.6000 | 1.1667+ | 0.7000 | 1.2308+ | 0.8000 | 1.2857+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 138 | 2.6667 | 1.0000 | 2.1818- | 0.9000 | 1.7778- | 0.8000 | 1.4359- | 0.7000 | 1.1429- | 0.6000 | 1.0206- | 0.5741 | 1.0000- | 0.6000 | 1.0980+ | 0.7000 | 1.1852+ | 0.8000 | 1.2632+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 142 | 2.0000 | 1.0000 | 1.7143- | 0.9000 | 1.4545- | 0.8000 | 1.2174- | 0.7000 | 1.0123- | 0.6074 | 1.0000- | 0.6250 | 1.0068+ | 0.6544 | 1.0370+ | 0.7000 | 1.1429+ | 0.8000 | 1.2414+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 150 | 2.0000 | 1.0000 | 1.7143- | 0.9000 | 1.4545- | 0.8000 | 1.2174- | 0.7000 | 1.0263- | 0.6158 | 1.0370+ | 0.6481 | 1.0505+ | 0.6828 | 1.0704+ | 0.7225 | 1.1429+ | 0.8000 | 1.2414+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 152 | 2.6667 | 1.0000 | 2.1818- | 0.9000 | 1.7778- | 0.8000 | 1.4359- | 0.7000 | 1.1429- | 0.6000 | 1.0206- | 0.5741 | 1.0000- | 0.6000 | 1.0980+ | 0.7000 | 1.1852+ | 0.8000 | 1.2632+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 154 | 2.0000 | 1.0000 | 1.7143- | 0.9000 | 1.4545- | 0.8000 | 1.2174- | 0.7000 | 1.0123- | 0.6074 | 1.0000- | 0.6250 | 1.0068+ | 0.6544 | 1.0370+ | 0.7000 | 1.1429+ | 0.8000 | 1.2414+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 158 | 1.6000 | 1.0000 | 1.4118- | 0.9000 | 1.2308- | 0.8000 | 1.0566- | 0.7000 | 1.0013- | 0.6759 | 1.0072+ | 0.6925 | 1.0179+ | 0.7125 | 1.0351+ | 0.7375 | 1.1034+ | 0.8000 | 1.2203+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 168 | 2.6667 | 1.0000 | 2.1818- | 0.9000 | 1.7778- | 0.8000 | 1.4471- | 0.7055 | 1.2294- | 0.6454 | 1.0975- | 0.6174 | 1.0263- | 0.6158 | 1.0980+ | 0.7000 | 1.1852+ | 0.8000 | 1.2632+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 170 | 2.0000 | 1.0000 | 1.7143- | 0.9000 | 1.4545- | 0.8000 | 1.2326- | 0.7087 | 1.1052- | 0.6631 | 1.0370- | 0.6481 | 1.0056- | 0.6536 | 1.0370+ | 0.7000 | 1.1429+ | 0.8000 | 1.2414+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 172 | 2.0000 | 1.0000 | 1.7143- | 0.9000 | 1.4545- | 0.8000 | 1.2326- | 0.7087 | 1.1052- | 0.6631 | 1.0370- | 0.6481 | 1.0056- | 0.6536 | 1.0370+ | 0.7000 | 1.1429+ | 0.8000 | 1.2414+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 174 | 1.6000 | 1.0000 | 1.4118- | 0.9000 | 1.2308- | 0.8000 | 1.0857- | 0.7193 | 1.0316- | 0.6963 | 1.0072- | 0.6925 | 1.0000- | 0.7000 | 1.0073+ | 0.7177 | 1.1034+ | 0.8000 | 1.2203+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 188 | 1.6000 | 1.0000 | 1.4118- | 0.9000 | 1.2308- | 0.8000 | 1.0857- | 0.7193 | 1.0316- | 0.6963 | 1.0072- | 0.6925 | 1.0000- | 0.7000 | 1.0073+ | 0.7177 | 1.1034+ | 0.8000 | 1.2203+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 190 | 1.3333 | 1.0000 | 1.2000- | 0.9000 | 1.0667- | 0.8000 | 1.0147- | 0.7610 | 1.0034- | 0.7526 | 1.0000- | 0.7500 | 1.0034+ | 0.7526 | 1.0147+ | 0.7610 | 1.0667+ | 0.8000 | 1.2000+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 232 | 2.0000 | 1.0000 | 1.7286- | 0.9075 | 1.5092- | 0.8300 | 1.3352- | 0.7677 | 1.2012- | 0.7207 | 1.1032- | 0.6895 | 1.0381- | 0.6748 | 1.0370- | 0.7000 | 1.1429+ | 0.8000 | 1.2414+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 234 | 1.6000 | 1.0000 | 1.4284- | 0.9106 | 1.2927- | 0.8403 | 1.1871- | 0.7864 | 1.1073- | 0.7474 | 1.0505- | 0.7222 | 1.0149- | 0.7104 | 1.0003- | 0.7127 | 1.1034+ | 0.8000 | 1.2203+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 238 | 1.3333 | 1.0000 | 1.2235- | 0.9176 | 1.1456- | 0.8592 | 1.0884- | 0.8163 | 1.0469- | 0.7852 | 1.0188- | 0.7641 | 1.0032- | 0.7524 | 1.0009- | 0.7506 | 1.0667+ | 0.8000 | 1.2000+ | 0.9000 | 1.3333+ | 1.0000 |
111 | 254 | 1.1429 | 1.0000 | 1.0891- | 0.9393 | 1.0556- | 0.8972 | 1.0314- | 0.8638 | 1.0144- | 0.8368 | 1.0038- | 0.8156 | 1.0000- | 0.8000 | 1.0046+ | 0.7911 | 1.0323+ | 0.8000 | 1.1803+ | 0.9000 | 1.3333+ | 1.0000 |