/bin/sh: line 1: 33266 Quit                    (core dumped) z3 -T:7.496 -smt2 /tmp/SMTP33210-43 > /tmp/SMTS33210-47
/bin/sh: line 1: 33295 Quit                    (core dumped) z3 -T:2.811 -smt2 /tmp/SMTP33210-18 > /tmp/SMTS33210-19
/bin/sh: line 1: 33298 Quit                    (core dumped) z3 -T:7.496 -smt2 /tmp/SMTP33210-68 > /tmp/SMTS33210-69