/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