Mirror Result
Total Number of Solutions: 1
Total Number of Solutions With Any Theory: 1
Total Number of TestMethods: 149
Total Number of Theory Methods: 79
Total Number of Theory Methods With Assume: 0
Total Number of Theory Methods With Assert: 79
Total Number of Theory Methods With Parameters: 79
Total Number of Theory Methods With Non-primitive Paramters: 79
Total Number of Assume Clauses: 0
Total Number of Assert Clauses: 283
Total Number of Public Methods: 748
Total Number of Public Methods Invoked in Theory: 1012
Total Number of Primitive Parameters: 23
Total Number of Non-primitive Parameters: 516
Total Number of Non-primitive Parameter Types: 68
Total Number of LOC: 5321