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;