
all: experiments graphs

graphs: coord.gnu
	gnuplot < coord.gnu

experiments: p0 p1 p2 p3

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

full_0:
	java -Xmx1500M laser.mpi.mcex.coord.CoordBarrier 1 10 0 0

invis_0:
	java -Xmx1500M laser.mpi.mcex.coord.CoordBarrier 1 10 1 0

transp_0:
	java -Xmx1500M laser.mpi.mcex.coord.CoordBarrier 1 10 2 0

invis_1:
	java -Xmx1500M laser.mpi.mcex.coord.CoordBarrier 1 10 1 1

transp_1:
	java -Xmx1500M laser.mpi.mcex.coord.CoordBarrier 1 10 2 1

invis_2:
	java -Xmx1500M laser.mpi.mcex.coord.CoordBarrier 1 10 1 2

transp_2:
	java -Xmx1500M laser.mpi.mcex.coord.CoordBarrier 1 10 2 2

invis_3:
	java -Xmx1500M laser.mpi.mcex.coord.CoordBarrier 1 10 1 3

transp_3:
	java -Xmx1500M laser.mpi.mcex.coord.CoordBarrier 1 10 2 3

clean:
	rm -f *.dat
