/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