always rerank at least the best result found so that caller will have something with which to compare this index's results to others' #742
| Job | Run time |
|---|---|
| 1m 47s | |
| 1m 13s | |
| 1m 8s | |
| 1m 49s | |
| 1m 36s | |
| 2m 25s | |
| 9m 58s |
| Job | Run time |
|---|---|
| 1m 47s | |
| 1m 13s | |
| 1m 8s | |
| 1m 49s | |
| 1m 36s | |
| 2m 25s | |
| 9m 58s |