| | 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 |
137 | 2 | 1.1852 | 0.1481 | 1.1721- | 0.1758 | 1.2230+ | 0.2140 | 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 |
137 | 6 | 1.1852 | 0.2963 | 1.1738- | 0.3081 | 1.1732- | 0.3226 | 1.1994+ | 0.3448 | 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 |
137 | 8 | 1.1852 | 0.1481 | 1.2317+ | 0.1848 | 1.3285+ | 0.2325 | 1.5119+ | 0.3024 | 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 |
137 | 10 | 1.0000 | 0.2500 | 1.0009+ | 0.2627 | 1.0072+ | 0.2770 | 1.0679+ | 0.3070 | 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 |
137 | 14 | 1.0264 | 0.3849 | 1.0228- | 0.3836 | 1.0198- | 0.3824 | 1.0188- | 0.3821 | 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 |
137 | 22 | 1.1852 | 0.4444 | 1.1765- | 0.4412 | 1.1717- | 0.4394 | 1.1756+ | 0.4408 | 1.2038+ | 0.4514 | 1.3333+ | 0.5000 | 1.6000+ | 0.6000 | 1.8667+ | 0.7000 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
137 | 24 | 1.0000 | 0.2500 | 1.0009+ | 0.2627 | 1.0072+ | 0.2770 | 1.0679+ | 0.3070 | 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 |
137 | 26 | 1.0264 | 0.3849 | 1.0228- | 0.3836 | 1.0198- | 0.3824 | 1.0188- | 0.3821 | 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 |
137 | 30 | 1.0563 | 0.5282 | 1.0529- | 0.5133 | 1.0502- | 0.4988 | 1.0496- | 0.4854 | 1.0574+ | 0.4758 | 1.1429+ | 0.5000 | 1.4118+ | 0.6000 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
137 | 40 | 1.1852 | 0.2963 | 1.2050+ | 0.3163 | 1.2394+ | 0.3408 | 1.2995+ | 0.3736 | 1.4066+ | 0.4220 | 1.6000+ | 0.5000 | 1.8462+ | 0.6000 | 2.0741+ | 0.7000 | 2.2857+ | 0.8000 | 2.4828+ | 0.9000 | 2.6667+ | 1.0000 |
137 | 42 | 1.0264 | 0.3849 | 1.0347+ | 0.3880 | 1.0494+ | 0.3935 | 1.0801+ | 0.4050 | 1.1533+ | 0.4325 | 1.3333+ | 0.5000 | 1.6000+ | 0.6000 | 1.8667+ | 0.7000 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
137 | 44 | 1.0264 | 0.3849 | 1.0347+ | 0.3880 | 1.0494+ | 0.3935 | 1.0801+ | 0.4050 | 1.1533+ | 0.4325 | 1.3333+ | 0.5000 | 1.6000+ | 0.6000 | 1.8667+ | 0.7000 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
137 | 46 | 1.0000 | 0.5000 | 1.0002+ | 0.4876 | 1.0012+ | 0.4756 | 1.0046+ | 0.4646 | 1.0206+ | 0.4593 | 1.1429+ | 0.5000 | 1.4118+ | 0.6000 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
137 | 60 | 1.0000 | 0.5000 | 1.0002+ | 0.4876 | 1.0012+ | 0.4756 | 1.0046+ | 0.4646 | 1.0206+ | 0.4593 | 1.1429+ | 0.5000 | 1.4118+ | 0.6000 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
137 | 62 | 1.0098 | 0.6311 | 1.0082- | 0.6049 | 1.0064- | 0.5787 | 1.0045- | 0.5525 | 1.0023- | 0.5262 | 1.0000- | 0.5000 | 1.2632+ | 0.6000 | 1.5556+ | 0.7000 | 1.8824+ | 0.8000 | 2.2500+ | 0.9000 | 2.6667+ | 1.0000 |
137 | 104 | 1.1852 | 0.4444 | 1.1977+ | 0.4491 | 1.2175+ | 0.4566 | 1.2500+ | 0.4688 | 1.3057+ | 0.4896 | 1.4066+ | 0.5275 | 1.6000+ | 0.6000 | 1.8667+ | 0.7000 | 2.1333+ | 0.8000 | 2.4000+ | 0.9000 | 2.6667+ | 1.0000 |
137 | 106 | 1.0563 | 0.5282 | 1.0645+ | 0.5189 | 1.0772+ | 0.5117 | 1.0987+ | 0.5081 | 1.1389+ | 0.5125 | 1.2230+ | 0.5351 | 1.4118+ | 0.6000 | 1.6970+ | 0.7000 | 2.0000+ | 0.8000 | 2.3226+ | 0.9000 | 2.6667+ | 1.0000 |
137 | 110 | 1.0098 | 0.6311 | 1.0126+ | 0.6076 | 1.0172+ | 0.5849 | 1.0256+ | 0.5641 | 1.0441+ | 0.5481 | 1.0962+ | 0.5481 | 1.2632+ | 0.6000 | 1.5556+ | 0.7000 | 1.8824+ | 0.8000 | 2.2500+ | 0.9000 | 2.6667+ | 1.0000 |
137 | 126 | 1.0000 | 0.7500 | 1.0001+ | 0.7126 | 1.0005+ | 0.6753 | 1.0016+ | 0.6385 | 1.0051+ | 0.6030 | 1.0206+ | 0.5741 | 1.1429+ | 0.6000 | 1.4359+ | 0.7000 | 1.7778+ | 0.8000 | 2.1818+ | 0.9000 | 2.6667+ | 1.0000 |