论文主要针对三类实例证明了加速效果：含大量偏置变量的公式、半随机2-CNF公式、正则扩展图上的Max-Cut和随机块模型图。