/bin/sh: line 1: 32231 Quit                    (core dumped) z3 -T:4.405 -smt2 /tmp/SMTP32173-35 > /tmp/SMTS32173-37
/bin/sh: line 1: 32237 Quit                    (core dumped) z3 -T:13.215 -smt2 /tmp/SMTP32173-14 > /tmp/SMTS32173-15
/bin/sh: line 1: 32256 Quit                    (core dumped) z3 -T:7.048 -smt2 /tmp/SMTP32173-38 > /tmp/SMTS32173-39
/bin/sh: line 1: 32238 Quit                    (core dumped) z3 -T:4.405 -smt2 /tmp/SMTP32173-46 > /tmp/SMTS32173-47
/bin/sh: line 1: 32242 Quit                    (core dumped) z3 -T:2.643 -smt2 /tmp/SMTP32173-22 > /tmp/SMTS32173-25
/bin/sh: line 1: 32245 Quit                    (core dumped) z3 -T:13.215 -smt2 /tmp/SMTP32173-23 > /tmp/SMTS32173-26
/bin/sh: line 1: 32390 Killed                  z3 -T:13.215 -smt2 /tmp/SMTP32173-29 > /tmp/SMTS32173-31