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