/bin/sh: line 1: 39044 Quit                    (core dumped) z3 -T:13.32 -smt2 /tmp/SMTP38998-33 > /tmp/SMTS38998-34
/bin/sh: line 1: 39077 Killed                  z3 -T:13.32 -smt2 /tmp/SMTP38998-58 > /tmp/SMTS38998-59