Qgdp Tool Smt V3 2 6