/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