/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