Sun, 19 Dec 2010 00:13:25 +0100 | blanchet | reduce the minimizer slack and add verbose information | changeset | files |
Sat, 18 Dec 2010 23:31:22 +0100 | blanchet | two layers of timeouts seem to be less reliable than a single layer | changeset | files |
Sat, 18 Dec 2010 22:15:39 +0100 | blanchet | move relevance filter into hard timeout | changeset | files |