diff options
| author | Camil Staps | 2016-03-16 20:28:20 +0100 |
|---|---|---|
| committer | Camil Staps | 2016-03-16 20:28:20 +0100 |
| commit | 97a1c13a94c56dc405540b7e6b4102152a42ebb3 (patch) | |
| tree | 10e4e1516c3ece5ec80ee4b6211be4ee92701b24 /assignment7/E.status | |
| parent | Assignment 6 (diff) | |
Assignment 7
Diffstat (limited to 'assignment7/E.status')
| -rw-r--r-- | assignment7/E.status | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/assignment7/E.status b/assignment7/E.status new file mode 100644 index 0000000..5b939ed --- /dev/null +++ b/assignment7/E.status @@ -0,0 +1,19 @@ + Proof summary for theory th_E + fac_TCC1..............................proved - complete [shostak](0.02 s) + fac_TCC2..............................proved - complete [shostak](0.01 s) + thm_E_0...............................proved - complete [shostak](0.30 s) + thm_E_1...............................proved - complete [shostak](0.03 s) + thm_E_2...............................proved - complete [shostak](0.06 s) + tfac_TCC1.............................proved - complete [shostak](0.01 s) + tfac_TCC2.............................proved - complete [shostak](0.01 s) + lemma_E_3.............................proved - complete [shostak](0.06 s) + th_E_4................................proved - complete [shostak](0.03 s) + fib_TCC1..............................proved - complete [shostak](0.01 s) + fib_TCC2..............................proved - complete [shostak](0.01 s) + lem_E_Camil_2_TCC1....................proved - complete [shostak](0.01 s) + lem_E_Camil_2_TCC2....................proved - complete [shostak](0.02 s) + lem_E_Camil_2.........................proved - complete [shostak](0.31 s) + thm_E_6...............................proved - complete [shostak](0.06 s) + Theory totals: 15 formulas, 15 attempted, 15 succeeded (0.97 s) + +Grand Totals: 15 proofs, 15 attempted, 15 succeeded (0.97 s) |