| AddVoTestAddVoTest |
4
4
|
0
0
|
0
0
|
0.0409999970.041 |
1.0100% |
1.0
|
| AuthorListVoTestAuthorListVoTest |
1
1
|
0
0
|
0
0
|
0.0230.023 |
1.0100% |
1.0
|
| AuthorVoTestAuthorVoTest |
2
2
|
0
0
|
0
0
|
0.030.03 |
1.0100% |
1.0
|
| AxiomVoTestAxiomVoTest |
2
2
|
0
0
|
0
0
|
0.0260.026 |
1.0100% |
1.0
|
| ChangedRuleListVoTestChangedRuleListVoTest |
1
1
|
0
0
|
0
0
|
0.0210.021 |
1.0100% |
1.0
|
| ChangedRuleVoTestChangedRuleVoTest |
1
1
|
0
0
|
0
0
|
0.0230.023 |
1.0100% |
1.0
|
| ChapterListVoTestChapterListVoTest |
1
1
|
0
0
|
0
0
|
0.0610.061 |
1.0100% |
1.0
|
| ChapterVoTestChapterVoTest |
1
1
|
0
0
|
0
0
|
0.080.08 |
1.0100% |
1.0
|
| ConclusionVoTestConclusionVoTest |
5
5
|
0
0
|
0
0
|
0.0220.022 |
1.0100% |
1.0
|
| ConditionalProofVoTestConditionalProofVoTest |
4
4
|
0
0
|
0
0
|
0.0519999970.052 |
1.0100% |
1.0
|
| ExistentialVoTestExistentialVoTest |
4
4
|
0
0
|
0
0
|
0.0330.033 |
1.0100% |
1.0
|
| FormalProofLineListVoTestFormalProofLineListVoTest |
1
1
|
0
0
|
0
0
|
0.0440.044 |
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.0690.069 |
1.0100% |
1.0
|
| FormalProofVoTestFormalProofVoTest |
2
2
|
0
0
|
0
0
|
0.0730.073 |
1.0100% |
1.0
|
| FormulaVoTestFormulaVoTest |
1
1
|
0
0
|
0
0
|
0.0240.024 |
1.0100% |
1.0
|
| FunctionDefinitionVoTestFunctionDefinitionVoTest |
2
2
|
0
0
|
0
0
|
0.050.05 |
1.0100% |
1.0
|
| HeaderVoTestHeaderVoTest |
1
1
|
0
0
|
0
0
|
0.0550.055 |
1.0100% |
1.0
|
| HypothesisVoTestHypothesisVoTest |
3
3
|
0
0
|
0
0
|
0.0210.021 |
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.0240.024 |
1.0100% |
1.0
|
| InitialFunctionDefinitionVoTestInitialFunctionDefinitionVoTest |
2
2
|
0
0
|
0
0
|
0.0290.029 |
1.0100% |
1.0
|
| InitialPredicateDefinitionVoTestInitialPredicateDefinitionVoTest |
2
2
|
0
0
|
0
0
|
0.0559999980.056 |
1.0100% |
1.0
|
| LatexListVoTestLatexListVoTest |
1
1
|
0
0
|
0
0
|
0.0160.016 |
1.0100% |
1.0
|
| LatexVoTestLatexVoTest |
1
1
|
0
0
|
0
0
|
0.0160.016 |
1.0100% |
1.0
|
| LinkListVoTestLinkListVoTest |
1
1
|
0
0
|
0
0
|
0.0160.016 |
1.0100% |
1.0
|
| LiteratureItemListVoTestLiteratureItemListVoTest |
1
1
|
0
0
|
0
0
|
0.0270.027 |
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.0210.021 |
1.0100% |
1.0
|
| LocationVoTestLocationVoTest |
1
1
|
0
0
|
0
0
|
0.0170.017 |
1.0100% |
1.0
|
| ModusPonensVoTestModusPonensVoTest |
6
6
|
0
0
|
0
0
|
0.0280.028 |
1.0100% |
1.0
|
| NodeVoTestNodeVoTest |
11
11
|
0
0
|
0
0
|
0.0920.092 |
1.0100% |
1.0
|
| PredicateDefinitionVoTestPredicateDefinitionVoTest |
2
2
|
0
0
|
0
0
|
0.0350.035 |
1.0100% |
1.0
|
| ProofListVoTestProofListVoTest |
1
1
|
0
0
|
0
0
|
0.0420.042 |
1.0100% |
1.0
|
| ProofVoTestProofVoTest |
1
1
|
0
0
|
0
0
|
0.0260.026 |
1.0100% |
1.0
|
| PropositionVoTestPropositionVoTest |
2
2
|
0
0
|
0
0
|
0.0679999960.068 |
1.0100% |
1.0
|
| QedeqVoTestQedeqVoTest |
1
1
|
0
0
|
0
0
|
0.170.17 |
1.0100% |
1.0
|
| RenameVoTestRenameVoTest |
4
4
|
0
0
|
0
0
|
0.0419999960.042 |
1.0100% |
1.0
|
| RuleVoTestRuleVoTest |
2
2
|
0
0
|
0
0
|
0.1150.115 |
1.0100% |
1.0
|
| SectionListVoTestSectionListVoTest |
1
1
|
0
0
|
0
0
|
0.1120.112 |
1.0100% |
1.0
|
| SectionVoTestSectionVoTest |
1
1
|
0
0
|
0
0
|
0.0540.054 |
1.0100% |
1.0
|
| SpecificationVoTestSpecificationVoTest |
1
1
|
0
0
|
0
0
|
0.0220.022 |
1.0100% |
1.0
|
| SubsectionListVoTestSubsectionListVoTest |
1
1
|
0
0
|
0
0
|
0.0520.052 |
1.0100% |
1.0
|
| SubsectionVoTestSubsectionVoTest |
3
3
|
0
0
|
0
0
|
0.0240.024 |
1.0100% |
1.0
|
| SubstFreeVoTestSubstFreeVoTest |
4
4
|
0
0
|
0
0
|
0.0360.036 |
1.0100% |
1.0
|
| SubstFuncVoTestSubstFuncVoTest |
4
4
|
0
0
|
0
0
|
0.0530000030.053 |
1.0100% |
1.0
|
| SubstPredVoTestSubstPredVoTest |
4
4
|
0
0
|
0
0
|
0.0539999980.054 |
1.0100% |
1.0
|
| TermVoTestTermVoTest |
2
2
|
0
0
|
0
0
|
0.0380000030.038 |
1.0100% |
1.0
|
| UniversalVoTestUniversalVoTest |
4
4
|
0
0
|
0
0
|
0.0360.036 |
1.0100% |
1.0
|
| UsedByListVoTestUsedByListVoTest |
1
1
|
0
0
|
0
0
|
0.0190.019 |
1.0100% |
1.0
|
