Table 1 Sequential SAT solver statistics and execution times on random 3-SAT equations. Initial statistics and wall clock times for baseline testing of the Mézard and Zecchina sequential implementation of Survey Propagation and Walksat SAT solvers on a personal computer running Windows XP on a single Intel 2.00 GHz Pentium M processor.
From: BioGraphE: high-performance bionetwork analysis using the Biological Graph Environment
SP Variables | SP Clauses | α | Walksat Variables | Walksat Clauses | Walksat α | Walksat Exec Time (alone) | SP Exec Time (comb.) | Walksat Exec Time (comb.) | SP+Walksat Exec Time (comb.) |
|---|---|---|---|---|---|---|---|---|---|
1,000 | 4,200 | 4.20 | 790 | 2,595 | 3.28 | 0.05 | 0.34 | 0.02 | 0.36 |
2,500 | 10,500 | 4.20 | 429 | 485 | 1.13 | 3.83 | 2.78 | 0.02 | 2.80 |
5,000 | 21,000 | 4.20 | 2,785 | 6,939 | 2.49 | 22.41 | 3.30 | 0.02 | 3.31 |
7,500 | 31,500 | 4.20 | 4,633 | 12,569 | 2.71 | 457.95 | 5.25 | 0.34 | 5.59 |
10,000 | 42,000 | 4.20 | 5,464 | 13,465 | 2.46 | 492.75 | 9.30 | 0.05 | 9.34 |
50,000 | 210,000 | 4.20 | 26,318 | 63,467 | 2.41 | 3,388.52 | 98.61 | 1.64 | 100.25 |
100,000 | 420,000 | 4.20 | 56,649 | 143,932 | 2.54 | 5,121.84 | 231.27 | 4.19 | 235.45 |