/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