/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