/bin/sh: line 1:  6619 Quit                    (core dumped) z3 -T:7.328 -smt2 /tmp/SMTP6479-63 > /tmp/SMTS6479-64
/bin/sh: line 1:  6669 Quit                    (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP6479-61 > /tmp/SMTS6479-62
/bin/sh: line 1:  6660 Quit                    (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP6479-86 > /tmp/SMTS6479-87
/bin/sh: line 1:  6663 Quit                    (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP6479-22 > /tmp/SMTS6479-23
/bin/sh: line 1:  6647 Quit                    (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP6479-26 > /tmp/SMTS6479-27
/bin/sh: line 1:  6726 Killed                  z3 -T:7.328 -smt2 /tmp/SMTP6479-106 > /tmp/SMTS6479-107