As for the records, there is a bug that makes the UI timer tick at a different speed depending on the monitor refresh rate. The 12.79 record was done on 240hz monitor, making the actual time 4 times slower - 51.16 31.77 was done on 144hz, 2.4 times slower - 1:16.24
