You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
What steps will reproduce the problem?
1. run ferret with qed_static and qed
2. compare the performance
What is the expected output? What do you see instead?
They should have a similar execution time but qed is 4% slower.
We need to look at the decision procedure to adjust the capacity.
Original issue reported on code.google.com by jongsoo....@gmail.com on 7 Dec 2010 at 8:59
The text was updated successfully, but these errors were encountered:
Original issue reported on code.google.com by
jongsoo....@gmail.com
on 7 Dec 2010 at 8:59The text was updated successfully, but these errors were encountered: