Lost your login?
Created on 2016-05-03.18:01:54 by jendrik, last changed by gnad.
Currently, the planner writes the plan costs into the plan file as a comment. If
the planner contains a bug, these costs may be wrong, however. Therefore, we'd
like to compare the costs from the planner and the costs that VAL calculates.