SimPlan at LogiMAT 2018 in Stuttgart