Besonderhede van voorbeeld: -6168163389778216090

English

Third, WALKSATis much faster than DPLL throughout the range.

Spanish

Tercero, SAT-C,Y~IIN~R es mucho más rápido que el DPLL en todo el raiigo.