#set ($title = "Leaderboard - M.A.R") #set ($cur_page = "leaderboard") #parse("head.vm")
#parse("header.vm")

##### Leaderboard

Player | Completed vaults | Death count | Total execution time (ms) | Walk distance
--- | --- | --- | --- | ---
#foreach($row in $stats)
$row.getKey().getUsername() | $row.getValue().get("completedVaults") | $row.getValue().get("death") | $row.getValue().get("executionTime") | $row.getValue().get("walkDistance")
#end

#parse("footer.vm")