/bin/sh: line 1: 48260 Quit                    (core dumped) z3 -T:6.6 -smt2 /tmp/SMTP48143-84 > /tmp/SMTS48143-85
/bin/sh: line 1: 48264 Quit                    (core dumped) z3 -T:12.795 -smt2 /tmp/SMTP48143-44 > /tmp/SMTS48143-45
/bin/sh: line 1: 48312 Killed                  z3 -T:6.6 -smt2 /tmp/SMTP48143-86 > /tmp/SMTS48143-87
/bin/sh: line 1: 48322 Killed                  z3 -T:12.795 -smt2 /tmp/SMTP48143-70 > /tmp/SMTS48143-71
/bin/sh: line 1: 48330 Killed                  z3 -T:12.795 -smt2 /tmp/SMTP48143-27 > /tmp/SMTS48143-28
/bin/sh: line 1: 48334 Killed                  z3 -T:12.795 -smt2 /tmp/SMTP48143-30 > /tmp/SMTS48143-31