/bin/sh: line 1: 7688 Quit (core dumped) z3 -T:7.048 -smt2 /tmp/SMTP7541-76 > /tmp/SMTS7541-77 /bin/sh: line 1: 7691 Quit (core dumped) z3 -T:7.216 -smt2 /tmp/SMTP7541-98 > /tmp/SMTS7541-99 /bin/sh: line 1: 7695 Quit (core dumped) z3 -T:7.496 -smt2 /tmp/SMTP7541-84 > /tmp/SMTS7541-85 /bin/sh: line 1: 7698 Quit (core dumped) z3 -T:13.425 -smt2 /tmp/SMTP7541-16 > /tmp/SMTS7541-19 /bin/sh: line 1: 7769 Killed z3 -T:7.496 -smt2 /tmp/SMTP7541-92 > /tmp/SMTS7541-93 /bin/sh: line 1: 7775 Killed z3 -T:7.496 -smt2 /tmp/SMTP7541-113 > /tmp/SMTS7541-114