Table 1: Usage results.

CodebaseKlocClasses Entity/TotalErrorsTime (Seconds)

seambay2.277, 2200.6
TCP26.894/1560 3 (see Section 4.1)