Hard satisfiability problems
n
Median runtime for 100
satisfiable
random 3-CNF
sentences,
n
= 50
