INPUT FORMULA
3 VAR / 4 CLAUSE
4 VAR / 6 CLAUSE
5 VAR / 8 CLAUSE
UNSATISFIABLE
VERIFICATION RESULTS
VERIFICATION SCORE
--
LOGICAL COHERENCE
--%
SATISFIABILITY
--
MODELS FOUND
--
COMPLEXITY
--
SYMMETRY
--
COHERENCE
--
CONSISTENCY
--
COMPLETENESS
--
RELIABILITY
--
AWAITING INPUT