Assertion: kernel's line | /r/HasProperty | kernel time
Facets:
Source sentences:
text: The green line is total CPU time; the red line is Kernel time.