/bin/sh: line 1: 17029 Quit                    (core dumped) z3 -T:7.272 -smt2 /tmp/SMTP16612-159 > /tmp/SMTS16612-161
/bin/sh: line 1: 17021 Quit                    (core dumped) z3 -T:6.824 -smt2 /tmp/SMTP16612-152 > /tmp/SMTS16612-153
/bin/sh: line 1: 16888 Quit                    (core dumped) z3 -T:13.425 -smt2 /tmp/SMTP16612-50 > /tmp/SMTS16612-51
/bin/sh: line 1: 16913 Quit                    (core dumped) z3 -T:13.425 -smt2 /tmp/SMTP16612-42 > /tmp/SMTS16612-43