798323.fig.002a
(a)
798323.fig.002b
(b)
Figure 2: Noise probability versus number of unsatisfied clauses: (a) i2c-master1.dimacs.filtered.cnf: variables = 82429, clauses = 285987, (b) mem-ctrl-debug.dimacs.cnf: variables = 381721, clauses = 505547.