BMC Planner Comparator