/bin/sh: line 1: 45022 Quit                    (core dumped) z3 -T:7.5 -smt2 /tmp/SMTP44310-32 > /tmp/SMTS44310-33
/bin/sh: line 1: 45023 Quit                    (core dumped) z3 -T:7.5 -smt2 /tmp/SMTP44310-16 > /tmp/SMTS44310-17