add us eastern time
z3 default to smt2 input format
extend max num tabs
remove incorrect elinks configs