/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/output/debug/
../
generated3valued.vql_deactivated
generation.logicproblem
init.partialmodel
log.txt
statistics.csv