[Imprint]
[Data Privacy Statement]
[E-Mail]
Back to
main index
. View
the specification
. View
theorem base summary
, View
theorem base listing
, the
used properties by spec
, the
dependency list
, the
symbol table
,
Theorem base summary for Specification partial-sorted
Status:
Proved!
Axioms: 5, User Theorems: 12 (Proved: 12, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 106, Interactions: 34
less-base(0,0)
sorted-0(1,0)
sorted-next-1(5,2)
sorted-sorted-next-1-le(5,2)
violations-swap(17,5)
less-rec(0,0)
sorted-1(1,0)
sorted-next-1-swap(15,6)
violations-base(0,0)
less-same(14,4)
sorted-next-0(5,2)
sorted-ordered(16,6)
violations-exists(11,2)
partial-sorted(0,0)
sorted-next-0-swap(13,5)
sorted-sorted-next-0-le(3,0)
violations-rec(0,0)