AddVoTestAddVoTest |
4
4
|
0
0
|
0
0
|
0.070.07 |
1.0100% |
1.0
|
AuthorListVoTestAuthorListVoTest |
1
1
|
0
0
|
0
0
|
0.0160.016 |
1.0100% |
1.0
|
AuthorVoTestAuthorVoTest |
2
2
|
0
0
|
0
0
|
0.0510.051 |
1.0100% |
1.0
|
AxiomVoTestAxiomVoTest |
2
2
|
0
0
|
0
0
|
0.0740.074 |
1.0100% |
1.0
|
ChangedRuleListVoTestChangedRuleListVoTest |
1
1
|
0
0
|
0
0
|
0.0720.072 |
1.0100% |
1.0
|
ChangedRuleVoTestChangedRuleVoTest |
1
1
|
0
0
|
0
0
|
0.0340.034 |
1.0100% |
1.0
|
ChapterListVoTestChapterListVoTest |
1
1
|
0
0
|
0
0
|
0.0720.072 |
1.0100% |
1.0
|
ChapterVoTestChapterVoTest |
1
1
|
0
0
|
0
0
|
0.310.31 |
1.0100% |
1.0
|
ConclusionVoTestConclusionVoTest |
5
5
|
0
0
|
0
0
|
0.0420000030.042 |
1.0100% |
1.0
|
ConditionalProofVoTestConditionalProofVoTest |
4
4
|
0
0
|
0
0
|
0.1050.105 |
1.0100% |
1.0
|
ExistentialVoTestExistentialVoTest |
4
4
|
0
0
|
0
0
|
0.0559999980.056 |
1.0100% |
1.0
|
FormalProofLineListVoTestFormalProofLineListVoTest |
1
1
|
0
0
|
0
0
|
0.0480.048 |
1.0100% |
1.0
|
FormalProofLineVoTestFormalProofLineVoTest |
2
2
|
0
0
|
0
0
|
0.0279999990.028 |
1.0100% |
1.0
|
FormalProofListVoTestFormalProofListVoTest |
1
1
|
0
0
|
0
0
|
0.0570.057 |
1.0100% |
1.0
|
FormalProofVoTestFormalProofVoTest |
2
2
|
0
0
|
0
0
|
0.0750.075 |
1.0100% |
1.0
|
FormulaVoTestFormulaVoTest |
1
1
|
0
0
|
0
0
|
0.0520.052 |
1.0100% |
1.0
|
FunctionDefinitionVoTestFunctionDefinitionVoTest |
2
2
|
0
0
|
0
0
|
0.0480.048 |
1.0100% |
1.0
|
HeaderVoTestHeaderVoTest |
1
1
|
0
0
|
0
0
|
0.1070.107 |
1.0100% |
1.0
|
HypothesisVoTestHypothesisVoTest |
3
3
|
0
0
|
0
0
|
0.0249999990.025 |
1.0100% |
1.0
|
ImportListVoTestImportListVoTest |
1
1
|
0
0
|
0
0
|
0.0230.023 |
1.0100% |
1.0
|
ImportVoTestImportVoTest |
2
2
|
0
0
|
0
0
|
0.0210.021 |
1.0100% |
1.0
|
InitialFunctionDefinitionVoTestInitialFunctionDefinitionVoTest |
2
2
|
0
0
|
0
0
|
0.0429999980.043 |
1.0100% |
1.0
|
InitialPredicateDefinitionVoTestInitialPredicateDefinitionVoTest |
2
2
|
0
0
|
0
0
|
0.0550.055 |
1.0100% |
1.0
|
LatexListVoTestLatexListVoTest |
1
1
|
0
0
|
0
0
|
0.0470.047 |
1.0100% |
1.0
|
LatexVoTestLatexVoTest |
1
1
|
0
0
|
0
0
|
0.0330.033 |
1.0100% |
1.0
|
LinkListVoTestLinkListVoTest |
1
1
|
0
0
|
0
0
|
0.0390.039 |
1.0100% |
1.0
|
LiteratureItemListVoTestLiteratureItemListVoTest |
1
1
|
0
0
|
0
0
|
0.0560.056 |
1.0100% |
1.0
|
LiteratureItemVoTestLiteratureItemVoTest |
1
1
|
0
0
|
0
0
|
0.020.02 |
1.0100% |
1.0
|
LocationListVoTestLocationListVoTest |
1
1
|
0
0
|
0
0
|
0.0450.045 |
1.0100% |
1.0
|
LocationVoTestLocationVoTest |
1
1
|
0
0
|
0
0
|
0.0630.063 |
1.0100% |
1.0
|
ModusPonensVoTestModusPonensVoTest |
6
6
|
0
0
|
0
0
|
0.0520.052 |
1.0100% |
1.0
|
NodeVoTestNodeVoTest |
11
11
|
0
0
|
0
0
|
0.1180.118 |
1.0100% |
1.0
|
PredicateDefinitionVoTestPredicateDefinitionVoTest |
2
2
|
0
0
|
0
0
|
0.0420000030.042 |
1.0100% |
1.0
|
ProofListVoTestProofListVoTest |
1
1
|
0
0
|
0
0
|
0.0230.023 |
1.0100% |
1.0
|
ProofVoTestProofVoTest |
1
1
|
0
0
|
0
0
|
0.0670.067 |
1.0100% |
1.0
|
PropositionVoTestPropositionVoTest |
2
2
|
0
0
|
0
0
|
0.0890.089 |
1.0100% |
1.0
|
QedeqVoTestQedeqVoTest |
1
1
|
0
0
|
0
0
|
0.3060.306 |
1.0100% |
1.0
|
RenameVoTestRenameVoTest |
4
4
|
0
0
|
0
0
|
0.0610.061 |
1.0100% |
1.0
|
RuleVoTestRuleVoTest |
2
2
|
0
0
|
0
0
|
0.137000010.137 |
1.0100% |
1.0
|
SectionListVoTestSectionListVoTest |
1
1
|
0
0
|
0
0
|
0.0980.098 |
1.0100% |
1.0
|
SectionVoTestSectionVoTest |
1
1
|
0
0
|
0
0
|
0.1060.106 |
1.0100% |
1.0
|
SpecificationVoTestSpecificationVoTest |
1
1
|
0
0
|
0
0
|
0.0710.071 |
1.0100% |
1.0
|
SubsectionListVoTestSubsectionListVoTest |
1
1
|
0
0
|
0
0
|
0.1450.145 |
1.0100% |
1.0
|
SubsectionVoTestSubsectionVoTest |
3
3
|
0
0
|
0
0
|
0.0260.026 |
1.0100% |
1.0
|
SubstFreeVoTestSubstFreeVoTest |
4
4
|
0
0
|
0
0
|
0.0290.029 |
1.0100% |
1.0
|
SubstFuncVoTestSubstFuncVoTest |
4
4
|
0
0
|
0
0
|
0.0770.077 |
1.0100% |
1.0
|
SubstPredVoTestSubstPredVoTest |
4
4
|
0
0
|
0
0
|
0.0319999980.032 |
1.0100% |
1.0
|
TermVoTestTermVoTest |
2
2
|
0
0
|
0
0
|
0.0450.045 |
1.0100% |
1.0
|
UniversalVoTestUniversalVoTest |
4
4
|
0
0
|
0
0
|
0.0499999970.05 |
1.0100% |
1.0
|
UsedByListVoTestUsedByListVoTest |
1
1
|
0
0
|
0
0
|
0.0320.032 |
1.0100% |
1.0
|