Number of lines seems to be wrong for some projects
Currently, the line count of CLAMR and Kripke are reported to be exactly the same (109,477). This seems highly unprobable, and I think that all counts should be double-checked. Even better, this list should be automatically generated.