-
Robert Ricci authored
now tuned to try to find the solution in the first run, so there isn't much point in running it 20 times. 3 is probably still more conservative than necessary, but let's stay on the safe side.
39501a29
now tuned to try to find the solution in the first run, so there isn't much point in running it 20 times. 3 is probably still more conservative than necessary, but let's stay on the safe side.