/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