SimPlan at the LogiMAT 2019 in Stuttgart