./HAND/MIXED-SEQ-1.litmus
./HAND/CO-MIXED-1.litmus
./HAND/CO-MIXED-1b.litmus
./HAND/IRIW-MIXED-1.litmus
./HAND/MP+misaligned2+0+addr.litmus
./HAND/MP+misaligned2+1+addr.litmus
./HAND/MP+misaligned2+3+addr.litmus
./HAND/MP+misaligned2+7+addr.litmus
./HAND/MP+misaligned2+15+addr.litmus
./HAND/MP+misaligned2+31+addr.litmus
./HAND/MP+misaligned2+63+addr.litmus
./HAND/MP+misaligned2+127+addr.litmus
./HAND/MP+misaligned2+255+addr.litmus
./HAND/MP+misaligned2+511+addr.litmus
./HAND/MP+misaligned2+0x+addr.litmus
./HAND/MP+misaligned2+1x+addr.litmus
./HAND/MP+misaligned2+3x+addr.litmus
./HAND/MP+misaligned2+7x+addr.litmus
./HAND/MP+misaligned2+15x+addr.litmus
./HAND/MP+misaligned2+31x+addr.litmus
./HAND/MP+misaligned2+63x+addr.litmus
./HAND/MP+misaligned2+127x+addr.litmus
./HAND/MP+misaligned2+255x+addr.litmus
./HAND/MP+misaligned2+511x+addr.litmus
./HAND/MP+dmbsy+misaligned2+0.litmus
./HAND/MP+dmbsy+misaligned2+1.litmus
./HAND/MP+dmbsy+misaligned2+3.litmus
./HAND/MP+dmbsy+misaligned2+7.litmus
./HAND/MP+dmbsy+misaligned2+15.litmus
./HAND/MP+dmbsy+misaligned2+31.litmus
./HAND/MP+dmbsy+misaligned2+63.litmus
./HAND/MP+dmbsy+misaligned2+127.litmus
./HAND/MP+dmbsy+misaligned2+255.litmus
./HAND/MP+dmbsy+misaligned2+511.litmus
./HAND/MP+dmbsy+misaligned2+0x.litmus
./HAND/MP+dmbsy+misaligned2+1x.litmus
./HAND/MP+dmbsy+misaligned2+3x.litmus
./HAND/MP+dmbsy+misaligned2+7x.litmus
./HAND/MP+dmbsy+misaligned2+15x.litmus
./HAND/MP+dmbsy+misaligned2+31x.litmus
./HAND/MP+dmbsy+misaligned2+63x.litmus
./HAND/MP+dmbsy+misaligned2+127x.litmus
./HAND/MP+dmbsy+misaligned2+255x.litmus
./HAND/MP+dmbsy+misaligned2+511x.litmus
./HAND/CO-MIXED-6-sep+reader.litmus
./HAND/CO-MIXED-6-mergedsep+reader.litmus
./HAND/CO-MIXED-2b.litmus
./HAND/CO-MIXED-2b-dmbsy.litmus
./HAND/CO-MIXED-6.litmus
./HAND/CO-MIXED-20cc.litmus
./HAND/PPOCA-MIXED-1.litmus
./HAND/PPOCA-MIXED-2.litmus
./HAND/PPOCA-MIXED-3.litmus
./HAND/MP+stp+addr+60.litmus
./HAND/MP+str+ldp.litmus
./HAND/MP+dmbsy+ldp-addr+BIS3.litmus
./HAND/MP+rfiW-friN+dmb.sy.litmus
./HAND/MP+rfiW-friN+addr.litmus
./HAND/LB+data+data-misaligned.litmus
./HAND/R+dmb.sy+rfipw-poswp-ctrlisb.litmus
./HAND/S+dmb.sy+data-rfipw-friwp.litmus
./CO/CoRR+posw0w0+w0.litmus
./CO/CoRR+posw4w0+w0.litmus
./CO/CoRR+posq0w0+w0.litmus
./CO/CoRW2+posw0w0+w0.litmus
./CO/CoRW2+posw4w0+w0.litmus
./CO/CoRW2+posq0w0+w0.litmus
./CO/MP+posw0w0s.litmus
./CO/MP+posw0w0+posw4w0.litmus
./CO/MP+posw0w0+posq0w0.litmus
./CO/S+posw0w0s.litmus
./CO/S+posw0w0+posw4w0.litmus
./CO/S+posw0w0+posq0w0.litmus
./CO/MP+posw0w0+posw0w4.litmus
./CO/MP+posw0w0+posw4w4.litmus
./CO/MP+posw0w0+posq0w4.litmus
./CO/S+posw0w0+posw0w4.litmus
./CO/S+posw0w0+posw4w4.litmus
./CO/S+posw0w0+posq0w4.litmus
./CO/MP+posw0w0+posw0q0.litmus
./CO/MP+posw0w0+posw4q0.litmus
./CO/MP+posw0w0+posq0q0.litmus
./CO/S+posw0w0+posw0q0.litmus
./CO/S+posw0w0+posw4q0.litmus
./CO/S+posw0w0+posq0q0.litmus
./CO/LB+posw0w0s.litmus
./CO/LB+posw0w0+posw4w0.litmus
./CO/LB+posw0w0+posq0w0.litmus
./CO/LB+posw0w0+posw0w4.litmus
./CO/LB+posw0w0+posw4w4.litmus
./CO/LB+posw0w0+posq0w4.litmus
./CO/LB+posw0w0+posw0q0.litmus
./CO/LB+posw0w0+posw4q0.litmus
./CO/LB+posw0w0+posq0q0.litmus
./CO/CoRR+posw0w4+w0.litmus
./CO/CoRR+posw4w4+w0.litmus
./CO/CoRR+posq0w4+w0.litmus
./CO/CoRW2+posw0w4+w0.litmus
./CO/CoRW2+posw4w4+w0.litmus
./CO/CoRW2+posq0w4+w0.litmus
./CO/MP+posw4w0+posw0w0.litmus
./CO/MP+posw4w0s.litmus
./CO/MP+posw4w0+posq0w0.litmus
./CO/S+posw4w0+posw0w0.litmus
./CO/S+posw4w0s.litmus
./CO/S+posw4w0+posq0w0.litmus
./CO/MP+posw4w0+posw0w4.litmus
./CO/MP+posw4w0+posw4w4.litmus
./CO/MP+posw4w0+posq0w4.litmus
./CO/S+posw4w0+posw0w4.litmus
./CO/S+posw4w0+posw4w4.litmus
./CO/S+posw4w0+posq0w4.litmus
./CO/MP+posw4w0+posw0q0.litmus
./CO/MP+posw4w0+posw4q0.litmus
./CO/MP+posw4w0+posq0q0.litmus
./CO/S+posw4w0+posw0q0.litmus
./CO/S+posw4w0+posw4q0.litmus
./CO/S+posw4w0+posq0q0.litmus
./CO/LB+posw4w0s.litmus
./CO/LB+posw4w0+posq0w0.litmus
./CO/LB+posw0w4+posw4w0.litmus
./CO/LB+posw4w0+posw4w4.litmus
./CO/LB+posw4w0+posq0w4.litmus
./CO/LB+posw0q0+posw4w0.litmus
./CO/LB+posw4w0+posw4q0.litmus
./CO/LB+posw4w0+posq0q0.litmus
./CO/CoRR+posw0q0+w0.litmus
./CO/CoRR+posw4q0+w0.litmus
./CO/CoRR+posq0q0+w0.litmus
./CO/CoRW2+posw0q0+w0.litmus
./CO/CoRW2+posw4q0+w0.litmus
./CO/CoRW2+posq0q0+w0.litmus
./CO/MP+posq0w0+posw0w0.litmus
./CO/MP+posq0w0+posw4w0.litmus
./CO/MP+posq0w0s.litmus
./CO/S+posq0w0+posw0w0.litmus
./CO/S+posq0w0+posw4w0.litmus
./CO/S+posq0w0s.litmus
./CO/MP+posq0w0+posw0w4.litmus
./CO/MP+posq0w0+posw4w4.litmus
./CO/MP+posq0w0+posq0w4.litmus
./CO/S+posq0w0+posw0w4.litmus
./CO/S+posq0w0+posw4w4.litmus
./CO/S+posq0w0+posq0w4.litmus
./CO/MP+posq0w0+posw0q0.litmus
./CO/MP+posq0w0+posw4q0.litmus
./CO/MP+posq0w0+posq0q0.litmus
./CO/S+posq0w0+posw0q0.litmus
./CO/S+posq0w0+posw4q0.litmus
./CO/S+posq0w0+posq0q0.litmus
./CO/LB+posq0w0s.litmus
./CO/LB+posw0w4+posq0w0.litmus
./CO/LB+posw4w4+posq0w0.litmus
./CO/LB+posq0w0+posq0w4.litmus
./CO/LB+posw0q0+posq0w0.litmus
./CO/LB+posw4q0+posq0w0.litmus
./CO/LB+posq0w0+posq0q0.litmus
./CO/SB+posw0w0s.litmus
./CO/SB+posw0w0+posw4w0.litmus
./CO/SB+posw0w0+posq0w0.litmus
./CO/R+posw0w0s.litmus
./CO/R+posw4w0+posw0w0.litmus
./CO/R+posq0w0+posw0w0.litmus
./CO/SB+posw0w0+posw0w4.litmus
./CO/SB+posw0w0+posw4w4.litmus
./CO/SB+posw0w0+posq0w4.litmus
./CO/R+posw0w4+posw0w0.litmus
./CO/R+posw4w4+posw0w0.litmus
./CO/R+posq0w4+posw0w0.litmus
./CO/SB+posw0w0+posw0q0.litmus
./CO/SB+posw0w0+posw4q0.litmus
./CO/SB+posw0w0+posq0q0.litmus
./CO/R+posw0q0+posw0w0.litmus
./CO/R+posw4q0+posw0w0.litmus
./CO/R+posq0q0+posw0w0.litmus
./CO/CoRR+posw0w0+w4.litmus
./CO/MP+posw0w4+posw0w0.litmus
./CO/MP+posw4w4+posw0w0.litmus
./CO/MP+posq0w4+posw0w0.litmus
./CO/CoRR+posw0w0+q0.litmus
./CO/MP+posw0q0+posw0w0.litmus
./CO/MP+posw4q0+posw0w0.litmus
./CO/MP+posq0q0+posw0w0.litmus
./CO/SB+posw4w0s.litmus
./CO/SB+posw4w0+posq0w0.litmus
./CO/R+posw0w0+posw4w0.litmus
./CO/R+posw4w0s.litmus
./CO/R+posq0w0+posw4w0.litmus
./CO/SB+posw0w4+posw4w0.litmus
./CO/SB+posw4w0+posw4w4.litmus
./CO/SB+posw4w0+posq0w4.litmus
./CO/R+posw0w4+posw4w0.litmus
./CO/R+posw4w4+posw4w0.litmus
./CO/R+posq0w4+posw4w0.litmus
./CO/SB+posw0q0+posw4w0.litmus
./CO/SB+posw4w0+posw4q0.litmus
./CO/SB+posw4w0+posq0q0.litmus
./CO/R+posw0q0+posw4w0.litmus
./CO/R+posw4q0+posw4w0.litmus
./CO/R+posq0q0+posw4w0.litmus
./CO/CoRR+posw4w0+w4.litmus
./CO/MP+posw0w4+posw4w0.litmus
./CO/MP+posw4w4+posw4w0.litmus
./CO/MP+posq0w4+posw4w0.litmus
./CO/CoRR+posw4w0+q0.litmus
./CO/MP+posw0q0+posw4w0.litmus
./CO/MP+posw4q0+posw4w0.litmus
./CO/MP+posq0q0+posw4w0.litmus
./CO/SB+posq0w0s.litmus
./CO/R+posw0w0+posq0w0.litmus
./CO/R+posw4w0+posq0w0.litmus
./CO/R+posq0w0s.litmus
./CO/SB+posw0w4+posq0w0.litmus
./CO/SB+posw4w4+posq0w0.litmus
./CO/SB+posq0w0+posq0w4.litmus
./CO/R+posw0w4+posq0w0.litmus
./CO/R+posw4w4+posq0w0.litmus
./CO/R+posq0w4+posq0w0.litmus
./CO/SB+posw0q0+posq0w0.litmus
./CO/SB+posw4q0+posq0w0.litmus
./CO/SB+posq0w0+posq0q0.litmus
./CO/R+posw0q0+posq0w0.litmus
./CO/R+posw4q0+posq0w0.litmus
./CO/R+posq0q0+posq0w0.litmus
./CO/CoRR+posq0w0+w4.litmus
./CO/MP+posw0w4+posq0w0.litmus
./CO/MP+posw4w4+posq0w0.litmus
./CO/MP+posq0w4+posq0w0.litmus
./CO/CoRR+posq0w0+q0.litmus
./CO/MP+posw0q0+posq0w0.litmus
./CO/MP+posw4q0+posq0w0.litmus
./CO/MP+posq0q0+posq0w0.litmus
./CO/2+2W+posw0w0s.litmus
./CO/2+2W+posw0w0+posw4w0.litmus
./CO/2+2W+posw0w0+posq0w0.litmus
./CO/R+posw0w0+posw0w4.litmus
./CO/R+posw0w0+posw4w4.litmus
./CO/R+posw0w0+posq0w4.litmus
./CO/2+2W+posw0w0+posw0w4.litmus
./CO/2+2W+posw0w0+posw4w4.litmus
./CO/2+2W+posw0w0+posq0w4.litmus
./CO/R+posw0w0+posw0q0.litmus
./CO/R+posw0w0+posw4q0.litmus
./CO/R+posw0w0+posq0q0.litmus
./CO/2+2W+posw0w0+posw0q0.litmus
./CO/2+2W+posw0w0+posw4q0.litmus
./CO/2+2W+posw0w0+posq0q0.litmus
./CO/CoRW2+posw0w0+w4.litmus
./CO/S+posw0w4+posw0w0.litmus
./CO/S+posw4w4+posw0w0.litmus
./CO/S+posq0w4+posw0w0.litmus
./CO/CoRW2+posw0w0+q0.litmus
./CO/S+posw0q0+posw0w0.litmus
./CO/S+posw4q0+posw0w0.litmus
./CO/S+posq0q0+posw0w0.litmus
./CO/2+2W+posw4w0s.litmus
./CO/2+2W+posw4w0+posq0w0.litmus
./CO/R+posw4w0+posw0w4.litmus
./CO/R+posw4w0+posw4w4.litmus
./CO/R+posw4w0+posq0w4.litmus
./CO/2+2W+posw0w4+posw4w0.litmus
./CO/2+2W+posw4w0+posw4w4.litmus
./CO/2+2W+posw4w0+posq0w4.litmus
./CO/R+posw4w0+posw0q0.litmus
./CO/R+posw4w0+posw4q0.litmus
./CO/R+posw4w0+posq0q0.litmus
./CO/2+2W+posw0q0+posw4w0.litmus
./CO/2+2W+posw4w0+posw4q0.litmus
./CO/2+2W+posw4w0+posq0q0.litmus
./CO/CoRW2+posw4w0+w4.litmus
./CO/S+posw0w4+posw4w0.litmus
./CO/S+posw4w4+posw4w0.litmus
./CO/S+posq0w4+posw4w0.litmus
./CO/CoRW2+posw4w0+q0.litmus
./CO/S+posw0q0+posw4w0.litmus
./CO/S+posw4q0+posw4w0.litmus
./CO/S+posq0q0+posw4w0.litmus
./CO/2+2W+posq0w0s.litmus
./CO/R+posq0w0+posw0w4.litmus
./CO/R+posq0w0+posw4w4.litmus
./CO/R+posq0w0+posq0w4.litmus
./CO/2+2W+posw0w4+posq0w0.litmus
./CO/2+2W+posw4w4+posq0w0.litmus
./CO/2+2W+posq0w0+posq0w4.litmus
./CO/R+posq0w0+posw0q0.litmus
./CO/R+posq0w0+posw4q0.litmus
./CO/R+posq0w0+posq0q0.litmus
./CO/2+2W+posw0q0+posq0w0.litmus
./CO/2+2W+posw4q0+posq0w0.litmus
./CO/2+2W+posq0w0+posq0q0.litmus
./CO/CoRW2+posq0w0+w4.litmus
./CO/S+posw0w4+posq0w0.litmus
./CO/S+posw4w4+posq0w0.litmus
./CO/S+posq0w4+posq0w0.litmus
./CO/CoRW2+posq0w0+q0.litmus
./CO/S+posw0q0+posq0w0.litmus
./CO/S+posw4q0+posq0w0.litmus
./CO/S+posq0q0+posq0w0.litmus
./CO/R+posw0w4s.litmus
./CO/R+posw0q0+posw0w4.litmus
./CO/MP+posw0w4s.litmus
./CO/MP+posw0q0+posw0w4.litmus
./CO/R+posw0w4+posw4w4.litmus
./CO/R+posw0q0+posw4w4.litmus
./CO/MP+posw0w4+posw4w4.litmus
./CO/MP+posw0q0+posw4w4.litmus
./CO/R+posw0w4+posq0w4.litmus
./CO/R+posw0q0+posq0w4.litmus
./CO/MP+posw0w4+posq0w4.litmus
./CO/MP+posw0q0+posq0w4.litmus
./CO/2+2W+posw0w4s.litmus
./CO/2+2W+posw0w4+posw0q0.litmus
./CO/S+posw0w4s.litmus
./CO/S+posw0q0+posw0w4.litmus
./CO/2+2W+posw0w4+posw4w4.litmus
./CO/2+2W+posw0q0+posw4w4.litmus
./CO/S+posw0w4+posw4w4.litmus
./CO/S+posw0q0+posw4w4.litmus
./CO/2+2W+posw0w4+posq0w4.litmus
./CO/2+2W+posw0q0+posq0w4.litmus
./CO/S+posw0w4+posq0w4.litmus
./CO/S+posw0q0+posq0w4.litmus
./CO/R+posw0w4+posw0q0.litmus
./CO/R+posw0q0s.litmus
./CO/MP+posw0w4+posw0q0.litmus
./CO/MP+posw0q0s.litmus
./CO/R+posw0w4+posw4q0.litmus
./CO/R+posw0q0+posw4q0.litmus
./CO/MP+posw0w4+posw4q0.litmus
./CO/MP+posw0q0+posw4q0.litmus
./CO/R+posw0w4+posq0q0.litmus
./CO/R+posw0q0+posq0q0.litmus
./CO/MP+posw0w4+posq0q0.litmus
./CO/MP+posw0q0+posq0q0.litmus
./CO/2+2W+posw0q0s.litmus
./CO/S+posw0w4+posw0q0.litmus
./CO/S+posw0q0s.litmus
./CO/2+2W+posw0w4+posw4q0.litmus
./CO/2+2W+posw0q0+posw4q0.litmus
./CO/S+posw0w4+posw4q0.litmus
./CO/S+posw0q0+posw4q0.litmus
./CO/2+2W+posw0w4+posq0q0.litmus
./CO/2+2W+posw0q0+posq0q0.litmus
./CO/S+posw0w4+posq0q0.litmus
./CO/S+posw0q0+posq0q0.litmus
./CO/SB+posw0w4s.litmus
./CO/SB+posw0w4+posw0q0.litmus
./CO/SB+posw0w4+posw4w4.litmus
./CO/SB+posw0q0+posw4w4.litmus
./CO/SB+posw0w4+posq0w4.litmus
./CO/SB+posw0q0+posq0w4.litmus
./CO/R+posw4w4+posw0w4.litmus
./CO/R+posw4w4+posw0q0.litmus
./CO/R+posq0w4+posw0w4.litmus
./CO/R+posq0w4+posw0q0.litmus
./CO/SB+posw0q0s.litmus
./CO/SB+posw0w4+posw4q0.litmus
./CO/SB+posw0q0+posw4q0.litmus
./CO/SB+posw0w4+posq0q0.litmus
./CO/SB+posw0q0+posq0q0.litmus
./CO/R+posw4q0+posw0w4.litmus
./CO/R+posw4q0+posw0q0.litmus
./CO/R+posq0q0+posw0w4.litmus
./CO/R+posq0q0+posw0q0.litmus
./CO/LB+posw0w4s.litmus
./CO/LB+posw0w4+posw0q0.litmus
./CO/CoRW2+posw0w4+w4.litmus
./CO/S+posw4w4+posw0w4.litmus
./CO/S+posw4w4+posw0q0.litmus
./CO/LB+posw0w4+posw4w4.litmus
./CO/LB+posw0q0+posw4w4.litmus
./CO/CoRW2+posw0q0+w4.litmus
./CO/S+posq0w4+posw0w4.litmus
./CO/S+posq0w4+posw0q0.litmus
./CO/LB+posw0w4+posq0w4.litmus
./CO/LB+posw0q0+posq0w4.litmus
./CO/LB+posw0q0s.litmus
./CO/CoRW2+posw0w4+q0.litmus
./CO/S+posw4q0+posw0w4.litmus
./CO/S+posw4q0+posw0q0.litmus
./CO/LB+posw0w4+posw4q0.litmus
./CO/LB+posw0q0+posw4q0.litmus
./CO/CoRW2+posw0q0+q0.litmus
./CO/S+posq0q0+posw0w4.litmus
./CO/S+posq0q0+posw0q0.litmus
./CO/LB+posw0w4+posq0q0.litmus
./CO/LB+posw0q0+posq0q0.litmus
./CO/CoRR+posw0w4+w4.litmus
./CO/MP+posw4w4+posw0w4.litmus
./CO/MP+posw4w4+posw0q0.litmus
./CO/CoRR+posw0q0+w4.litmus
./CO/MP+posq0w4+posw0w4.litmus
./CO/MP+posq0w4+posw0q0.litmus
./CO/CoRR+posw0w4+q0.litmus
./CO/MP+posw4q0+posw0w4.litmus
./CO/MP+posw4q0+posw0q0.litmus
./CO/CoRR+posw0q0+q0.litmus
./CO/MP+posq0q0+posw0w4.litmus
./CO/MP+posq0q0+posw0q0.litmus
./CO/CoRR+posw4w4+w4.litmus
./CO/CoRR+posq0w4+w4.litmus
./CO/CoRW2+posw4w4+w4.litmus
./CO/CoRW2+posq0w4+w4.litmus
./CO/MP+posw4w4s.litmus
./CO/MP+posw4w4+posq0w4.litmus
./CO/S+posw4w4s.litmus
./CO/S+posw4w4+posq0w4.litmus
./CO/MP+posw4w4+posw4q0.litmus
./CO/MP+posw4w4+posq0q0.litmus
./CO/S+posw4w4+posw4q0.litmus
./CO/S+posw4w4+posq0q0.litmus
./CO/LB+posw4w4s.litmus
./CO/LB+posw4w4+posq0w4.litmus
./CO/LB+posw4w4+posw4q0.litmus
./CO/LB+posw4w4+posq0q0.litmus
./CO/CoRR+posw4q0+w4.litmus
./CO/CoRR+posq0q0+w4.litmus
./CO/CoRW2+posw4q0+w4.litmus
./CO/CoRW2+posq0q0+w4.litmus
./CO/MP+posq0w4+posw4w4.litmus
./CO/MP+posq0w4s.litmus
./CO/S+posq0w4+posw4w4.litmus
./CO/S+posq0w4s.litmus
./CO/MP+posq0w4+posw4q0.litmus
./CO/MP+posq0w4+posq0q0.litmus
./CO/S+posq0w4+posw4q0.litmus
./CO/S+posq0w4+posq0q0.litmus
./CO/LB+posq0w4s.litmus
./CO/LB+posw4q0+posq0w4.litmus
./CO/LB+posq0w4+posq0q0.litmus
./CO/SB+posw4w4s.litmus
./CO/SB+posw4w4+posq0w4.litmus
./CO/R+posw4w4s.litmus
./CO/R+posq0w4+posw4w4.litmus
./CO/SB+posw4w4+posw4q0.litmus
./CO/SB+posw4w4+posq0q0.litmus
./CO/R+posw4q0+posw4w4.litmus
./CO/R+posq0q0+posw4w4.litmus
./CO/CoRR+posw4w4+q0.litmus
./CO/MP+posw4q0+posw4w4.litmus
./CO/MP+posq0q0+posw4w4.litmus
./CO/SB+posq0w4s.litmus
./CO/R+posw4w4+posq0w4.litmus
./CO/R+posq0w4s.litmus
./CO/SB+posw4q0+posq0w4.litmus
./CO/SB+posq0w4+posq0q0.litmus
./CO/R+posw4q0+posq0w4.litmus
./CO/R+posq0q0+posq0w4.litmus
./CO/CoRR+posq0w4+q0.litmus
./CO/MP+posw4q0+posq0w4.litmus
./CO/MP+posq0q0+posq0w4.litmus
./CO/2+2W+posw4w4s.litmus
./CO/2+2W+posw4w4+posq0w4.litmus
./CO/R+posw4w4+posw4q0.litmus
./CO/R+posw4w4+posq0q0.litmus
./CO/2+2W+posw4w4+posw4q0.litmus
./CO/2+2W+posw4w4+posq0q0.litmus
./CO/CoRW2+posw4w4+q0.litmus
./CO/S+posw4q0+posw4w4.litmus
./CO/S+posq0q0+posw4w4.litmus
./CO/2+2W+posq0w4s.litmus
./CO/R+posq0w4+posw4q0.litmus
./CO/R+posq0w4+posq0q0.litmus
./CO/2+2W+posw4q0+posq0w4.litmus
./CO/2+2W+posq0w4+posq0q0.litmus
./CO/CoRW2+posq0w4+q0.litmus
./CO/S+posw4q0+posq0w4.litmus
./CO/S+posq0q0+posq0w4.litmus
./CO/R+posw4q0s.litmus
./CO/MP+posw4q0s.litmus
./CO/R+posw4q0+posq0q0.litmus
./CO/MP+posw4q0+posq0q0.litmus
./CO/2+2W+posw4q0s.litmus
./CO/S+posw4q0s.litmus
./CO/2+2W+posw4q0+posq0q0.litmus
./CO/S+posw4q0+posq0q0.litmus
./CO/SB+posw4q0s.litmus
./CO/SB+posw4q0+posq0q0.litmus
./CO/R+posq0q0+posw4q0.litmus
./CO/LB+posw4q0s.litmus
./CO/CoRW2+posw4q0+q0.litmus
./CO/S+posq0q0+posw4q0.litmus
./CO/LB+posw4q0+posq0q0.litmus
./CO/CoRR+posw4q0+q0.litmus
./CO/MP+posq0q0+posw4q0.litmus
./CO/CoRR+posq0q0+q0.litmus
./CO/CoRW2+posq0q0+q0.litmus
./CO/MP+posq0q0s.litmus
./CO/S+posq0q0s.litmus
./CO/LB+posq0q0s.litmus
./CO/SB+posq0q0s.litmus
./CO/R+posq0q0s.litmus
./CO/2+2W+posq0q0s.litmus
./READ/MP+dmb.syq0q0+dmb.ldw0w4-posw4w0-posw0w4.litmus
./READ/MP+dmb.syq0q0+posw4w0-posw0w4-dmb.ldw4w0.litmus
./READ/SB+dmb.syq0w0+dmb.syq0w4-posw4w0-posw0w4.litmus
./READ/SB+dmb.syq0w4+dmb.syq0w4-posw4w0-posw0w4.litmus
./READ/R+dmb.syq0q0+dmb.syq0w4-posw4w0-posw0w4.litmus
./READ/MP+dmb.syq0q0+posw0w4-dmb.ldw4w0-posw0w4.litmus
./READ/W+RR+dmb.ldw4w0-posw0w4-dmb.ldw4w0+q0.litmus
./READ/MP+dmb.syq0q0+dmb.ldw4w0-posw0w4-posw4w0.litmus
./READ/MP+dmb.syq0q0+dmb.ldw4w0-posw0w4-dmb.ldw4w0.litmus
./READ/MP+dmb.syq0q0+dmb.ldw4w0-posw0w4.litmus
./READ/MP+dmb.syq0q0+posw0w4-dmb.ldw4w0.litmus
./READ/MP+dmb.syq0q0+posw0w4-posw4w0-dmb.ldw0w4.litmus
./READ/SB+dmb.syq0w0-posw0w4+dmb.syq0w4-posw4w0.litmus
./READ/SB+dmb.syq0w0+dmb.syq0w0-posw0w4-posw4w0.litmus
./READ/SB+dmb.syq0w0+dmb.syq0w0-posw0w4-dmb.ldw4w0.litmus
./READ/SB+dmb.syq0w0+dmb.syq0w0-posw0w4.litmus
./READ/SB+dmb.syq0w0-posw0w4s.litmus
./READ/SB+dmb.syq0w4+dmb.syq0w0-posw0w4-posw4w0.litmus
./READ/SB+dmb.syq0w4+dmb.syq0w0-posw0w4-dmb.ldw4w0.litmus
./READ/SB+dmb.syq0w4+dmb.syq0w0-posw0w4.litmus
./READ/R+dmb.syq0q0+dmb.syq0w0-posw0w4-posw4w0.litmus
./READ/R+dmb.syq0q0+dmb.syq0w0-posw0w4-dmb.ldw4w0.litmus
./READ/R+dmb.syq0q0+dmb.syq0w0-posw0w4.litmus
./READ/MP+dmb.syq0q0+posw4w0-dmb.ldw0w4-posw4w0.litmus
./READ/W+RR+dmb.ldw0w4-posw4w0-dmb.ldw0w4+q0.litmus
./READ/MP+dmb.syq0q0+dmb.ldw0w4-posw4w0.litmus
./READ/MP+dmb.syq0q0+dmb.ldw0w4-posw4w0-dmb.ldw0w4.litmus
./READ/MP+dmb.syq0q0+posw4w0-dmb.ldw0w4.litmus
./READ/SB+dmb.syq0w4-posw4w0s.litmus
./READ/SB+dmb.syq0w0+dmb.syq0w4-posw4w0.litmus
./READ/SB+dmb.syq0w0+dmb.syq0w4-posw4w0-dmb.ldw0w4.litmus
./READ/SB+dmb.syq0w4+dmb.syq0w4-posw4w0.litmus
./READ/SB+dmb.syq0w4+dmb.syq0w4-posw4w0-dmb.ldw0w4.litmus
./READ/R+dmb.syq0q0+dmb.syq0w4-posw4w0.litmus
./READ/R+dmb.syq0q0+dmb.syq0w4-posw4w0-dmb.ldw0w4.litmus
./SMALL/R+posw0w0-pow0q0s.litmus
./SMALL/R+posw0w0-pow0q0s001.litmus
./SMALL/MP+posw0w0-pow0q0s.litmus
./SMALL/MP+posw0w0-pow0q0s001.litmus
./SMALL/R+posw0w0-pow0q0+posw0w4-pow4q0.litmus
./SMALL/R+posw0w0-pow0q0+posw0w4-pow4q0001.litmus
./SMALL/MP+posw0w0-pow0q0+posw0w4-pow4q0.litmus
./SMALL/MP+posw0w0-pow0q0+posw0w4-pow4q0001.litmus
./SMALL/R+posw0w0-pow0q0+posw4w0-pow0q0.litmus
./SMALL/R+posw0w0-pow0q0+posw4w0-pow0q0001.litmus
./SMALL/MP+posw0w0-pow0q0+posw4w0-pow0q0.litmus
./SMALL/MP+posw0w0-pow0q0+posw4w0-pow0q0001.litmus
./SMALL/R+posw0w0-pow0q0+posw4w4-pow4q0.litmus
./SMALL/R+posw0w0-pow0q0+posw4w4-pow4q0001.litmus
./SMALL/MP+posw0w0-pow0q0+posw4w4-pow4q0.litmus
./SMALL/MP+posw0w0-pow0q0+posw4w4-pow4q0001.litmus
./SMALL/2+2W+posw0w0-pow0q0s.litmus
./SMALL/2+2W+posw0w0-pow0q0s001.litmus
./SMALL/S+posw0w0-pow0q0s.litmus
./SMALL/S+posw0w0-pow0q0s001.litmus
./SMALL/2+2W+posw0w0-pow0q0+posw0w4-pow4q0.litmus
./SMALL/2+2W+posw0w0-pow0q0+posw0w4-pow4q0001.litmus
./SMALL/S+posw0w0-pow0q0+posw0w4-pow4q0.litmus
./SMALL/S+posw0w0-pow0q0+posw0w4-pow4q0001.litmus
./SMALL/2+2W+posw0w0-pow0q0+posw4w0-pow0q0.litmus
./SMALL/2+2W+posw0w0-pow0q0+posw4w0-pow0q0001.litmus
./SMALL/S+posw0w0-pow0q0+posw4w0-pow0q0.litmus
./SMALL/S+posw0w0-pow0q0+posw4w0-pow0q0001.litmus
./SMALL/2+2W+posw0w0-pow0q0+posw4w4-pow4q0.litmus
./SMALL/2+2W+posw0w0-pow0q0+posw4w4-pow4q0001.litmus
./SMALL/S+posw0w0-pow0q0+posw4w4-pow4q0.litmus
./SMALL/S+posw0w0-pow0q0+posw4w4-pow4q0001.litmus
./SMALL/SB+posw0w0-pow0q0s.litmus
./SMALL/SB+posw0w0-pow0q0s001.litmus
./SMALL/SB+posw0w0-pow0q0+posw0w4-pow4q0.litmus
./SMALL/SB+posw0w0-pow0q0+posw0w4-pow4q0001.litmus
./SMALL/SB+posw0w0-pow0q0+posw4w0-pow0q0.litmus
./SMALL/SB+posw0w0-pow0q0+posw4w0-pow0q0001.litmus
./SMALL/SB+posw0w0-pow0q0+posw4w4-pow4q0.litmus
./SMALL/SB+posw0w0-pow0q0+posw4w4-pow4q0001.litmus
./SMALL/R+posw0w0-pow0q0s002.litmus
./SMALL/R+posw0w4-pow4q0+posw0w0-pow0q0.litmus
./SMALL/R+posw0w4-pow4q0+posw0w0-pow0q0001.litmus
./SMALL/R+posw4w0-pow0q0+posw0w0-pow0q0.litmus
./SMALL/R+posw4w0-pow0q0+posw0w0-pow0q0001.litmus
./SMALL/R+posw4w4-pow4q0+posw0w0-pow0q0.litmus
./SMALL/R+posw4w4-pow4q0+posw0w0-pow0q0001.litmus
./SMALL/R+posw0w0-pow0q0s003.litmus
./SMALL/MP+posw0w0-pow0q0s002.litmus
./SMALL/MP+posw0w0-pow0q0s003.litmus
./SMALL/R+posw0w0-pow0q0+posw0w4-pow4q0002.litmus
./SMALL/R+posw0w0-pow0q0+posw0w4-pow4q0003.litmus
./SMALL/MP+posw0w0-pow0q0+posw0w4-pow4q0002.litmus
./SMALL/MP+posw0w0-pow0q0+posw0w4-pow4q0003.litmus
./SMALL/R+posw0w0-pow0q0+posw4w0-pow0q0002.litmus
./SMALL/R+posw0w0-pow0q0+posw4w0-pow0q0003.litmus
./SMALL/MP+posw0w0-pow0q0+posw4w0-pow0q0002.litmus
./SMALL/MP+posw0w0-pow0q0+posw4w0-pow0q0003.litmus
./SMALL/R+posw0w0-pow0q0+posw4w4-pow4q0002.litmus
./SMALL/R+posw0w0-pow0q0+posw4w4-pow4q0003.litmus
./SMALL/MP+posw0w0-pow0q0+posw4w4-pow4q0002.litmus
./SMALL/MP+posw0w0-pow0q0+posw4w4-pow4q0003.litmus
./SMALL/2+2W+posw0w0-pow0q0s002.litmus
./SMALL/S+posw0w0-pow0q0s002.litmus
./SMALL/S+posw0w0-pow0q0s003.litmus
./SMALL/2+2W+posw0w4-pow4q0+posw0w0-pow0q0.litmus
./SMALL/2+2W+posw0w0-pow0q0+posw0w4-pow4q0002.litmus
./SMALL/S+posw0w0-pow0q0+posw0w4-pow4q0002.litmus
./SMALL/S+posw0w0-pow0q0+posw0w4-pow4q0003.litmus
./SMALL/2+2W+posw4w0-pow0q0+posw0w0-pow0q0.litmus
./SMALL/2+2W+posw0w0-pow0q0+posw4w0-pow0q0002.litmus
./SMALL/S+posw0w0-pow0q0+posw4w0-pow0q0002.litmus
./SMALL/S+posw0w0-pow0q0+posw4w0-pow0q0003.litmus
./SMALL/2+2W+posw4w4-pow4q0+posw0w0-pow0q0.litmus
./SMALL/2+2W+posw0w0-pow0q0+posw4w4-pow4q0002.litmus
./SMALL/S+posw0w0-pow0q0+posw4w4-pow4q0002.litmus
./SMALL/S+posw0w0-pow0q0+posw4w4-pow4q0003.litmus
./SMALL/SB+posw0w0-pow0q0s002.litmus
./SMALL/SB+posw0w4-pow4q0+posw0w0-pow0q0.litmus
./SMALL/SB+posw0w0-pow0q0+posw0w4-pow4q0002.litmus
./SMALL/SB+posw4w0-pow0q0+posw0w0-pow0q0.litmus
./SMALL/SB+posw0w0-pow0q0+posw4w0-pow0q0002.litmus
./SMALL/SB+posw4w4-pow4q0+posw0w0-pow0q0.litmus
./SMALL/SB+posw0w0-pow0q0+posw4w4-pow4q0002.litmus
./SMALL/R+posw0w4-pow4q0+posw0w0-pow0q0002.litmus
./SMALL/R+posw0w4-pow4q0+posw0w0-pow0q0003.litmus
./SMALL/R+posw4w0-pow0q0+posw0w0-pow0q0002.litmus
./SMALL/R+posw4w0-pow0q0+posw0w0-pow0q0003.litmus
./SMALL/R+posw4w4-pow4q0+posw0w0-pow0q0002.litmus
./SMALL/R+posw4w4-pow4q0+posw0w0-pow0q0003.litmus
./SMALL/LB+posw0w0-pow0q0s.litmus
./SMALL/LB+posw0w0-pow0q0s001.litmus
./SMALL/S+posw0w4-pow4q0+posw0w0-pow0q0.litmus
./SMALL/S+posw0w4-pow4q0+posw0w0-pow0q0001.litmus
./SMALL/LB+posw0w0-pow0q0+posw0w4-pow4q0.litmus
./SMALL/LB+posw0w0-pow0q0+posw0w4-pow4q0001.litmus
./SMALL/S+posw4w0-pow0q0+posw0w0-pow0q0.litmus
./SMALL/S+posw4w0-pow0q0+posw0w0-pow0q0001.litmus
./SMALL/LB+posw0w0-pow0q0+posw4w0-pow0q0.litmus
./SMALL/LB+posw0w0-pow0q0+posw4w0-pow0q0001.litmus
./SMALL/S+posw4w4-pow4q0+posw0w0-pow0q0.litmus
./SMALL/S+posw4w4-pow4q0+posw0w0-pow0q0001.litmus
./SMALL/LB+posw0w0-pow0q0+posw4w4-pow4q0.litmus
./SMALL/LB+posw0w0-pow0q0+posw4w4-pow4q0001.litmus
./SMALL/MP+posw0w4-pow4q0+posw0w0-pow0q0.litmus
./SMALL/MP+posw0w4-pow4q0+posw0w0-pow0q0001.litmus
./SMALL/MP+posw4w0-pow0q0+posw0w0-pow0q0.litmus
./SMALL/MP+posw4w0-pow0q0+posw0w0-pow0q0001.litmus
./SMALL/MP+posw4w4-pow4q0+posw0w0-pow0q0.litmus
./SMALL/MP+posw4w4-pow4q0+posw0w0-pow0q0001.litmus
./SMALL/LB+posw0w0-pow0q0s002.litmus
./SMALL/S+posw0w4-pow4q0+posw0w0-pow0q0002.litmus
./SMALL/S+posw0w4-pow4q0+posw0w0-pow0q0003.litmus
./SMALL/LB+posw0w4-pow4q0+posw0w0-pow0q0.litmus
./SMALL/LB+posw0w0-pow0q0+posw0w4-pow4q0002.litmus
./SMALL/S+posw4w0-pow0q0+posw0w0-pow0q0002.litmus
./SMALL/S+posw4w0-pow0q0+posw0w0-pow0q0003.litmus
./SMALL/LB+posw4w0-pow0q0+posw0w0-pow0q0.litmus
./SMALL/LB+posw0w0-pow0q0+posw4w0-pow0q0002.litmus
./SMALL/S+posw4w4-pow4q0+posw0w0-pow0q0002.litmus
./SMALL/S+posw4w4-pow4q0+posw0w0-pow0q0003.litmus
./SMALL/LB+posw4w4-pow4q0+posw0w0-pow0q0.litmus
./SMALL/LB+posw0w0-pow0q0+posw4w4-pow4q0002.litmus
./SMALL/MP+posw0w4-pow4q0+posw0w0-pow0q0002.litmus
./SMALL/MP+posw0w4-pow4q0+posw0w0-pow0q0003.litmus
./SMALL/MP+posw4w0-pow0q0+posw0w0-pow0q0002.litmus
./SMALL/MP+posw4w0-pow0q0+posw0w0-pow0q0003.litmus
./SMALL/MP+posw4w4-pow4q0+posw0w0-pow0q0002.litmus
./SMALL/MP+posw4w4-pow4q0+posw0w0-pow0q0003.litmus
./SMALL/R+posw0w4-pow4q0s.litmus
./SMALL/R+posw0w4-pow4q0s001.litmus
./SMALL/MP+posw0w4-pow4q0s.litmus
./SMALL/MP+posw0w4-pow4q0s001.litmus
./SMALL/R+posw0w4-pow4q0+posw4w0-pow0q0.litmus
./SMALL/R+posw0w4-pow4q0+posw4w0-pow0q0001.litmus
./SMALL/MP+posw0w4-pow4q0+posw4w0-pow0q0.litmus
./SMALL/MP+posw0w4-pow4q0+posw4w0-pow0q0001.litmus
./SMALL/R+posw0w4-pow4q0+posw4w4-pow4q0.litmus
./SMALL/R+posw0w4-pow4q0+posw4w4-pow4q0001.litmus
./SMALL/MP+posw0w4-pow4q0+posw4w4-pow4q0.litmus
./SMALL/MP+posw0w4-pow4q0+posw4w4-pow4q0001.litmus
./SMALL/2+2W+posw0w4-pow4q0s.litmus
./SMALL/2+2W+posw0w4-pow4q0s001.litmus
./SMALL/S+posw0w4-pow4q0s.litmus
./SMALL/S+posw0w4-pow4q0s001.litmus
./SMALL/2+2W+posw0w4-pow4q0+posw4w0-pow0q0.litmus
./SMALL/2+2W+posw0w4-pow4q0+posw4w0-pow0q0001.litmus
./SMALL/S+posw0w4-pow4q0+posw4w0-pow0q0.litmus
./SMALL/S+posw0w4-pow4q0+posw4w0-pow0q0001.litmus
./SMALL/2+2W+posw0w4-pow4q0+posw4w4-pow4q0.litmus
./SMALL/2+2W+posw0w4-pow4q0+posw4w4-pow4q0001.litmus
./SMALL/S+posw0w4-pow4q0+posw4w4-pow4q0.litmus
./SMALL/S+posw0w4-pow4q0+posw4w4-pow4q0001.litmus
./SMALL/SB+posw0w4-pow4q0s.litmus
./SMALL/SB+posw0w4-pow4q0s001.litmus
./SMALL/SB+posw0w4-pow4q0+posw4w0-pow0q0.litmus
./SMALL/SB+posw0w4-pow4q0+posw4w0-pow0q0001.litmus
./SMALL/SB+posw0w4-pow4q0+posw4w4-pow4q0.litmus
./SMALL/SB+posw0w4-pow4q0+posw4w4-pow4q0001.litmus
./SMALL/R+posw0w4-pow4q0s002.litmus
./SMALL/R+posw4w0-pow0q0+posw0w4-pow4q0.litmus
./SMALL/R+posw4w0-pow0q0+posw0w4-pow4q0001.litmus
./SMALL/R+posw4w4-pow4q0+posw0w4-pow4q0.litmus
./SMALL/R+posw4w4-pow4q0+posw0w4-pow4q0001.litmus
./SMALL/R+posw0w4-pow4q0s003.litmus
./SMALL/MP+posw0w4-pow4q0s002.litmus
./SMALL/MP+posw0w4-pow4q0s003.litmus
./SMALL/R+posw0w4-pow4q0+posw4w0-pow0q0002.litmus
./SMALL/R+posw0w4-pow4q0+posw4w0-pow0q0003.litmus
./SMALL/MP+posw0w4-pow4q0+posw4w0-pow0q0002.litmus
./SMALL/MP+posw0w4-pow4q0+posw4w0-pow0q0003.litmus
./SMALL/R+posw0w4-pow4q0+posw4w4-pow4q0002.litmus
./SMALL/R+posw0w4-pow4q0+posw4w4-pow4q0003.litmus
./SMALL/MP+posw0w4-pow4q0+posw4w4-pow4q0002.litmus
./SMALL/MP+posw0w4-pow4q0+posw4w4-pow4q0003.litmus
./SMALL/2+2W+posw0w4-pow4q0s002.litmus
./SMALL/S+posw0w4-pow4q0s002.litmus
./SMALL/S+posw0w4-pow4q0s003.litmus
./SMALL/2+2W+posw4w0-pow0q0+posw0w4-pow4q0.litmus
./SMALL/2+2W+posw0w4-pow4q0+posw4w0-pow0q0002.litmus
./SMALL/S+posw0w4-pow4q0+posw4w0-pow0q0002.litmus
./SMALL/S+posw0w4-pow4q0+posw4w0-pow0q0003.litmus
./SMALL/2+2W+posw4w4-pow4q0+posw0w4-pow4q0.litmus
./SMALL/2+2W+posw0w4-pow4q0+posw4w4-pow4q0002.litmus
./SMALL/S+posw0w4-pow4q0+posw4w4-pow4q0002.litmus
./SMALL/S+posw0w4-pow4q0+posw4w4-pow4q0003.litmus
./SMALL/SB+posw0w4-pow4q0s002.litmus
./SMALL/SB+posw4w0-pow0q0+posw0w4-pow4q0.litmus
./SMALL/SB+posw0w4-pow4q0+posw4w0-pow0q0002.litmus
./SMALL/SB+posw4w4-pow4q0+posw0w4-pow4q0.litmus
./SMALL/SB+posw0w4-pow4q0+posw4w4-pow4q0002.litmus
./SMALL/R+posw4w0-pow0q0+posw0w4-pow4q0002.litmus
./SMALL/R+posw4w0-pow0q0+posw0w4-pow4q0003.litmus
./SMALL/R+posw4w4-pow4q0+posw0w4-pow4q0002.litmus
./SMALL/R+posw4w4-pow4q0+posw0w4-pow4q0003.litmus
./SMALL/LB+posw0w4-pow4q0s.litmus
./SMALL/LB+posw0w4-pow4q0s001.litmus
./SMALL/S+posw4w0-pow0q0+posw0w4-pow4q0.litmus
./SMALL/S+posw4w0-pow0q0+posw0w4-pow4q0001.litmus
./SMALL/LB+posw0w4-pow4q0+posw4w0-pow0q0.litmus
./SMALL/LB+posw0w4-pow4q0+posw4w0-pow0q0001.litmus
./SMALL/S+posw4w4-pow4q0+posw0w4-pow4q0.litmus
./SMALL/S+posw4w4-pow4q0+posw0w4-pow4q0001.litmus
./SMALL/LB+posw0w4-pow4q0+posw4w4-pow4q0.litmus
./SMALL/LB+posw0w4-pow4q0+posw4w4-pow4q0001.litmus
./SMALL/MP+posw4w0-pow0q0+posw0w4-pow4q0.litmus
./SMALL/MP+posw4w0-pow0q0+posw0w4-pow4q0001.litmus
./SMALL/MP+posw4w4-pow4q0+posw0w4-pow4q0.litmus
./SMALL/MP+posw4w4-pow4q0+posw0w4-pow4q0001.litmus
./SMALL/LB+posw0w4-pow4q0s002.litmus
./SMALL/S+posw4w0-pow0q0+posw0w4-pow4q0002.litmus
./SMALL/S+posw4w0-pow0q0+posw0w4-pow4q0003.litmus
./SMALL/LB+posw4w0-pow0q0+posw0w4-pow4q0.litmus
./SMALL/LB+posw0w4-pow4q0+posw4w0-pow0q0002.litmus
./SMALL/S+posw4w4-pow4q0+posw0w4-pow4q0002.litmus
./SMALL/S+posw4w4-pow4q0+posw0w4-pow4q0003.litmus
./SMALL/LB+posw4w4-pow4q0+posw0w4-pow4q0.litmus
./SMALL/LB+posw0w4-pow4q0+posw4w4-pow4q0002.litmus
./SMALL/MP+posw4w0-pow0q0+posw0w4-pow4q0002.litmus
./SMALL/MP+posw4w0-pow0q0+posw0w4-pow4q0003.litmus
./SMALL/MP+posw4w4-pow4q0+posw0w4-pow4q0002.litmus
./SMALL/MP+posw4w4-pow4q0+posw0w4-pow4q0003.litmus
./SMALL/R+posw4w0-pow0q0s.litmus
./SMALL/R+posw4w0-pow0q0s001.litmus
./SMALL/MP+posw4w0-pow0q0s.litmus
./SMALL/MP+posw4w0-pow0q0s001.litmus
./SMALL/R+posw4w0-pow0q0+posw4w4-pow4q0.litmus
./SMALL/R+posw4w0-pow0q0+posw4w4-pow4q0001.litmus
./SMALL/MP+posw4w0-pow0q0+posw4w4-pow4q0.litmus
./SMALL/MP+posw4w0-pow0q0+posw4w4-pow4q0001.litmus
./SMALL/2+2W+posw4w0-pow0q0s.litmus
./SMALL/2+2W+posw4w0-pow0q0s001.litmus
./SMALL/S+posw4w0-pow0q0s.litmus
./SMALL/S+posw4w0-pow0q0s001.litmus
./SMALL/2+2W+posw4w0-pow0q0+posw4w4-pow4q0.litmus
./SMALL/2+2W+posw4w0-pow0q0+posw4w4-pow4q0001.litmus
./SMALL/S+posw4w0-pow0q0+posw4w4-pow4q0.litmus
./SMALL/S+posw4w0-pow0q0+posw4w4-pow4q0001.litmus
./SMALL/SB+posw4w0-pow0q0s.litmus
./SMALL/SB+posw4w0-pow0q0s001.litmus
./SMALL/SB+posw4w0-pow0q0+posw4w4-pow4q0.litmus
./SMALL/SB+posw4w0-pow0q0+posw4w4-pow4q0001.litmus
./SMALL/R+posw4w0-pow0q0s002.litmus
./SMALL/R+posw4w4-pow4q0+posw4w0-pow0q0.litmus
./SMALL/R+posw4w4-pow4q0+posw4w0-pow0q0001.litmus
./SMALL/R+posw4w0-pow0q0s003.litmus
./SMALL/MP+posw4w0-pow0q0s002.litmus
./SMALL/MP+posw4w0-pow0q0s003.litmus
./SMALL/R+posw4w0-pow0q0+posw4w4-pow4q0002.litmus
./SMALL/R+posw4w0-pow0q0+posw4w4-pow4q0003.litmus
./SMALL/MP+posw4w0-pow0q0+posw4w4-pow4q0002.litmus
./SMALL/MP+posw4w0-pow0q0+posw4w4-pow4q0003.litmus
./SMALL/2+2W+posw4w0-pow0q0s002.litmus
./SMALL/S+posw4w0-pow0q0s002.litmus
./SMALL/S+posw4w0-pow0q0s003.litmus
./SMALL/2+2W+posw4w4-pow4q0+posw4w0-pow0q0.litmus
./SMALL/2+2W+posw4w0-pow0q0+posw4w4-pow4q0002.litmus
./SMALL/S+posw4w0-pow0q0+posw4w4-pow4q0002.litmus
./SMALL/S+posw4w0-pow0q0+posw4w4-pow4q0003.litmus
./SMALL/SB+posw4w0-pow0q0s002.litmus
./SMALL/SB+posw4w4-pow4q0+posw4w0-pow0q0.litmus
./SMALL/SB+posw4w0-pow0q0+posw4w4-pow4q0002.litmus
./SMALL/R+posw4w4-pow4q0+posw4w0-pow0q0002.litmus
./SMALL/R+posw4w4-pow4q0+posw4w0-pow0q0003.litmus
./SMALL/LB+posw4w0-pow0q0s.litmus
./SMALL/LB+posw4w0-pow0q0s001.litmus
./SMALL/S+posw4w4-pow4q0+posw4w0-pow0q0.litmus
./SMALL/S+posw4w4-pow4q0+posw4w0-pow0q0001.litmus
./SMALL/LB+posw4w0-pow0q0+posw4w4-pow4q0.litmus
./SMALL/LB+posw4w0-pow0q0+posw4w4-pow4q0001.litmus
./SMALL/MP+posw4w4-pow4q0+posw4w0-pow0q0.litmus
./SMALL/MP+posw4w4-pow4q0+posw4w0-pow0q0001.litmus
./SMALL/LB+posw4w0-pow0q0s002.litmus
./SMALL/S+posw4w4-pow4q0+posw4w0-pow0q0002.litmus
./SMALL/S+posw4w4-pow4q0+posw4w0-pow0q0003.litmus
./SMALL/LB+posw4w4-pow4q0+posw4w0-pow0q0.litmus
./SMALL/LB+posw4w0-pow0q0+posw4w4-pow4q0002.litmus
./SMALL/MP+posw4w4-pow4q0+posw4w0-pow0q0002.litmus
./SMALL/MP+posw4w4-pow4q0+posw4w0-pow0q0003.litmus
./SMALL/R+posw4w4-pow4q0s.litmus
./SMALL/R+posw4w4-pow4q0s001.litmus
./SMALL/MP+posw4w4-pow4q0s.litmus
./SMALL/MP+posw4w4-pow4q0s001.litmus
./SMALL/2+2W+posw4w4-pow4q0s.litmus
./SMALL/2+2W+posw4w4-pow4q0s001.litmus
./SMALL/S+posw4w4-pow4q0s.litmus
./SMALL/S+posw4w4-pow4q0s001.litmus
./SMALL/SB+posw4w4-pow4q0s.litmus
./SMALL/SB+posw4w4-pow4q0s001.litmus
./SMALL/R+posw4w4-pow4q0s002.litmus
./SMALL/R+posw4w4-pow4q0s003.litmus
./SMALL/MP+posw4w4-pow4q0s002.litmus
./SMALL/MP+posw4w4-pow4q0s003.litmus
./SMALL/2+2W+posw4w4-pow4q0s002.litmus
./SMALL/S+posw4w4-pow4q0s002.litmus
./SMALL/S+posw4w4-pow4q0s003.litmus
./SMALL/SB+posw4w4-pow4q0s002.litmus
./SMALL/LB+posw4w4-pow4q0s.litmus
./SMALL/LB+posw4w4-pow4q0s001.litmus
./SMALL/LB+posw4w4-pow4q0s002.litmus
./SMALL/R+poq0w0-posw0w0s.litmus
./SMALL/R+poq0w0-posw0w0s001.litmus
./SMALL/MP+poq0w0-posw0w0s.litmus
./SMALL/MP+poq0w0-posw0w0s001.litmus
./SMALL/R+poq0w0-posw0w0+poq0w4-posw4w0.litmus
./SMALL/R+poq0w0-posw0w0+poq0w4-posw4w0001.litmus
./SMALL/MP+poq0w0-posw0w0+poq0w4-posw4w0.litmus
./SMALL/MP+poq0w0-posw0w0+poq0w4-posw4w0001.litmus
./SMALL/2+2W+poq0w0-posw0w0s.litmus
./SMALL/2+2W+poq0w0-posw0w0s001.litmus
./SMALL/S+poq0w0-posw0w0s.litmus
./SMALL/S+poq0w0-posw0w0s001.litmus
./SMALL/2+2W+poq0w0-posw0w0+poq0w4-posw4w0.litmus
./SMALL/2+2W+poq0w0-posw0w0+poq0w4-posw4w0001.litmus
./SMALL/S+poq0w0-posw0w0+poq0w4-posw4w0.litmus
./SMALL/S+poq0w0-posw0w0+poq0w4-posw4w0001.litmus
./SMALL/R+poq0w0-posw0w0+poq0w0-posw0w4.litmus
./SMALL/R+poq0w0-posw0w0+poq0w0-posw0w4001.litmus
./SMALL/MP+poq0w0-posw0w0+poq0w0-posw0w4.litmus
./SMALL/MP+poq0w0-posw0w0+poq0w0-posw0w4001.litmus
./SMALL/R+poq0w0-posw0w0+poq0w4-posw4w4.litmus
./SMALL/R+poq0w0-posw0w0+poq0w4-posw4w4001.litmus
./SMALL/MP+poq0w0-posw0w0+poq0w4-posw4w4.litmus
./SMALL/MP+poq0w0-posw0w0+poq0w4-posw4w4001.litmus
./SMALL/2+2W+poq0w0-posw0w0+poq0w0-posw0w4.litmus
./SMALL/2+2W+poq0w0-posw0w0+poq0w0-posw0w4001.litmus
./SMALL/S+poq0w0-posw0w0+poq0w0-posw0w4.litmus
./SMALL/S+poq0w0-posw0w0+poq0w0-posw0w4001.litmus
./SMALL/2+2W+poq0w0-posw0w0+poq0w4-posw4w4.litmus
./SMALL/2+2W+poq0w0-posw0w0+poq0w4-posw4w4001.litmus
./SMALL/S+poq0w0-posw0w0+poq0w4-posw4w4.litmus
./SMALL/S+poq0w0-posw0w0+poq0w4-posw4w4001.litmus
./SMALL/SB+poq0w0-posw0w0s.litmus
./SMALL/SB+poq0w0-posw0w0s001.litmus
./SMALL/SB+poq0w0-posw0w0+poq0w4-posw4w0.litmus
./SMALL/SB+poq0w0-posw0w0+poq0w4-posw4w0001.litmus
./SMALL/R+poq0w0-posw0w0s002.litmus
./SMALL/R+poq0w4-posw4w0+poq0w0-posw0w0.litmus
./SMALL/R+poq0w4-posw4w0+poq0w0-posw0w0001.litmus
./SMALL/SB+poq0w0-posw0w0+poq0w0-posw0w4.litmus
./SMALL/SB+poq0w0-posw0w0+poq0w0-posw0w4001.litmus
./SMALL/SB+poq0w0-posw0w0+poq0w4-posw4w4.litmus
./SMALL/SB+poq0w0-posw0w0+poq0w4-posw4w4001.litmus
./SMALL/R+poq0w0-posw0w4+poq0w0-posw0w0.litmus
./SMALL/R+poq0w0-posw0w4+poq0w0-posw0w0001.litmus
./SMALL/R+poq0w4-posw4w4+poq0w0-posw0w0.litmus
./SMALL/R+poq0w4-posw4w4+poq0w0-posw0w0001.litmus
./SMALL/R+poq0w0-posw0w4+poq0w0-posw0w0002.litmus
./SMALL/MP+poq0w0-posw0w4+poq0w0-posw0w0.litmus
./SMALL/MP+poq0w0-posw0w4+poq0w0-posw0w0001.litmus
./SMALL/R+poq0w0-posw0w4+poq0w4-posw4w0.litmus
./SMALL/R+poq0w0-posw0w4+poq0w4-posw4w0001.litmus
./SMALL/MP+poq0w0-posw0w4+poq0w4-posw4w0.litmus
./SMALL/MP+poq0w0-posw0w4+poq0w4-posw4w0001.litmus
./SMALL/2+2W+poq0w0-posw0w4+poq0w0-posw0w0.litmus
./SMALL/S+poq0w0-posw0w4+poq0w0-posw0w0.litmus
./SMALL/S+poq0w0-posw0w4+poq0w0-posw0w0001.litmus
./SMALL/2+2W+poq0w0-posw0w4+poq0w4-posw4w0.litmus
./SMALL/2+2W+poq0w0-posw0w4+poq0w4-posw4w0001.litmus
./SMALL/S+poq0w0-posw0w4+poq0w4-posw4w0.litmus
./SMALL/S+poq0w0-posw0w4+poq0w4-posw4w0001.litmus
./SMALL/R+poq0w0-posw0w4s.litmus
./SMALL/R+poq0w0-posw0w4s001.litmus
./SMALL/MP+poq0w0-posw0w4s.litmus
./SMALL/MP+poq0w0-posw0w4s001.litmus
./SMALL/R+poq0w0-posw0w4+poq0w4-posw4w4.litmus
./SMALL/R+poq0w0-posw0w4+poq0w4-posw4w4001.litmus
./SMALL/MP+poq0w0-posw0w4+poq0w4-posw4w4.litmus
./SMALL/MP+poq0w0-posw0w4+poq0w4-posw4w4001.litmus
./SMALL/2+2W+poq0w0-posw0w4s.litmus
./SMALL/2+2W+poq0w0-posw0w4s001.litmus
./SMALL/S+poq0w0-posw0w4s.litmus
./SMALL/S+poq0w0-posw0w4s001.litmus
./SMALL/2+2W+poq0w0-posw0w4+poq0w4-posw4w4.litmus
./SMALL/2+2W+poq0w0-posw0w4+poq0w4-posw4w4001.litmus
./SMALL/S+poq0w0-posw0w4+poq0w4-posw4w4.litmus
./SMALL/S+poq0w0-posw0w4+poq0w4-posw4w4001.litmus
./SMALL/SB+poq0w0-posw0w4+poq0w0-posw0w0.litmus
./SMALL/SB+poq0w0-posw0w4+poq0w4-posw4w0.litmus
./SMALL/SB+poq0w0-posw0w4+poq0w4-posw4w0001.litmus
./SMALL/R+poq0w0-posw0w0+poq0w0-posw0w4002.litmus
./SMALL/R+poq0w4-posw4w0+poq0w0-posw0w4.litmus
./SMALL/R+poq0w4-posw4w0+poq0w0-posw0w4001.litmus
./SMALL/SB+poq0w0-posw0w4s.litmus
./SMALL/SB+poq0w0-posw0w4s001.litmus
./SMALL/SB+poq0w0-posw0w4+poq0w4-posw4w4.litmus
./SMALL/SB+poq0w0-posw0w4+poq0w4-posw4w4001.litmus
./SMALL/R+poq0w0-posw0w4s002.litmus
./SMALL/R+poq0w4-posw4w4+poq0w0-posw0w4.litmus
./SMALL/R+poq0w4-posw4w4+poq0w0-posw0w4001.litmus
./SMALL/R+poq0w0-posw0w0s003.litmus
./SMALL/MP+poq0w0-posw0w0s002.litmus
./SMALL/MP+poq0w0-posw0w0s003.litmus
./SMALL/R+poq0w0-posw0w0+poq0w4-posw4w0002.litmus
./SMALL/R+poq0w0-posw0w0+poq0w4-posw4w0003.litmus
./SMALL/MP+poq0w0-posw0w0+poq0w4-posw4w0002.litmus
./SMALL/MP+poq0w0-posw0w0+poq0w4-posw4w0003.litmus
./SMALL/2+2W+poq0w0-posw0w0s002.litmus
./SMALL/S+poq0w0-posw0w0s002.litmus
./SMALL/S+poq0w0-posw0w0s003.litmus
./SMALL/2+2W+poq0w4-posw4w0+poq0w0-posw0w0.litmus
./SMALL/2+2W+poq0w0-posw0w0+poq0w4-posw4w0002.litmus
./SMALL/S+poq0w0-posw0w0+poq0w4-posw4w0002.litmus
./SMALL/S+poq0w0-posw0w0+poq0w4-posw4w0003.litmus
./SMALL/R+poq0w0-posw0w0+poq0w0-posw0w4003.litmus
./SMALL/MP+poq0w0-posw0w0+poq0w0-posw0w4002.litmus
./SMALL/MP+poq0w0-posw0w0+poq0w0-posw0w4003.litmus
./SMALL/R+poq0w0-posw0w0+poq0w4-posw4w4002.litmus
./SMALL/R+poq0w0-posw0w0+poq0w4-posw4w4003.litmus
./SMALL/MP+poq0w0-posw0w0+poq0w4-posw4w4002.litmus
./SMALL/MP+poq0w0-posw0w0+poq0w4-posw4w4003.litmus
./SMALL/2+2W+poq0w0-posw0w0+poq0w0-posw0w4002.litmus
./SMALL/S+poq0w0-posw0w0+poq0w0-posw0w4002.litmus
./SMALL/S+poq0w0-posw0w0+poq0w0-posw0w4003.litmus
./SMALL/2+2W+poq0w4-posw4w4+poq0w0-posw0w0.litmus
./SMALL/2+2W+poq0w0-posw0w0+poq0w4-posw4w4002.litmus
./SMALL/S+poq0w0-posw0w0+poq0w4-posw4w4002.litmus
./SMALL/S+poq0w0-posw0w0+poq0w4-posw4w4003.litmus
./SMALL/SB+poq0w0-posw0w0s002.litmus
./SMALL/SB+poq0w4-posw4w0+poq0w0-posw0w0.litmus
./SMALL/SB+poq0w0-posw0w0+poq0w4-posw4w0002.litmus
./SMALL/R+poq0w4-posw4w0+poq0w0-posw0w0002.litmus
./SMALL/R+poq0w4-posw4w0+poq0w0-posw0w0003.litmus
./SMALL/SB+poq0w0-posw0w0+poq0w0-posw0w4002.litmus
./SMALL/SB+poq0w4-posw4w4+poq0w0-posw0w0.litmus
./SMALL/SB+poq0w0-posw0w0+poq0w4-posw4w4002.litmus
./SMALL/R+poq0w0-posw0w4+poq0w0-posw0w0003.litmus
./SMALL/R+poq0w4-posw4w4+poq0w0-posw0w0002.litmus
./SMALL/R+poq0w4-posw4w4+poq0w0-posw0w0003.litmus
./SMALL/MP+poq0w0-posw0w4+poq0w0-posw0w0002.litmus
./SMALL/MP+poq0w0-posw0w4+poq0w0-posw0w0003.litmus
./SMALL/R+poq0w0-posw0w4+poq0w4-posw4w0002.litmus
./SMALL/R+poq0w0-posw0w4+poq0w4-posw4w0003.litmus
./SMALL/MP+poq0w0-posw0w4+poq0w4-posw4w0002.litmus
./SMALL/MP+poq0w0-posw0w4+poq0w4-posw4w0003.litmus
./SMALL/S+poq0w0-posw0w4+poq0w0-posw0w0002.litmus
./SMALL/S+poq0w0-posw0w4+poq0w0-posw0w0003.litmus
./SMALL/2+2W+poq0w4-posw4w0+poq0w0-posw0w4.litmus
./SMALL/2+2W+poq0w0-posw0w4+poq0w4-posw4w0002.litmus
./SMALL/S+poq0w0-posw0w4+poq0w4-posw4w0002.litmus
./SMALL/S+poq0w0-posw0w4+poq0w4-posw4w0003.litmus
./SMALL/R+poq0w0-posw0w4s003.litmus
./SMALL/MP+poq0w0-posw0w4s002.litmus
./SMALL/MP+poq0w0-posw0w4s003.litmus
./SMALL/R+poq0w0-posw0w4+poq0w4-posw4w4002.litmus
./SMALL/R+poq0w0-posw0w4+poq0w4-posw4w4003.litmus
./SMALL/MP+poq0w0-posw0w4+poq0w4-posw4w4002.litmus
./SMALL/MP+poq0w0-posw0w4+poq0w4-posw4w4003.litmus
./SMALL/2+2W+poq0w0-posw0w4s002.litmus
./SMALL/S+poq0w0-posw0w4s002.litmus
./SMALL/S+poq0w0-posw0w4s003.litmus
./SMALL/2+2W+poq0w4-posw4w4+poq0w0-posw0w4.litmus
./SMALL/2+2W+poq0w0-posw0w4+poq0w4-posw4w4002.litmus
./SMALL/S+poq0w0-posw0w4+poq0w4-posw4w4002.litmus
./SMALL/S+poq0w0-posw0w4+poq0w4-posw4w4003.litmus
./SMALL/SB+poq0w4-posw4w0+poq0w0-posw0w4.litmus
./SMALL/SB+poq0w0-posw0w4+poq0w4-posw4w0002.litmus
./SMALL/R+poq0w4-posw4w0+poq0w0-posw0w4002.litmus
./SMALL/R+poq0w4-posw4w0+poq0w0-posw0w4003.litmus
./SMALL/SB+poq0w0-posw0w4s002.litmus
./SMALL/SB+poq0w4-posw4w4+poq0w0-posw0w4.litmus
./SMALL/SB+poq0w0-posw0w4+poq0w4-posw4w4002.litmus
./SMALL/R+poq0w4-posw4w4+poq0w0-posw0w4002.litmus
./SMALL/R+poq0w4-posw4w4+poq0w0-posw0w4003.litmus
./SMALL/LB+poq0w0-posw0w0s.litmus
./SMALL/LB+poq0w0-posw0w0s001.litmus
./SMALL/S+poq0w4-posw4w0+poq0w0-posw0w0.litmus
./SMALL/S+poq0w4-posw4w0+poq0w0-posw0w0001.litmus
./SMALL/LB+poq0w0-posw0w0+poq0w4-posw4w0.litmus
./SMALL/LB+poq0w0-posw0w0+poq0w4-posw4w0001.litmus
./SMALL/LB+poq0w0-posw0w0+poq0w0-posw0w4.litmus
./SMALL/LB+poq0w0-posw0w0+poq0w0-posw0w4001.litmus
./SMALL/S+poq0w4-posw4w4+poq0w0-posw0w0.litmus
./SMALL/S+poq0w4-posw4w4+poq0w0-posw0w0001.litmus
./SMALL/LB+poq0w0-posw0w0+poq0w4-posw4w4.litmus
./SMALL/LB+poq0w0-posw0w0+poq0w4-posw4w4001.litmus
./SMALL/MP+poq0w4-posw4w0+poq0w0-posw0w0.litmus
./SMALL/MP+poq0w4-posw4w0+poq0w0-posw0w0001.litmus
./SMALL/MP+poq0w4-posw4w4+poq0w0-posw0w0.litmus
./SMALL/MP+poq0w4-posw4w4+poq0w0-posw0w0001.litmus
./SMALL/LB+poq0w0-posw0w4+poq0w0-posw0w0.litmus
./SMALL/S+poq0w4-posw4w0+poq0w0-posw0w4.litmus
./SMALL/S+poq0w4-posw4w0+poq0w0-posw0w4001.litmus
./SMALL/LB+poq0w0-posw0w4+poq0w4-posw4w0.litmus
./SMALL/LB+poq0w0-posw0w4+poq0w4-posw4w0001.litmus
./SMALL/LB+poq0w0-posw0w4s.litmus
./SMALL/LB+poq0w0-posw0w4s001.litmus
./SMALL/S+poq0w4-posw4w4+poq0w0-posw0w4.litmus
./SMALL/S+poq0w4-posw4w4+poq0w0-posw0w4001.litmus
./SMALL/LB+poq0w0-posw0w4+poq0w4-posw4w4.litmus
./SMALL/LB+poq0w0-posw0w4+poq0w4-posw4w4001.litmus
./SMALL/MP+poq0w4-posw4w0+poq0w0-posw0w4.litmus
./SMALL/MP+poq0w4-posw4w0+poq0w0-posw0w4001.litmus
./SMALL/MP+poq0w4-posw4w4+poq0w0-posw0w4.litmus
./SMALL/MP+poq0w4-posw4w4+poq0w0-posw0w4001.litmus
./SMALL/LB+poq0w0-posw0w0s002.litmus
./SMALL/S+poq0w4-posw4w0+poq0w0-posw0w0002.litmus
./SMALL/S+poq0w4-posw4w0+poq0w0-posw0w0003.litmus
./SMALL/LB+poq0w4-posw4w0+poq0w0-posw0w0.litmus
./SMALL/LB+poq0w0-posw0w0+poq0w4-posw4w0002.litmus
./SMALL/LB+poq0w0-posw0w0+poq0w0-posw0w4002.litmus
./SMALL/S+poq0w4-posw4w4+poq0w0-posw0w0002.litmus
./SMALL/S+poq0w4-posw4w4+poq0w0-posw0w0003.litmus
./SMALL/LB+poq0w4-posw4w4+poq0w0-posw0w0.litmus
./SMALL/LB+poq0w0-posw0w0+poq0w4-posw4w4002.litmus
./SMALL/MP+poq0w4-posw4w0+poq0w0-posw0w0002.litmus
./SMALL/MP+poq0w4-posw4w0+poq0w0-posw0w0003.litmus
./SMALL/MP+poq0w4-posw4w4+poq0w0-posw0w0002.litmus
./SMALL/MP+poq0w4-posw4w4+poq0w0-posw0w0003.litmus
./SMALL/S+poq0w4-posw4w0+poq0w0-posw0w4002.litmus
./SMALL/S+poq0w4-posw4w0+poq0w0-posw0w4003.litmus
./SMALL/LB+poq0w4-posw4w0+poq0w0-posw0w4.litmus
./SMALL/LB+poq0w0-posw0w4+poq0w4-posw4w0002.litmus
./SMALL/LB+poq0w0-posw0w4s002.litmus
./SMALL/S+poq0w4-posw4w4+poq0w0-posw0w4002.litmus
./SMALL/S+poq0w4-posw4w4+poq0w0-posw0w4003.litmus
./SMALL/LB+poq0w4-posw4w4+poq0w0-posw0w4.litmus
./SMALL/LB+poq0w0-posw0w4+poq0w4-posw4w4002.litmus
./SMALL/MP+poq0w4-posw4w0+poq0w0-posw0w4002.litmus
./SMALL/MP+poq0w4-posw4w0+poq0w0-posw0w4003.litmus
./SMALL/MP+poq0w4-posw4w4+poq0w0-posw0w4002.litmus
./SMALL/MP+poq0w4-posw4w4+poq0w0-posw0w4003.litmus
./SMALL/R+poq0w4-posw4w0s.litmus
./SMALL/R+poq0w4-posw4w0s001.litmus
./SMALL/MP+poq0w4-posw4w0s.litmus
./SMALL/MP+poq0w4-posw4w0s001.litmus
./SMALL/2+2W+poq0w4-posw4w0s.litmus
./SMALL/2+2W+poq0w4-posw4w0s001.litmus
./SMALL/S+poq0w4-posw4w0s.litmus
./SMALL/S+poq0w4-posw4w0s001.litmus
./SMALL/R+poq0w4-posw4w0+poq0w4-posw4w4.litmus
./SMALL/R+poq0w4-posw4w0+poq0w4-posw4w4001.litmus
./SMALL/MP+poq0w4-posw4w0+poq0w4-posw4w4.litmus
./SMALL/MP+poq0w4-posw4w0+poq0w4-posw4w4001.litmus
./SMALL/2+2W+poq0w4-posw4w0+poq0w4-posw4w4.litmus
./SMALL/2+2W+poq0w4-posw4w0+poq0w4-posw4w4001.litmus
./SMALL/S+poq0w4-posw4w0+poq0w4-posw4w4.litmus
./SMALL/S+poq0w4-posw4w0+poq0w4-posw4w4001.litmus
./SMALL/SB+poq0w4-posw4w0s.litmus
./SMALL/SB+poq0w4-posw4w0s001.litmus
./SMALL/R+poq0w4-posw4w0s002.litmus
./SMALL/SB+poq0w4-posw4w0+poq0w4-posw4w4.litmus
./SMALL/SB+poq0w4-posw4w0+poq0w4-posw4w4001.litmus
./SMALL/R+poq0w4-posw4w4+poq0w4-posw4w0.litmus
./SMALL/R+poq0w4-posw4w4+poq0w4-posw4w0001.litmus
./SMALL/R+poq0w4-posw4w4+poq0w4-posw4w0002.litmus
./SMALL/MP+poq0w4-posw4w4+poq0w4-posw4w0.litmus
./SMALL/MP+poq0w4-posw4w4+poq0w4-posw4w0001.litmus
./SMALL/2+2W+poq0w4-posw4w4+poq0w4-posw4w0.litmus
./SMALL/S+poq0w4-posw4w4+poq0w4-posw4w0.litmus
./SMALL/S+poq0w4-posw4w4+poq0w4-posw4w0001.litmus
./SMALL/R+poq0w4-posw4w4s.litmus
./SMALL/R+poq0w4-posw4w4s001.litmus
./SMALL/MP+poq0w4-posw4w4s.litmus
./SMALL/MP+poq0w4-posw4w4s001.litmus
./SMALL/2+2W+poq0w4-posw4w4s.litmus
./SMALL/2+2W+poq0w4-posw4w4s001.litmus
./SMALL/S+poq0w4-posw4w4s.litmus
./SMALL/S+poq0w4-posw4w4s001.litmus
./SMALL/SB+poq0w4-posw4w4+poq0w4-posw4w0.litmus
./SMALL/R+poq0w4-posw4w0+poq0w4-posw4w4002.litmus
./SMALL/SB+poq0w4-posw4w4s.litmus
./SMALL/SB+poq0w4-posw4w4s001.litmus
./SMALL/R+poq0w4-posw4w4s002.litmus
./SMALL/R+poq0w4-posw4w0s003.litmus
./SMALL/MP+poq0w4-posw4w0s002.litmus
./SMALL/MP+poq0w4-posw4w0s003.litmus
./SMALL/2+2W+poq0w4-posw4w0s002.litmus
./SMALL/S+poq0w4-posw4w0s002.litmus
./SMALL/S+poq0w4-posw4w0s003.litmus
./SMALL/R+poq0w4-posw4w0+poq0w4-posw4w4003.litmus
./SMALL/MP+poq0w4-posw4w0+poq0w4-posw4w4002.litmus
./SMALL/MP+poq0w4-posw4w0+poq0w4-posw4w4003.litmus
./SMALL/2+2W+poq0w4-posw4w0+poq0w4-posw4w4002.litmus
./SMALL/S+poq0w4-posw4w0+poq0w4-posw4w4002.litmus
./SMALL/S+poq0w4-posw4w0+poq0w4-posw4w4003.litmus
./SMALL/SB+poq0w4-posw4w0s002.litmus
./SMALL/SB+poq0w4-posw4w0+poq0w4-posw4w4002.litmus
./SMALL/R+poq0w4-posw4w4+poq0w4-posw4w0003.litmus
./SMALL/MP+poq0w4-posw4w4+poq0w4-posw4w0002.litmus
./SMALL/MP+poq0w4-posw4w4+poq0w4-posw4w0003.litmus
./SMALL/S+poq0w4-posw4w4+poq0w4-posw4w0002.litmus
./SMALL/S+poq0w4-posw4w4+poq0w4-posw4w0003.litmus
./SMALL/R+poq0w4-posw4w4s003.litmus
./SMALL/MP+poq0w4-posw4w4s002.litmus
./SMALL/MP+poq0w4-posw4w4s003.litmus
./SMALL/2+2W+poq0w4-posw4w4s002.litmus
./SMALL/S+poq0w4-posw4w4s002.litmus
./SMALL/S+poq0w4-posw4w4s003.litmus
./SMALL/SB+poq0w4-posw4w4s002.litmus
./SMALL/LB+poq0w4-posw4w0s.litmus
./SMALL/LB+poq0w4-posw4w0s001.litmus
./SMALL/LB+poq0w4-posw4w0+poq0w4-posw4w4.litmus
./SMALL/LB+poq0w4-posw4w0+poq0w4-posw4w4001.litmus
./SMALL/LB+poq0w4-posw4w4+poq0w4-posw4w0.litmus
./SMALL/LB+poq0w4-posw4w4s.litmus
./SMALL/LB+poq0w4-posw4w4s001.litmus
./SMALL/LB+poq0w4-posw4w0s002.litmus
./SMALL/LB+poq0w4-posw4w0+poq0w4-posw4w4002.litmus
./SMALL/LB+poq0w4-posw4w4s002.litmus
./TST/R+posw0q0-poq0q0-posq0w0s.litmus
./TST/R+posw0q0-poq0q0-posq0w0s001.litmus
./TST/R+posw0q0-poq0q0-posq0w0s002.litmus
./TST/R+posw0q0-poq0q0-posq0w0s003.litmus
./TST/MP+posw0q0-poq0q0-posq0w0s.litmus
./TST/MP+posw0q0-poq0q0-posq0w0s001.litmus
./TST/MP+posw0q0-poq0q0-posq0w0s002.litmus
./TST/MP+posw0q0-poq0q0-posq0w0s003.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0001.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0002.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0003.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0001.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0002.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0003.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0s.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0s001.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0s002.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0s003.litmus
./TST/S+posw0q0-poq0q0-posq0w0s.litmus
./TST/S+posw0q0-poq0q0-posq0w0s001.litmus
./TST/S+posw0q0-poq0q0-posq0w0s002.litmus
./TST/S+posw0q0-poq0q0-posq0w0s003.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0001.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0002.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0003.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0001.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0002.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0003.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4001.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4002.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4003.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4001.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4002.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4003.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4001.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4002.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4003.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4001.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4002.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4003.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4001.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4002.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4003.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4001.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4002.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4003.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4001.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4002.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4003.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4001.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4002.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4003.litmus
./TST/SB+posw0q0-poq0q0-posq0w0s.litmus
./TST/SB+posw0q0-poq0q0-posq0w0s001.litmus
./TST/SB+posw0q0-poq0q0-posq0w0s002.litmus
./TST/SB+posw0q0-poq0q0-posq0w0s003.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0001.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0002.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0003.litmus
./TST/R+posw0q0-poq0q0-posq0w0s004.litmus
./TST/R+posw0q0-poq0q0-posq0w0s005.litmus
./TST/R+posw0q0-poq0q0-posq0w0s006.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0001.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0002.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0003.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4001.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4002.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4003.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4001.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4002.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4003.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0001.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0002.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0003.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0001.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0002.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0003.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0004.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0005.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0006.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0001.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0002.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0003.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0001.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0002.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0003.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0001.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0002.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0003.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0001.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0002.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0001.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0002.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0003.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0001.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0002.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0003.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0001.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0002.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0003.litmus
./TST/R+posw0q0-poq0q0-posq0w4s.litmus
./TST/R+posw0q0-poq0q0-posq0w4s001.litmus
./TST/R+posw0q0-poq0q0-posq0w4s002.litmus
./TST/R+posw0q0-poq0q0-posq0w4s003.litmus
./TST/MP+posw0q0-poq0q0-posq0w4s.litmus
./TST/MP+posw0q0-poq0q0-posq0w4s001.litmus
./TST/MP+posw0q0-poq0q0-posq0w4s002.litmus
./TST/MP+posw0q0-poq0q0-posq0w4s003.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4001.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4002.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4003.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4001.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4002.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4003.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4s.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4s001.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4s002.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4s003.litmus
./TST/S+posw0q0-poq0q0-posq0w4s.litmus
./TST/S+posw0q0-poq0q0-posq0w4s001.litmus
./TST/S+posw0q0-poq0q0-posq0w4s002.litmus
./TST/S+posw0q0-poq0q0-posq0w4s003.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4001.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4002.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4003.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4001.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4002.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4003.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0001.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0002.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0001.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0002.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0003.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4004.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4005.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4006.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4001.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4002.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4003.litmus
./TST/SB+posw0q0-poq0q0-posq0w4s.litmus
./TST/SB+posw0q0-poq0q0-posq0w4s001.litmus
./TST/SB+posw0q0-poq0q0-posq0w4s002.litmus
./TST/SB+posw0q0-poq0q0-posq0w4s003.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4001.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4002.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4003.litmus
./TST/R+posw0q0-poq0q0-posq0w4s004.litmus
./TST/R+posw0q0-poq0q0-posq0w4s005.litmus
./TST/R+posw0q0-poq0q0-posq0w4s006.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4001.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4002.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4003.litmus
./TST/R+posw0q0-poq0q0-posq0w0s007.litmus
./TST/R+posw0q0-poq0q0-posq0w0s008.litmus
./TST/R+posw0q0-poq0q0-posq0w0s009.litmus
./TST/MP+posw0q0-poq0q0-posq0w0s004.litmus
./TST/MP+posw0q0-poq0q0-posq0w0s005.litmus
./TST/MP+posw0q0-poq0q0-posq0w0s006.litmus
./TST/MP+posw0q0-poq0q0-posq0w0s007.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0004.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0005.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0006.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0007.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0004.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0005.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0006.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0007.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0s004.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0s005.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0s006.litmus
./TST/S+posw0q0-poq0q0-posq0w0s004.litmus
./TST/S+posw0q0-poq0q0-posq0w0s005.litmus
./TST/S+posw0q0-poq0q0-posq0w0s006.litmus
./TST/S+posw0q0-poq0q0-posq0w0s007.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0004.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0005.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0006.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0007.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0004.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0005.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0006.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0007.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4007.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4008.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4009.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4004.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4005.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4006.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4007.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4004.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4005.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4006.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4007.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4004.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4005.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4006.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4007.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4004.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4005.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4006.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4004.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4005.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4006.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4007.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4004.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4005.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4006.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4007.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4004.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4005.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4006.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4007.litmus
./TST/SB+posw0q0-poq0q0-posq0w0s004.litmus
./TST/SB+posw0q0-poq0q0-posq0w0s005.litmus
./TST/SB+posw0q0-poq0q0-posq0w0s006.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0004.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0005.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0006.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0007.litmus
./TST/R+posw0q0-poq0q0-posq0w0s010.litmus
./TST/R+posw0q0-poq0q0-posq0w0s011.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0004.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0005.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0006.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0007.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4004.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4005.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4006.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4004.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4005.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4006.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4007.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0007.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0008.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0009.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0004.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0005.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0006.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0007.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0010.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0011.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0004.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0005.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0006.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0007.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0004.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0005.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0006.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0007.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0004.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0005.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0006.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0007.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0003.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0004.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0004.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0005.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0006.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0007.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0004.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0005.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0006.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0007.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0004.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0005.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0006.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0007.litmus
./TST/R+posw0q0-poq0q0-posq0w4s007.litmus
./TST/R+posw0q0-poq0q0-posq0w4s008.litmus
./TST/R+posw0q0-poq0q0-posq0w4s009.litmus
./TST/MP+posw0q0-poq0q0-posq0w4s004.litmus
./TST/MP+posw0q0-poq0q0-posq0w4s005.litmus
./TST/MP+posw0q0-poq0q0-posq0w4s006.litmus
./TST/MP+posw0q0-poq0q0-posq0w4s007.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4004.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4005.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4006.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4007.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4004.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4005.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4006.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4007.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4s004.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4s005.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4s006.litmus
./TST/S+posw0q0-poq0q0-posq0w4s004.litmus
./TST/S+posw0q0-poq0q0-posq0w4s005.litmus
./TST/S+posw0q0-poq0q0-posq0w4s006.litmus
./TST/S+posw0q0-poq0q0-posq0w4s007.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4004.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4005.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4006.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4007.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4004.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4005.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4006.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4007.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0003.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0004.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0004.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0005.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0006.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0007.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4010.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4011.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4004.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4005.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4006.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4007.litmus
./TST/SB+posw0q0-poq0q0-posq0w4s004.litmus
./TST/SB+posw0q0-poq0q0-posq0w4s005.litmus
./TST/SB+posw0q0-poq0q0-posq0w4s006.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4004.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4005.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4006.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4007.litmus
./TST/R+posw0q0-poq0q0-posq0w4s010.litmus
./TST/R+posw0q0-poq0q0-posq0w4s011.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4004.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4005.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4006.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4007.litmus
./TST/R+posw0q0-poq0q0-posq0w0s012.litmus
./TST/R+posw0q0-poq0q0-posq0w0s013.litmus
./TST/MP+posw0q0-poq0q0-posq0w0s008.litmus
./TST/MP+posw0q0-poq0q0-posq0w0s009.litmus
./TST/MP+posw0q0-poq0q0-posq0w0s010.litmus
./TST/MP+posw0q0-poq0q0-posq0w0s011.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0008.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0009.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0010.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0011.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0008.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0009.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0010.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0011.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0s007.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0s008.litmus
./TST/S+posw0q0-poq0q0-posq0w0s008.litmus
./TST/S+posw0q0-poq0q0-posq0w0s009.litmus
./TST/S+posw0q0-poq0q0-posq0w0s010.litmus
./TST/S+posw0q0-poq0q0-posq0w0s011.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0001.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0008.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0009.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0008.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0009.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0010.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0011.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4012.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4013.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4008.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4009.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4010.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4011.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4008.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4009.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4010.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4011.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4008.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4009.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4010.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4011.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4007.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4008.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4008.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4009.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4010.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4011.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0001.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4008.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4009.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4008.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4009.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4010.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4011.litmus
./TST/SB+posw0q0-poq0q0-posq0w0s007.litmus
./TST/SB+posw0q0-poq0q0-posq0w0s008.litmus
./TST/SB+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0.litmus
./TST/SB+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0001.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0008.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0009.litmus
./TST/R+posw0q0-poq0q0-posq0w0s014.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0008.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0009.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0010.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0011.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4007.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4008.litmus
./TST/SB+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0.litmus
./TST/SB+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0001.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4008.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4009.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0012.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0013.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0008.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0009.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0010.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0011.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0014.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0008.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0009.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0010.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0011.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0008.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0009.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0010.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0011.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0008.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0009.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0010.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0011.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0005.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0008.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0009.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0010.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0011.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4001.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0008.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0009.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0008.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0009.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0010.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0011.litmus
./TST/R+posw0q0-poq0q0-posq0w4s012.litmus
./TST/R+posw0q0-poq0q0-posq0w4s013.litmus
./TST/MP+posw0q0-poq0q0-posq0w4s008.litmus
./TST/MP+posw0q0-poq0q0-posq0w4s009.litmus
./TST/MP+posw0q0-poq0q0-posq0w4s010.litmus
./TST/MP+posw0q0-poq0q0-posq0w4s011.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4008.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4009.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4010.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4011.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4008.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4009.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4010.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4011.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4s007.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4s008.litmus
./TST/S+posw0q0-poq0q0-posq0w4s008.litmus
./TST/S+posw0q0-poq0q0-posq0w4s009.litmus
./TST/S+posw0q0-poq0q0-posq0w4s010.litmus
./TST/S+posw0q0-poq0q0-posq0w4s011.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4001.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4008.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4009.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4008.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4009.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4010.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4011.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0005.litmus
./TST/SB+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4.litmus
./TST/SB+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4001.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0008.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0009.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4014.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4008.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4009.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4010.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4011.litmus
./TST/SB+posw0q0-poq0q0-posq0w4s007.litmus
./TST/SB+posw0q0-poq0q0-posq0w4s008.litmus
./TST/SB+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4.litmus
./TST/SB+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4001.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4008.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4009.litmus
./TST/R+posw0q0-poq0q0-posq0w4s014.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4008.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4009.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4010.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4011.litmus
./TST/R+posw0q0-poq0q0-posq0w0s015.litmus
./TST/MP+posw0q0-poq0q0-posq0w0s012.litmus
./TST/MP+posw0q0-poq0q0-posq0w0s013.litmus
./TST/MP+posw0q0-poq0q0-posq0w0s014.litmus
./TST/MP+posw0q0-poq0q0-posq0w0s015.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0012.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0013.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0014.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0015.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0012.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0013.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0014.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0015.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0s009.litmus
./TST/S+posw0q0-poq0q0-posq0w0s012.litmus
./TST/S+posw0q0-poq0q0-posq0w0s013.litmus
./TST/S+posw0q0-poq0q0-posq0w0s014.litmus
./TST/S+posw0q0-poq0q0-posq0w0s015.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0002.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0003.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0010.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0011.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0012.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0013.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0014.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0015.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4015.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4012.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4013.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4014.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4015.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4012.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4013.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4014.litmus
./TST/R+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4015.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4012.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4013.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4014.litmus
./TST/MP+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4015.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4009.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4012.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4013.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4014.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4015.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0002.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0003.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4010.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4011.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4012.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4013.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4014.litmus
./TST/S+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4015.litmus
./TST/SB+posw0q0-poq0q0-posq0w0s009.litmus
./TST/SB+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0002.litmus
./TST/SB+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0003.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0010.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0011.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0012.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0013.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0014.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0015.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4009.litmus
./TST/SB+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0002.litmus
./TST/SB+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0003.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4010.litmus
./TST/SB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4011.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0015.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0012.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0013.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0014.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0015.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0012.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0013.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0014.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0015.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0012.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0013.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0014.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0015.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0012.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0013.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0014.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0015.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0012.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0013.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0014.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0015.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4002.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4003.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0010.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0011.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0012.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0013.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0014.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0015.litmus
./TST/R+posw0q0-poq0q0-posq0w4s015.litmus
./TST/MP+posw0q0-poq0q0-posq0w4s012.litmus
./TST/MP+posw0q0-poq0q0-posq0w4s013.litmus
./TST/MP+posw0q0-poq0q0-posq0w4s014.litmus
./TST/MP+posw0q0-poq0q0-posq0w4s015.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4012.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4013.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4014.litmus
./TST/R+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4015.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4012.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4013.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4014.litmus
./TST/MP+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4015.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4s009.litmus
./TST/S+posw0q0-poq0q0-posq0w4s012.litmus
./TST/S+posw0q0-poq0q0-posq0w4s013.litmus
./TST/S+posw0q0-poq0q0-posq0w4s014.litmus
./TST/S+posw0q0-poq0q0-posq0w4s015.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4002.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4003.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4010.litmus
./TST/2+2W+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4011.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4012.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4013.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4014.litmus
./TST/S+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4015.litmus
./TST/SB+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4002.litmus
./TST/SB+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4003.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0010.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0011.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4012.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4013.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4014.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4015.litmus
./TST/SB+posw0q0-poq0q0-posq0w4s009.litmus
./TST/SB+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4002.litmus
./TST/SB+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4003.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4010.litmus
./TST/SB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4011.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4012.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4013.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4014.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4015.litmus
./TST/LB+posw0q0-poq0q0-posq0w0s.litmus
./TST/LB+posw0q0-poq0q0-posq0w0s001.litmus
./TST/LB+posw0q0-poq0q0-posq0w0s002.litmus
./TST/LB+posw0q0-poq0q0-posq0w0s003.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0001.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0002.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0003.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0001.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0002.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0003.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4001.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4002.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4003.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0001.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0002.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0003.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4001.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4002.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4003.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0001.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0002.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0003.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0001.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0002.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0003.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0001.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0002.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4001.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4002.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4003.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0001.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0002.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0003.litmus
./TST/LB+posw0q0-poq0q0-posq0w4s.litmus
./TST/LB+posw0q0-poq0q0-posq0w4s001.litmus
./TST/LB+posw0q0-poq0q0-posq0w4s002.litmus
./TST/LB+posw0q0-poq0q0-posq0w4s003.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4001.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4002.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4003.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4001.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4002.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4003.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4001.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4002.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4003.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4001.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4002.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4003.litmus
./TST/LB+posw0q0-poq0q0-posq0w0s004.litmus
./TST/LB+posw0q0-poq0q0-posq0w0s005.litmus
./TST/LB+posw0q0-poq0q0-posq0w0s006.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0004.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0005.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0006.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0007.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0004.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0005.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0006.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0007.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4004.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4005.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4006.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0004.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0005.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0006.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0007.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4004.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4005.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4006.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4007.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0004.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0005.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0006.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0007.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0004.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0005.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0006.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0007.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0003.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0004.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4004.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4005.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4006.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4007.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0004.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0005.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0006.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0007.litmus
./TST/LB+posw0q0-poq0q0-posq0w4s004.litmus
./TST/LB+posw0q0-poq0q0-posq0w4s005.litmus
./TST/LB+posw0q0-poq0q0-posq0w4s006.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4004.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4005.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4006.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4007.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4004.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4005.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4006.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4007.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4004.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4005.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4006.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4007.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4004.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4005.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4006.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4007.litmus
./TST/LB+posw0q0-poq0q0-posq0w0s007.litmus
./TST/LB+posw0q0-poq0q0-posq0w0s008.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0008.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0009.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0010.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0011.litmus
./TST/LB+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0.litmus
./TST/LB+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0001.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0008.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0009.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4007.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4008.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0008.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0009.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0010.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0011.litmus
./TST/LB+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0.litmus
./TST/LB+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0001.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4008.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4009.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0008.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0009.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0010.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0011.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0008.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0009.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0010.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0011.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0005.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4008.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4009.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4010.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4011.litmus
./TST/LB+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4.litmus
./TST/LB+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4001.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0008.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0009.litmus
./TST/LB+posw0q0-poq0q0-posq0w4s007.litmus
./TST/LB+posw0q0-poq0q0-posq0w4s008.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4008.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4009.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4010.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4011.litmus
./TST/LB+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4.litmus
./TST/LB+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4001.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4008.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4009.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4008.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4009.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4010.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4011.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4008.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4009.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4010.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4011.litmus
./TST/LB+posw0q0-poq0q0-posq0w0s009.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0012.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0013.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0014.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0015.litmus
./TST/LB+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0002.litmus
./TST/LB+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0003.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0010.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w0011.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4009.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0012.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0013.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0014.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0015.litmus
./TST/LB+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0002.litmus
./TST/LB+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0003.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4010.litmus
./TST/LB+posw0q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4011.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0012.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0013.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0014.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w0015.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0012.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0013.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0014.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w0015.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4012.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4013.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4014.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4015.litmus
./TST/LB+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4002.litmus
./TST/LB+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4003.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0010.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0011.litmus
./TST/LB+posw0q0-poq0q0-posq0w4s009.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4012.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4013.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4014.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4015.litmus
./TST/LB+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4002.litmus
./TST/LB+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4003.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4010.litmus
./TST/LB+posw0q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w4011.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4012.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4013.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4014.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw0q0-poq0q0-posq0w4015.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4012.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4013.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4014.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw0q0-poq0q0-posq0w4015.litmus
./TST/R+posw4q0-poq0q0-posq0w0s.litmus
./TST/R+posw4q0-poq0q0-posq0w0s001.litmus
./TST/R+posw4q0-poq0q0-posq0w0s002.litmus
./TST/R+posw4q0-poq0q0-posq0w0s003.litmus
./TST/MP+posw4q0-poq0q0-posq0w0s.litmus
./TST/MP+posw4q0-poq0q0-posq0w0s001.litmus
./TST/MP+posw4q0-poq0q0-posq0w0s002.litmus
./TST/MP+posw4q0-poq0q0-posq0w0s003.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0s.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0s001.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0s002.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0s003.litmus
./TST/S+posw4q0-poq0q0-posq0w0s.litmus
./TST/S+posw4q0-poq0q0-posq0w0s001.litmus
./TST/S+posw4q0-poq0q0-posq0w0s002.litmus
./TST/S+posw4q0-poq0q0-posq0w0s003.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4001.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4002.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4003.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4001.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4002.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4003.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4001.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4002.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4003.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4001.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4002.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4003.litmus
./TST/SB+posw4q0-poq0q0-posq0w0s.litmus
./TST/SB+posw4q0-poq0q0-posq0w0s001.litmus
./TST/SB+posw4q0-poq0q0-posq0w0s002.litmus
./TST/SB+posw4q0-poq0q0-posq0w0s003.litmus
./TST/R+posw4q0-poq0q0-posq0w0s004.litmus
./TST/R+posw4q0-poq0q0-posq0w0s005.litmus
./TST/R+posw4q0-poq0q0-posq0w0s006.litmus
./TST/SB+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4.litmus
./TST/SB+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4001.litmus
./TST/SB+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4002.litmus
./TST/SB+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4003.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0001.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0002.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0003.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0004.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0005.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0006.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0001.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0002.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0003.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0001.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0002.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0001.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0002.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0003.litmus
./TST/R+posw4q0-poq0q0-posq0w4s.litmus
./TST/R+posw4q0-poq0q0-posq0w4s001.litmus
./TST/R+posw4q0-poq0q0-posq0w4s002.litmus
./TST/R+posw4q0-poq0q0-posq0w4s003.litmus
./TST/MP+posw4q0-poq0q0-posq0w4s.litmus
./TST/MP+posw4q0-poq0q0-posq0w4s001.litmus
./TST/MP+posw4q0-poq0q0-posq0w4s002.litmus
./TST/MP+posw4q0-poq0q0-posq0w4s003.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w4s.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w4s001.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w4s002.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w4s003.litmus
./TST/S+posw4q0-poq0q0-posq0w4s.litmus
./TST/S+posw4q0-poq0q0-posq0w4s001.litmus
./TST/S+posw4q0-poq0q0-posq0w4s002.litmus
./TST/S+posw4q0-poq0q0-posq0w4s003.litmus
./TST/SB+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0.litmus
./TST/SB+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0001.litmus
./TST/SB+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0002.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4004.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4005.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4006.litmus
./TST/SB+posw4q0-poq0q0-posq0w4s.litmus
./TST/SB+posw4q0-poq0q0-posq0w4s001.litmus
./TST/SB+posw4q0-poq0q0-posq0w4s002.litmus
./TST/SB+posw4q0-poq0q0-posq0w4s003.litmus
./TST/R+posw4q0-poq0q0-posq0w4s004.litmus
./TST/R+posw4q0-poq0q0-posq0w4s005.litmus
./TST/R+posw4q0-poq0q0-posq0w4s006.litmus
./TST/R+posw4q0-poq0q0-posq0w0s007.litmus
./TST/R+posw4q0-poq0q0-posq0w0s008.litmus
./TST/R+posw4q0-poq0q0-posq0w0s009.litmus
./TST/MP+posw4q0-poq0q0-posq0w0s004.litmus
./TST/MP+posw4q0-poq0q0-posq0w0s005.litmus
./TST/MP+posw4q0-poq0q0-posq0w0s006.litmus
./TST/MP+posw4q0-poq0q0-posq0w0s007.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0s004.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0s005.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0s006.litmus
./TST/S+posw4q0-poq0q0-posq0w0s004.litmus
./TST/S+posw4q0-poq0q0-posq0w0s005.litmus
./TST/S+posw4q0-poq0q0-posq0w0s006.litmus
./TST/S+posw4q0-poq0q0-posq0w0s007.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4007.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4008.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4009.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4004.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4005.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4006.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4007.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4004.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4005.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4006.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4004.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4005.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4006.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4007.litmus
./TST/SB+posw4q0-poq0q0-posq0w0s004.litmus
./TST/SB+posw4q0-poq0q0-posq0w0s005.litmus
./TST/SB+posw4q0-poq0q0-posq0w0s006.litmus
./TST/R+posw4q0-poq0q0-posq0w0s010.litmus
./TST/R+posw4q0-poq0q0-posq0w0s011.litmus
./TST/SB+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4004.litmus
./TST/SB+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4005.litmus
./TST/SB+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4006.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0007.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0008.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0009.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0010.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0011.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0004.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0005.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0006.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0007.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0003.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0004.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0004.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0005.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0006.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0007.litmus
./TST/R+posw4q0-poq0q0-posq0w4s007.litmus
./TST/R+posw4q0-poq0q0-posq0w4s008.litmus
./TST/R+posw4q0-poq0q0-posq0w4s009.litmus
./TST/MP+posw4q0-poq0q0-posq0w4s004.litmus
./TST/MP+posw4q0-poq0q0-posq0w4s005.litmus
./TST/MP+posw4q0-poq0q0-posq0w4s006.litmus
./TST/MP+posw4q0-poq0q0-posq0w4s007.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w4s004.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w4s005.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w4s006.litmus
./TST/S+posw4q0-poq0q0-posq0w4s004.litmus
./TST/S+posw4q0-poq0q0-posq0w4s005.litmus
./TST/S+posw4q0-poq0q0-posq0w4s006.litmus
./TST/S+posw4q0-poq0q0-posq0w4s007.litmus
./TST/SB+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0003.litmus
./TST/SB+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0004.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4010.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4011.litmus
./TST/SB+posw4q0-poq0q0-posq0w4s004.litmus
./TST/SB+posw4q0-poq0q0-posq0w4s005.litmus
./TST/SB+posw4q0-poq0q0-posq0w4s006.litmus
./TST/R+posw4q0-poq0q0-posq0w4s010.litmus
./TST/R+posw4q0-poq0q0-posq0w4s011.litmus
./TST/R+posw4q0-poq0q0-posq0w0s012.litmus
./TST/R+posw4q0-poq0q0-posq0w0s013.litmus
./TST/MP+posw4q0-poq0q0-posq0w0s008.litmus
./TST/MP+posw4q0-poq0q0-posq0w0s009.litmus
./TST/MP+posw4q0-poq0q0-posq0w0s010.litmus
./TST/MP+posw4q0-poq0q0-posq0w0s011.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0s007.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0s008.litmus
./TST/S+posw4q0-poq0q0-posq0w0s008.litmus
./TST/S+posw4q0-poq0q0-posq0w0s009.litmus
./TST/S+posw4q0-poq0q0-posq0w0s010.litmus
./TST/S+posw4q0-poq0q0-posq0w0s011.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4012.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4013.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4008.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4009.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4010.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4011.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4007.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4008.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4008.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4009.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4010.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4011.litmus
./TST/SB+posw4q0-poq0q0-posq0w0s007.litmus
./TST/SB+posw4q0-poq0q0-posq0w0s008.litmus
./TST/R+posw4q0-poq0q0-posq0w0s014.litmus
./TST/SB+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4007.litmus
./TST/SB+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4008.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0012.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0013.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0014.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0008.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0009.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0010.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0011.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0005.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0008.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0009.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0010.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0011.litmus
./TST/R+posw4q0-poq0q0-posq0w4s012.litmus
./TST/R+posw4q0-poq0q0-posq0w4s013.litmus
./TST/MP+posw4q0-poq0q0-posq0w4s008.litmus
./TST/MP+posw4q0-poq0q0-posq0w4s009.litmus
./TST/MP+posw4q0-poq0q0-posq0w4s010.litmus
./TST/MP+posw4q0-poq0q0-posq0w4s011.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w4s007.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w4s008.litmus
./TST/S+posw4q0-poq0q0-posq0w4s008.litmus
./TST/S+posw4q0-poq0q0-posq0w4s009.litmus
./TST/S+posw4q0-poq0q0-posq0w4s010.litmus
./TST/S+posw4q0-poq0q0-posq0w4s011.litmus
./TST/SB+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0005.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4014.litmus
./TST/SB+posw4q0-poq0q0-posq0w4s007.litmus
./TST/SB+posw4q0-poq0q0-posq0w4s008.litmus
./TST/R+posw4q0-poq0q0-posq0w4s014.litmus
./TST/R+posw4q0-poq0q0-posq0w0s015.litmus
./TST/MP+posw4q0-poq0q0-posq0w0s012.litmus
./TST/MP+posw4q0-poq0q0-posq0w0s013.litmus
./TST/MP+posw4q0-poq0q0-posq0w0s014.litmus
./TST/MP+posw4q0-poq0q0-posq0w0s015.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0s009.litmus
./TST/S+posw4q0-poq0q0-posq0w0s012.litmus
./TST/S+posw4q0-poq0q0-posq0w0s013.litmus
./TST/S+posw4q0-poq0q0-posq0w0s014.litmus
./TST/S+posw4q0-poq0q0-posq0w0s015.litmus
./TST/R+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4015.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4012.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4013.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4014.litmus
./TST/MP+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4015.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4009.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4012.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4013.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4014.litmus
./TST/S+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4015.litmus
./TST/SB+posw4q0-poq0q0-posq0w0s009.litmus
./TST/SB+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4009.litmus
./TST/R+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0015.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0012.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0013.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0014.litmus
./TST/MP+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0015.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0012.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0013.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0014.litmus
./TST/S+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0015.litmus
./TST/R+posw4q0-poq0q0-posq0w4s015.litmus
./TST/MP+posw4q0-poq0q0-posq0w4s012.litmus
./TST/MP+posw4q0-poq0q0-posq0w4s013.litmus
./TST/MP+posw4q0-poq0q0-posq0w4s014.litmus
./TST/MP+posw4q0-poq0q0-posq0w4s015.litmus
./TST/2+2W+posw4q0-poq0q0-posq0w4s009.litmus
./TST/S+posw4q0-poq0q0-posq0w4s012.litmus
./TST/S+posw4q0-poq0q0-posq0w4s013.litmus
./TST/S+posw4q0-poq0q0-posq0w4s014.litmus
./TST/S+posw4q0-poq0q0-posq0w4s015.litmus
./TST/SB+posw4q0-poq0q0-posq0w4s009.litmus
./TST/LB+posw4q0-poq0q0-posq0w0s.litmus
./TST/LB+posw4q0-poq0q0-posq0w0s001.litmus
./TST/LB+posw4q0-poq0q0-posq0w0s002.litmus
./TST/LB+posw4q0-poq0q0-posq0w0s003.litmus
./TST/LB+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4.litmus
./TST/LB+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4001.litmus
./TST/LB+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4002.litmus
./TST/LB+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4003.litmus
./TST/LB+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0.litmus
./TST/LB+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0001.litmus
./TST/LB+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0002.litmus
./TST/LB+posw4q0-poq0q0-posq0w4s.litmus
./TST/LB+posw4q0-poq0q0-posq0w4s001.litmus
./TST/LB+posw4q0-poq0q0-posq0w4s002.litmus
./TST/LB+posw4q0-poq0q0-posq0w4s003.litmus
./TST/LB+posw4q0-poq0q0-posq0w0s004.litmus
./TST/LB+posw4q0-poq0q0-posq0w0s005.litmus
./TST/LB+posw4q0-poq0q0-posq0w0s006.litmus
./TST/LB+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4004.litmus
./TST/LB+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4005.litmus
./TST/LB+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4006.litmus
./TST/LB+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0003.litmus
./TST/LB+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0004.litmus
./TST/LB+posw4q0-poq0q0-posq0w4s004.litmus
./TST/LB+posw4q0-poq0q0-posq0w4s005.litmus
./TST/LB+posw4q0-poq0q0-posq0w4s006.litmus
./TST/LB+posw4q0-poq0q0-posq0w0s007.litmus
./TST/LB+posw4q0-poq0q0-posq0w0s008.litmus
./TST/LB+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4007.litmus
./TST/LB+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4008.litmus
./TST/LB+posw4q0-poq0q0-posq0w4+posw4q0-poq0q0-posq0w0005.litmus
./TST/LB+posw4q0-poq0q0-posq0w4s007.litmus
./TST/LB+posw4q0-poq0q0-posq0w4s008.litmus
./TST/LB+posw4q0-poq0q0-posq0w0s009.litmus
./TST/LB+posw4q0-poq0q0-posq0w0+posw4q0-poq0q0-posq0w4009.litmus
./TST/LB+posw4q0-poq0q0-posq0w4s009.litmus
./WRITE/2+2W+dmb.syw4w0+posw4w0-posw0w4-dmb.syw4w0.litmus
./WRITE/R+dmb.syw4w0+posw4w0-posw0w4-dmb.syw4q0.litmus
./WRITE/2+2W+dmb.syw0w4+dmb.syw0w4-posw4w0-posw0w4.litmus
./WRITE/R+dmb.syw0w4-posw4w0-posw0w4+dmb.syw0q0.litmus
./WRITE/MP+dmb.syw0w4-posw4w0-posw0w4+dmb.ldq0q0.litmus
./WRITE/SB+dmb.syw0q0+posw4w0-posw0w4-dmb.syw4q0.litmus
./WRITE/R+posw4w0-posw0w4-dmb.syw4w0+dmb.syw4q0.litmus
./WRITE/SB+dmb.syw4q0+posw4w0-posw0w4-dmb.syw4q0.litmus
./WRITE/MP+posw4w0-posw0w4-dmb.syw4w0+dmb.ldq0q0.litmus
./WRITE/2+2W+dmb.syw4w0-posw0w4+posw0w4-dmb.syw4w0.litmus
./WRITE/R+dmb.syw4w0-posw0w4+posw0w4-dmb.syw4q0.litmus
./WRITE/2+2W+posw0w4-dmb.syw4w0+posw4w0-dmb.syw0w4.litmus
./WRITE/2+2W+posw0w4+dmb.syw0w4-posw4w0-dmb.syw0w4.litmus
./WRITE/R+posw4w0-dmb.syw0w4+posw0w4-dmb.syw4q0.litmus
./WRITE/2+2W+dmb.syw0w4+posw0w4-dmb.syw4w0-posw0w4.litmus
./WRITE/2+2W+dmb.syw0w4+posw0w4-posw4w0-dmb.syw0w4.litmus
./WRITE/R+dmb.syw0w4+posw0w4-posw4w0-dmb.syw0q0.litmus
./WRITE/R+dmb.syw0w4+posw0w4-dmb.syw4q0.litmus
./WRITE/R+posw0w4-dmb.syw4w0-posw0w4+dmb.syw0q0.litmus
./WRITE/MP+posw0w4-dmb.syw4w0-posw0w4+dmb.ldq0q0.litmus
./WRITE/2+2W+posw4w0+dmb.syw4w0-posw0w4-dmb.syw4w0.litmus
./WRITE/2+2W+dmb.syw0w4-posw4w0+dmb.syw4w0-posw0w4.litmus
./WRITE/R+posw4w0+dmb.syw4w0-posw0w4-dmb.syw4q0.litmus
./WRITE/2+2W+dmb.syw4w0+dmb.syw4w0-posw0w4-posw4w0.litmus
./WRITE/2+2W+dmb.syw4w0+dmb.syw4w0-posw0w4-dmb.syw4w0.litmus
./WRITE/R+dmb.syw4w0+dmb.syw4w0-posw0w4-dmb.syw4q0.litmus
./WRITE/R+dmb.syw4w0-posw0w4+dmb.syw0q0.litmus
./WRITE/SB+dmb.syw0q0+dmb.syw4w0-posw0w4-dmb.syw4q0.litmus
./WRITE/R+dmb.syw4w0-posw0w4-posw4w0+dmb.syw4q0.litmus
./WRITE/R+dmb.syw4w0-posw0w4-dmb.syw4w0+dmb.syw4q0.litmus
./WRITE/SB+dmb.syw4q0+dmb.syw4w0-posw0w4-dmb.syw4q0.litmus
./WRITE/MP+dmb.syw4w0-posw0w4-posw4w0+dmb.ldq0q0.litmus
./WRITE/MP+dmb.syw4w0-posw0w4-dmb.syw4w0+dmb.ldq0q0.litmus
./WRITE/MP+dmb.syw4w0-posw0w4+dmb.ldq0q0.litmus
./WRITE/R+posw0w4-dmb.syw4w0+posw4w0-dmb.syw0q0.litmus
./WRITE/R+posw0w4+dmb.syw0w4-posw4w0-dmb.syw0q0.litmus
./WRITE/SB+posw0w4-dmb.syw4q0+posw4w0-dmb.syw0q0.litmus
./WRITE/R+posw0w4-posw4w0-dmb.syw0w4+dmb.syw0q0.litmus
./WRITE/SB+dmb.syw0q0+posw0w4-posw4w0-dmb.syw0q0.litmus
./WRITE/SB+dmb.syw0q0+posw0w4-dmb.syw4q0.litmus
./WRITE/SB+posw0w4-dmb.syw4q0s.litmus
./WRITE/R+posw0w4-dmb.syw4w0+dmb.syw4q0.litmus
./WRITE/SB+dmb.syw4q0+posw0w4-posw4w0-dmb.syw0q0.litmus
./WRITE/SB+dmb.syw4q0+posw0w4-dmb.syw4q0.litmus
./WRITE/MP+posw0w4-dmb.syw4w0+dmb.ldq0q0.litmus
./WRITE/MP+posw0w4-posw4w0-dmb.syw0w4+dmb.ldq0q0.litmus
./WRITE/2+2W+dmb.syw0w4-posw4w0+posw4w0-dmb.syw0w4.litmus
./WRITE/R+dmb.syw0w4-posw4w0+posw4w0-dmb.syw0q0.litmus
./WRITE/2+2W+dmb.syw4w0+posw4w0-dmb.syw0w4-posw4w0.litmus
./WRITE/R+dmb.syw4w0+posw4w0-dmb.syw0q0.litmus
./WRITE/R+posw4w0-dmb.syw0w4-posw4w0+dmb.syw4q0.litmus
./WRITE/MP+posw4w0-dmb.syw0w4-posw4w0+dmb.ldq0q0.litmus
./WRITE/2+2W+dmb.syw0w4+dmb.syw0w4-posw4w0-dmb.syw0w4.litmus
./WRITE/R+dmb.syw0w4+dmb.syw0w4-posw4w0-dmb.syw0q0.litmus
./WRITE/R+dmb.syw0w4-posw4w0-dmb.syw0w4+dmb.syw0q0.litmus
./WRITE/SB+dmb.syw0q0+dmb.syw0w4-posw4w0-dmb.syw0q0.litmus
./WRITE/R+dmb.syw0w4-posw4w0+dmb.syw4q0.litmus
./WRITE/SB+dmb.syw4q0+dmb.syw0w4-posw4w0-dmb.syw0q0.litmus
./WRITE/MP+dmb.syw0w4-posw4w0+dmb.ldq0q0.litmus
./WRITE/MP+dmb.syw0w4-posw4w0-dmb.syw0w4+dmb.ldq0q0.litmus
./WRITE/SB+posw4w0-dmb.syw0q0s.litmus
./WRITE/R+posw4w0-dmb.syw0w4+dmb.syw0q0.litmus
./WRITE/SB+dmb.syw0q0+posw4w0-dmb.syw0q0.litmus
./WRITE/SB+dmb.syw4q0+posw4w0-dmb.syw0q0.litmus
./WRITE/MP+posw4w0-dmb.syw0w4+dmb.ldq0q0.litmus
