Message6157

Author florian
Recipients florian, jendrik, malte
Date 2017-03-03.12:57:05
Content
Running the following configuration on airport/p29 reported a negative heuristic
value after running for 6172.15s.
Since all operator costs are non-negative and operator-counting variables can
only take non-negative values, this should not be possible. The log is attached.

./fast-downward.py --build=debug64
../benchmarks/airport/p29-airport4halfMUC-p8.pddl  --search
"astar(operatorcounting([state_equation_constraints(), lmcut_constraints()]),
pruning=stubborn_sets_simple())"
Files
File name Uploaded
run.log florian, 2017-03-03.12:57:05
History
Date User Action Args
2017-03-03 12:57:05floriansetrecipients: + florian, malte, jendrik
2017-03-03 12:57:05floriansetmessageid: <1488542225.18.0.802661281241.issue709@unibas.ch>
2017-03-03 12:57:05florianlinkissue709 messages
2017-03-03 12:57:05floriancreate