/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