| | 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 |
7 | 2 | 1.1852 | 0.1481 | 1.3146+ | 0.1972 | 1.4629+ | 0.2560 | 1.6274+ | 0.3255 | 1.8067+ | 0.4065 | 2.0000+ | 0.5000 | 2.1818+ | 0.6000 | 2.3333+ | 0.7000 | 2.4615+ | 0.8000 | 2.5714+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 6 | 1.1852 | 0.2963 | 1.2507+ | 0.3283 | 1.3302+ | 0.3658 | 1.4264+ | 0.4101 | 1.5432+ | 0.4630 | 1.6856+ | 0.5267 | 1.8606+ | 0.6047 | 2.0741+ | 0.7000 | 2.2857+ | 0.8000 | 2.4828+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 8 | 1.1852 | 0.1481 | 1.0347- | 0.1552 | 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 |
7 | 10 | 1.0000 | 0.2500 | 1.0174+ | 0.2671 | 1.0774+ | 0.2963 | 1.1923+ | 0.3428 | 1.3681+ | 0.4104 | 1.6000+ | 0.5000 | 1.8462+ | 0.6000 | 2.0741+ | 0.7000 | 2.2857+ | 0.8000 | 2.4828+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 14 | 1.0264 | 0.3849 | 1.0575+ | 0.3966 | 1.1062+ | 0.4148 | 1.1781+ | 0.4418 | 1.2807+ | 0.4803 | 1.4228+ | 0.5335 | 1.6153+ | 0.6057 | 1.8667+ | 0.7000 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 22 | 1.1852 | 0.4444 | 1.2290+ | 0.4609 | 1.2829+ | 0.4811 | 1.3500+ | 0.5062 | 1.4346+ | 0.5380 | 1.5432+ | 0.5787 | 1.6856+ | 0.6321 | 1.8776+ | 0.7041 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 24 | 1.0000 | 0.2500 | 1.0174+ | 0.2671 | 1.0774+ | 0.2963 | 1.1923+ | 0.3428 | 1.3681+ | 0.4104 | 1.6000+ | 0.5000 | 1.8462+ | 0.6000 | 2.0741+ | 0.7000 | 2.2857+ | 0.8000 | 2.4828+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 26 | 1.0264 | 0.3849 | 1.0575+ | 0.3966 | 1.1062+ | 0.4148 | 1.1781+ | 0.4418 | 1.2807+ | 0.4803 | 1.4228+ | 0.5335 | 1.6153+ | 0.6057 | 1.8667+ | 0.7000 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 30 | 1.0563 | 0.5282 | 1.0842+ | 0.5286 | 1.1228+ | 0.5333 | 1.1761+ | 0.5439 | 1.2500+ | 0.5625 | 1.3533+ | 0.5920 | 1.4992+ | 0.6371 | 1.7083+ | 0.7047 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 40 | 1.1852 | 0.2963 | 1.0922- | 0.2867 | 1.0248- | 0.2818 | 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 |
7 | 42 | 1.0264 | 0.3849 | 1.0050- | 0.3769 | 1.0015- | 0.3756 | 1.0313+ | 0.3867 | 1.1267+ | 0.4225 | 1.3333+ | 0.5000 | 1.6000+ | 0.6000 | 1.8667+ | 0.7000 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 44 | 1.0264 | 0.3849 | 1.0050- | 0.3769 | 1.0015- | 0.3756 | 1.0313+ | 0.3867 | 1.1267+ | 0.4225 | 1.3333+ | 0.5000 | 1.6000+ | 0.6000 | 1.8667+ | 0.7000 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 46 | 1.0000 | 0.5000 | 1.0046+ | 0.4897 | 1.0217+ | 0.4853 | 1.0588+ | 0.4897 | 1.1274+ | 0.5073 | 1.2442+ | 0.5443 | 1.4291+ | 0.6074 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 60 | 1.0000 | 0.5000 | 1.0046+ | 0.4897 | 1.0217+ | 0.4853 | 1.0588+ | 0.4897 | 1.1274+ | 0.5073 | 1.2442+ | 0.5443 | 1.4291+ | 0.6074 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 62 | 1.0098 | 0.6311 | 1.0224+ | 0.6135 | 1.0438+ | 0.6002 | 1.0784+ | 0.5931 | 1.1334+ | 0.5950 | 1.2199+ | 0.6099 | 1.3555+ | 0.6439 | 1.5676+ | 0.7054 | 1.8824+ | 0.8000 | 2.2500+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 104 | 1.1852 | 0.4444 | 1.1187- | 0.4195 | 1.0597- | 0.3974 | 1.0146- | 0.3805 | 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 |
7 | 106 | 1.0563 | 0.5282 | 1.0286- | 0.5014 | 1.0076- | 0.4786 | 1.0003- | 0.4626 | 1.0244+ | 0.4610 | 1.1429+ | 0.5000 | 1.4118+ | 0.6000 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 110 | 1.0098 | 0.6311 | 1.0019- | 0.6011 | 1.0006- | 0.5753 | 1.0115+ | 0.5564 | 1.0458+ | 0.5491 | 1.1250+ | 0.5625 | 1.2847+ | 0.6102 | 1.5556+ | 0.7000 | 1.8824+ | 0.8000 | 2.2500+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 126 | 1.0000 | 0.7500 | 1.0021+ | 0.7140 | 1.0100+ | 0.6818 | 1.0279+ | 0.6553 | 1.0628+ | 0.6377 | 1.1274+ | 0.6342 | 1.2442+ | 0.6532 | 1.4491+ | 0.7064 | 1.7778+ | 0.8000 | 2.1818+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 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 |
7 | 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 |
7 | 134 | 2.6667 | 1.0000 | 2.4000- | 0.9000 | 2.1333- | 0.8000 | 1.8667- | 0.7000 | 1.6000- | 0.6000 | 1.4066- | 0.5275 | 1.6126+ | 0.6047 | 1.8667+ | 0.7000 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 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 |
7 | 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 |
7 | 142 | 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.4255+ | 0.6058 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 150 | 2.0000 | 1.0000 | 1.8462- | 0.9000 | 1.6842- | 0.8000 | 1.5135- | 0.7000 | 1.3333- | 0.6000 | 1.3285- | 0.5812 | 1.4886+ | 0.6327 | 1.7070+ | 0.7041 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 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 |
7 | 154 | 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.4255+ | 0.6058 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 158 | 1.6000 | 1.0000 | 1.5000- | 0.9000 | 1.3913- | 0.8000 | 1.2727- | 0.7000 | 1.1429- | 0.6000 | 1.1925+ | 0.5962 | 1.3433+ | 0.6380 | 1.5660+ | 0.7047 | 1.8824+ | 0.8000 | 2.2500+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 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 |
7 | 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 |
7 | 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 |
7 | 174 | 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.2791+ | 0.6076 | 1.5556+ | 0.7000 | 1.8824+ | 0.8000 | 2.2500+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 188 | 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.2791+ | 0.6076 | 1.5556+ | 0.7000 | 1.8824+ | 0.8000 | 2.2500+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 190 | 1.3333 | 1.0000 | 1.2632- | 0.9000 | 1.1852- | 0.8000 | 1.0980- | 0.7000 | 1.0263- | 0.6158 | 1.0975+ | 0.6174 | 1.2294+ | 0.6454 | 1.4471+ | 0.7055 | 1.7778+ | 0.8000 | 2.1818+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 232 | 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 |
7 | 234 | 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 |
7 | 238 | 1.3333 | 1.0000 | 1.2632- | 0.9000 | 1.1852- | 0.8000 | 1.0980- | 0.7000 | 1.0123- | 0.6074 | 1.0206+ | 0.5741 | 1.1632+ | 0.6107 | 1.4359+ | 0.7000 | 1.7778+ | 0.8000 | 2.1818+ | 0.9000 | 2.6667+ | 1.0000 |
7 | 254 | 1.1429 | 1.0000 | 1.0923- | 0.9012 | 1.0445- | 0.8095 | 1.0097- | 0.7320 | 1.0013- | 0.6759 | 1.0370+ | 0.6481 | 1.1409+ | 0.6560 | 1.3457+ | 0.7065 | 1.6842+ | 0.8000 | 2.1176+ | 0.9000 | 2.6667+ | 1.0000 |