/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