Comparing records for hard12(v4)

Dinius's record   •   hard12(v4) average   •   sjn|gibbz's record (#1)