CSCI P415/515 | Fri Jan 6 15:18:04 EST 2012 [SDJ] |
The unfinished items, prog_TCC1, etc., will be explained in lecture. At this point, you are not expected to prove them (or find them, for that matter).
Proof summary for theory th_E proj_TCC1.............................unfinished [SHOSTAK]( n/a s) budget_TCC1...........................unfinished [SHOSTAK]( n/a s) cost_TCC1.............................unfinished [SHOSTAK]( n/a s) E_1...................................proved - incomplete [SHOSTAK](1.38 s) E_2...................................proved - incomplete [SHOSTAK](0.72 s) E_3a..................................proved - incomplete [SHOSTAK](0.71 s) E_3b..................................proved - incomplete [SHOSTAK](0.27 s) E_3c..................................proved - incomplete [SHOSTAK](0.62 s) E_4...................................proved - incomplete [SHOSTAK](0.06 s) E_5a..................................proved - incomplete [SHOSTAK](0.07 s) E_5b..................................proved - incomplete [SHOSTAK](0.31 s) E_5c..................................proved - incomplete [SHOSTAK](0.59 s) E_6a..................................proved - incomplete [SHOSTAK](0.03 s) E_6b..................................proved - incomplete [SHOSTAK](0.03 s) E_6c..................................proved - incomplete [SHOSTAK](0.09 s) Theory totals: 15 formulas, 15 attempted, 12 succeeded (4.88 s) Grand Totals: 15 proofs, 15 attempted, 12 succeeded (4.88 s)