798323.fig.003a
(a)
798323.fig.003b
(b)
Figure 3: Log-Log Plot: (a) rsdecoder2.dimacs.filtered.cnf: variables = 415480, clauses = 1632526, (b) rsdecoder-fsm1.dimacs.filtered.cnf: variables = 238290, clauses = 936006. Time development for 100 runs in 15 minutes.