/bin/sh: line 1:  4107 Quit                    (core dumped) z3 -T:11.64 -smt2 /tmp/SMTP4010-18 > /tmp/SMTS4010-19
/bin/sh: line 1:  4121 Quit                    (core dumped) z3 -T:11.64 -smt2 /tmp/SMTP4010-50 > /tmp/SMTS4010-51
/bin/sh: line 1:  4146 Killed                  z3 -T:11.64 -smt2 /tmp/SMTP4010-64 > /tmp/SMTS4010-65
/bin/sh: line 1:  4318 Killed                  z3 -T:11.64 -smt2 /tmp/SMTP4010-48 > /tmp/SMTS4010-49