Proof summary for theory NDlogRule
    p_test_general........................proved - complete   [shostak](0.57 s)
    p_general.............................proved - complete   [shostak](0.21 s)
    link_general..........................proved - complete   [shostak](0.09 s)
    Theory totals: 3 formulas, 3 attempted, 3 succeeded (0.87 s)

 Proof summary for theory stableConvergen
    hop_ab_1..............................proved - complete   [shostak](0.33 s)
    hopBest_be_1..........................proved - complete   [shostak](0.24 s)
    bestHopCost_be........................proved - complete   [shostak](0.78 s)
    bestHopCost_ab........................proved - complete   [shostak](0.17 s)
    bestHopCost_ac........................proved - complete   [shostak](0.17 s)
    bestHopCost_ae........................proved - complete   [shostak](0.17 s)
    bestHopCost_bc........................proved - complete   [shostak](0.18 s)
    bestHopCost_ce........................proved - complete   [shostak](0.88 s)
    bestHopCost_stable....................proved - complete   [shostak](0.45 s)
    Theory totals: 9 formulas, 9 attempted, 9 succeeded (3.37 s)

 Proof summary for theory diverge_linkFail
    hopBest_be_1..........................proved - complete   [shostak](1.20 s)
    hop_be_3..............................proved - complete   [shostak](0.47 s)
    hop_be_2..............................proved - complete   [shostak](0.45 s)
    bestHop_be_2..........................proved - complete   [shostak](1.00 s)
    hop_be_2at100.........................proved - complete   [shostak](1.05 s)
    hop_ae_2at110.........................proved - complete   [shostak](0.58 s)
    hop_ae_3at110.........................proved - complete   [shostak](0.49 s)
    bestHop_ae_3at110.....................proved - complete   [shostak](2.92 s)
    hop_contradict_link...................proved - complete   [shostak](0.67 s)
    hop_be2ae_increase....................proved - complete   [shostak](0.66 s)
    hop_ae2be_increase....................proved - complete   [shostak](0.78 s)
    bestHop_ae2be_increase................proved - complete   [shostak](0.11 s)
    bestHop_ae_increase_to_infinity.......proved - complete   [shostak](0.28 s)
    bestHop_be_increase_to_infinity.......proved - complete   [shostak](0.37 s)
    Theory totals: 14 formulas, 14 attempted, 14 succeeded (11.03 s)

Grand Totals: 26 proofs, 26 attempted, 26 succeeded (15.27 s)