#!mpirun -np 16 protocon-mpi -x-args

-x ../examplespec/OrientRing.prot
-param N 2..5
-param [ -def N 6..7 -no-conflict ]
-param [ -def N 8..9 -no-partial -synchronous ]
-prep-conflicts