Hi, thanks for checking out my stuff.
This is the dataset associated with the evaluation in my OOPSLA 2016 paper, "Stateless Model Checking with Data-Race Preemption Points". You can read the paper here:
http://www.pdl.cmu.edu/PDL-FTP/associated/oopsla.pdf
and find other associated materials here:
http://www.pdl.cmu.edu/PDL-FTP/associated/CMU-PDL-16-103.pdf
https://github.com/bblum/oopsla-quicksand
The spreadsheet is also available on google docs for easier browsing:
https://docs.google.com/spreadsheets/d/1y_Hv5oaYMh9jJZC1XMzJR6_lWXyYPcUAjQKd_ftWM2o
Each of the first 6 sheets corresponds to one of the data series in figures 7 and 8 in the paper. The last two sheets belong to figure 9.
Feel free to email me (first author email in the paper) with any questions, comments, or compliments.
Ben