reduce n and cputime for planner, update ccs for quality preconds, properties changes in notDetnotDebilSim