This exchanges Madagascar configuration MpC with Mp in the benchmark on
Rintanen’s instance set. This is because MpC uses planner C, while our
competing configuration uses planner B, which would make the results
difficult to compare.
This adds Madagascar MpC and the best configuration for the generate-
and-test planning strategy to the comparison on Rintanen’s instance set
from AIJ 2012.
This adds multiple configuration variations for the generate-and-check
planning strategy on the instances where the first found plan is not
serializable, with the comparison to Madagascar.
Instead of specifying the heuristic encoding manually, this lets the
planner define its location. This is to make sure that an incorrect
encoding isn’t applied accidentally.