Proof summary for theory th_C
    L1....................................proved - complete   [shostak](0.13 s)
    L2....................................proved - complete   [shostak](0.03 s)
    L3....................................proved - complete   [shostak](0.01 s)
    L4....................................proved - complete   [shostak](0.02 s)
    L5....................................proved - complete   [shostak](0.01 s)
    L6....................................proved - complete   [shostak](0.09 s)
    L7....................................proved - complete   [shostak](0.07 s)
    L8....................................proved - complete   [shostak](0.08 s)
    Theory totals: 8 formulas, 8 attempted, 8 succeeded (0.44 s)

Grand Totals: 8 proofs, 8 attempted, 8 succeeded (0.44 s)