Current grading rule: `abs(time) < {0.6, 2.0, 3.5, 6.0} / (1.5 - #RANK * 0.25) * 0.024ms` (thus ±19.2ms for `#RANK 3` and ±14.4ms for `#RANK 2`) This rule is too unusual to adapt `#EXRANK` or related commands. Maybe we should rethink about it.