Trong trường hợp xấu nhất, sự thỏa mãn của Boolean (giả sử P! = NP) mất thời gian theo cấp số nhân. Tuy nhiên, người giải SAT hiện đại sử dụng các biến thể của DPLL, có thể giải quyết đủ các trường hợp có ích trong thực tế.
Một kỹ thuật được sử dụng, đã cho thấy kết quả tốt trong thực tế, là khởi động lại ngẫu nhiên. Theo trực giác, khởi động lại ngẫu nhiên có nghĩa là có cơ hội nhận được may mắn hơn với việc đoán đúng các bài tập biến sẽ dẫn đến một giải pháp nhanh chóng.
Trực giác tương tự cho thấy điều này sẽ hiệu quả hơn nhiều khi thực tế vấn đề thực sự thỏa đáng (vì vậy bạn chỉ cần đoán một tập các phép gán biến tạo thành một giải pháp) so với nếu không (về nguyên tắc bạn phải kiểm tra tất cả có thể các bài tập dù sao đi nữa, các phần modulo của không gian tìm kiếm có thể được bỏ qua thông qua các kỹ thuật như lan truyền đơn vị và quay lui không theo trình tự thời gian, ít nhất là không nhạy cảm với các dự đoán ban đầu).
Là trực giác thứ hai đúng? Là khởi động lại ngẫu nhiên trong thực tế hiệu quả hơn nhiều, trung bình, trong trường hợp thực tế vấn đề là thực tế thỏa đáng?