Statistics

From Event-B

Event-B statistics

There are 1,619 total pages in the database. This includes "talk" pages, pages about Event-B, minimal "stub" pages, redirects, and others that probably don't qualify as content pages. Excluding those, there are 301 pages that are probably legitimate content pages.

815 files have been uploaded.

There have been a total of 1,454,404 page views, and 16,037 page edits since Event-B was setup. That comes to 9.91 average edits per page, and 90.69 views per edit.

The job queue length is 0.

User statistics

There are 993 registered users, of which 8 (or 0.81%) have Sysops rights.

Most viewed pages

• Main Page (78,879)
• Camille Editor (24,193)
• Event-B Language (23,715)
• Current Developments (21,086)
• Rodin Plug-ins (19,656)
• FAQ (18,750)
• Event-B Examples (16,774)
• Event Model Decomposition (16,358)
• Rodin Proof Tactics (14,943)
• Rodin Developer Support (14,546)