Attached is our virtual machine image.

user name:  sas14
password: sas14

After logging in, open in a textual editor (pico is available) the file run_all and uncomment lines of the algorithms you wish to verify.
Then, execute './run_all'.

The ~/README file should contain sufficient information to reproduce our results.

Thank you and best regards,
Yuri Meshman

-----------------------------------------------------------------------

I forgot to mention the attached vm is for:
SAS14 paper 20, Synthesis of Memory Fences via Refinement Propagation, submission.

Thank you and best regards,
Yuri Meshman