cores=2 threads=4 opsPerThread=400000 capacity=64 keys=128
workload: 90% get, 10% put, uniform random keys

round 1
  ReadWriteLock, get under READ lock  worker exceptions=0; size=64/64; INVARIANT BROKEN: list length 17 != index size 64
  synchronized (correct)              worker exceptions=0; size=64/64; invariants OK
round 2
  ReadWriteLock, get under READ lock  worker exceptions=0; size=64/64; INVARIANT BROKEN: list node not in index: 94
  synchronized (correct)              worker exceptions=0; size=64/64; invariants OK
round 3
  ReadWriteLock, get under READ lock  worker exceptions=0; size=64/64; invariants OK
  synchronized (correct)              worker exceptions=0; size=64/64; invariants OK
round 4
  ReadWriteLock, get under READ lock  worker exceptions=0; size=64/64; INVARIANT BROKEN: list node not in index: 125
  synchronized (correct)              worker exceptions=0; size=64/64; invariants OK
round 5
  ReadWriteLock, get under READ lock  worker exceptions=0; size=64/64; invariants OK
  synchronized (correct)              worker exceptions=0; size=64/64; invariants OK