Table 3.

Computation (CPU) time(s) for the HNN model.

NC	HNN-HORNSAT	HNN-2SAT	HNN-3SAT	HNN-MFTHORNSAT
1	1.8350	0.1963	0.3643	0.8232
2	2.9006	0.2733	0.6835	2.0679
3	5.6323	0.8780	1.3707	4.3258
4	12.0040	1.5076	2.2358	10.1566
5	18.9292	3.6846	6.7422	16.4340
6	25.1675	6.9666	11.4600	22.5552
7	32.0050	9.4050	14.2815	26.9081
8	48.0088	12.5590	26.9580	35.6528