Comment by dtgriscom
Seems pretty clear that the result could be anything from 1 to 20.
(Assumes atomic assignments, as noted by someone else.)
Seems pretty clear that the result could be anything from 1 to 20.
(Assumes atomic assignments, as noted by someone else.)
What sort of an interleaving would produce 1? Seems provably impossible to me, assuming atomic assignments.