/bin/sh: line 1:  6527 Quit                    (core dumped) z3 -T:12.584999999999999 -smt2 /tmp/SMTP6401-19 > /tmp/SMTS6401-21
/bin/sh: line 1:  6530 Quit                    (core dumped) z3 -T:12.584999999999999 -smt2 /tmp/SMTP6401-34 > /tmp/SMTS6401-35
/bin/sh: line 1:  6501 Quit                    (core dumped) z3 -T:7.048 -smt2 /tmp/SMTP6401-74 > /tmp/SMTS6401-76
/bin/sh: line 1:  6490 Quit                    (core dumped) z3 -T:7.048 -smt2 /tmp/SMTP6401-80 > /tmp/SMTS6401-83