The SIGPIPE case that never failed in 20,000 laptop runs but failed on the first Rewind run is a strong result. One thing I wonder about is "same result under all 65 schedules" only rules out failures that happen more than roughly 5% of the time. Is there a way to see how many schedules rarer races need, say 1 in 1,000?