| | 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 |
11 | 2 | 1.1852 | 0.1481 | 1.2543+ | 0.1881 | 1.3533+ | 0.2368 | 1.5162+ | 0.3032 | 1.7778+ | 0.4000 | 2.0000+ | 0.5000 | 2.1818+ | 0.6000 | 2.3333+ | 0.7000 | 2.4615+ | 0.8000 | 2.5714+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 6 | 1.1852 | 0.2963 | 1.2189+ | 0.3199 | 1.2634+ | 0.3474 | 1.3261+ | 0.3812 | 1.4228+ | 0.4268 | 1.6000+ | 0.5000 | 1.8462+ | 0.6000 | 2.0741+ | 0.7000 | 2.2857+ | 0.8000 | 2.4828+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 8 | 1.1852 | 0.1481 | 1.0703- | 0.1606 | 1.1429+ | 0.2000 | 1.5000+ | 0.3000 | 1.7778+ | 0.4000 | 2.0000+ | 0.5000 | 2.1818+ | 0.6000 | 2.3333+ | 0.7000 | 2.4615+ | 0.8000 | 2.5714+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 10 | 1.0000 | 0.2500 | 1.0063+ | 0.2642 | 1.0302+ | 0.2833 | 1.0925+ | 0.3141 | 1.3333+ | 0.4000 | 1.6000+ | 0.5000 | 1.8462+ | 0.6000 | 2.0741+ | 0.7000 | 2.2857+ | 0.8000 | 2.4828+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 14 | 1.0264 | 0.3849 | 1.0433+ | 0.3912 | 1.0688+ | 0.4008 | 1.1088+ | 0.4158 | 1.1780+ | 0.4418 | 1.3333+ | 0.5000 | 1.6000+ | 0.6000 | 1.8667+ | 0.7000 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 22 | 1.1852 | 0.4444 | 1.2075+ | 0.4528 | 1.2363+ | 0.4636 | 1.2754+ | 0.4783 | 1.3320+ | 0.4995 | 1.4228+ | 0.5335 | 1.6000+ | 0.6000 | 1.8667+ | 0.7000 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 24 | 1.0000 | 0.2500 | 1.0063+ | 0.2642 | 1.0302+ | 0.2833 | 1.0925+ | 0.3141 | 1.3333+ | 0.4000 | 1.6000+ | 0.5000 | 1.8462+ | 0.6000 | 2.0741+ | 0.7000 | 2.2857+ | 0.8000 | 2.4828+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 26 | 1.0264 | 0.3849 | 1.0433+ | 0.3912 | 1.0688+ | 0.4008 | 1.1088+ | 0.4158 | 1.1780+ | 0.4418 | 1.3333+ | 0.5000 | 1.6000+ | 0.6000 | 1.8667+ | 0.7000 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 30 | 1.0563 | 0.5282 | 1.0717+ | 0.5225 | 1.0927+ | 0.5190 | 1.1224+ | 0.5191 | 1.1675+ | 0.5254 | 1.2442+ | 0.5443 | 1.4118+ | 0.6000 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 40 | 1.1852 | 0.2963 | 1.1170- | 0.2932 | 1.0611- | 0.2918 | 1.0435- | 0.3000 | 1.3333+ | 0.4000 | 1.6000+ | 0.5000 | 1.8462+ | 0.6000 | 2.0741+ | 0.7000 | 2.2857+ | 0.8000 | 2.4828+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 42 | 1.0264 | 0.3849 | 1.0111- | 0.3792 | 1.0015- | 0.3756 | 1.0019+ | 0.3757 | 1.0667+ | 0.4000 | 1.3333+ | 0.5000 | 1.6000+ | 0.6000 | 1.8667+ | 0.7000 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 44 | 1.0264 | 0.3849 | 1.0111- | 0.3792 | 1.0015- | 0.3756 | 1.0019+ | 0.3757 | 1.0667+ | 0.4000 | 1.3333+ | 0.5000 | 1.6000+ | 0.6000 | 1.8667+ | 0.7000 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 46 | 1.0000 | 0.5000 | 1.0017+ | 0.4883 | 1.0079+ | 0.4788 | 1.0224+ | 0.4729 | 1.0535+ | 0.4741 | 1.1429+ | 0.5000 | 1.4118+ | 0.6000 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 60 | 1.0000 | 0.5000 | 1.0017+ | 0.4883 | 1.0079+ | 0.4788 | 1.0224+ | 0.4729 | 1.0535+ | 0.4741 | 1.1429+ | 0.5000 | 1.4118+ | 0.6000 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 62 | 1.0098 | 0.6311 | 1.0166+ | 0.6100 | 1.0273+ | 0.5907 | 1.0441+ | 0.5743 | 1.0723+ | 0.5630 | 1.1250+ | 0.5625 | 1.2632+ | 0.6000 | 1.5556+ | 0.7000 | 1.8824+ | 0.8000 | 2.2500+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 104 | 1.1852 | 0.4444 | 1.1369- | 0.4263 | 1.0915- | 0.4093 | 1.0505- | 0.3939 | 1.0667+ | 0.4000 | 1.3333+ | 0.5000 | 1.6000+ | 0.6000 | 1.8667+ | 0.7000 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 106 | 1.0563 | 0.5282 | 1.0374- | 0.5057 | 1.0201- | 0.4846 | 1.0064- | 0.4654 | 1.0000- | 0.4500 | 1.1429+ | 0.5000 | 1.4118+ | 0.6000 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 110 | 1.0098 | 0.6311 | 1.0042- | 0.6025 | 1.0006- | 0.5753 | 1.0007+ | 0.5504 | 1.0086+ | 0.5295 | 1.0370+ | 0.5185 | 1.2632+ | 0.6000 | 1.5556+ | 0.7000 | 1.8824+ | 0.8000 | 2.2500+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 126 | 1.0000 | 0.7500 | 1.0007+ | 0.7130 | 1.0036+ | 0.6775 | 1.0103+ | 0.6440 | 1.0240+ | 0.6144 | 1.0535+ | 0.5926 | 1.1429+ | 0.6000 | 1.4359+ | 0.7000 | 1.7778+ | 0.8000 | 2.1818+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 128 | 8.0000 | 1.0000 | 6.0000- | 0.9000 | 4.5714- | 0.8000 | 3.5000- | 0.7000 | 2.6667- | 0.6000 | 2.0000- | 0.5000 | 2.1818+ | 0.6000 | 2.3333+ | 0.7000 | 2.4615+ | 0.8000 | 2.5714+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 130 | 4.0000 | 1.0000 | 3.4286- | 0.9000 | 2.9091- | 0.8000 | 2.4348- | 0.7000 | 2.0000- | 0.6000 | 1.6000- | 0.5000 | 1.8462+ | 0.6000 | 2.0741+ | 0.7000 | 2.2857+ | 0.8000 | 2.4828+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 134 | 2.6667 | 1.0000 | 2.4000- | 0.9000 | 2.1333- | 0.8000 | 1.8667- | 0.7000 | 1.6000- | 0.6000 | 1.3333- | 0.5000 | 1.6000+ | 0.6000 | 1.8667+ | 0.7000 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 136 | 4.0000 | 1.0000 | 3.4286- | 0.9000 | 2.9091- | 0.8000 | 2.4348- | 0.7000 | 2.0000- | 0.6000 | 1.6000- | 0.5000 | 1.8462+ | 0.6000 | 2.0741+ | 0.7000 | 2.2857+ | 0.8000 | 2.4828+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 138 | 2.6667 | 1.0000 | 2.4000- | 0.9000 | 2.1333- | 0.8000 | 1.8667- | 0.7000 | 1.6000- | 0.6000 | 1.3333- | 0.5000 | 1.6000+ | 0.6000 | 1.8667+ | 0.7000 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 142 | 2.0000 | 1.0000 | 1.8462- | 0.9000 | 1.6842- | 0.8000 | 1.5135- | 0.7000 | 1.3333- | 0.6000 | 1.1429- | 0.5000 | 1.4118+ | 0.6000 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 150 | 2.0000 | 1.0000 | 1.8462- | 0.9000 | 1.6842- | 0.8000 | 1.5135- | 0.7000 | 1.3333- | 0.6000 | 1.2230- | 0.5351 | 1.4118+ | 0.6000 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 152 | 2.6667 | 1.0000 | 2.4000- | 0.9000 | 2.1333- | 0.8000 | 1.8667- | 0.7000 | 1.6000- | 0.6000 | 1.3333- | 0.5000 | 1.6000+ | 0.6000 | 1.8667+ | 0.7000 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 154 | 2.0000 | 1.0000 | 1.8462- | 0.9000 | 1.6842- | 0.8000 | 1.5135- | 0.7000 | 1.3333- | 0.6000 | 1.1429- | 0.5000 | 1.4118+ | 0.6000 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 158 | 1.6000 | 1.0000 | 1.5000- | 0.9000 | 1.3913- | 0.8000 | 1.2727- | 0.7000 | 1.1429- | 0.6000 | 1.0962- | 0.5481 | 1.2632+ | 0.6000 | 1.5556+ | 0.7000 | 1.8824+ | 0.8000 | 2.2500+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 168 | 2.6667 | 1.0000 | 2.4000- | 0.9000 | 2.1333- | 0.8000 | 1.8667- | 0.7000 | 1.6000- | 0.6000 | 1.3333- | 0.5000 | 1.6000+ | 0.6000 | 1.8667+ | 0.7000 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 170 | 2.0000 | 1.0000 | 1.8462- | 0.9000 | 1.6842- | 0.8000 | 1.5135- | 0.7000 | 1.3333- | 0.6000 | 1.1429- | 0.5000 | 1.4118+ | 0.6000 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 172 | 2.0000 | 1.0000 | 1.8462- | 0.9000 | 1.6842- | 0.8000 | 1.5135- | 0.7000 | 1.3333- | 0.6000 | 1.1429- | 0.5000 | 1.4118+ | 0.6000 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 174 | 1.6000 | 1.0000 | 1.5000- | 0.9000 | 1.3913- | 0.8000 | 1.2727- | 0.7000 | 1.1429- | 0.6000 | 1.0000- | 0.5000 | 1.2632+ | 0.6000 | 1.5556+ | 0.7000 | 1.8824+ | 0.8000 | 2.2500+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 188 | 1.6000 | 1.0000 | 1.5000- | 0.9000 | 1.3913- | 0.8000 | 1.2727- | 0.7000 | 1.1429- | 0.6000 | 1.0000- | 0.5000 | 1.2632+ | 0.6000 | 1.5556+ | 0.7000 | 1.8824+ | 0.8000 | 2.2500+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 190 | 1.3333 | 1.0000 | 1.2632- | 0.9000 | 1.1852- | 0.8000 | 1.0980- | 0.7000 | 1.0000- | 0.6000 | 1.0206+ | 0.5741 | 1.1429+ | 0.6000 | 1.4359+ | 0.7000 | 1.7778+ | 0.8000 | 2.1818+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 232 | 2.0000 | 1.0000 | 1.8480- | 0.9009 | 1.6925- | 0.8040 | 1.5348- | 0.7098 | 1.3769- | 0.6196 | 1.2230- | 0.5351 | 1.4118+ | 0.6000 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 234 | 1.6000 | 1.0000 | 1.5022- | 0.9013 | 1.4013- | 0.8057 | 1.2982- | 0.7140 | 1.1951- | 0.6274 | 1.0962- | 0.5481 | 1.2632+ | 0.6000 | 1.5556+ | 0.7000 | 1.8824+ | 0.8000 | 2.2500+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 238 | 1.3333 | 1.0000 | 1.2667- | 0.9025 | 1.2003- | 0.8102 | 1.1351- | 0.7236 | 1.0733- | 0.6440 | 1.0206- | 0.5741 | 1.1429+ | 0.6000 | 1.4359+ | 0.7000 | 1.7778+ | 0.8000 | 2.1818+ | 0.9000 | 2.6667+ | 1.0000 |
11 | 254 | 1.1429 | 1.0000 | 1.1033- | 0.9102 | 1.0686- | 0.8282 | 1.0376- | 0.7523 | 1.0123- | 0.6833 | 1.0000- | 0.6250 | 1.0435+ | 0.6000 | 1.3333+ | 0.7000 | 1.6842+ | 0.8000 | 2.1176+ | 0.9000 | 2.6667+ | 1.0000 |