User stats #182
Stats are displayed in the 'leaderboard page':
Total execution is real-time - the execution time is already calculated (it is used to calculate the energy cost of CPU execution)
You can set user stats by directly manipulating their UserStats attribute (you can find an exemple Here)
If you need any more info let me know, thanks!