/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