no false positives (except for rare bugs); it will usually either return some partial solution (like a simplified version of the input), or else just keep runni

no false positives (except for rare bugs); it will usually either return some partial solution (like a simplified version of the input), or else just keep running for a very long time until you give up.