% litmus -mach vargas16 -o ~/tmp/a.tar @exp ** 00 var [work/DIY]% sh run.sh -r 20k > V.00 va% sh run.sh +ra -r 20000 > V.01 va% sh run.sh -i 0 -r 20000 > V.02 ** 03 va% sh run.sh -s 100k -r 200 > V.03 va% sh run.sh -s 100k -r 200 +ra > V.04 va% sh run.sh -s 100k -r 200 -i 0 > V.05 ** 06 va% sh run.sh -r 20k > V.06 va% sh run.sh -r 20k +ra > V.07 va% sh run.sh -r 20k -i 0 > V.08 ** 09 va% sh run.sh -s 100k -r 200 > V.09 va% sh run.sh -s 100k -r 200 +ra > V.10 va% sh run.sh -s 100k -r 200 -i 0 > V.11