run-STAN-logistics > STAN-logistics-data
run-STAN-freecell > STAN-freecell-data
run-STAN-miconic > STAN-miconic-data
run-STAN-blocks-3op > STAN-blocks-3op
run-STAN-blocks-4op > STAN-blocks-4op
run-AA-blocks-4op-rest > AA-blocks-4op-rest

