Tournament rule 411.3.a
If a deck check is performed within a match, judges should grant a time extension to that match sufficient to cover the logistical time needed to perform the check.
Loading Arbiter…
If a deck check is performed within a match, judges should grant a time extension to that match sufficient to cover the logistical time needed to perform the check.