/bin/sh: line 1: 27793 Quit (core dumped) z3 -T:6.264 -smt2 /tmp/SMTP27474-72 > /tmp/SMTS27474-73 /bin/sh: line 1: 27639 Quit (core dumped) z3 -T:12.795 -smt2 /tmp/SMTP27474-14 > /tmp/SMTS27474-16 /bin/sh: line 1: 27609 Quit (core dumped) z3 -T:12.795 -smt2 /tmp/SMTP27474-46 > /tmp/SMTS27474-47 /bin/sh: line 1: 27816 Killed z3 -T:6.824 -smt2 /tmp/SMTP27474-80 > /tmp/SMTS27474-81 /bin/sh: line 1: 27825 Killed z3 -T:6.264 -smt2 /tmp/SMTP27474-70 > /tmp/SMTS27474-71 /bin/sh: line 1: 27844 Killed z3 -T:6.264 -smt2 /tmp/SMTP27474-92 > /tmp/SMTS27474-93