/bin/sh: line 1: 8989 Quit (core dumped) z3 -T:6.768 -smt2 /tmp/SMTP8859-68 > /tmp/SMTS8859-69 /bin/sh: line 1: 8958 Quit (core dumped) z3 -T:6.992 -smt2 /tmp/SMTP8859-70 > /tmp/SMTS8859-71 /bin/sh: line 1: 9012 Killed z3 -T:7.6 -smt2 /tmp/SMTP8859-100 > /tmp/SMTS8859-101 /bin/sh: line 1: 9026 Killed z3 -T:6.768 -smt2 /tmp/SMTP8859-74 > /tmp/SMTS8859-75