/bin/sh: line 1: 13630 Quit (core dumped) z3 -T:11.535 -smt2 /tmp/SMTP12880-20 > /tmp/SMTS12880-21 /bin/sh: line 1: 13512 Quit (core dumped) z3 -T:11.535 -smt2 /tmp/SMTP12880-52 > /tmp/SMTS12880-53 /bin/sh: line 1: 13588 Quit (core dumped) z3 -T:11.535 -smt2 /tmp/SMTP12880-39 > /tmp/SMTS12880-40 /bin/sh: line 1: 13557 Quit (core dumped) z3 -T:11.535 -smt2 /tmp/SMTP12880-46 > /tmp/SMTS12880-47 /bin/sh: line 1: 13570 Quit (core dumped) z3 -T:11.535 -smt2 /tmp/SMTP12880-50 > /tmp/SMTS12880-51