To run these tests, you need the SPIN model checker. SPIN is available here : http://spinroot.com/
In the "test plan" file, you can find details about each test. More precisely:
- the number of transactions used in the test;
- the kind of access (read-set or write-set) for each transaction;
- the number of time a transaction is executed;
- objects opened in a transaction.