Created on 2026-06-10.14:48:52 by Benedikt, last changed by Benedikt.
|
I am encountering an unexpected failed assertion on the debug build of the newest revision b9fba250f of Fast Downward. In contrast, the task is solved without problems using the release build. See the attached domain and task to recreate this error. I was able to recreate this on the cluster as well as locally.
Call string to recreate:
python3 build.py debug && python3 fast-downward.py --alias lama-first --debug ~/3-muddy.pddl
Program output:
[t=0.000211s, 10540 KB] Search code revision: b9fba250f
[t=0.000350s, 10540 KB] reading input...
[t=0.001289s, 10540 KB] done reading input!
[t=0.003020s, 10928 KB] Initializing landmark sum heuristic...
[t=0.003080s, 10928 KB] Generating landmark graph...
[t=0.003147s, 10928 KB] Building a landmark graph with reasonable orders.
[t=0.003200s, 10928 KB] Initializing Exploration...
[t=0.003325s, 10928 KB] Generating landmarks using the RPG/SAS+ approach
downward: /infai/heuser0000/reference-repo/src/search/landmarks/landmark_factory_rpg_sasp.cc:123: void landmarks::add_binary_variable_conditions(const TaskProxy&, const Landmark&, const EffectsProxy&, const std::unordered_set<int>&, utils::HashSet<FactPair>&): Assertion `ranges::none_of( result, [&](const FactPair &result_atom) { return result_atom.var == var_id; })' failed.
Peak memory: 11060 KB
caught signal 6 -- exiting
Remove intermediate file output.sas
search exit code: -6
|
|
| File name |
Uploaded |
Type |
Edit |
Remove |
|
pddl-files.zip
|
Benedikt,
2026-06-10.14:48:52
|
application/zip |
|
|
|
| Date |
User |
Action |
Args |
| 2026-06-10 14:57:17 | Benedikt | set | summary: I am encountering an unexpected failed assertion on the debug build of the newest revision b9fba250f of Fast Downward. In contrast, the task is solved without problems using the release build. See the attached domain and task to recreate this Error. I was able to recreate this on the cluster as well as locally.
Call string to recreate:
python3 build.py debug && python3 fast-downward.py --alias lama-first --debug ~/3-muddy.pddl
Program output:
[t=0.000211s, 10540 KB] Search code revision: b9fba250f
[t=0.000350s, 10540 KB] reading input...
[t=0.001289s, 10540 KB] done reading input!
[t=0.003020s, 10928 KB] Initializing landmark sum heuristic...
[t=0.003080s, 10928 KB] Generating landmark graph...
[t=0.003147s, 10928 KB] Building a landmark graph with reasonable orders.
[t=0.003200s, 10928 KB] Initializing Exploration...
[t=0.003325s, 10928 KB] Generating landmarks using the RPG/SAS+ approach
downward: /infai/heuser0000/reference-repo/src/search/landmarks/landmark_factory_rpg_sasp.cc:123: void landmarks::add_binary_variable_conditions(const TaskProxy&, const Landmark&, const EffectsProxy&, const std::unordered_set<int>&, utils::HashSet<FactPair>&): Assertion `ranges::none_of( result, [&](const FactPair &result_atom) { return result_atom.var == var_id; })' failed.
Peak memory: 11060 KB
caught signal 6 -- exiting
Remove intermediate file output.sas
search exit code: -6 -> I am encountering an unexpected failed assertion on the debug build of the newest revision b9fba250f of Fast Downward. In contrast, the task is solved without problems using the release build. See the attached domain and task to recreate this error. I was able to recreate this on the cluster as well as locally.
Call string to recreate:
python3 build.py debug && python3 fast-downward.py --alias lama-first --debug ~/3-muddy.pddl
Program output:
[t=0.000211s, 10540 KB] Search code revision: b9fba250f
[t=0.000350s, 10540 KB] reading input...
[t=0.001289s, 10540 KB] done reading input!
[t=0.003020s, 10928 KB] Initializing landmark sum heuristic...
[t=0.003080s, 10928 KB] Generating landmark graph...
[t=0.003147s, 10928 KB] Building a landmark graph with reasonable orders.
[t=0.003200s, 10928 KB] Initializing Exploration...
[t=0.003325s, 10928 KB] Generating landmarks using the RPG/SAS+ approach
downward: /infai/heuser0000/reference-repo/src/search/landmarks/landmark_factory_rpg_sasp.cc:123: void landmarks::add_binary_variable_conditions(const TaskProxy&, const Landmark&, const EffectsProxy&, const std::unordered_set<int>&, utils::HashSet<FactPair>&): Assertion `ranges::none_of( result, [&](const FactPair &result_atom) { return result_atom.var == var_id; })' failed.
Peak memory: 11060 KB
caught signal 6 -- exiting
Remove intermediate file output.sas
search exit code: -6 |
| 2026-06-10 14:55:16 | Benedikt | set | summary: I am encountering an unexpected failed assertion on the debug build of the newest revision b9fba250f of Fast Downward. In contrast, the task is solved without problems using the release build. See the attached domain and task to recreate this Error.
Call string to recreate:
python3 build.py debug && python3 fast-downward.py --alias lama-first --debug ~/3-muddy.pddl
Program output:
[t=0.000211s, 10540 KB] Search code revision: b9fba250f
[t=0.000350s, 10540 KB] reading input...
[t=0.001289s, 10540 KB] done reading input!
[t=0.003020s, 10928 KB] Initializing landmark sum heuristic...
[t=0.003080s, 10928 KB] Generating landmark graph...
[t=0.003147s, 10928 KB] Building a landmark graph with reasonable orders.
[t=0.003200s, 10928 KB] Initializing Exploration...
[t=0.003325s, 10928 KB] Generating landmarks using the RPG/SAS+ approach
downward: /infai/heuser0000/reference-repo/src/search/landmarks/landmark_factory_rpg_sasp.cc:123: void landmarks::add_binary_variable_conditions(const TaskProxy&, const Landmark&, const EffectsProxy&, const std::unordered_set<int>&, utils::HashSet<FactPair>&): Assertion `ranges::none_of( result, [&](const FactPair &result_atom) { return result_atom.var == var_id; })' failed.
Peak memory: 11060 KB
caught signal 6 -- exiting
Remove intermediate file output.sas
search exit code: -6 -> I am encountering an unexpected failed assertion on the debug build of the newest revision b9fba250f of Fast Downward. In contrast, the task is solved without problems using the release build. See the attached domain and task to recreate this Error. I was able to recreate this on the cluster as well as locally.
Call string to recreate:
python3 build.py debug && python3 fast-downward.py --alias lama-first --debug ~/3-muddy.pddl
Program output:
[t=0.000211s, 10540 KB] Search code revision: b9fba250f
[t=0.000350s, 10540 KB] reading input...
[t=0.001289s, 10540 KB] done reading input!
[t=0.003020s, 10928 KB] Initializing landmark sum heuristic...
[t=0.003080s, 10928 KB] Generating landmark graph...
[t=0.003147s, 10928 KB] Building a landmark graph with reasonable orders.
[t=0.003200s, 10928 KB] Initializing Exploration...
[t=0.003325s, 10928 KB] Generating landmarks using the RPG/SAS+ approach
downward: /infai/heuser0000/reference-repo/src/search/landmarks/landmark_factory_rpg_sasp.cc:123: void landmarks::add_binary_variable_conditions(const TaskProxy&, const Landmark&, const EffectsProxy&, const std::unordered_set<int>&, utils::HashSet<FactPair>&): Assertion `ranges::none_of( result, [&](const FactPair &result_atom) { return result_atom.var == var_id; })' failed.
Peak memory: 11060 KB
caught signal 6 -- exiting
Remove intermediate file output.sas
search exit code: -6 |
| 2026-06-10 14:48:52 | Benedikt | create | |
|