/bin/sh: line 1: 13468 Quit (core dumped) z3 -T:12.69 -smt2 /tmp/SMTP13179-50 > /tmp/SMTS13179-51 /bin/sh: line 1: 13357 Quit (core dumped) z3 -T:12.69 -smt2 /tmp/SMTP13179-48 > /tmp/SMTS13179-49 /bin/sh: line 1: 13441 Quit (core dumped) z3 -T:6.656 -smt2 /tmp/SMTP13179-66 > /tmp/SMTS13179-67 /bin/sh: line 1: 13345 Quit (core dumped) z3 -T:12.69 -smt2 /tmp/SMTP13179-38 > /tmp/SMTS13179-39 /bin/sh: line 1: 13377 Quit (core dumped) z3 -T:12.69 -smt2 /tmp/SMTP13179-30 > /tmp/SMTS13179-31 /bin/sh: line 1: 13454 Quit (core dumped) z3 -T:12.69 -smt2 /tmp/SMTP13179-28 > /tmp/SMTS13179-29 /bin/sh: line 1: 13418 Quit (core dumped) z3 -T:12.69 -smt2 /tmp/SMTP13179-54 > /tmp/SMTS13179-55 /bin/sh: line 1: 13482 Killed z3 -T:6.264 -smt2 /tmp/SMTP13179-87 > /tmp/SMTS13179-88 /bin/sh: line 1: 13486 Killed z3 -T:12.69 -smt2 /tmp/SMTP13179-36 > /tmp/SMTS13179-37