<s>[INST]Etkili algoritmalar kullanan SAT işleyicileri tarafından rutin olarak çözülen büyük örneklerle karakterize edilen bir başka sorunun örneği nedir?[/INST]Uygulamadaki anlamsızlık ne demek pratikte tartışmaya açık. Bir sorunun P'de olmadığını söylemek, sorunun tüm büyük vakalarının zor olduğunu veya çoğunun bile olduğu anlamına gelmez. Örneğin, Presburger aritmetiğindeki karar probleminin P'de olmadığı, ancak çoğu durumda problemi makul zamanlarda çözen algoritmalar yazılmıştır. Benzer şekilde, algoritmalar NP-komple sırt çantası problemini ikinci dereceden daha kısa sürede çok çeşitli boyutlarda çözebilirler ve SAT çözücüler NP-tam Boole tatmin edilebilirlik probleminin büyük örneklerini rutin olarak ele alırlar.</s>