Commit state of repository at time of OOPSLA 2015 submission.

[satcheck.git] / benchmarks / satcheck-precompiled / linuxlock / benchmark-config.sh

NAME=linuxlocks
SIZES_SC="1 2 3 4 5 6 7 8 9 10 15 20 30 40 50 60 70 80 90 100 150 200 250"
SIZES_TSO="1 2 3 4 5 6 7 8 9 10 15 20 30 40 50 60 70 80 90 100"
RUN_FRONTEND=false
RUNTIME_FLAGS=