/bin/sh: line 1: 50531 Quit (core dumped) z3 -T:3.145 -smt2 /tmp/SMTP50402-20 > /tmp/SMTS50402-21 /bin/sh: line 1: 50510 Quit (core dumped) z3 -T:5.032 -smt2 /tmp/SMTP50402-38 > /tmp/SMTS50402-39 /bin/sh: line 1: 50504 Quit (core dumped) z3 -T:9.435 -smt2 /tmp/SMTP50402-6 > /tmp/SMTS50402-7 /bin/sh: line 1: 50608 Killed z3 -T:3.145 -smt2 /tmp/SMTP50402-24 > /tmp/SMTS50402-26