Complete version 1; In this version increamenting time step doesn't need to rebuild SMT problem from the first, but weuse incremental SMT problem which expriments show we have imporvement with this method
Start new version
Numeric Graph plan has been employed