/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