3 ms·this. could already be useful to narrow down the search spaceby fleischhauf 7mo agothis. could already be useful to narrow down the search space