/bin/sh: line 1: 44762 Quit (core dumped) z3 -T:2.622 -smt2 /tmp/SMTP44600-46 > /tmp/SMTS44600-47 /bin/sh: line 1: 44748 Quit (core dumped) z3 -T:4.37 -smt2 /tmp/SMTP44600-26 > /tmp/SMTS44600-27 /bin/sh: line 1: 44898 Killed z3 -T:13.11 -smt2 /tmp/SMTP44600-39 > /tmp/SMTS44600-40 /bin/sh: line 1: 44936 Killed z3 -T:13.11 -smt2 /tmp/SMTP44600-36 > /tmp/SMTS44600-37 /bin/sh: line 1: 44941 Killed z3 -T:13.11 -smt2 /tmp/SMTP44600-60 > /tmp/SMTS44600-61 /bin/sh: line 1: 44945 Killed z3 -T:6.992 -smt2 /tmp/SMTP44600-78 > /tmp/SMTS44600-79