Fixed bug that limited search results.  Timeout flag enforced.

More things can be proven, but the prover will take a bit longer - especially when using Integer_Theory.