/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