Statistics

From MCRL2

MCRL2 statistics

There are 424 total pages in the database. This includes "talk" pages, pages about MCRL2, minimal "stub" pages, redirects, and others that probably do not qualify as content pages. Excluding those, there are 83 pages that are probably legitimate content pages.

89 files have been uploaded.

There have been a total of 1,447,626 page views, and 3,334 page edits since MCRL2 was setup. That comes to 7.86 average edits per page, and 434.20 views per edit.

The job queue length is 0.

User statistics

There are 22 registered users, of which 15 (or 68.18%) have Sysops rights.

Most viewed pages

• Home (81,098)
• Download (77,021)
• Documentation (44,947)
• Showcases (43,857)
• User manual/Installation instructions (39,229)
• Development (36,703)
• MCRL2 primer (35,249)
• Build instructions (29,168)
• About (27,852)
• Library documentation (24,156)