diff options
| author | Camil Staps | 2016-03-11 15:26:17 +0100 |
|---|---|---|
| committer | Camil Staps | 2016-03-11 15:26:17 +0100 |
| commit | 09a4e4438c7a834df9b44c134cbdacc040411c59 (patch) | |
| tree | 6814454f3fc9a4170b4cce871cbb9753b969bd1e /assignment6/C.status | |
| parent | Copyright elevator (diff) | |
Assignment 6
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) |