/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