On Wed, 15 Dec 2004 07:41:11 +0100 Christian Biere <[EMAIL PROTECTED]> wrote:
> I killed the process after 8 hours, so it takes at least that > much. The simple version without the callgraphs takes less than > a minute. Correction patch comes here. Please ignore included my configuration. -- Daichi
README.diff.gz
Description: application/gunzip
