/bin/sh: line 1: 37293 Quit (core dumped) z3 -T:5.816 -smt2 /tmp/SMTP36084-162 > /tmp/SMTS36084-163 /bin/sh: line 1: 37296 Quit (core dumped) z3 -T:5.816 -smt2 /tmp/SMTP36084-196 > /tmp/SMTS36084-197 /bin/sh: line 1: 37273 Quit (core dumped) z3 -T:4.247999999999999 -smt2 /tmp/SMTP36084-156 > /tmp/SMTS36084-157 /bin/sh: line 1: 37314 Killed z3 -T:4.247999999999999 -smt2 /tmp/SMTP36084-176 > /tmp/SMTS36084-177