Overall Result
Total Number of Solutions: 11
Total Number of Solutions With Any Theory: 11
Total Number of TestMethods: 15588
Total Number of Theory Methods: 399
Total Number of Theory Methods With Assume: 234
Total Number of Theory Methods With Assert: 397
Total Number of Theory Methods With Parameters: 394
Total Number of Theory Methods With Non-primitive Paramters: 334
Total Number of Assume Clauses: 109
Total Number of Assert Clauses: 36644
Total Number of Public Methods: 40930
Total Number of Public Methods Invoked in Theory: 1899
Total Number of Primitive Parameters: 6927
Total Number of Non-primitive Parameters: 33775
Total Number of Non-primitive Parameter Types: 3973
Total Number of LOC: 459878