X-SAT对比国际先进的电路SAT求解器，实现了7.08倍的加速。在更困难的乘加混合电路上，X-SAT大幅领先已有电路SAT求解器和轻量求解器MiniSat，分别实现了36.34倍和50.99倍的加速。并首次超过了主流基于CNF的SAT求解器kissat，提高性能达35.94%。