/bin/sh: line 1: 40764 Quit (core dumped) z3 -T:6.4879999999999995 -smt2 /tmp/SMTP40410-115 > /tmp/SMTS40410-116 /bin/sh: line 1: 40754 Quit (core dumped) z3 -T:12.165 -smt2 /tmp/SMTP40410-22 > /tmp/SMTS40410-23 /bin/sh: line 1: 40797 Quit (core dumped) z3 -T:12.165 -smt2 /tmp/SMTP40410-66 > /tmp/SMTS40410-67 /bin/sh: line 1: 40774 Quit (core dumped) z3 -T:12.165 -smt2 /tmp/SMTP40410-42 > /tmp/SMTS40410-43 /bin/sh: line 1: 40805 Quit (core dumped) z3 -T:12.165 -smt2 /tmp/SMTP40410-20 > /tmp/SMTS40410-21 /bin/sh: line 1: 40789 Quit (core dumped) z3 -T:12.165 -smt2 /tmp/SMTP40410-40 > /tmp/SMTS40410-41