/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