/bin/sh: line 1: 10067 Quit (core dumped) z3 -T:6.88 -smt2 /tmp/SMTP9524-173 > /tmp/SMTS9524-174 /bin/sh: line 1: 10045 Quit (core dumped) z3 -T:6.824 -smt2 /tmp/SMTP9524-162 > /tmp/SMTS9524-163