blob: 5b939edd4b78840fea92caa6bdb0d3111e320c27 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
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)
|
