Fri, 01 Jul 2011 17:44:04 +0200 | blanchet | enforce hard timeout on ATPs (esp. "z3_atp" on Linux) + remove obsolete failure codes | changeset | files |
Fri, 01 Jul 2011 16:31:33 +0200 | blanchet | made minimizer informative output accurate | changeset | files |