$ exhaust2 8 3
n=8 k=3 outside-configs=1 tested=560 successes=0 => no R of this size (wsat >= 12+k)
$ exhaust2 8 4
example R: 0-3 0-5 0-6 1-2
example R: 0-3 0-5 0-6 1-4
example R: 0-3 0-5 0-6 2-4
n=8 k=4 outside-configs=1 tested=1820 successes=768 => wsat <= 11+k
$ exhaust2 9 4
n=9 k=4 outside-configs=154 tested=4326 successes=0 => no R of this size (wsat >= 12+k)
$ exhaust2 9 5
example R: 0-3 0-6 0-8 1-2 1-8
example R: 0-3 0-6 0-8 1-4 1-8
example R: 0-3 0-6 0-8 1-7 1-8
n=9 k=5 outside-configs=210 tested=23576 successes=6864 => wsat <= 11+k
$ exhaust2 10 6
n=10 k=6 outside-configs=11032 tested=172984 successes=0 => no R of this size (wsat >= 12+k)
$ exhaust2 10 7
example R: 0-3 0-6 0-8 0-9 1-2 1-8 1-9
example R: 0-3 0-6 0-8 0-9 1-4 1-8 1-9
example R: 0-3 0-6 0-8 0-9 1-7 1-8 1-9
n=10 k=7 outside-configs=22064 tested=1027096 successes=380184 => wsat <= 11+k
$ exhaust2 11 7
n=11 k=7 outside-configs=194848 tested=884272 successes=0 => no R of this size (wsat >= 12+k)
$ exhaust2 12 9
n=12 k=9 outside-configs=11553698 tested=51502128 successes=0 => no R of this size (wsat >= 12+k)
