/bin/sh: line 1: 22941 Quit                    (core dumped) z3 -T:6.208 -smt2 /tmp/SMTP22719-92 > /tmp/SMTS22719-93
/bin/sh: line 1: 22895 Quit                    (core dumped) z3 -T:6.6 -smt2 /tmp/SMTP22719-70 > /tmp/SMTS22719-71
/bin/sh: line 1: 22944 Killed                  z3 -T:6.208 -smt2 /tmp/SMTP22719-86 > /tmp/SMTS22719-87