blob: 668b813136a4b9f157854d2be8a841e5f2585453 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
Proof summary for theory th_D
sum_TCC1..............................proved - complete [shostak](0.02 s)
sum_TCC2..............................proved - complete [shostak](-.00 s)
D_1...................................proved - complete [shostak](0.09 s)
D_2...................................proved - complete [shostak](0.09 s)
pow_TCC1..............................proved - complete [shostak](0.01 s)
pow_TCC2..............................proved - complete [shostak](-.01 s)
Theory totals: 6 formulas, 6 attempted, 6 succeeded (0.20 s)
Proof summary for theory th_Da
Da_1..................................proved - complete [shostak](0.13 s)
Da_2..................................proved - complete [shostak](0.28 s)
Da_3..................................proved - complete [shostak](0.23 s)
Da_4..................................proved - complete [shostak](0.06 s)
Da_5..................................proved - complete [shostak](0.06 s)
Theory totals: 5 formulas, 5 attempted, 5 succeeded (0.77 s)
Proof summary for theory th_Db
geom_TCC1.............................proved - complete [shostak](0.01 s)
geom_TCC2.............................proved - complete [shostak](0.01 s)
geom_sum..............................proved - complete [shostak](0.14 s)
Theory totals: 3 formulas, 3 attempted, 3 succeeded (0.16 s)
Grand Totals: 14 proofs, 14 attempted, 14 succeeded (1.13 s)
|
