/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