This is on the first parcprinter instance on revision 930081c1dd5b:
# downward-debug --search 'eager_greedy(lmcount(lm_search()))' < output
Simplifying transitions... done!
Initializing Exploration...
Reading invariants from file...
done
Generating landmarks by search, verify using RPG method
downward-debug: landmarks/landmarks_graph.cc:162: LandmarkNode&
LandmarksGraph::landmark_add_disjunctive(const std::set<std::pair<int, int>,
std::less<std::pair<int, int> >, std::allocator<std::pair<int, int> > >&):
Assertion `!landmark_exists(make_pair(it->first, it->second))' failed.
Peak memory: 12760 KB
caught signal 6 -- exiting
Aborted
This has time until after the IPC, I think -- I doubt we'll want to use this
method. :-)
|