search

LAPKT-dev / LAPKT-public

LAPKT public repository
GNU General Public License v3.0
40 stars 24 forks source link

assertition fails in at_bfs_f-ffparser #17

Open noskill opened 7 years ago

noskill commented 7 years ago

It fails on many problems, for example transport-numeric/23 from this archive http://icaps-conference.org/ipc2008/deterministic/data/domains/netben-opt-compiled-2.tar.bz2

LAPKT-public/include/aptk/at_rwbfs_dq_mh.hxx:192: void aptk::search::bfs_dq_mh::AT_RWBFS_DQ_MH<Search_Model, Primary_Heuristic, Secondary_Heuristic, Open_List_Type>::restart_search() [with Search_Model = aptk::agnostic::Fwd_Search_Problem; Primary_Heuristic = aptk::agnostic::Relaxed_Plan_Heuristic<aptk::agnostic::Fwd_Search_Problem, aptk::agnostic::H1_Heuristic<aptk::agnostic::Fwd_Search_Problem, aptk::agnostic::H_Add_Evaluation_Function> >; Secondary_Heuristic = aptk::agnostic::Landmarks_Count_Heuristic; Open_List_Type = aptk::search::Fibonacci_Open_List<aptk::search::ipc2014::Node >]: Assertion `m_seen.retrieve( it->second ) == __null' failed.

nirlipo commented 7 years ago

Hi,

FF parser doesn't support numeric fluents. Have you changed the parser to handlee this problem? I cannot replicate the assert with the master branch.

noskill commented 7 years ago

Hi! I thought that not supporting means ignoring numeric fluents. So to run planner I just removed ":numeric-fluents" from domain. Anyway here is domain and problem that can be used to reproduce this error and domain doesn't have any numeric effects, only action costs. https://gist.github.com/noskill/522e115387fc9576dd06dfb04d80113a