| | 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 |
136 | 1 | 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 |
136 | 2 | 1.1852 | 0.1481 | 1.0611- | 0.1459 | 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 |
136 | 3 | 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 |
136 | 6 | 1.1852 | 0.2963 | 1.1138- | 0.2784 | 1.0505- | 0.2626 | 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 |
136 | 7 | 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 |
136 | 8 | 1.1852 | 0.1481 | 1.3302+ | 0.1829 | 1.5432+ | 0.2315 | 1.8606+ | 0.3023 | 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 |
136 | 9 | 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 |
136 | 10 | 1.0000 | 0.2500 | 1.0125+ | 0.2531 | 1.0667+ | 0.2667 | 1.2250+ | 0.3062 | 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 |
136 | 11 | 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 |
136 | 14 | 1.0264 | 0.3849 | 1.0083- | 0.3655 | 1.0000- | 0.3500 | 1.0169+ | 0.3432 | 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 |
136 | 15 | 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 |
136 | 22 | 1.1852 | 0.4444 | 1.1353- | 0.4115 | 1.0853- | 0.3799 | 1.0383- | 0.3504 | 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 |
136 | 23 | 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 |
136 | 24 | 1.0000 | 0.2500 | 1.0125+ | 0.2531 | 1.0667+ | 0.2667 | 1.2250+ | 0.3062 | 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 |
136 | 25 | 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 |
136 | 26 | 1.0264 | 0.3849 | 1.0083- | 0.3655 | 1.0000- | 0.3500 | 1.0169+ | 0.3432 | 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 |
136 | 27 | 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 |
136 | 30 | 1.0563 | 0.5282 | 1.0346- | 0.4914 | 1.0148- | 0.4566 | 1.0013- | 0.4256 | 1.0088+ | 0.4035 | 1.3333+ | 0.5000 | 1.7143+ | 0.6000 | 2.1538+ | 0.7000 | 2.6667+ | 0.8000 | 3.2727+ | 0.9000 | 4.0000+ | 1.0000 |
136 | 31 | 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 |
136 | 40 | 1.1852 | 0.2963 | 1.2545+ | 0.3136 | 1.3500+ | 0.3375 | 1.4854+ | 0.3714 | 1.6856+ | 0.4214 | 2.0000+ | 0.5000 | 2.4000+ | 0.6000 | 2.8000+ | 0.7000 | 3.2000+ | 0.8000 | 3.6000+ | 0.9000 | 4.0000+ | 1.0000 |
136 | 41 | 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 |
136 | 42 | 1.0264 | 0.3849 | 1.0537+ | 0.3820 | 1.1005+ | 0.3852 | 1.1811+ | 0.3986 | 1.3250+ | 0.4306 | 1.6000+ | 0.5000 | 2.0000+ | 0.6000 | 2.4348+ | 0.7000 | 2.9091+ | 0.8000 | 3.4286+ | 0.9000 | 4.0000+ | 1.0000 |
136 | 43 | 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 |
136 | 44 | 1.0264 | 0.3849 | 1.0537+ | 0.3820 | 1.1005+ | 0.3852 | 1.1811+ | 0.3986 | 1.3250+ | 0.4306 | 1.6000+ | 0.5000 | 2.0000+ | 0.6000 | 2.4348+ | 0.7000 | 2.9091+ | 0.8000 | 3.4286+ | 0.9000 | 4.0000+ | 1.0000 |
136 | 45 | 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 |
136 | 46 | 1.0000 | 0.5000 | 1.0031+ | 0.4765 | 1.0159+ | 0.4571 | 1.0481+ | 0.4455 | 1.1250+ | 0.4500 | 1.3333+ | 0.5000 | 1.7143+ | 0.6000 | 2.1538+ | 0.7000 | 2.6667+ | 0.8000 | 3.2727+ | 0.9000 | 4.0000+ | 1.0000 |
136 | 47 | 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 |
136 | 60 | 1.0000 | 0.5000 | 1.0031+ | 0.4765 | 1.0159+ | 0.4571 | 1.0481+ | 0.4455 | 1.1250+ | 0.4500 | 1.3333+ | 0.5000 | 1.7143+ | 0.6000 | 2.1538+ | 0.7000 | 2.6667+ | 0.8000 | 3.2727+ | 0.9000 | 4.0000+ | 1.0000 |
136 | 61 | 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 |
136 | 62 | 1.0098 | 0.6311 | 1.0031- | 0.5893 | 1.0000- | 0.5500 | 1.0054+ | 0.5153 | 1.0321+ | 0.4902 | 1.1429+ | 0.5000 | 1.5000+ | 0.6000 | 1.9310+ | 0.7000 | 2.4615+ | 0.8000 | 3.1304+ | 0.9000 | 4.0000+ | 1.0000 |
136 | 63 | 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 |
136 | 104 | 1.1852 | 0.4444 | 1.2307+ | 0.4461 | 1.2916+ | 0.4521 | 1.3760+ | 0.4644 | 1.4981+ | 0.4869 | 1.6856+ | 0.5267 | 2.0000+ | 0.6000 | 2.4348+ | 0.7000 | 2.9091+ | 0.8000 | 3.4286+ | 0.9000 | 4.0000+ | 1.0000 |
136 | 105 | 2.0000 | 1.0000 | 1.8947- | 0.9000 | 1.7778- | 0.8000 | 1.6471- | 0.7000 | 1.5000- | 0.6000 | 1.4066- | 0.5275 | 1.7143+ | 0.6000 | 2.1538+ | 0.7000 | 2.6667+ | 0.8000 | 3.2727+ | 0.9000 | 4.0000+ | 1.0000 |
136 | 106 | 1.0563 | 0.5282 | 1.0818+ | 0.5138 | 1.1193+ | 0.5037 | 1.1765+ | 0.5000 | 1.2677+ | 0.5071 | 1.4228+ | 0.5335 | 1.7143+ | 0.6000 | 2.1538+ | 0.7000 | 2.6667+ | 0.8000 | 3.2727+ | 0.9000 | 4.0000+ | 1.0000 |
136 | 107 | 1.6000 | 1.0000 | 1.5319- | 0.9000 | 1.4545- | 0.8000 | 1.3659- | 0.7000 | 1.2632- | 0.6000 | 1.2230- | 0.5351 | 1.5000+ | 0.6000 | 1.9310+ | 0.7000 | 2.4615+ | 0.8000 | 3.1304+ | 0.9000 | 4.0000+ | 1.0000 |
136 | 110 | 1.0098 | 0.6311 | 1.0203+ | 0.5994 | 1.0386+ | 0.5712 | 1.0708+ | 0.5488 | 1.1294+ | 0.5364 | 1.2442+ | 0.5443 | 1.5000+ | 0.6000 | 1.9310+ | 0.7000 | 2.4615+ | 0.8000 | 3.1304+ | 0.9000 | 4.0000+ | 1.0000 |
136 | 111 | 1.3333 | 1.0000 | 1.2857- | 0.9000 | 1.2308- | 0.8000 | 1.1667- | 0.7000 | 1.0909- | 0.6000 | 1.0962+ | 0.5481 | 1.3333+ | 0.6000 | 1.7500+ | 0.7000 | 2.2857+ | 0.8000 | 3.0000+ | 0.9000 | 4.0000+ | 1.0000 |
136 | 126 | 1.0000 | 0.7500 | 1.0014+ | 0.7010 | 1.0070+ | 0.6545 | 1.0208+ | 0.6125 | 1.0519+ | 0.5786 | 1.1250+ | 0.5625 | 1.3333+ | 0.6000 | 1.7500+ | 0.7000 | 2.2857+ | 0.8000 | 3.0000+ | 0.9000 | 4.0000+ | 1.0000 |
136 | 127 | 1.1429 | 1.0000 | 1.1079- | 0.9002 | 1.0691- | 0.8019 | 1.0301- | 0.7082 | 1.0021- | 0.6263 | 1.0206+ | 0.5741 | 1.2000+ | 0.6000 | 1.6000+ | 0.7000 | 2.1333+ | 0.8000 | 2.8800+ | 0.9000 | 4.0000+ | 1.0000 |