/bin/sh: line 1: 63543 Quit (core dumped) z3 -T:7.272 -smt2 /tmp/SMTP63421-54 > /tmp/SMTS63421-55 /bin/sh: line 1: 63477 Quit (core dumped) z3 -T:4.545 -smt2 /tmp/SMTP63421-14 > /tmp/SMTS63421-15 /bin/sh: line 1: 63572 Quit (core dumped) z3 -T:2.7270000000000003 -smt2 /tmp/SMTP63421-19 > /tmp/SMTS63421-31 /bin/sh: line 1: 63548 Quit (core dumped) z3 -T:4.545 -smt2 /tmp/SMTP63421-11 > /tmp/SMTS63421-13