Boolean Formula

(( ¬a0 ∧ ¬a1 ∧ ¬a2 ) ∨ ( ¬b0 ∧ ¬b1 ) ∨ ( ¬c0 ∧ ¬c1 )) ∧
(( ¬a0 ∧ ¬a1 ∧  a2 ) ∨ ( ¬b0 ∧  b1 ) ∨ ( ¬d0 ∧ ¬d1 )) ∧
(( ¬a0 ∧  a1 ∧ ¬a2 ) ∨ ( ¬d0 ∧  d1 ) ∨ ( ¬e0 ∧ ¬e1 )) ∧
(( ¬a0 ∧  a1 ∧  a2 ) ∨ ( ¬e0 ∧  e1 ) ∨ ( ¬f0 ∧ ¬f1 )) ∧
((  a0 ∧ ¬a1 ∧ ¬a2 ) ∨ ( ¬f0 ∧  f1 ) ∨ ( ¬g0 ∧ ¬g1 )) ∧
((  b0 ∧ ¬b1 )       ∨ ( ¬c0 ∧  c1 ) ∨ (  d0 ∧ ¬d1 )) ∧
((  b0 ∧  b1 )       ∨ (  f0 ∧ ¬f1 ) ∨ ( ¬g0 ∧  g1 )) ∧
((  c0 ∧ ¬c1 )       ∨ (  e0 ∧ ¬e1 ) ∨ (  g0 ∧ ¬g1 ))

Clause Vectors

[
  [ 0 0 0 _ _ _ _ _ _ _ _ _ _ _ _ ]
  [ _ _ _ 0 0 _ _ _ _ _ _ _ _ _ _ ]
  [ _ _ _ _ _ 0 0 _ _ _ _ _ _ _ _ ]
]
[
  [ 0 0 1 _ _ _ _ _ _ _ _ _ _ _ _ ]
  [ _ _ _ 0 1 _ _ _ _ _ _ _ _ _ _ ]
  [ _ _ _ _ _ _ _ 0 0 _ _ _ _ _ _ ]
]
[
  [ 0 1 0 _ _ _ _ _ _ _ _ _ _ _ _ ]
  [ _ _ _ _ _ _ _ 0 1 _ _ _ _ _ _ ]
  [ _ _ _ _ _ _ _ _ _ 0 0 _ _ _ _ ]
]
[
  [ 0 1 1 _ _ _ _ _ _ _ _ _ _ _ _ ]
  [ _ _ _ _ _ _ _ _ _ 0 1 _ _ _ _ ]
  [ _ _ _ _ _ _ _ _ _ _ _ 0 0 _ _ ]
]
[
  [ 1 0 0 _ _ _ _ _ _ _ _ _ _ _ _ ]
  [ _ _ _ _ _ _ _ _ _ _ _ 0 1 _ _ ]
  [ _ _ _ _ _ _ _ _ _ _ _ _ _ 0 0 ]
]
[
  [ _ _ _ 1 0 _ _ _ _ _ _ _ _ _ _ ]
  [ _ _ _ _ _ 0 1 _ _ _ _ _ _ _ _ ]
  [ _ _ _ _ _ _ _ 1 0 _ _ _ _ _ _ ]
]
[
  [ _ _ _ 1 1 _ _ _ _ _ _ _ _ _ _ ]
  [ _ _ _ _ _ _ _ _ _ _ _ 1 0 _ _ ]
  [ _ _ _ _ _ _ _ _ _ _ _ _ _ 0 1 ]
]
[
  [ _ _ _ _ _ 1 0 _ _ _ _ _ _ _ _ ]
  [ _ _ _ _ _ _ _ _ _ 1 0 _ _ _ _ ]
  [ _ _ _ _ _ _ _ _ _ _ _ _ _ 1 0 ]
]
    a a a b b c c d d e e f f g g
    0 1 2 0 1 0 1 0 1 0 1 0 1 0 1

Complexities