diff options
Diffstat (limited to 'assignment6/C.status')
| -rw-r--r-- | assignment6/C.status | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/assignment6/C.status b/assignment6/C.status new file mode 100644 index 0000000..4db8b50 --- /dev/null +++ b/assignment6/C.status @@ -0,0 +1,12 @@ + 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) |