/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