Statistics

From MCRL2

MCRL2 statistics

There are 492 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 88 pages that are probably legitimate content pages.

110 files have been uploaded.

There have been a total of 2,144,784 page views, and 3,943 page edits since MCRL2 was setup. That comes to 8.01 average edits per page, and 543.95 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

• Download (128,253)
• Home (125,964)
• Documentation (68,730)
• Showcases (63,474)
• Development (57,450)
• User manual/Installation instructions (53,626)
• MCRL2 primer (45,450)
• User manual/Tool manual pages (39,846)
• About (38,791)
• CMake build instructions (35,082)