nVery
short and very long runs for different randomized runs on *same*
instances

nHeavy-tailed distribution (Pareto)

Control of Computation:

Restarts in Satistifiabilty Solvers

Restarts in Satistifiabilty Solvers

Eric Horvitz, April 5, 2003