-
Type: Task
-
Resolution: Unresolved
-
Priority: Major - P3
-
None
-
Affects Version/s: None
-
Component/s: None
-
Query Optimization
Specific benchmarks to investigate:
CNF400Clauses
DNF400Clauses
CNF100Clauses
DNF100Clauses
Conjunction400Clauses
Conjunction100Clauses
TypeBracketedLt
TypeBracketedMixed
TypeBracketedLte
TypeBracketedGt
TypeBracketedGte
SimplifiedDNF
SimplifiedConjunction
SimplifiedCNF