/bin/sh: line 1: 39246 Quit (core dumped) z3 -T:13.32 -smt2 /tmp/SMTP38875-14 > /tmp/SMTS38875-15 /bin/sh: line 1: 39172 Quit (core dumped) z3 -T:13.32 -smt2 /tmp/SMTP38875-58 > /tmp/SMTS38875-59 /bin/sh: line 1: 39165 Quit (core dumped) z3 -T:13.32 -smt2 /tmp/SMTP38875-12 > /tmp/SMTS38875-13 /bin/sh: line 1: 39158 Quit (core dumped) z3 -T:13.32 -smt2 /tmp/SMTP38875-48 > /tmp/SMTS38875-49 /bin/sh: line 1: 39169 Quit (core dumped) z3 -T:13.32 -smt2 /tmp/SMTP38875-18 > /tmp/SMTS38875-19 /bin/sh: line 1: 39179 Quit (core dumped) z3 -T:13.32 -smt2 /tmp/SMTP38875-42 > /tmp/SMTS38875-43 /bin/sh: line 1: 39160 Quit (core dumped) z3 -T:13.32 -smt2 /tmp/SMTP38875-46 > /tmp/SMTS38875-47