[ sat4j-Bugs-304529 ] profiling problem

[<noreply@xxxxxxxxxxxxxxxxxxx>]

Bugs item #304529, was opened at 19/01/2006 15:33
You can respond by visiting: 
http://forge.objectweb.org/tracker/?func=detail&atid=350289&aid=304529&group_id=228

Category: pseudo boolean
Group: None
>Status: Closed
>Resolution: Wont Fix
Priority: 5
Submitted By: Nobody (None)
Assigned to: Nobody (None)
Summary: profiling problem

Initial Comment:


Much time passed inside the method reduceUntilConflict and slackConflict.

As you can see on the picture, made with NetBeans Profiler.

Best Regards

----------------------------------------------------------------------

>Comment By: Daniel Le Berre (leberre)
Date: 28/06/2006 20:56

Message:
connecté 
user_id=4369

There is no way to improve further this for the moment. 

----------------------------------------------------------------------

You can respond by visiting: 
http://forge.objectweb.org/tracker/?func=detail&atid=350289&aid=304529&group_id=228