diff --git a/prism/examples/pta/csma/abst/auto b/prism/examples/pta/csma/abst/auto
index 6940d1b2..61df4d1e 100755
--- a/prism/examples/pta/csma/abst/auto
+++ b/prism/examples/pta/csma/abst/auto
@@ -1,11 +1,7 @@
 #!/bin/csh
 
-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 -const bmax=1 eventually.pctl -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
\ No newline at end of file
+prism csma.nm -const bmax=1 deadline.pctl -const T=1000 -aroptions refine=all,nopre,opt
+prism csma.nm -const bmax=1 deadline.pctl -const T=2000 -aroptions refine=all,nopre,opt
+prism csma.nm -const bmax=1 deadline.pctl -const T=3000 -aroptions refine=all,nopre,opt