Effective Lock Handling in Stateless Model Checking

This is the artifact accompanying the paper "Effective Lock Handling in Stateless Model Checking", which will appear in OOPSLA 19. We consider our paper's artifact to be the set of benchmarks we used in the paper, as well as the results we got by running particular versions of model checking tools (i.e., GenMC and LAPOR) on the benchmarks set. We do not consider the artifact of the paper to be LAPOR, as it will evolve over time