Wed Sep 2 00:45:00 UTC 2015

This is the final leaderboard for the lightning division, based on
actual runs of programs submitted by the 10 lightning division finalists
(the top 10 teams on the lightning division
qualifying leaderboard) on a set of problems consisting of the
original 25 contest problems and 6 new problems. As per the lightning
division rules, no power phrases were supplied or scored. Each problem
was run twice, once with a 90 second time limit (*90s*) and once
with a 5 minute time limit (*5m*), and both results were
counted.

The white leaderboard on the left has the overall standings. Each team's "score" on this leaderboard is calculated as described below the leaderboards; higher numbers are better. The black leaderboards on the right contain the individual team rankings for each variant of each problem, as well as a graphical comparison of the points awarded to all teams' solutions to each variant of each problem. Note that not all teams successfully finished both variants of all problems within the prescribed time limits. In addition, one finalist program generated plain text output rather than properly formatted JSON output and was therefore not scored; thus, only 9 finalists appear on the leaderboard.

You may switch between the leaderboards by clicking on the problem names. You may highlight the entries for a particular team by clicking on the team name.

Overall Standings | Variant | Problem | Problem Leaderboards |
---|---|---|---|

Scores in the overall team standings are calculated as follows:

- For each variant of each problem (called a "run"), every team gets a
run score. The team with the highest game score on that run gets 100
points. All other teams get 100
`x`

^{2}points, where`x`

is the fraction of the highest game score they achieved. For example, if the maximum game score achieved for run Q was 100 points, and team Z had a game score of 50 points for run Q, then team Z would get 25 run points for run Q. A team that does not complete a run within the time limit gets a run score of 0 for that run. - The overall score for a team is the average of the team's run scores. Thus, the highest possible overall score is 100 (for a team that wins every run), and the lowest is 0 (for a team that never finishes a run, or gets such low scores that their run score calculations round to 0).