
all: experiments graphs

graphs: dissem.gnu
	gnuplot < dissem.gnu

experiments: p0 p1 p2 p3 p4

p0: full_0 invis_0 transp_0  # [](e0 -> (in0 U \and in_i))
p1: invis_1 transp_1         # []<>\not in0
p2: invis_2 transp_2         # []<>\and ini
p3: invis_3 transp_3         # [] \not\phalt
p4: invis_4 transp_4         # [] (nmsgs <= n)

full_0:
	java -Xmx1500M laser.mpi.mcex.dissem.DissemBarrier 2 7 0 0

invis_0:
	java -Xmx1500M laser.mpi.mcex.dissem.DissemBarrier 2 8 1 0

transp_0:
	java -Xmx1500M laser.mpi.mcex.dissem.DissemBarrier 2 9 2 0

invis_1:
	java -Xmx1500M laser.mpi.mcex.dissem.DissemBarrier 2 10 1 1

transp_1:
	java -Xmx1500M laser.mpi.mcex.dissem.DissemBarrier 2 10 2 1

invis_2:
	java -Xmx1500M laser.mpi.mcex.dissem.DissemBarrier 2 8 1 2

transp_2:
	java -Xmx1500M laser.mpi.mcex.dissem.DissemBarrier 2 9 2 2

invis_3:
	java -Xmx1500M laser.mpi.mcex.dissem.DissemBarrier 2 7 1 3

transp_3:
	java -Xmx1500M laser.mpi.mcex.dissem.DissemBarrier 2 8 2 3

invis_4:
	java -Xmx1500M laser.mpi.mcex.dissem.DissemBarrier 2 7 1 4

transp_4:
	java -Xmx1500M laser.mpi.mcex.dissem.DissemBarrier 2 8 2 4

clean:
	rm -f *.dat
