--top N option

we currently either stop after the first success (by default), or run all available solvers to completion (with `--full-run`)

we may want to collect the top N results instead of the top {1, MAX}, e.g. `--top 3` would stop after receiving 3 successful results