dReal4: /home/soonhokong/work/dreal4/dreal/smt2 Directory Reference