/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