Minisat a-t-il besoin de temps exponentiel?

Question

Je demande une séquence d'instances pour SAT, une instance pour chaque longueur, de sorte que la séquence prend du temps exponentiel avec Minisat.