/bin/sh: line 1: 38943 Quit                    (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP38642-151 > /tmp/SMTS38642-152
/bin/sh: line 1: 38983 Quit                    (core dumped) z3 -T:6.6 -smt2 /tmp/SMTP38642-161 > /tmp/SMTS38642-162
/bin/sh: line 1: 38963 Quit                    (core dumped) z3 -T:6.6 -smt2 /tmp/SMTP38642-116 > /tmp/SMTS38642-117
/bin/sh: line 1: 39008 Killed                  z3 -T:6.6 -smt2 /tmp/SMTP38642-171 > /tmp/SMTS38642-172
/bin/sh: line 1: 39018 Killed                  z3 -T:6.6 -smt2 /tmp/SMTP38642-173 > /tmp/SMTS38642-174