/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