/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