/bin/sh: line 1: 20196 Quit                    (core dumped) z3 -T:13.425 -smt2 /tmp/SMTP20017-22 > /tmp/SMTS20017-23
/bin/sh: line 1: 20152 Quit                    (core dumped) z3 -T:13.425 -smt2 /tmp/SMTP20017-53 > /tmp/SMTS20017-55
/bin/sh: line 1: 20182 Quit                    (core dumped) z3 -T:13.425 -smt2 /tmp/SMTP20017-40 > /tmp/SMTS20017-41
/bin/sh: line 1: 20197 Quit                    (core dumped) z3 -T:6.712 -smt2 /tmp/SMTP20017-77 > /tmp/SMTS20017-78
/bin/sh: line 1: 20165 Quit                    (core dumped) z3 -T:6.712 -smt2 /tmp/SMTP20017-82 > /tmp/SMTS20017-83
/bin/sh: line 1: 20144 Quit                    (core dumped) z3 -T:13.425 -smt2 /tmp/SMTP20017-38 > /tmp/SMTS20017-39