/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/run2/
../
generated3valued.vql_deactivated
init.partialmodel