isEasierThan

3 triples
GPTKB property

Random triples
Subject Object
gptkb:3-satisfiability general SAT (in terms of clause length)
gptkb:Horn-SAT general SAT
gptkb:2-SAT gptkb:3-SAT