/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/
../
run1
run2
run3
run4