/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