[Bug 453701] Review Request: minisat2 - A minimalistic, open-source SAT solver
bugzilla at redhat.com
bugzilla at redhat.com
Fri Aug 8 01:45:26 UTC 2008
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=453701
--- Comment #13 from David A. Wheeler <dwheeler at dwheeler.com> 2008-08-07 21:45:25 EDT ---
I went and got some numbers, and -O3 is a waste of time. I'll need to tell
upstream that. I created a test sample, and got these:
With -O3:
real 0m35.714s
real 0m35.714s
real 0m35.834s
With -O2:
real 0m35.296s
real 0m35.301s
So -O3 will be dumped.
--
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
More information about the package-review
mailing list