Sharp as Occam's razor.
UnitTestBot .NET executes all the program instructions with the symbolic values, scanning each and every path. It explores a program's computation tree with as much coverage as possible — you can monitor it right in your IDE. But it never goes the same way: due to minimization procedures, it does not multiply the tests beyond necessity.