Is use of Everdrive GBA allowed for runs?

I have my DosBox set to max cycles and, after watching his video and doing a lot of testing, realized my game was running slightly faster than Eon's. We need to decide if max should be allowed, or some other value should be used.