bug_metrics.csv

config,validation count,bugs found,find time,depth,bugs found (sidestep),find time (sidestep),depth (sidestep)
"raftkvs, n = 1",60,33.33%,14.4,2666,50.00%,12.7,1825
"raftkvs, n = 3 +fail",60,86.67%,101.0,12801,86.67%,88.8,8456
"raftkvs, n = 4",60,76.67%,387.9,29053,78.33%,355.1,21581
"raftkvs, n = 2",60,78.33%,71.8,10372,78.33%,61.3,7587
"raftkvs, n = 3",80,65.00%,148.7,15103,70.00%,119.6,10445
locksvc,32,65.63%,1.5,14,65.63%,1.5,12
dqueue,1,0.00%,NaN,NaN,0.00%,NaN,NaN
"raftkvs, n = 5",60,80.00%,596.0,39845,81.67%,730.0,28824