Hacker News Reader

> However, in practice variable-fixing can and often does give an _expected time_ speed-up

Proof? Because as far as I know literally none of RP, BPP, ZPP relationships to NP are known.

Indeed no proof. By "in practice" I meant "on instances encountered in real-world applications."

then instead of _expected time_ you should say _hope-for time_ because _expected time_, in this context, is already firmly defined.