After running SQ4 for a few hours to generate strategies, it crashed (see attached log file). I though have been using the latest Java 8 (Build 144), so it could also be related to this. I am still attaching the log file, maybe it helps something and MAYBE it was SQ4´s fault (although this should actually not be possible given the specification of the Java language). Thank you.