
MS     = ms
MSCC   = mscc -DSAFETY -DCOLLAPSE

# This one verifies but takes a while...
d23w1c1: diffusion1.prom
	$(MS) -dl -np=6 -block -chansize=1 -Dnprocsx=2 -Dnprocsy=3 \
          -Dnyl=2 -Dnsteps=3 -noanysource diffusion1.prom
	$(MSCC)
	./pan -n

# Verifies...
d23w1c0: diffusion1.prom
	$(MS) -dl -np=6 -block -chansize=0 -Dnprocsx=2 -Dnprocsy=3 \
          -Dnyl=2 -Dnsteps=3 -noanysource diffusion1.prom
	$(MSCC)
	./pan -n

# Verifies...
d31w1: diffusion1.prom
	$(MS) -dl -np=6 -block -chansize=2 -Dnprocsx=2 -Dnprocsy=3 \
          -Dnyl=1 -Dnsteps=5 -noanysource -DVECTORSZ=20000 diffusion1.prom
	$(MSCC)
	./pan -n

# Counterexample found...
d31w2: diffusion1.prom
	$(MS) -dl -np=3 -block -chansize=2 -Dnprocsx=3 -Dnprocsy=1 \
          -Dnyl=1 -Dnsteps=2 -DANYSOURCE diffusion1.prom
	$(MSCC)
	./pan -n -m69
	./pan -n -r

# Verifies...
d31w2b: diffusion1.prom
	$(MS) -dl -np=3 -block -chansize=2 -Dnprocsx=3 -Dnprocsy=1 \
          -Dnyl=1 -Dnsteps=2 -DANYSOURCE -DBARRIER diffusion1.prom
	$(MSCC)
	./pan -n

# runs for a long time and verifies with 720 MB, 22 million states...
d23w2b: diffusion1.prom
	$(MS) -dl -np=6 -block -chansize=1 -Dnprocsx=2 -Dnprocsy=3 \
          -Dnyl=1 -Dnsteps=2 -DBARRIER diffusion1.prom 
	$(MSCC) -DVECTORSZ=2000
	./pan -n

test:diffusion1.prom	
	$(MS) -dl -np=6 -block -chansize=1 -Dnprocsx=5 -Dnprocsy=5 \
          -Dnyl=1 -Dnsteps=5  diffusion1.prom
	$(MSCC) -DVECTORSZ=2000
	./pan -n

