|
1
|
Result of the analysis by WP
|
|
2
|
----------------------------------------------------------
|
|
3
|
Axiomatics Proved Total Success
|
|
4
|
Lemma 5 5 100%
|
|
5
|
lemma_inv_init_1_top 1
|
|
6
|
lemma_inv_init_2_top 1
|
|
7
|
lemma_inv_inv_top 1
|
|
8
|
lemma_inv_spec_top 1
|
|
9
|
lemma_missing 1
|
|
10
|
----------------------------------------------------------
|
|
11
|
Functions Proved Total Success
|
|
12
|
Sofar_reset 4 4 100%
|
|
13
|
Sofar_step 14 14 100%
|
|
14
|
Age_reset 4 4 100%
|
|
15
|
Age_step 16 16 100%
|
|
16
|
top_reset 14 14 100%
|
|
17
|
top_step 45 47 95.7%
|
|
18
|
----------------------------------------------------------
|