| | 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 |
9 | 2 | 1.1852 | 0.1481 | 1.2634+ | 0.1737 | 1.4228+ | 0.2134 | 1.8462+ | 0.3000 | 2.2857+ | 0.4000 | 2.6667+ | 0.5000 | 3.0000+ | 0.6000 | 3.2941+ | 0.7000 | 3.5556+ | 0.8000 | 3.7895+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 6 | 1.1852 | 0.2963 | 1.2209+ | 0.3052 | 1.2754+ | 0.3189 | 1.3713+ | 0.3428 | 1.6000+ | 0.4000 | 2.0000+ | 0.5000 | 2.4000+ | 0.6000 | 2.8000+ | 0.7000 | 3.2000+ | 0.8000 | 3.6000+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 8 | 1.1852 | 0.1481 | 1.1067- | 0.1522 | 1.3333+ | 0.2000 | 1.8462+ | 0.3000 | 2.2857+ | 0.4000 | 2.6667+ | 0.5000 | 3.0000+ | 0.6000 | 3.2941+ | 0.7000 | 3.5556+ | 0.8000 | 3.7895+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 10 | 1.0000 | 0.2500 | 1.0031+ | 0.2508 | 1.0177+ | 0.2544 | 1.2000+ | 0.3000 | 1.6000+ | 0.4000 | 2.0000+ | 0.5000 | 2.4000+ | 0.6000 | 2.8000+ | 0.7000 | 3.2000+ | 0.8000 | 3.6000+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 14 | 1.0264 | 0.3849 | 1.0395+ | 0.3768 | 1.0609+ | 0.3713 | 1.1015+ | 0.3718 | 1.2308+ | 0.4000 | 1.6000+ | 0.5000 | 2.0000+ | 0.6000 | 2.4348+ | 0.7000 | 2.9091+ | 0.8000 | 3.4286+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 22 | 1.1852 | 0.4444 | 1.2083+ | 0.4380 | 1.2412+ | 0.4344 | 1.2918+ | 0.4360 | 1.3819+ | 0.4491 | 1.6000+ | 0.5000 | 2.0000+ | 0.6000 | 2.4348+ | 0.7000 | 2.9091+ | 0.8000 | 3.4286+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 24 | 1.0000 | 0.2500 | 1.0031+ | 0.2508 | 1.0177+ | 0.2544 | 1.2000+ | 0.3000 | 1.6000+ | 0.4000 | 2.0000+ | 0.5000 | 2.4000+ | 0.6000 | 2.8000+ | 0.7000 | 3.2000+ | 0.8000 | 3.6000+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 26 | 1.0264 | 0.3849 | 1.0395+ | 0.3768 | 1.0609+ | 0.3713 | 1.1015+ | 0.3718 | 1.2308+ | 0.4000 | 1.6000+ | 0.5000 | 2.0000+ | 0.6000 | 2.4348+ | 0.7000 | 2.9091+ | 0.8000 | 3.4286+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 30 | 1.0563 | 0.5282 | 1.0691+ | 0.5078 | 1.0877+ | 0.4895 | 1.1172+ | 0.4748 | 1.1722+ | 0.4689 | 1.3333+ | 0.5000 | 1.7143+ | 0.6000 | 2.1538+ | 0.7000 | 2.6667+ | 0.8000 | 3.2727+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 40 | 1.1852 | 0.2963 | 1.1414- | 0.2853 | 1.0992- | 0.2748 | 1.2000+ | 0.3000 | 1.6000+ | 0.4000 | 2.0000+ | 0.5000 | 2.4000+ | 0.6000 | 2.8000+ | 0.7000 | 3.2000+ | 0.8000 | 3.6000+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 42 | 1.0264 | 0.3849 | 1.0160- | 0.3683 | 1.0068- | 0.3524 | 1.0006- | 0.3377 | 1.2308+ | 0.4000 | 1.6000+ | 0.5000 | 2.0000+ | 0.6000 | 2.4348+ | 0.7000 | 2.9091+ | 0.8000 | 3.4286+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 44 | 1.0264 | 0.3849 | 1.0160- | 0.3683 | 1.0068- | 0.3524 | 1.0006- | 0.3377 | 1.2308+ | 0.4000 | 1.6000+ | 0.5000 | 2.0000+ | 0.6000 | 2.4348+ | 0.7000 | 2.9091+ | 0.8000 | 3.4286+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 46 | 1.0000 | 0.5000 | 1.0008+ | 0.4754 | 1.0040+ | 0.4518 | 1.0125+ | 0.4303 | 1.0370+ | 0.4148 | 1.3333+ | 0.5000 | 1.7143+ | 0.6000 | 2.1538+ | 0.7000 | 2.6667+ | 0.8000 | 3.2727+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 60 | 1.0000 | 0.5000 | 1.0008+ | 0.4754 | 1.0040+ | 0.4518 | 1.0125+ | 0.4303 | 1.0370+ | 0.4148 | 1.3333+ | 0.5000 | 1.7143+ | 0.6000 | 2.1538+ | 0.7000 | 2.6667+ | 0.8000 | 3.2727+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 62 | 1.0098 | 0.6311 | 1.0147+ | 0.5961 | 1.0223+ | 0.5623 | 1.0353+ | 0.5306 | 1.0604+ | 0.5037 | 1.1429+ | 0.5000 | 1.5000+ | 0.6000 | 1.9310+ | 0.7000 | 2.4615+ | 0.8000 | 3.1304+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 104 | 1.1852 | 0.4444 | 1.1548- | 0.4186 | 1.1230- | 0.3931 | 1.0901- | 0.3679 | 1.2308+ | 0.4000 | 1.6000+ | 0.5000 | 2.0000+ | 0.6000 | 2.4348+ | 0.7000 | 2.9091+ | 0.8000 | 3.4286+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 106 | 1.0563 | 0.5282 | 1.0442- | 0.4960 | 1.0316- | 0.4642 | 1.0188- | 0.4330 | 1.0069- | 0.4028 | 1.3333+ | 0.5000 | 1.7143+ | 0.6000 | 2.1538+ | 0.7000 | 2.6667+ | 0.8000 | 3.2727+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 110 | 1.0098 | 0.6311 | 1.0059- | 0.5910 | 1.0025- | 0.5514 | 1.0002- | 0.5126 | 1.0012+ | 0.4756 | 1.1429+ | 0.5000 | 1.5000+ | 0.6000 | 1.9310+ | 0.7000 | 2.4615+ | 0.8000 | 3.1304+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 126 | 1.0000 | 0.7500 | 1.0003+ | 0.7002 | 1.0018+ | 0.6511 | 1.0053+ | 0.6032 | 1.0136+ | 0.5575 | 1.0370+ | 0.5185 | 1.3333+ | 0.6000 | 1.7500+ | 0.7000 | 2.2857+ | 0.8000 | 3.0000+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 128 | 8.0000 | 1.0000 | 6.5455- | 0.9000 | 5.3333- | 0.8000 | 4.3077- | 0.7000 | 3.4286- | 0.6000 | 2.6667- | 0.5000 | 3.0000+ | 0.6000 | 3.2941+ | 0.7000 | 3.5556+ | 0.8000 | 3.7895+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 130 | 4.0000 | 1.0000 | 3.6000- | 0.9000 | 3.2000- | 0.8000 | 2.8000- | 0.7000 | 2.4000- | 0.6000 | 2.0000- | 0.5000 | 2.4000+ | 0.6000 | 2.8000+ | 0.7000 | 3.2000+ | 0.8000 | 3.6000+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 134 | 2.6667 | 1.0000 | 2.4828- | 0.9000 | 2.2857- | 0.8000 | 2.0741- | 0.7000 | 1.8462- | 0.6000 | 1.6000- | 0.5000 | 2.0000+ | 0.6000 | 2.4348+ | 0.7000 | 2.9091+ | 0.8000 | 3.4286+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 136 | 4.0000 | 1.0000 | 3.6000- | 0.9000 | 3.2000- | 0.8000 | 2.8000- | 0.7000 | 2.4000- | 0.6000 | 2.0000- | 0.5000 | 2.4000+ | 0.6000 | 2.8000+ | 0.7000 | 3.2000+ | 0.8000 | 3.6000+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 138 | 2.6667 | 1.0000 | 2.4828- | 0.9000 | 2.2857- | 0.8000 | 2.0741- | 0.7000 | 1.8462- | 0.6000 | 1.6000- | 0.5000 | 2.0000+ | 0.6000 | 2.4348+ | 0.7000 | 2.9091+ | 0.8000 | 3.4286+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 142 | 2.0000 | 1.0000 | 1.8947- | 0.9000 | 1.7778- | 0.8000 | 1.6471- | 0.7000 | 1.5000- | 0.6000 | 1.3333- | 0.5000 | 1.7143+ | 0.6000 | 2.1538+ | 0.7000 | 2.6667+ | 0.8000 | 3.2727+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 150 | 2.0000 | 1.0000 | 1.8947- | 0.9000 | 1.7778- | 0.8000 | 1.6471- | 0.7000 | 1.5000- | 0.6000 | 1.3333- | 0.5000 | 1.7143+ | 0.6000 | 2.1538+ | 0.7000 | 2.6667+ | 0.8000 | 3.2727+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 152 | 2.6667 | 1.0000 | 2.4828- | 0.9000 | 2.2857- | 0.8000 | 2.0741- | 0.7000 | 1.8462- | 0.6000 | 1.6000- | 0.5000 | 2.0000+ | 0.6000 | 2.4348+ | 0.7000 | 2.9091+ | 0.8000 | 3.4286+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 154 | 2.0000 | 1.0000 | 1.8947- | 0.9000 | 1.7778- | 0.8000 | 1.6471- | 0.7000 | 1.5000- | 0.6000 | 1.3333- | 0.5000 | 1.7143+ | 0.6000 | 2.1538+ | 0.7000 | 2.6667+ | 0.8000 | 3.2727+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 158 | 1.6000 | 1.0000 | 1.5319- | 0.9000 | 1.4545- | 0.8000 | 1.3659- | 0.7000 | 1.2632- | 0.6000 | 1.1429- | 0.5000 | 1.5000+ | 0.6000 | 1.9310+ | 0.7000 | 2.4615+ | 0.8000 | 3.1304+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 168 | 2.6667 | 1.0000 | 2.4828- | 0.9000 | 2.2857- | 0.8000 | 2.0741- | 0.7000 | 1.8462- | 0.6000 | 1.6000- | 0.5000 | 2.0000+ | 0.6000 | 2.4348+ | 0.7000 | 2.9091+ | 0.8000 | 3.4286+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 170 | 2.0000 | 1.0000 | 1.8947- | 0.9000 | 1.7778- | 0.8000 | 1.6471- | 0.7000 | 1.5000- | 0.6000 | 1.3333- | 0.5000 | 1.7143+ | 0.6000 | 2.1538+ | 0.7000 | 2.6667+ | 0.8000 | 3.2727+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 172 | 2.0000 | 1.0000 | 1.8947- | 0.9000 | 1.7778- | 0.8000 | 1.6471- | 0.7000 | 1.5000- | 0.6000 | 1.3333- | 0.5000 | 1.7143+ | 0.6000 | 2.1538+ | 0.7000 | 2.6667+ | 0.8000 | 3.2727+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 174 | 1.6000 | 1.0000 | 1.5319- | 0.9000 | 1.4545- | 0.8000 | 1.3659- | 0.7000 | 1.2632- | 0.6000 | 1.1429- | 0.5000 | 1.5000+ | 0.6000 | 1.9310+ | 0.7000 | 2.4615+ | 0.8000 | 3.1304+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 188 | 1.6000 | 1.0000 | 1.5319- | 0.9000 | 1.4545- | 0.8000 | 1.3659- | 0.7000 | 1.2632- | 0.6000 | 1.1429- | 0.5000 | 1.5000+ | 0.6000 | 1.9310+ | 0.7000 | 2.4615+ | 0.8000 | 3.1304+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 190 | 1.3333 | 1.0000 | 1.2857- | 0.9000 | 1.2308- | 0.8000 | 1.1667- | 0.7000 | 1.0909- | 0.6000 | 1.0000- | 0.5000 | 1.3333+ | 0.6000 | 1.7500+ | 0.7000 | 2.2857+ | 0.8000 | 3.0000+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 232 | 2.0000 | 1.0000 | 1.8966- | 0.9009 | 1.7859- | 0.8037 | 1.6676- | 0.7087 | 1.5411- | 0.6164 | 1.4066- | 0.5275 | 1.7143+ | 0.6000 | 2.1538+ | 0.7000 | 2.6667+ | 0.8000 | 3.2727+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 234 | 1.6000 | 1.0000 | 1.5341- | 0.9013 | 1.4639- | 0.8052 | 1.3890- | 0.7119 | 1.3088- | 0.6217 | 1.2230- | 0.5351 | 1.5000+ | 0.6000 | 1.9310+ | 0.7000 | 2.4615+ | 0.8000 | 3.1304+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 238 | 1.3333 | 1.0000 | 1.2890- | 0.9023 | 1.2440- | 0.8086 | 1.1973- | 0.7184 | 1.1481- | 0.6315 | 1.0962- | 0.5481 | 1.3333+ | 0.6000 | 1.7500+ | 0.7000 | 2.2857+ | 0.8000 | 3.0000+ | 0.9000 | 4.0000+ | 1.0000 |
9 | 254 | 1.1429 | 1.0000 | 1.1177- | 0.9082 | 1.0944- | 0.8208 | 1.0706- | 0.7361 | 1.0459- | 0.6537 | 1.0206- | 0.5741 | 1.2000+ | 0.6000 | 1.6000+ | 0.7000 | 2.1333+ | 0.8000 | 2.8800+ | 0.9000 | 4.0000+ | 1.0000 |