Author malte
Recipients jendrik, malte
Date 2017-08-31.15:58:32
> (The unexplained errors for the satisficing experiment are due to VAL
> running out of memory. We should probably discuss what to do about that
> in our next Fast Downward meeting.)

We could try the INVAL validator instead
( I'm not sure if anyone ever compared
its validation time and memory requirements to VAL, but unless it's very
difficult to get to run, perhaps we can at least manually run it on 2-3 cases
where VAL is having difficulties and see how it behaves. It's still worth
discussing this in the Fast Downward meeting, but having some data on INVAL
beforehand could be useful for the discussion.
Date User Action Args
2017-08-31 15:58:32maltesetmessageid: <>
2017-08-31 15:58:32maltesetrecipients: + malte, jendrik
2017-08-31 15:58:32maltelinkissue731 messages
2017-08-31 15:58:32maltecreate