/bin/sh: line 1: 44762 Quit                    (core dumped) z3 -T:2.622 -smt2 /tmp/SMTP44600-46 > /tmp/SMTS44600-47
/bin/sh: line 1: 44748 Quit                    (core dumped) z3 -T:4.37 -smt2 /tmp/SMTP44600-26 > /tmp/SMTS44600-27
/bin/sh: line 1: 44898 Killed                  z3 -T:13.11 -smt2 /tmp/SMTP44600-39 > /tmp/SMTS44600-40
/bin/sh: line 1: 44936 Killed                  z3 -T:13.11 -smt2 /tmp/SMTP44600-36 > /tmp/SMTS44600-37
/bin/sh: line 1: 44941 Killed                  z3 -T:13.11 -smt2 /tmp/SMTP44600-60 > /tmp/SMTS44600-61
/bin/sh: line 1: 44945 Killed                  z3 -T:6.992 -smt2 /tmp/SMTP44600-78 > /tmp/SMTS44600-79