We've discussed this a bunch in our circle of runners. I guess having both times featured is useful, and personally I lean more towards in-game time because the gains from being able to perform more actions per second/minute due to a slower computer isn't actually that useful in my opinion, whereas real time can change a lot based on different machines/browsers and screw over people with weaker machines.