/bin/sh: line 1: 46706 Quit (core dumped) z3 -T:11.64 -smt2 /tmp/SMTP46547-39 > /tmp/SMTS46547-40 /bin/sh: line 1: 46713 Quit (core dumped) z3 -T:11.64 -smt2 /tmp/SMTP46547-32 > /tmp/SMTS46547-33 /bin/sh: line 1: 46762 Killed z3 -T:5.088 -smt2 /tmp/SMTP46547-97 > /tmp/SMTS46547-98 /bin/sh: line 1: 46769 Killed z3 -T:5.088 -smt2 /tmp/SMTP46547-93 > /tmp/SMTS46547-94