/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