ClemsonRSRG/RESOLVE — pull request #120 by mikekab (2014-04-17 20:14:47+00:00)
Title: 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.