Theorem: AIGStress.t6 (Test/AIG/Stress.lean)

State before:
x : Bool
x✝ : x = true
⊢ (x && x && (x && x) && (x && x && (x && x)) && (x && x && (x && x) && (x && x && (x && x))) &&
        (x && x && (x && x) && (x && x && (x && x)) && (x && x && (x && x) && (x && x && (x && x)))) &&
      (x && x && (x && x) && (x && x && (x && x)) && (x && x && (x && x) && (x && x && (x && x))) &&
        (x && x && (x && x) && (x && x && (x && x)) && (x && x && (x && x) && (x && x && (x && x)))))) =
    true
Tactic:
bv_decide
State after:
no goals