/bin/sh: line 1: 24641 Quit (core dumped) z3 -T:7.552 -smt2 /tmp/SMTP24469-64 > /tmp/SMTS24469-65 /bin/sh: line 1: 24648 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP24469-46 > /tmp/SMTS24469-47 /bin/sh: line 1: 24616 Quit (core dumped) z3 -T:7.552 -smt2 /tmp/SMTP24469-62 > /tmp/SMTS24469-63 /bin/sh: line 1: 24663 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP24469-66 > /tmp/SMTS24469-68 /bin/sh: line 1: 24684 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP24469-21 > /tmp/SMTS24469-23 /bin/sh: line 1: 24694 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP24469-41 > /tmp/SMTS24469-42 /bin/sh: line 1: 24725 Killed z3 -T:7.272 -smt2 /tmp/SMTP24469-78 > /tmp/SMTS24469-79 /bin/sh: line 1: 24775 Killed z3 -T:7.552 -smt2 /tmp/SMTP24469-94 > /tmp/SMTS24469-95