| | 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 |
129 | 2 | 1.1852 | 0.1481 | 1.2394+ | 0.1704 | 1.4066+ | 0.2110 | 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 |
129 | 6 | 1.1852 | 0.2963 | 1.2064+ | 0.3016 | 1.2500+ | 0.3125 | 1.3484+ | 0.3371 | 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 |
129 | 8 | 1.1852 | 0.1481 | 1.2394+ | 0.1704 | 1.4066+ | 0.2110 | 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 |
129 | 10 | 1.0000 | 0.2500 | 1.0000= | 0.2500 | 1.0000= | 0.2500 | 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 |
129 | 14 | 1.0264 | 0.3849 | 1.0307+ | 0.3736 | 1.0403+ | 0.3641 | 1.0705+ | 0.3613 | 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 |
129 | 22 | 1.1852 | 0.4444 | 1.1982+ | 0.4344 | 1.2212+ | 0.4274 | 1.2652+ | 0.4270 | 1.3602+ | 0.4421 | 1.6000+ | 0.5000 | 2.0000+ | 0.6000 | 2.4348+ | 0.7000 | 2.9091+ | 0.8000 | 3.4286+ | 0.9000 | 4.0000+ | 1.0000 |
129 | 24 | 1.0000 | 0.2500 | 1.0000= | 0.2500 | 1.0000= | 0.2500 | 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 |
129 | 26 | 1.0264 | 0.3849 | 1.0307+ | 0.3736 | 1.0403+ | 0.3641 | 1.0705+ | 0.3613 | 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 |
129 | 30 | 1.0563 | 0.5282 | 1.0617+ | 0.5043 | 1.0714+ | 0.4821 | 1.0914+ | 0.4639 | 1.1443+ | 0.4577 | 1.3333+ | 0.5000 | 1.7143+ | 0.6000 | 2.1538+ | 0.7000 | 2.6667+ | 0.8000 | 3.2727+ | 0.9000 | 4.0000+ | 1.0000 |
129 | 40 | 1.1852 | 0.2963 | 1.2064+ | 0.3016 | 1.2500+ | 0.3125 | 1.3484+ | 0.3371 | 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 |
129 | 42 | 1.0264 | 0.3849 | 1.0307+ | 0.3736 | 1.0403+ | 0.3641 | 1.0705+ | 0.3613 | 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 |
129 | 44 | 1.0264 | 0.3849 | 1.0307+ | 0.3736 | 1.0403+ | 0.3641 | 1.0705+ | 0.3613 | 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 |
129 | 46 | 1.0000 | 0.5000 | 1.0000= | 0.4750 | 1.0000= | 0.4500 | 1.0000= | 0.4250 | 1.0000+ | 0.4000 | 1.3333+ | 0.5000 | 1.7143+ | 0.6000 | 2.1538+ | 0.7000 | 2.6667+ | 0.8000 | 3.2727+ | 0.9000 | 4.0000+ | 1.0000 |
129 | 60 | 1.0000 | 0.5000 | 1.0000= | 0.4750 | 1.0000= | 0.4500 | 1.0000= | 0.4250 | 1.0000+ | 0.4000 | 1.3333+ | 0.5000 | 1.7143+ | 0.6000 | 2.1538+ | 0.7000 | 2.6667+ | 0.8000 | 3.2727+ | 0.9000 | 4.0000+ | 1.0000 |
129 | 62 | 1.0098 | 0.6311 | 1.0108+ | 0.5938 | 1.0125+ | 0.5569 | 1.0163+ | 0.5209 | 1.0292+ | 0.4889 | 1.1429+ | 0.5000 | 1.5000+ | 0.6000 | 1.9310+ | 0.7000 | 2.4615+ | 0.8000 | 3.1304+ | 0.9000 | 4.0000+ | 1.0000 |
129 | 104 | 1.1852 | 0.4444 | 1.1982+ | 0.4344 | 1.2212+ | 0.4274 | 1.2652+ | 0.4270 | 1.3602+ | 0.4421 | 1.6000+ | 0.5000 | 2.0000+ | 0.6000 | 2.4348+ | 0.7000 | 2.9091+ | 0.8000 | 3.4286+ | 0.9000 | 4.0000+ | 1.0000 |
129 | 106 | 1.0563 | 0.5282 | 1.0617+ | 0.5043 | 1.0714+ | 0.4821 | 1.0914+ | 0.4639 | 1.1443+ | 0.4577 | 1.3333+ | 0.5000 | 1.7143+ | 0.6000 | 2.1538+ | 0.7000 | 2.6667+ | 0.8000 | 3.2727+ | 0.9000 | 4.0000+ | 1.0000 |
129 | 110 | 1.0098 | 0.6311 | 1.0108+ | 0.5938 | 1.0125+ | 0.5569 | 1.0163+ | 0.5209 | 1.0292+ | 0.4889 | 1.1429+ | 0.5000 | 1.5000+ | 0.6000 | 1.9310+ | 0.7000 | 2.4615+ | 0.8000 | 3.1304+ | 0.9000 | 4.0000+ | 1.0000 |
129 | 126 | 1.0000 | 0.7500 | 1.0000= | 0.7000 | 1.0000= | 0.6500 | 1.0000= | 0.6000 | 1.0000= | 0.5500 | 1.0000= | 0.5000 | 1.3333+ | 0.6000 | 1.7500+ | 0.7000 | 2.2857+ | 0.8000 | 3.0000+ | 0.9000 | 4.0000+ | 1.0000 |