/bin/sh: line 1: 15057 Quit (core dumped) z3 -T:13.215 -smt2 /tmp/SMTP14730-45 > /tmp/SMTS14730-46 /bin/sh: line 1: 15034 Quit (core dumped) z3 -T:13.215 -smt2 /tmp/SMTP14730-12 > /tmp/SMTS14730-13 /bin/sh: line 1: 15090 Killed z3 -T:13.215 -smt2 /tmp/SMTP14730-47 > /tmp/SMTS14730-48 /bin/sh: line 1: 15096 Killed z3 -T:13.215 -smt2 /tmp/SMTP14730-41 > /tmp/SMTS14730-42