Author silvan
Recipients jendrik, malte, silvan
Date 2017-12-06.08:44:30
What I meant is that 100 runs together don't need more than rounded 2MB, I
thought this was small enough. But you are right, most output files are 4 KB,
but I also found some 8 KB ones. The same is true if adding the options
--keep-unimportant-variables, --keep-unreachable-facts, and --full-encoding.
Date User Action Args
2017-12-06 08:44:30silvansetmessageid: <>
2017-12-06 08:44:30silvansetrecipients: + silvan, malte, jendrik
2017-12-06 08:44:30silvanlinkissue739 messages
2017-12-06 08:44:30silvancreate