Although most benchmarks show the expected benefits of a write buffer and the expected overhead incurred
by verification, some of the slash results are counterintuitive. Highly contended locks make slash sensitive
to changes in write access timing, as indicated by high
variance in run time, and it benefits from reduced contention caused by additional stalls present in SC [22].