Proof summary for theory pingPong
    p_test1...............................proved - complete   [shostak](0.02 s)
    p_test2...............................proved - complete   [shostak](0.09 s)
    p_test_general........................proved - complete   [shostak](0.30 s)
    p_general.............................proved - complete   [shostak](0.19 s)
    link_periodic.........................proved - complete   [shostak](0.30 s)
    link_ping.............................proved - complete   [shostak](0.10 s)
    link_pingMsg..........................proved - complete   [shostak](0.12 s)
    link_pendingPing......................proved - complete   [shostak](0.09 s)
    link_pongMsg..........................proved - complete   [shostak](0.14 s)
    link_pingRTT..........................unfinished          [shostak](0.02 s)
    pingMsg_link..........................proved - complete   [shostak](0.05 s)
    pongMsg_link..........................proved - complete   [shostak](0.07 s)
    pongMsg_link_general..................proved - complete   [shostak](0.09 s)
    pingRTT_pongMst.......................proved - complete   [shostak](0.05 s)
    pingRTT_link..........................proved - complete   [shostak](0.02 s)
    Theory totals: 15 formulas, 15 attempted, 14 succeeded (1.65 s)

Grand Totals: 15 proofs, 15 attempted, 14 succeeded (1.65 s)