Total Number of Solutions: 1
Total Number of Solutions With Any Theory: 1
Total Number of TestMethods: 287
Total Number of Theory Methods: 1
Total Number of Theory Methods With Assume: 0
Total Number of Theory Methods With Assert: 0
Total Number of Theory Methods With Parameters: 1
Total Number of Theory Methods With Non-primitive Paramters: 1
Total Number of Assume Clauses: 0
Total Number of Assert Clauses: 640
Total Number of Public Methods: 660
Total Number of Public Methods Invoked in Theory: 1
Total Number of Primitive Parameters: 49
Total Number of Non-primitive Parameters: 475
Total Number of Non-primitive Parameter Types: 93
Total Number of LOC: 7852