litmus -mach power7.32 -o ~/tmp/a.tar src/@all **00 ### sh run.sh > A.00 sh run.sh -i 1 > A.01 sh run.sh +ra > A.02 sh run.sh -s 1000 -r 100k > A.03 sh run.sh -s 1000 -r 100k -i 1 > A.04 sh run.sh -s 1000 -r 100k +ra > A.05 **10 sh run.sh -rm > A.10 sh run.sh -rm -i 1 > A.11 sh run.sh -rm +ra > A.12 sh run.sh -rm -s 1000 -r 100k > A.13 sh run.sh -rm -s 1000 -r 100k -i 1 > A.14 sh run.sh -rm -s 1000 -r 100k +ra > A.15 ######################################## #run X14 + Y only litmus -mach power7.32 -o ~/tmp/a.tar src/X14.litmus src/@Y **20 sh run.sh -rm > A.20 sh run.sh -rm -i 1 > A.21 sh run.sh -rm -i 4 > A.22 sh run.sh -rm +ra > A.23 sh run.sh -rm -s 1000 -r 100k > A.24 sh run.sh -rm -s 1000 -r 100k -i 1 > A.25 sh run.sh -rm -s 1000 -r 100k -i 4 > A.26 sh run.sh -rm -s 1000 -r 100k +ra > A.27 ######################################## #X14 occured, run Y only litmus -mach power7.32 -o ~/tmp/a.tar src/@Y ** 30 sh run.sh -fr 5 > A.30 sh run.sh -i 1 -fr 5 > A.31 sh run.sh -i 2 -fr 5 > A.32 sh run.sh +ra -fr 5 > A.33 sh run.sh -s 1000 -r 100k -fr 5 > A.34 sh run.sh -s 1000 -r 100k -i 1 -fr 5 > A.35 sh run.sh -s 1000 -r 100k -i 2 -fr 5 > A.36 sh run.sh -s 1000 -r 100k +ra -fr 5 > A.37