/bin/sh: line 1:   824 Quit                    (core dumped) z3 -T:6.712 -smt2 /tmp/SMTP65465-120 > /tmp/SMTS65465-121
/bin/sh: line 1:   807 Quit                    (core dumped) z3 -T:6.04 -smt2 /tmp/SMTP65465-124 > /tmp/SMTS65465-127
/bin/sh: line 1:   800 Quit                    (core dumped) z3 -T:6.6 -smt2 /tmp/SMTP65465-141 > /tmp/SMTS65465-142
/bin/sh: line 1:   779 Quit                    (core dumped) z3 -T:6.152 -smt2 /tmp/SMTP65465-87 > /tmp/SMTS65465-89
/bin/sh: line 1:   843 Killed                  z3 -T:6.712 -smt2 /tmp/SMTP65465-170 > /tmp/SMTS65465-171
/bin/sh: line 1:   847 Killed                  z3 -T:6.712 -smt2 /tmp/SMTP65465-134 > /tmp/SMTS65465-135