/bin/sh: line 1: 4087 Quit (core dumped) z3 -T:7.4399999999999995 -smt2 /tmp/SMTP3578-170 > /tmp/SMTS3578-173 /bin/sh: line 1: 4115 Quit (core dumped) z3 -T:5.199999999999999 -smt2 /tmp/SMTP3578-176 > /tmp/SMTS3578-177 /bin/sh: line 1: 4109 Quit (core dumped) z3 -T:5.199999999999999 -smt2 /tmp/SMTP3578-165 > /tmp/SMTS3578-166 /bin/sh: line 1: 4301 Killed z3 -T:5.199999999999999 -smt2 /tmp/SMTP3578-188 > /tmp/SMTS3578-189 /bin/sh: line 1: 4304 Killed z3 -T:5.199999999999999 -smt2 /tmp/SMTP3578-196 > /tmp/SMTS3578-197