/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