vsearch n=13 k=10 mode=1 outside-configs=130033860 tested=270778851 successes=0 => no R works: wsat >= 12+k
real 613.68
user 611.60
sys 1.20
