Assertion: algorithm's efficiency | /r/HasProperty | checked
Facets:
Source sentences:
text: Hence the efficiency of an algorithm must be checked and maintained.