/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/
../
debug
log.txt
models
statistics.csv