PTA files tidy.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1747 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/examples/pta/csma/full/auto

@@ -1,7 +1,11 @@
 #!/bin/csh
 
-prism csma.nm eventually.pctl -aroptions refine=all,nopre,opt -const bmax=1
+prism csma.nm collisions.pctl -const bmax=2,K=4 -aroptions refine=all,nopre,opt
+prism csma.nm collisions.pctl -const bmax=2,K=8 -aroptions refine=all,nopre,opt
+prism csma.nm collisions.pctl -const bmax=4,K=4 -aroptions refine=all,nopre,opt
+prism csma.nm collisions.pctl -const bmax=4,K=8 -aroptions refine=all,nopre,opt
 
-prism csma.nm deadline.pctl -const bmax=1 -const T=1000 -aroptions refine=all,nopre,opt
-prism csma.nm deadline.pctl -const bmax=1 -const T=2000 -aroptions refine=all,nopre,opt
-prism csma.nm deadline.pctl -const bmax=1 -const T=3000 -aroptions refine=all,nopre,opt
+prism csma.nm time.pctl -const bmax=1,K=0 -aroptions refine=all,nopre,opt
+prism csma.nm time.pctl -const bmax=2,K=0 -aroptions refine=all,nopre,opt
+prism csma.nm time.pctl -const bmax=3,K=0 -aroptions refine=all,nopre,opt
+prism csma.nm time.pctl -const bmax=4,K=0 -aroptions refine=all,nopre,opt