var j1m1, j1m2, j1m3, j1m4, j2m1, j2m2, j2m3, j2m4, 
    j3m1, j3m2, j3m3, j3m4, j4m1, j4m2, j4m3, j4m4 
;
define j1flow as
  ([!j1m1 && !j1m2 && !j1m4] && tdur j1m3 =1)^
  ([!j1m2 && !j1m3 && !j1m4] && tdur j1m1 =3)^
  ([!j1m1 && !j1m3 && !j1m4] && tdur j1m2 =6)^
  ([!j1m1 && !j1m2 && !j1m3] && tdur j1m4 =7)^
  <!j1m1 && !j1m2 && !j1m3 && !j1m4>
;
define j2flow as
  ([!j2m1 && !j2m3 && !j2m4] && tdur j2m2 =8)^
  ([!j2m1 && !j2m2 && !j2m4] && tdur j2m3 =5)^
  ([!j2m2 && !j2m3 && !j2m4] && tdur j2m1 =10)^
  ([!j2m1 && !j2m2 && !j2m3] && tdur j2m4 =4)^
  <!j2m1 && !j2m2 && !j2m3 && !j2m4>
;
define j3flow as
  ([!j3m1 && !j3m2 && !j3m4] && tdur j3m3 =3)^
  ([!j3m1 && !j3m2 && !j3m3] && tdur j3m4 =5)^
  ([!j3m2 && !j3m3 && !j3m4] && tdur j3m1 =10)^
  ([!j3m1 && !j3m3 && !j3m3] && tdur j3m2 =4)^
  <!j3m1 && !j3m2 && !j3m3 && !j3m4>
;

define j4flow as
  ([!j4m1 && !j4m3 && !j4m4] && tdur j4m2 =5)^
  ([!j4m2 && !j4m3 && !j4m4] && tdur j4m1 =5)^
  ([!j4m1 && !j4m2 && !j4m4] && tdur j4m3 =5)^
  ([!j4m1 && !j4m2 && !j4m3] && tdur j4m4 =3)^
  <!j4m1 && !j4m2 && !j4m3 && !j4m4>
;
define mutexjobs as
[[ !( (j1m1 && j2m1) || (j1m1 && j3m1) || (j1m1 && j4m1) ||
      (j2m1 && j3m1) || (j2m1 && j4m1) || (j3m1 && j4m1) ||
      (j1m2 && j2m2) || (j1m2 && j3m2) || (j1m2 && j4m2) ||
      (j2m2 && j3m2) || (j2m2 && j4m2) || (j3m2 && j4m2) ||
      (j1m3 && j2m3) || (j1m3 && j3m3) || (j1m3 && j4m3) ||
      (j2m3 && j3m3) || (j2m3 && j4m3) || (j3m3 && j4m3) ||
      (j1m4 && j2m4) || (j1m4 && j3m4) || (j1m4 && j4m4) ||
      (j2m4 && j3m4) || (j2m4 && j4m4) || (j3m4 && j4m4)  
    ) ]] 
;
infer 
!(j1flow && j2flow && j3flow && j4flow && mutexjobs)
.
10