/bin/sh: line 1:  8243 Quit                    (core dumped) z3 -T:4.615 -smt2 /tmp/SMTP7996-36 > /tmp/SMTS7996-37
/bin/sh: line 1:  8276 Quit                    (core dumped) z3 -T:7.4399999999999995 -smt2 /tmp/SMTP7996-64 > /tmp/SMTS7996-65
/bin/sh: line 1:  8273 Quit                    (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP7996-31 > /tmp/SMTS7996-33
/bin/sh: line 1:  8248 Quit                    (core dumped) z3 -T:2.769 -smt2 /tmp/SMTP7996-21 > /tmp/SMTS7996-22
/bin/sh: line 1:  8267 Quit                    (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP7996-58 > /tmp/SMTS7996-59
/bin/sh: line 1:  8264 Quit                    (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP7996-38 > /tmp/SMTS7996-39
/bin/sh: line 1:  8337 Killed                  z3 -T:7.384 -smt2 /tmp/SMTP7996-98 > /tmp/SMTS7996-99