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
Taking latest ipc-2014/seq-sat/Openstacks benchmark, most instances make libff data-structures to use up to 4 to 6 GB of Memory, which are then not used at all in the next phases, allowing the search to access whatever is left depending on the given Memory limit.
libff data-structures should be free after LAPKT/strips-problem is created.
The text was updated successfully, but these errors were encountered:
Taking latest ipc-2014/seq-sat/Openstacks benchmark, most instances make libff data-structures to use up to 4 to 6 GB of Memory, which are then not used at all in the next phases, allowing the search to access whatever is left depending on the given Memory limit.
libff data-structures should be free after LAPKT/strips-problem is created.
The text was updated successfully, but these errors were encountered: