| | 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 |
41 | 2 | 1.1852 | 0.1481 | 1.1954+ | 0.1793 | 1.2442+ | 0.2177 | 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 |
41 | 6 | 1.1852 | 0.2963 | 1.1878+ | 0.3118 | 1.1981+ | 0.3295 | 1.2258+ | 0.3524 | 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 |
41 | 8 | 1.1852 | 0.1481 | 1.1130- | 0.1670 | 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 |
41 | 10 | 1.0000 | 0.2500 | 1.0007+ | 0.2627 | 1.0034+ | 0.2759 | 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 |
41 | 14 | 1.0264 | 0.3849 | 1.0308+ | 0.3865 | 1.0371+ | 0.3889 | 1.0478+ | 0.3929 | 1.0754+ | 0.4033 | 1.3333+ | 0.5000 | 1.6000+ | 0.6000 | 1.8667+ | 0.7000 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
41 | 22 | 1.1852 | 0.4444 | 1.1864+ | 0.4449 | 1.1909+ | 0.4466 | 1.2021+ | 0.4508 | 1.2294+ | 0.4610 | 1.3333+ | 0.5000 | 1.6000+ | 0.6000 | 1.8667+ | 0.7000 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
41 | 24 | 1.0000 | 0.2500 | 1.0007+ | 0.2627 | 1.0034+ | 0.2759 | 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 |
41 | 26 | 1.0264 | 0.3849 | 1.0308+ | 0.3865 | 1.0371+ | 0.3889 | 1.0478+ | 0.3929 | 1.0754+ | 0.4033 | 1.3333+ | 0.5000 | 1.6000+ | 0.6000 | 1.8667+ | 0.7000 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
41 | 30 | 1.0563 | 0.5282 | 1.0599+ | 0.5167 | 1.0652+ | 0.5060 | 1.0735+ | 0.4965 | 1.0889+ | 0.4900 | 1.1429+ | 0.5000 | 1.4118+ | 0.6000 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
41 | 40 | 1.1852 | 0.2963 | 1.1434- | 0.3001 | 1.1067- | 0.3043 | 1.0746- | 0.3089 | 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 |
41 | 42 | 1.0264 | 0.3849 | 1.0192- | 0.3822 | 1.0126- | 0.3797 | 1.0068- | 0.3776 | 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 |
41 | 44 | 1.0264 | 0.3849 | 1.0192- | 0.3822 | 1.0126- | 0.3797 | 1.0068- | 0.3776 | 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 |
41 | 46 | 1.0000 | 0.5000 | 1.0002+ | 0.4876 | 1.0009+ | 0.4754 | 1.0025+ | 0.4637 | 1.0059+ | 0.4527 | 1.1429+ | 0.5000 | 1.4118+ | 0.6000 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
41 | 60 | 1.0000 | 0.5000 | 1.0002+ | 0.4876 | 1.0009+ | 0.4754 | 1.0025+ | 0.4637 | 1.0059+ | 0.4527 | 1.1429+ | 0.5000 | 1.4118+ | 0.6000 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
41 | 62 | 1.0098 | 0.6311 | 1.0117+ | 0.6070 | 1.0142+ | 0.5832 | 1.0179+ | 0.5599 | 1.0240+ | 0.5376 | 1.0370+ | 0.5185 | 1.2632+ | 0.6000 | 1.5556+ | 0.7000 | 1.8824+ | 0.8000 | 2.2500+ | 0.9000 | 2.6667+ | 1.0000 |
41 | 104 | 1.1852 | 0.4444 | 1.1558- | 0.4334 | 1.1271- | 0.4227 | 1.0992- | 0.4122 | 1.0723- | 0.4021 | 1.3333+ | 0.5000 | 1.6000+ | 0.6000 | 1.8667+ | 0.7000 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
41 | 106 | 1.0563 | 0.5282 | 1.0470- | 0.5104 | 1.0375- | 0.4928 | 1.0280- | 0.4755 | 1.0186- | 0.4584 | 1.1429+ | 0.5000 | 1.4118+ | 0.6000 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
41 | 110 | 1.0098 | 0.6311 | 1.0074- | 0.6044 | 1.0050- | 0.5779 | 1.0028- | 0.5515 | 1.0009- | 0.5255 | 1.0000- | 0.5000 | 1.2632+ | 0.6000 | 1.5556+ | 0.7000 | 1.8824+ | 0.8000 | 2.2500+ | 0.9000 | 2.6667+ | 1.0000 |
41 | 126 | 1.0000 | 0.7500 | 1.0001+ | 0.7126 | 1.0004+ | 0.6753 | 1.0011+ | 0.6382 | 1.0027+ | 0.6016 | 1.0059+ | 0.5658 | 1.1429+ | 0.6000 | 1.4359+ | 0.7000 | 1.7778+ | 0.8000 | 2.1818+ | 0.9000 | 2.6667+ | 1.0000 |
41 | 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 |
41 | 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 |
41 | 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 |
41 | 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 |
41 | 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 |
41 | 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 |
41 | 150 | 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 |
41 | 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 |
41 | 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 |
41 | 158 | 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 |
41 | 168 | 2.6667 | 1.0000 | 2.4000- | 0.9000 | 2.1333- | 0.8000 | 1.8667- | 0.7000 | 1.6126- | 0.6047 | 1.4066- | 0.5275 | 1.6000+ | 0.6000 | 1.8667+ | 0.7000 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
41 | 170 | 2.0000 | 1.0000 | 1.8462- | 0.9000 | 1.6842- | 0.8000 | 1.5135- | 0.7000 | 1.3480- | 0.6066 | 1.2230- | 0.5351 | 1.4118+ | 0.6000 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
41 | 172 | 2.0000 | 1.0000 | 1.8462- | 0.9000 | 1.6842- | 0.8000 | 1.5135- | 0.7000 | 1.3480- | 0.6066 | 1.2230- | 0.5351 | 1.4118+ | 0.6000 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
41 | 174 | 1.6000 | 1.0000 | 1.5000- | 0.9000 | 1.3913- | 0.8000 | 1.2727- | 0.7000 | 1.1632- | 0.6107 | 1.0962- | 0.5481 | 1.2632+ | 0.6000 | 1.5556+ | 0.7000 | 1.8824+ | 0.8000 | 2.2500+ | 0.9000 | 2.6667+ | 1.0000 |
41 | 188 | 1.6000 | 1.0000 | 1.5000- | 0.9000 | 1.3913- | 0.8000 | 1.2727- | 0.7000 | 1.1632- | 0.6107 | 1.0962- | 0.5481 | 1.2632+ | 0.6000 | 1.5556+ | 0.7000 | 1.8824+ | 0.8000 | 2.2500+ | 0.9000 | 2.6667+ | 1.0000 |
41 | 190 | 1.3333 | 1.0000 | 1.2632- | 0.9000 | 1.1852- | 0.8000 | 1.0980- | 0.7000 | 1.0417- | 0.6250 | 1.0206- | 0.5741 | 1.1429+ | 0.6000 | 1.4359+ | 0.7000 | 1.7778+ | 0.8000 | 2.1818+ | 0.9000 | 2.6667+ | 1.0000 |
41 | 232 | 2.0000 | 1.0000 | 1.8529- | 0.9033 | 1.7118- | 0.8131 | 1.5769- | 0.7293 | 1.4488- | 0.6520 | 1.3285- | 0.5812 | 1.4118+ | 0.6000 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
41 | 234 | 1.6000 | 1.0000 | 1.5078- | 0.9047 | 1.4219- | 0.8176 | 1.3411- | 0.7376 | 1.2646- | 0.6639 | 1.1925- | 0.5962 | 1.2632+ | 0.6000 | 1.5556+ | 0.7000 | 1.8824+ | 0.8000 | 2.2500+ | 0.9000 | 2.6667+ | 1.0000 |
41 | 238 | 1.3333 | 1.0000 | 1.2742- | 0.9078 | 1.2242- | 0.8263 | 1.1791- | 0.7517 | 1.1372- | 0.6823 | 1.0975- | 0.6174 | 1.1429+ | 0.6000 | 1.4359+ | 0.7000 | 1.7778+ | 0.8000 | 2.1818+ | 0.9000 | 2.6667+ | 1.0000 |
41 | 254 | 1.1429 | 1.0000 | 1.1146- | 0.9195 | 1.0932- | 0.8472 | 1.0737- | 0.7785 | 1.0551- | 0.7122 | 1.0370- | 0.6481 | 1.0435+ | 0.6000 | 1.3333+ | 0.7000 | 1.6842+ | 0.8000 | 2.1176+ | 0.9000 | 2.6667+ | 1.0000 |