Accidentally fixed a bug: we always stored the winning boards even though they we duplicates