Hi jcl. Well, Z3 just took longer to crash. "-diag" seems to be the culprit no matter what the strategy / trades resumed...