| | 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 |
15 | 2 | 1.1852 | 0.1481 | 1.2470+ | 0.2026 | 1.3156+ | 0.2631 | 1.3938+ | 0.3310 | 1.4862+ | 0.4087 | 1.6000+ | 0.5000 | 1.7143+ | 0.6000 | 1.8065+ | 0.7000 | 1.8824+ | 0.8000 | 1.9459+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 6 | 1.1852 | 0.2963 | 1.2170+ | 0.3347 | 1.2543+ | 0.3763 | 1.2987+ | 0.4221 | 1.3533+ | 0.4736 | 1.4228+ | 0.5335 | 1.5162+ | 0.6065 | 1.6471+ | 0.7000 | 1.7778+ | 0.8000 | 1.8947+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 8 | 1.1852 | 0.1481 | 1.0438- | 0.1696 | 1.0000- | 0.2000 | 1.2632+ | 0.3000 | 1.4545+ | 0.4000 | 1.6000+ | 0.5000 | 1.7143+ | 0.6000 | 1.8065+ | 0.7000 | 1.8824+ | 0.8000 | 1.9459+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 10 | 1.0000 | 0.2500 | 1.0101+ | 0.2778 | 1.0417+ | 0.3125 | 1.0989+ | 0.3571 | 1.1905+ | 0.4167 | 1.3333+ | 0.5000 | 1.5000+ | 0.6000 | 1.6471+ | 0.7000 | 1.7778+ | 0.8000 | 1.8947+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 14 | 1.0264 | 0.3849 | 1.0470+ | 0.4057 | 1.0758+ | 0.4303 | 1.1153+ | 0.4600 | 1.1692+ | 0.4969 | 1.2442+ | 0.5443 | 1.3524+ | 0.6086 | 1.5135+ | 0.7000 | 1.6842+ | 0.8000 | 1.8462+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 22 | 1.1852 | 0.4444 | 1.2066+ | 0.4676 | 1.2322+ | 0.4929 | 1.2634+ | 0.5212 | 1.3025+ | 0.5536 | 1.3533+ | 0.5920 | 1.4228+ | 0.6403 | 1.5259+ | 0.7057 | 1.6842+ | 0.8000 | 1.8462+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 24 | 1.0000 | 0.2500 | 1.0101+ | 0.2778 | 1.0417+ | 0.3125 | 1.0989+ | 0.3571 | 1.1905+ | 0.4167 | 1.3333+ | 0.5000 | 1.5000+ | 0.6000 | 1.6471+ | 0.7000 | 1.7778+ | 0.8000 | 1.8947+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 26 | 1.0264 | 0.3849 | 1.0470+ | 0.4057 | 1.0758+ | 0.4303 | 1.1153+ | 0.4600 | 1.1692+ | 0.4969 | 1.2442+ | 0.5443 | 1.3524+ | 0.6086 | 1.5135+ | 0.7000 | 1.6842+ | 0.8000 | 1.8462+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 30 | 1.0563 | 0.5282 | 1.0743+ | 0.5371 | 1.0972+ | 0.5486 | 1.1270+ | 0.5635 | 1.1663+ | 0.5831 | 1.2199+ | 0.6099 | 1.2963+ | 0.6481 | 1.4137+ | 0.7069 | 1.6000+ | 0.8000 | 1.8000+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 40 | 1.1852 | 0.2963 | 1.0961- | 0.3014 | 1.0347- | 0.3104 | 1.0026- | 0.3258 | 1.1429+ | 0.4000 | 1.3333+ | 0.5000 | 1.5000+ | 0.6000 | 1.6471+ | 0.7000 | 1.7778+ | 0.8000 | 1.8947+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 42 | 1.0264 | 0.3849 | 1.0073- | 0.3903 | 1.0000- | 0.4000 | 1.0094+ | 0.4164 | 1.0458+ | 0.4444 | 1.1429+ | 0.5000 | 1.3333+ | 0.6000 | 1.5135+ | 0.7000 | 1.6842+ | 0.8000 | 1.8462+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 44 | 1.0264 | 0.3849 | 1.0073- | 0.3903 | 1.0000- | 0.4000 | 1.0094+ | 0.4164 | 1.0458+ | 0.4444 | 1.1429+ | 0.5000 | 1.3333+ | 0.6000 | 1.5135+ | 0.7000 | 1.6842+ | 0.8000 | 1.8462+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 46 | 1.0000 | 0.5000 | 1.0028+ | 0.5014 | 1.0125+ | 0.5062 | 1.0321+ | 0.5161 | 1.0667+ | 0.5333 | 1.1250+ | 0.5625 | 1.2250+ | 0.6125 | 1.4000+ | 0.7000 | 1.6000+ | 0.8000 | 1.8000+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 60 | 1.0000 | 0.5000 | 1.0028+ | 0.5014 | 1.0125+ | 0.5062 | 1.0321+ | 0.5161 | 1.0667+ | 0.5333 | 1.1250+ | 0.5625 | 1.2250+ | 0.6125 | 1.4000+ | 0.7000 | 1.6000+ | 0.8000 | 1.8000+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 62 | 1.0098 | 0.6311 | 1.0186+ | 0.6239 | 1.0321+ | 0.6193 | 1.0522+ | 0.6182 | 1.0821+ | 0.6222 | 1.1274+ | 0.6342 | 1.1986+ | 0.6592 | 1.3182+ | 0.7085 | 1.5238+ | 0.8000 | 1.7561+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 104 | 1.1852 | 0.4444 | 1.1207- | 0.4343 | 1.0665- | 0.4266 | 1.0248- | 0.4227 | 1.0016- | 0.4257 | 1.1429+ | 0.5000 | 1.3333+ | 0.6000 | 1.5135+ | 0.7000 | 1.6842+ | 0.8000 | 1.8462+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 106 | 1.0563 | 0.5282 | 1.0313- | 0.5156 | 1.0118- | 0.5059 | 1.0009- | 0.5004 | 1.0044+ | 0.5022 | 1.0370+ | 0.5185 | 1.2000+ | 0.6000 | 1.4000+ | 0.7000 | 1.6000+ | 0.8000 | 1.8000+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 110 | 1.0098 | 0.6311 | 1.0028- | 0.6142 | 1.0000- | 0.6000 | 1.0039+ | 0.5898 | 1.0188+ | 0.5858 | 1.0535+ | 0.5926 | 1.1288+ | 0.6208 | 1.3023+ | 0.7000 | 1.5238+ | 0.8000 | 1.7561+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 126 | 1.0000 | 0.7500 | 1.0013+ | 0.7259 | 1.0060+ | 0.7042 | 1.0159+ | 0.6857 | 1.0342+ | 0.6722 | 1.0667+ | 0.6667 | 1.1250+ | 0.6750 | 1.2367+ | 0.7111 | 1.4545+ | 0.8000 | 1.7143+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 128 | 8.0000 | 1.0000 | 5.5385- | 0.9000 | 4.0000- | 0.8000 | 2.9474- | 0.7000 | 2.1818- | 0.6000 | 1.6000- | 0.5000 | 1.7143+ | 0.6000 | 1.8065+ | 0.7000 | 1.8824+ | 0.8000 | 1.9459+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 130 | 4.0000 | 1.0000 | 3.2727- | 0.9000 | 2.6667- | 0.8000 | 2.1538- | 0.7000 | 1.7143- | 0.6000 | 1.3333- | 0.5000 | 1.5000+ | 0.6000 | 1.6471+ | 0.7000 | 1.7778+ | 0.8000 | 1.8947+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 134 | 2.6667 | 1.0000 | 2.3226- | 0.9000 | 2.0000- | 0.8000 | 1.6970- | 0.7000 | 1.4118- | 0.6000 | 1.2230- | 0.5351 | 1.3480+ | 0.6066 | 1.5135+ | 0.7000 | 1.6842+ | 0.8000 | 1.8462+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 136 | 4.0000 | 1.0000 | 3.2727- | 0.9000 | 2.6667- | 0.8000 | 2.1538- | 0.7000 | 1.7143- | 0.6000 | 1.3333- | 0.5000 | 1.5000+ | 0.6000 | 1.6471+ | 0.7000 | 1.7778+ | 0.8000 | 1.8947+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 138 | 2.6667 | 1.0000 | 2.3226- | 0.9000 | 2.0000- | 0.8000 | 1.6970- | 0.7000 | 1.4118- | 0.6000 | 1.1429- | 0.5000 | 1.3333+ | 0.6000 | 1.5135+ | 0.7000 | 1.6842+ | 0.8000 | 1.8462+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 142 | 2.0000 | 1.0000 | 1.8000- | 0.9000 | 1.6000- | 0.8000 | 1.4000- | 0.7000 | 1.2000- | 0.6000 | 1.0962- | 0.5481 | 1.2177+ | 0.6089 | 1.4000+ | 0.7000 | 1.6000+ | 0.8000 | 1.8000+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 150 | 2.0000 | 1.0000 | 1.8000- | 0.9000 | 1.6000- | 0.8000 | 1.4000- | 0.7000 | 1.2000- | 0.6000 | 1.1925- | 0.5962 | 1.2828+ | 0.6414 | 1.4116+ | 0.7058 | 1.6000+ | 0.8000 | 1.8000+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 152 | 2.6667 | 1.0000 | 2.3226- | 0.9000 | 2.0000- | 0.8000 | 1.6970- | 0.7000 | 1.4118- | 0.6000 | 1.1429- | 0.5000 | 1.3333+ | 0.6000 | 1.5135+ | 0.7000 | 1.6842+ | 0.8000 | 1.8462+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 154 | 2.0000 | 1.0000 | 1.8000- | 0.9000 | 1.6000- | 0.8000 | 1.4000- | 0.7000 | 1.2000- | 0.6000 | 1.0962- | 0.5481 | 1.2177+ | 0.6089 | 1.4000+ | 0.7000 | 1.6000+ | 0.8000 | 1.8000+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 158 | 1.6000 | 1.0000 | 1.4694- | 0.9000 | 1.3333- | 0.8000 | 1.1915- | 0.7000 | 1.0435- | 0.6000 | 1.0975+ | 0.6174 | 1.1822+ | 0.6502 | 1.3153+ | 0.7070 | 1.5238+ | 0.8000 | 1.7561+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 168 | 2.6667 | 1.0000 | 2.3226- | 0.9000 | 2.0000- | 0.8000 | 1.6970- | 0.7000 | 1.4118- | 0.6000 | 1.1429- | 0.5000 | 1.3333+ | 0.6000 | 1.5135+ | 0.7000 | 1.6842+ | 0.8000 | 1.8462+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 170 | 2.0000 | 1.0000 | 1.8000- | 0.9000 | 1.6000- | 0.8000 | 1.4000- | 0.7000 | 1.2000- | 0.6000 | 1.0000- | 0.5000 | 1.2000+ | 0.6000 | 1.4000+ | 0.7000 | 1.6000+ | 0.8000 | 1.8000+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 172 | 2.0000 | 1.0000 | 1.8000- | 0.9000 | 1.6000- | 0.8000 | 1.4000- | 0.7000 | 1.2000- | 0.6000 | 1.0000- | 0.5000 | 1.2000+ | 0.6000 | 1.4000+ | 0.7000 | 1.6000+ | 0.8000 | 1.8000+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 174 | 1.6000 | 1.0000 | 1.4694- | 0.9000 | 1.3333- | 0.8000 | 1.1915- | 0.7000 | 1.0435- | 0.6000 | 1.0206- | 0.5741 | 1.1153+ | 0.6134 | 1.3023+ | 0.7000 | 1.5238+ | 0.8000 | 1.7561+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 188 | 1.6000 | 1.0000 | 1.4694- | 0.9000 | 1.3333- | 0.8000 | 1.1915- | 0.7000 | 1.0435- | 0.6000 | 1.0206- | 0.5741 | 1.1153+ | 0.6134 | 1.3023+ | 0.7000 | 1.5238+ | 0.8000 | 1.7561+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 190 | 1.3333 | 1.0000 | 1.2414- | 0.9000 | 1.1429- | 0.8000 | 1.0370- | 0.7000 | 1.0056- | 0.6536 | 1.0370+ | 0.6481 | 1.1052+ | 0.6631 | 1.2326+ | 0.7087 | 1.4545+ | 0.8000 | 1.7143+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 232 | 2.0000 | 1.0000 | 1.8019- | 0.9009 | 1.6086- | 0.8043 | 1.4226- | 0.7113 | 1.2485- | 0.6242 | 1.0962- | 0.5481 | 1.2000+ | 0.6000 | 1.4000+ | 0.7000 | 1.6000+ | 0.8000 | 1.8000+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 234 | 1.6000 | 1.0000 | 1.4717- | 0.9014 | 1.3441- | 0.8065 | 1.2205- | 0.7171 | 1.1075- | 0.6368 | 1.0206- | 0.5741 | 1.0909+ | 0.6000 | 1.3023+ | 0.7000 | 1.5238+ | 0.8000 | 1.7561+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 238 | 1.3333 | 1.0000 | 1.2452- | 0.9028 | 1.1607- | 0.8125 | 1.0847- | 0.7321 | 1.0256- | 0.6667 | 1.0000- | 0.6250 | 1.0417+ | 0.6250 | 1.2174+ | 0.7000 | 1.4545+ | 0.8000 | 1.7143+ | 0.9000 | 2.0000+ | 1.0000 |
15 | 254 | 1.1429 | 1.0000 | 1.0899- | 0.9128 | 1.0481- | 0.8385 | 1.0172- | 0.7756 | 1.0010- | 0.7257 | 1.0072+ | 0.6925 | 1.0505+ | 0.6828 | 1.1617+ | 0.7116 | 1.3913+ | 0.8000 | 1.6744+ | 0.9000 | 2.0000+ | 1.0000 |