/bin/sh: line 1: 7113 Quit (core dumped) z3 -T:5.928 -smt2 /tmp/SMTP6855-151 > /tmp/SMTS6855-152 /bin/sh: line 1: 7086 Quit (core dumped) z3 -T:11.115 -smt2 /tmp/SMTP6855-64 > /tmp/SMTS6855-65 /bin/sh: line 1: 7109 Quit (core dumped) z3 -T:11.115 -smt2 /tmp/SMTP6855-56 > /tmp/SMTS6855-57 /bin/sh: line 1: 7090 Quit (core dumped) z3 -T:11.115 -smt2 /tmp/SMTP6855-58 > /tmp/SMTS6855-59 /bin/sh: line 1: 7105 Quit (core dumped) z3 -T:5.48 -smt2 /tmp/SMTP6855-128 > /tmp/SMTS6855-129 /bin/sh: line 1: 7075 Quit (core dumped) z3 -T:5.48 -smt2 /tmp/SMTP6855-98 > /tmp/SMTS6855-99 /bin/sh: line 1: 7101 Quit (core dumped) z3 -T:11.115 -smt2 /tmp/SMTP6855-19 > /tmp/SMTS6855-20 /bin/sh: line 1: 6991 Quit (core dumped) z3 -T:11.115 -smt2 /tmp/SMTP6855-12 > /tmp/SMTS6855-13 /bin/sh: line 1: 7119 Killed z3 -T:11.115 -smt2 /tmp/SMTP6855-52 > /tmp/SMTS6855-53