AddVoTestAddVoTest |
4
4
|
0
0
|
0
0
|
0.0170.017 |
1.0100% |
1.0
|
AuthorListVoTestAuthorListVoTest |
1
1
|
0
0
|
0
0
|
0.0180.018 |
1.0100% |
1.0
|
AuthorVoTestAuthorVoTest |
2
2
|
0
0
|
0
0
|
0.0350.035 |
1.0100% |
1.0
|
AxiomVoTestAxiomVoTest |
2
2
|
0
0
|
0
0
|
0.0380.038 |
1.0100% |
1.0
|
ChangedRuleListVoTestChangedRuleListVoTest |
1
1
|
0
0
|
0
0
|
0.0190.019 |
1.0100% |
1.0
|
ChangedRuleVoTestChangedRuleVoTest |
1
1
|
0
0
|
0
0
|
0.0270.027 |
1.0100% |
1.0
|
ChapterListVoTestChapterListVoTest |
1
1
|
0
0
|
0
0
|
0.0770.077 |
1.0100% |
1.0
|
ChapterVoTestChapterVoTest |
1
1
|
0
0
|
0
0
|
0.0960.096 |
1.0100% |
1.0
|
ConclusionVoTestConclusionVoTest |
5
5
|
0
0
|
0
0
|
0.0340.034 |
1.0100% |
1.0
|
ConditionalProofVoTestConditionalProofVoTest |
4
4
|
0
0
|
0
0
|
0.0940.094 |
1.0100% |
1.0
|
ExistentialVoTestExistentialVoTest |
4
4
|
0
0
|
0
0
|
0.0429999980.043 |
1.0100% |
1.0
|
FormalProofLineListVoTestFormalProofLineListVoTest |
1
1
|
0
0
|
0
0
|
0.0240.024 |
1.0100% |
1.0
|
FormalProofLineVoTestFormalProofLineVoTest |
2
2
|
0
0
|
0
0
|
0.0230.023 |
1.0100% |
1.0
|
FormalProofListVoTestFormalProofListVoTest |
1
1
|
0
0
|
0
0
|
0.0350.035 |
1.0100% |
1.0
|
FormalProofVoTestFormalProofVoTest |
2
2
|
0
0
|
0
0
|
0.0380.038 |
1.0100% |
1.0
|
FormulaVoTestFormulaVoTest |
1
1
|
0
0
|
0
0
|
0.0220.022 |
1.0100% |
1.0
|
FunctionDefinitionVoTestFunctionDefinitionVoTest |
2
2
|
0
0
|
0
0
|
0.0290.029 |
1.0100% |
1.0
|
HeaderVoTestHeaderVoTest |
1
1
|
0
0
|
0
0
|
0.0630.063 |
1.0100% |
1.0
|
HypothesisVoTestHypothesisVoTest |
3
3
|
0
0
|
0
0
|
0.020.02 |
1.0100% |
1.0
|
ImportListVoTestImportListVoTest |
1
1
|
0
0
|
0
0
|
0.020.02 |
1.0100% |
1.0
|
ImportVoTestImportVoTest |
2
2
|
0
0
|
0
0
|
0.0190000010.019 |
1.0100% |
1.0
|
InitialFunctionDefinitionVoTestInitialFunctionDefinitionVoTest |
2
2
|
0
0
|
0
0
|
0.0530.053 |
1.0100% |
1.0
|
InitialPredicateDefinitionVoTestInitialPredicateDefinitionVoTest |
2
2
|
0
0
|
0
0
|
0.0260.026 |
1.0100% |
1.0
|
LatexListVoTestLatexListVoTest |
1
1
|
0
0
|
0
0
|
0.0310.031 |
1.0100% |
1.0
|
LatexVoTestLatexVoTest |
1
1
|
0
0
|
0
0
|
0.0220.022 |
1.0100% |
1.0
|
LinkListVoTestLinkListVoTest |
1
1
|
0
0
|
0
0
|
0.0140.014 |
1.0100% |
1.0
|
LiteratureItemListVoTestLiteratureItemListVoTest |
1
1
|
0
0
|
0
0
|
0.0180.018 |
1.0100% |
1.0
|
LiteratureItemVoTestLiteratureItemVoTest |
1
1
|
0
0
|
0
0
|
0.0410.041 |
1.0100% |
1.0
|
LocationListVoTestLocationListVoTest |
1
1
|
0
0
|
0
0
|
0.0260.026 |
1.0100% |
1.0
|
LocationVoTestLocationVoTest |
1
1
|
0
0
|
0
0
|
0.0180.018 |
1.0100% |
1.0
|
ModusPonensVoTestModusPonensVoTest |
6
6
|
0
0
|
0
0
|
0.040.04 |
1.0100% |
1.0
|
NodeVoTestNodeVoTest |
11
11
|
0
0
|
0
0
|
0.060.06 |
1.0100% |
1.0
|
PredicateDefinitionVoTestPredicateDefinitionVoTest |
2
2
|
0
0
|
0
0
|
0.0310.031 |
1.0100% |
1.0
|
ProofListVoTestProofListVoTest |
1
1
|
0
0
|
0
0
|
0.020.02 |
1.0100% |
1.0
|
ProofVoTestProofVoTest |
1
1
|
0
0
|
0
0
|
0.0220.022 |
1.0100% |
1.0
|
PropositionVoTestPropositionVoTest |
2
2
|
0
0
|
0
0
|
0.0660.066 |
1.0100% |
1.0
|
QedeqVoTestQedeqVoTest |
1
1
|
0
0
|
0
0
|
0.1060.106 |
1.0100% |
1.0
|
RenameVoTestRenameVoTest |
4
4
|
0
0
|
0
0
|
0.0569999960.057 |
1.0100% |
1.0
|
RuleVoTestRuleVoTest |
2
2
|
0
0
|
0
0
|
0.0910000060.091 |
1.0100% |
1.0
|
SectionListVoTestSectionListVoTest |
1
1
|
0
0
|
0
0
|
0.1050.105 |
1.0100% |
1.0
|
SectionVoTestSectionVoTest |
1
1
|
0
0
|
0
0
|
0.0940.094 |
1.0100% |
1.0
|
SpecificationVoTestSpecificationVoTest |
1
1
|
0
0
|
0
0
|
0.0430.043 |
1.0100% |
1.0
|
SubsectionListVoTestSubsectionListVoTest |
1
1
|
0
0
|
0
0
|
0.0480.048 |
1.0100% |
1.0
|
SubsectionVoTestSubsectionVoTest |
3
3
|
0
0
|
0
0
|
0.0319999980.032 |
1.0100% |
1.0
|
SubstFreeVoTestSubstFreeVoTest |
4
4
|
0
0
|
0
0
|
0.0269999990.027 |
1.0100% |
1.0
|
SubstFuncVoTestSubstFuncVoTest |
4
4
|
0
0
|
0
0
|
0.0539999980.054 |
1.0100% |
1.0
|
SubstPredVoTestSubstPredVoTest |
4
4
|
0
0
|
0
0
|
0.0269999990.027 |
1.0100% |
1.0
|
TermVoTestTermVoTest |
2
2
|
0
0
|
0
0
|
0.0360.036 |
1.0100% |
1.0
|
UniversalVoTestUniversalVoTest |
4
4
|
0
0
|
0
0
|
0.0230.023 |
1.0100% |
1.0
|
UsedByListVoTestUsedByListVoTest |
1
1
|
0
0
|
0
0
|
0.0190.019 |
1.0100% |
1.0
|