blob: 4db8b50d98180e664433fd0978c4d550db47e395 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
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)
|
