Message6730

Author silvan
Recipients jendrik, malte, silvan
Date 2017-12-06.08:44:30
Content
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.

http://ai.cs.unibas.ch/_tmp_files/sieverss/issue739-v4-translate-with-options.html
History
Date User Action Args
2017-12-06 08:44:30silvansetmessageid: <1512546270.33.0.605117028322.issue739@unibas.ch>
2017-12-06 08:44:30silvansetrecipients: + silvan, malte, jendrik
2017-12-06 08:44:30silvanlinkissue739 messages
2017-12-06 08:44:30silvancreate