/bin/sh: line 1: 38943 Quit (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP38642-151 > /tmp/SMTS38642-152 /bin/sh: line 1: 38983 Quit (core dumped) z3 -T:6.6 -smt2 /tmp/SMTP38642-161 > /tmp/SMTS38642-162 /bin/sh: line 1: 38963 Quit (core dumped) z3 -T:6.6 -smt2 /tmp/SMTP38642-116 > /tmp/SMTS38642-117 /bin/sh: line 1: 39008 Killed z3 -T:6.6 -smt2 /tmp/SMTP38642-171 > /tmp/SMTS38642-172 /bin/sh: line 1: 39018 Killed z3 -T:6.6 -smt2 /tmp/SMTP38642-173 > /tmp/SMTS38642-174