Comparing records for pinf-mine

source's record   •   pinf-mine average   •   ale's record (#1)