added first log for smtlib-z3 run
why is damn regrtest grumbling. ugh.
adding z3mem benchmark. 100s slower but still.
update zs-smtlib log