/bin/sh: line 1: 1003 Quit (core dumped) z3 -T:2.601 -smt2 /tmp/SMTP704-56 > /tmp/SMTS704-57 /bin/sh: line 1: 1014 Quit (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP704-84 > /tmp/SMTS704-85 /bin/sh: line 1: 1026 Quit (core dumped) z3 -T:6.824 -smt2 /tmp/SMTP704-76 > /tmp/SMTS704-77 /bin/sh: line 1: 1071 Quit (core dumped) z3 -T:6.824 -smt2 /tmp/SMTP704-78 > /tmp/SMTS704-79