>>11727229This literally encodes an exponential brute force solution. Every possible computation when you predetermine a set of choices (ie, you've resolved nondeterminism by committing to a branch of computation) is polynomial, but the set of advice strings that encode the resolution to nondeterminism is an exponentially large set, So you're doing polynomial work, exponentially many times, so your algorithm is painfully slow.
