Checking the given plan ... IDs of subtasks used in the plan exist: true Tasks declared in plan actually exist and can be instantiated as given: true Methods don't contain duplicate subtasks: true Methods don't contain orphaned tasks: true Methods can be instantiated: true Order induced by methods is present in plan: true Plan is executable: true Plan verification result: true