We conducted experiments on several combinational benchmark circuits.

• 我们以许多的标准检查之组合电路来做实验。