Fix multi-level costs for solvers and checkers.