/bin/sh: line 1: 17927 Quit                    (core dumped) z3 -T:6.992 -smt2 /tmp/SMTP17711-88 > /tmp/SMTS17711-89
/bin/sh: line 1: 17944 Quit                    (core dumped) z3 -T:6.992 -smt2 /tmp/SMTP17711-86 > /tmp/SMTS17711-87
/bin/sh: line 1: 17870 Quit                    (core dumped) z3 -T:13.95 -smt2 /tmp/SMTP17711-28 > /tmp/SMTS17711-29
/bin/sh: line 1: 17947 Quit                    (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP17711-114 > /tmp/SMTS17711-115
/bin/sh: line 1: 17934 Quit                    (core dumped) z3 -T:6.992 -smt2 /tmp/SMTP17711-90 > /tmp/SMTS17711-91
/bin/sh: line 1: 17858 Quit                    (core dumped) z3 -T:13.95 -smt2 /tmp/SMTP17711-49 > /tmp/SMTS17711-50
/bin/sh: line 1: 17874 Quit                    (core dumped) z3 -T:13.95 -smt2 /tmp/SMTP17711-51 > /tmp/SMTS17711-52