/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/
../
errors.txt
generated3valued.vql_deactivated
generation.logicproblem
init.partialmodel
run1
run2
run3
run4
run5