1 2 3 4 5 6
/bin/ /problem.lp /solution.txt /model/cps_fixup.henshin /model/problem.xmi /mdeo-results