aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug
ModeNameSize
-rw-r--r--generation.logicproblem108179logstatsplainblame
d---------run1105logstatsplain
d---------run2105logstatsplain
d---------run3105logstatsplain
d---------run4105logstatsplain
d---------run5105logstatsplain