/bin/sh: line 1: 50531 Quit                    (core dumped) z3 -T:3.145 -smt2 /tmp/SMTP50402-20 > /tmp/SMTS50402-21
/bin/sh: line 1: 50510 Quit                    (core dumped) z3 -T:5.032 -smt2 /tmp/SMTP50402-38 > /tmp/SMTS50402-39
/bin/sh: line 1: 50504 Quit                    (core dumped) z3 -T:9.435 -smt2 /tmp/SMTP50402-6 > /tmp/SMTS50402-7
/bin/sh: line 1: 50608 Killed                  z3 -T:3.145 -smt2 /tmp/SMTP50402-24 > /tmp/SMTS50402-26