/bin/sh: line 1: 47527 Quit                    (core dumped) z3 -T:4.16 -smt2 /tmp/SMTP47443-20 > /tmp/SMTS47443-22
/bin/sh: line 1: 47555 Quit                    (core dumped) z3 -T:7.384 -smt2 /tmp/SMTP47443-66 > /tmp/SMTS47443-67
/bin/sh: line 1: 47533 Quit                    (core dumped) z3 -T:2.496 -smt2 /tmp/SMTP47443-52 > /tmp/SMTS47443-53
/bin/sh: line 1: 47568 Quit                    (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP47443-79 > /tmp/SMTS47443-80
/bin/sh: line 1: 47544 Quit                    (core dumped) z3 -T:4.16 -smt2 /tmp/SMTP47443-27 > /tmp/SMTS47443-30
/bin/sh: line 1: 47578 Killed                  z3 -T:7.16 -smt2 /tmp/SMTP47443-72 > /tmp/SMTS47443-73