diff options
Diffstat (limited to 'assignment7/D.status')
| -rw-r--r-- | assignment7/D.status | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/assignment7/D.status b/assignment7/D.status new file mode 100644 index 0000000..668b813 --- /dev/null +++ b/assignment7/D.status @@ -0,0 +1,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) |