Test LISA-super-detour2

LISA LISA-super-detour2

{ }

 P0           | P1               | P2          | P3              | P4          ;
 r[once] r0 v | r[acquire] r2 x  | w[once] z 1 | r[acquire] r4 u | w[once] w 1 ;
 w[once] x r0 | r[once] r3 z     | f[wmb]      | r[once] r5 w    | f[wmb]      ;
 r[once] r1 y |                  | w[once] y 1 |                 | w[once] v 1 ;
 w[once] u r1 |                  |             |                 |             ;
 
 Observed
    3:r5=0; 3:r4=1; 1:r3=1; 1:r2=1; 0:r1=1; 0:r0=1;
and 3:r5=0; 3:r4=1; 1:r3=0; 1:r2=1; 0:r1=1; 0:r0=1;
and 3:r5=0; 3:r4=1; 1:r3=1; 1:r2=0; 0:r1=1; 0:r0=1;
and 3:r5=0; 3:r4=1; 1:r3=0; 1:r2=0; 0:r1=1; 0:r0=1;