/bin/sh: line 1: 50664 Quit                    (core dumped) z3 -T:2.664 -smt2 /tmp/SMTP50560-22 > /tmp/SMTS50560-23
/bin/sh: line 1: 50668 Quit                    (core dumped) z3 -T:4.44 -smt2 /tmp/SMTP50560-38 > /tmp/SMTS50560-39