Details
-
Task
-
Resolution: Unresolved
-
Major - P3
-
None
-
None
-
None
-
Query Optimization
Description
Specific benchmarks to investigate:
CNF400Clauses
DNF400Clauses
CNF100Clauses
DNF100Clauses
Conjunction400Clauses
Conjunction100Clauses
TypeBracketedLt
TypeBracketedMixed
TypeBracketedLte
TypeBracketedGt
TypeBracketedGte
SimplifiedDNF
SimplifiedConjunction
SimplifiedCNF