
all: n3_p0 n4_p0 c3_p0 c4_p0

graphs: mpsc1.gnu
	gnuplot < mpsc1.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)


n4_p0:
	java -Xmx1500M laser.mpi.mcex.mpsc1.Mpsc CHANSIZE 2 10 4 0 0
	java -Xmx1500M laser.mpi.mcex.mpsc1.Mpsc CHANSIZE 2 10 4 1 0
	java -Xmx1500M laser.mpi.mcex.mpsc1.Mpsc CHANSIZE 2 10 4 2 0
n3_p0:
	java -Xmx1500M laser.mpi.mcex.mpsc1.Mpsc CHANSIZE 2 10 3 0 0
	java -Xmx1500M laser.mpi.mcex.mpsc1.Mpsc CHANSIZE 2 10 3 1 0
	java -Xmx1500M laser.mpi.mcex.mpsc1.Mpsc CHANSIZE 2 10 3 2 0

c3_p0:
	java -Xmx1500M laser.mpi.mcex.mpsc1.Mpsc NPRODS 2 7  3 0 0
	java -Xmx1500M laser.mpi.mcex.mpsc1.Mpsc NPRODS 2 10 3 1 0
	java -Xmx1500M laser.mpi.mcex.mpsc1.Mpsc NPRODS 2 10 3 2 0

c4_p0:
	java -Xmx1500M laser.mpi.mcex.mpsc1.Mpsc NPRODS 2 7  4 0 0
	java -Xmx1500M laser.mpi.mcex.mpsc1.Mpsc NPRODS 2 10 4 1 0
	java -Xmx1500M laser.mpi.mcex.mpsc1.Mpsc NPRODS 2 10 4 2 0


invis_0:
	java -Xmx1500M laser.mpi.mcex.mpsc1.Mpsc 2 8 1 0

transp_0:
	java -Xmx1500M laser.mpi.mcex.mpsc1.Mpsc 2 8 2 0

invis_1:
	java -Xmx1500M laser.mpi.mcex.mpsc1.Mpsc 2 10 1 1

transp_1:
	java -Xmx1500M laser.mpi.mcex.mpsc1.Mpsc 2 10 2 1

invis_2:
	java -Xmx1500M laser.mpi.mcex.mpsc1.Mpsc 2 7 1 2

transp_2:
	java -Xmx1500M laser.mpi.mcex.mpsc1.Mpsc 2 8 2 2

invis_3:
	java -Xmx1500M laser.mpi.mcex.mpsc1.Mpsc 2 7 1 3

transp_3:
	java -Xmx1500M laser.mpi.mcex.mpsc1.Mpsc 2 8 2 3

invis_4:
	java -Xmx1500M laser.mpi.mcex.mpsc1.Mpsc 2 7 1 4

transp_4:
	java -Xmx1500M laser.mpi.mcex.mpsc1.Mpsc 2 8 2 4

clean:
	rm -f *.dat
