Unit Test Results.

Designed for use with JUnit and Ant.

All Tests

ClassNameStatusTypeTime(s)
XmlReaderExceptionTesttestCreatorSuccess0.026
XmlReaderExceptionTesttestGetterSuccess0.005
XmlReaderExceptionTesttestGetter2Success0.003
AbstractOutputTesttestCompleteSuccess0.031
AbstractOutputTesttestPushPopSuccess0.002
AbstractOutputTesttestAdd01Success0.002
AbstractOutputTesttestAdd02Success0.002
AbstractOutputTesttestAdd03Success0.005
AbstractOutputTesttestAdd04Success0.002
AbstractOutputTesttestAdd05Success0.001
AbstractOutputTesttestAdd06Success0.002
AbstractOutputTesttestAdd07Success0.002
AbstractOutputTesttestAdd08Success0.004
AbstractOutputTesttestAdd09Success0.002
AbstractOutputTesttestAdd10Success0.002
AbstractOutputTesttestAdd11Success0.002
AbstractOutputTesttestAdd12Success0.001
AbstractOutputTesttestAdd13Success0.002
AbstractOutputTesttestAdd14Success0.001
AbstractOutputTesttestAdd15Success0.001
AbstractOutputTesttestAdd16Success0.001
AbstractOutputTesttestAdd17Success0.001
AbstractOutputTesttestAdd18Success0.001
AbstractOutputTesttestAddWsToken01Success0.001
AbstractOutputTesttestAddWsToken02Success0.001
AbstractOutputTesttestAddWsToken03Success0.001
AbstractOutputTesttestAddWsToken04Success0.001
AbstractOutputTesttestAddWsToken05Success0.001
AbstractOutputTesttestAddWsToken06Success0.003
AbstractOutputTesttestAddWsToken07Success0.002
AbstractOutputTesttestAddWsToken08Success0.001
AbstractOutputTesttestAddWsToken09Success0.002
AbstractOutputTesttestAddWsToken11Success0.001
AbstractOutputTesttestAddWsToken12Success0.001
AbstractOutputTesttestAddWsToken13Success0.002
AbstractOutputTesttestAddWsToken14Success0.002
AbstractOutputTesttestAddWsToken15Success0.001
AbstractOutputTesttestAddWsToken16Success0.002
AbstractOutputTesttestAddWsToken17Success0.002
AbstractOutputTesttestAddWsToken18Success0.003
AbstractOutputTesttestAddWsToken19Success0.002
AbstractOutputTesttestAddWsToken20Success0.002
AbstractOutputTesttestAddWsToken21Success0.002
AbstractOutputTesttestAddWsToken22Success0.002
AbstractOutputTesttestPrintChar01Success0.005
AbstractOutputTesttestPrintChar02Success0.002
AbstractOutputTesttestPrintString01Success0.002
AbstractOutputTesttestPrintString02Success0.002
AbstractOutputTesttestPrintString03Success0.002
AbstractOutputTesttestPrintString04Success0.002
IoUtilityTesttestPrintAllSystemPropertiesSuccess0.035
IoUtilityTesttestGetDefaultEncodingSuccess0.010
IoUtilityTesttestLoadFileStringStringSuccess0.004
IoUtilityTesttestGetWorkingEncodingSuccess0.011
IoUtilityTesttestLoadStreamInputStreamStringBufferSuccess0.005
IoUtilityTesttestLoadStreamWithoutExceptionSuccess0.003
IoUtilityTesttestLoadReaderSuccess0.002
IoUtilityTesttestLoadFileFileStringBufferSuccess0.003
IoUtilityTesttestLoadFileFileStringBufferStringSuccess0.010
IoUtilityTesttestLoadFileBinary1Success0.006
IoUtilityTesttestLoadFileBinary2Success2.353
IoUtilityTesttestSaveFileBinarySuccess0.005
IoUtilityTesttestLoadAndSaveFileBinarySuccess0.013
IoUtilityTesttestCompareFileBinarySuccess0.006
IoUtilityTesttestLoadFileURLStringBufferSuccess0.002
IoUtilityTesttestLoadFileURLStringBufferStringSuccess0.004
IoUtilityTesttestSaveFileURLFileSuccess0.002
IoUtilityTesttestSaveFileInputStreamFileSuccess0.001
IoUtilityTesttestStringToReaderSuccess0.002
IoUtilityTesttestSaveFileFileStringSuccess0.002
IoUtilityTesttestSaveFileFileStringBufferSuccess0.006
IoUtilityTesttestSaveFileFileStringStringSuccess0.003
IoUtilityTesttestSaveFileStringStringSuccess0.006
IoUtilityTesttestSaveFileStringStringBufferSuccess0.002
IoUtilityTesttestSaveFileFileStringBufferStringSuccess0.006
IoUtilityTesttestCopyFileSuccess0.003
IoUtilityTesttestCopyDirectorySuccess0.009
IoUtilityTesttestCopyDirectory2Success0.002
IoUtilityTesttestCopyDirectory3Success0.009
IoUtilityTesttestCompareTextFiles1Success0.015
IoUtilityTesttestListFilesRecursivelySuccess0.011
IoUtilityTesttestCompareTextFiles2Success0.042
IoUtilityTesttestCompareTextFiles3Success0.097
IoUtilityTesttestDeleteDirFileBooleanSuccess0.005
IoUtilityTesttestDeleteDirFileFileFilterSuccess0.003
IoUtilityTesttestGetUserHomeDirectorySuccess0.001
IoUtilityTesttestTransformURLPathToFilePathSuccess0.003
IoUtilityTesttestCreateNecessaryDirectoriesSuccess0.003
IoUtilityTesttestCreateRelativePathSuccess0.007
IoUtilityTesttestCreateRelativePath2Success0.002
IoUtilityTesttestWaitlnSuccess0.004
IoUtilityTesttestCloseInputStreamSuccess0.003
IoUtilityTesttestCloseReaderSuccess0.004
IoUtilityTesttestCloseOutputStreamSuccess0.003
IoUtilityTesttestCloseWriterSuccess0.004
IoUtilityTesttestGetStartDirectorySuccess0.005
IoUtilityTesttestLoadPropertiesUrlSuccess0.004
IoUtilityTesttestSleepSuccess1.157
IoUtilityTesttestGetJavaVersionSuccess0.003
IoUtilityTesttestGetSortedSystemPropertiesSuccess0.004
ParametersTesttestConstructorSuccess0.019
ParametersTesttestGetBooleanSuccess0.004
ParametersTesttestGetBooleanStandardSuccess0.002
ParametersTesttestGetIntSuccess0.007
ParametersTesttestGetIntStandardSuccess0.005
ParametersTesttestGetStringSuccess0.003
ParametersTesttestGetStringStandardSuccess0.002
ParametersTesttestGetParameterStringSuccess0.003
ParametersTesttestSetDefaultBooleanSuccess0.004
ParametersTesttestSetDefaultIntSuccess0.004
ParametersTesttestSetDefaultStringSuccess0.001
PathTesttestConstructor1Success0.026
PathTesttestConstructor2Success0.005
PathTesttestConstructor3Success0.007
PathTesttestCreateRelativeSuccess0.008
PathTesttestEquals1Success0.004
PathTesttestHashCodeSuccess0.007
ResourceLoaderUtilityTesttestGetResourceFileSuccess0.151
ResourceLoaderUtilityTesttestGetResourceUrlSuccess0.014
ResourceLoaderUtilityTesttestGetResourceAsStreamSuccess0.011
SourceAreaTesttestSourceAreaSuccess0.038
SourceAreaTesttestGetAddressSuccess0.390
SourceAreaTesttestGetStartPositionSuccess0.004
SourceAreaTesttestGetEndPositionSuccess0.039
SourceAreaTesttestHashCodeSuccess0.006
SourceAreaTesttestEqualsObjectSuccess0.002
SourceAreaTesttestToStringSuccess0.004
SourcePositionTesttestSourcePositionSuccess0.018
SourcePositionTesttestGetLineSuccess0.002
SourcePositionTesttestGetEndPositionSuccess0.002
SourcePositionTesttestHashCodeSuccess0.002
SourcePositionTesttestEqualsObjectSuccess0.003
SourcePositionTesttestToStringSuccess0.002
StringOutputTesttestCompleteSuccess0.061
StringOutputTesttestGetPositionSuccess0.002
StringOutputTesttestPushPopSuccess0.002
SubTextInputTesttestTextInputFileStringSuccess0.037
SubTextInputTesttestTextInputStringStringStringSuccess0.008
SubTextInputTesttestTextInputStringBufferStringStringSuccess0.002
SubTextInputTesttestReadSuccess0.020
SubTextInputTesttestReadStringSuccess0.006
SubTextInputTesttestGetCharSuccess0.003
SubTextInputTesttestGetCharIntSuccess0.007
SubTextInputTesttestSkipWhiteSpaceSuccess0.004
SubTextInputTesttestSkipWhiteSpaceInverseSuccess0.003
SubTextInputTesttestSkipBackToBeginOfXmlTagSuccess0.003
SubTextInputTesttestIsEmptySuccess0.002
SubTextInputTesttestIsEmptyIntSuccess0.003
SubTextInputTesttestReadLetterDigitStringSuccess0.002
SubTextInputTesttestReadCounterSuccess0.002
SubTextInputTesttestReadQuotedSuccess0.002
SubTextInputTesttestReadInverseSuccess0.002
SubTextInputTesttestEqualsSuccess0.018
SubTextInputTesttestGetAbsolutePositionSuccess0.003
SubTextInputTesttestGetAbsoluteSubstringSuccess0.002
SubTextInputTesttestGetAbsoluteEndSuccess0.003
SubTextInputTesttestGetAbsoluteStartSuccess0.002
TextInputTesttestTextInputFileStringSuccess0.035
TextInputTesttestTextInputStringStringStringSuccess0.005
TextInputTesttestTextInputStringBufferStringStringSuccess0.002
TextInputTesttestTextInputReaderSuccess0.008
TextInputTesttestReadSuccess0.003
TextInputTesttestReadStringSuccess0.003
TextInputTesttestGetCharSuccess0.001
TextInputTesttestForwardIntSuccess0.002
TextInputTesttestForwardStringSuccess0.001
TextInputTesttestGetCharIntSuccess0.001
TextInputTesttestGetSubstringSuccess0.002
TextInputTesttestAsStringSuccess0.002
TextInputTesttestReplaceSuccess0.001
TextInputTesttestSkipWhiteSpaceSuccess0.001
TextInputTesttestSkipWhiteSpaceInverseSuccess0.001
TextInputTesttestSkipBackToBeginOfXmlTagSuccess0.002
TextInputTesttestSkipToEndOfLineSuccess0.002
TextInputTesttestSkipForwardToEndOfXmlTagSuccess0.002
TextInputTesttestReadXmlNameSuccess0.009
TextInputTesttestReadNextAttributeValueSuccess0.000
TextInputTesttestReadNextAttributeValue2Success0.002
TextInputTesttestIsEmptySuccess0.001
TextInputTesttestIsEmptyIntSuccess0.001
TextInputTesttestReadLetterDigitStringSuccess0.001
TextInputTesttestReadCounterSuccess0.001
TextInputTesttestReadQuotedSuccess0.004
TextInputTesttestReadInverseSuccess0.001
TextInputTesttestEqualsSuccess0.003
TextOutputTesttestCompleteSuccess0.077
TextOutputTesttestPushPopSuccess0.004
TextOutputTesttestErrorStreamSuccess0.005
TextOutputTesttestConstructorAndGetNameSuccess0.019
TextOutputTesttestGetPositionSuccess0.039
UrlUtilityTesttestToUrlSuccess0.022
UrlUtilityTesttestToFileSuccess0.005
UrlUtilityTesttestEasyUrlSuccess0.003
UrlUtilityTesttestSaveUrlToFileSuccess0.092
VersionSetTesttestConstructorsSuccess0.050
VersionSetTesttestAddAndContainsClearIsEmptySuccess0.005
VersionSetTesttestAddAndEqualsSuccess0.003
VersionSetTesttestIteratorSuccess0.002
VersionSetTesttestHashCodeSuccess0.004
VersionSetTesttestToStringSuccess0.003
VersionTesttestConstructorsSuccess0.030
VersionTesttestGettersSuccess0.005
VersionTesttestCompareToSuccess0.002
VersionTesttestIsLessSuccess0.007
VersionTesttestIsBiggerSuccess0.003
VersionTesttestToStringSuccess0.007
VersionTesttestEqualsSuccess0.004
VersionTesttestEquals2Success0.005
VersionTesttestHashCodeSuccess0.007
VersionTesttestLessSuccess0.005
VersionTesttestBiggerSuccess0.004
VersionTesttestEquals3Success0.004
BaseEachClassHasATesttestIfEveryClassIsTestedSuccess9.316
TraceTesttestFatalSuccess0.039
TraceTesttestFatal2Success0.005
TraceTesttestInfoSuccess0.003
TraceTesttestInfo2Success0.007
TraceTesttestBeginSuccess0.007
TraceTesttestBegin2Success0.008
TraceTesttestEndSuccess0.004
TraceTesttestEnd2Success0.004
TraceTesttestParamStringSuccess0.004
TraceTesttestParamString2Success0.006
TraceTesttestParamIntSuccess0.003
TraceTesttestParamInt2Success0.004
TraceTesttestParamBooleanSuccess0.004
TraceTesttestParamBoolean2Success0.004
TraceTesttestParamObjectSuccess0.006
TraceTesttestParamObject2Success0.030
TraceTesttestParamInfoStringSuccess0.004
TraceTesttestParamInfoString2Success0.004
TraceTesttestParamInfoIntSuccess0.005
TraceTesttestParamInfoInt2Success0.005
TraceTesttestParamInfoBooleanSuccess0.002
TraceTesttestParamInfoBoolean2Success0.002
TraceTesttestParamInfoObjectSuccess0.002
TraceTesttestParamInfoObject2Success0.002
TraceTesttestTraceObjectSuccess0.004
TraceTesttestTraceObject2Success0.002
TraceTesttestTraceThrowableSuccess0.002
TraceTesttestTraceThrowable2Success0.002
TraceTesttestTraceThrowable3Success0.005
TraceTesttestTraceThrowable4Success0.003
TraceTesttestTraceStackSuccess0.005
TraceTesttestTraceStack2Success0.006
TraceTesttestTraceOnSuccess0.003
DateUtilityTesttestGetDurationSuccess0.030
DateUtilityTesttestGetIsoTimestampSuccess0.005
DateUtilityTesttestGmtTimestampSuccess0.002
DateUtilityTesttestTimestampSuccess0.001
EnumeratorTesttestConstructorsSuccess0.018
EnumeratorTesttestIncreaseSuccess0.003
EnumeratorTesttestToStringSuccess0.004
EnumeratorTesttestEqualsSuccess0.003
EnumeratorTesttestHashcodeSuccess0.007
EnumeratorTesttestResetSuccess0.003
EqualsUtilityTesttestEqualsObjectSuccess0.015
EqualsUtilityTesttestEqualsByteArraySuccess0.004
EqualsUtilityTesttestEqualsIntArraySuccess0.003
EqualsUtilityTesttestEqualsObjectArraySuccess0.004
SplitterTesttestSplitter00Success0.017
SplitterTesttestSplitter01Success0.002
SplitterTesttestSplitter02Success0.002
SplitterTesttestSplitter03Success0.003
SplitterTesttestSplitter04Success0.002
SplitterTesttestSplitter05Success0.001
SplitterTesttestSplitter06Success0.000
SplitterTesttestSplitter07Success0.001
SplitterTesttestSplitter08Success0.002
SplitterTesttestSplitter09Success0.002
SplitterTesttestSplitter10Success0.000
SplitterTesttestSplitter11Success0.001
SplitterTesttestSplitter12Success0.002
StringUtilityTesttestReplaceSuccess0.020
StringUtilityTesttestReplaceStringBufferSuccess0.002
StringUtilityTesttestToStringObjectArraySuccess0.002
StringUtilityTesttestToStringSetSuccess0.005
StringUtilityTesttestToStringMapSuccess0.005
StringUtilityTesttestAsLinesSuccess0.007
StringUtilityTesttestQuoteSuccess0.003
StringUtilityTesttestIsLetterDigitStringSuccess0.002
StringUtilityTesttestGetSpacesSuccess0.002
StringUtilityTesttestGetClassNameSuccess0.002
StringUtilityTesttestDeleteLineLeadingWhitespaceSuccess0.002
StringUtilityTesttestEscapePropertySuccess0.004
StringUtilityTesttestAlignRightLongIntSuccess0.003
StringUtilityTesttestAlignRightStringIntSuccess0.002
StringUtilityTesttestDecodeXmlMarkupSuccess0.011
StringUtilityTesttestHex2StringSuccess0.003
StringUtilityTesttestString2HexSuccess0.008
StringUtilityTesttestString2HexAndBackSuccess0.013
StringUtilityTesttestFormatSuccess0.002
StringUtilityTesttestGetSystemLineSeparatorSuccess0.005
StringUtilityTesttestAddSystemLineSeparatorSuccess0.002
StringUtilityTesttestSubstringSuccess0.002
StringUtilityTesttestEscapeXmlSuccess0.002
StringUtilityTesttestUnEscapeXmlSuccess0.002
StringUtilityTesttestIsNotInSuccess0.004
StringUtilityTesttestIsInSuccess0.001
YodaUtilityTesttestGetFieldValueSuccess0.019
YodaUtilityTesttestGetFieldSuccess0.002
YodaUtilityTesttestExecuteMethodSuccess0.004
YodaUtilityTesttestExecuteMethod2Success0.003
YodaUtilityTesttestExistsMethodSuccess0.006
YodaUtilityTesttestSetFieldValueSuccess0.002
YodaUtilityTesttestExistsMethod2Success0.004
KernelContextTesttestGetBuildIdSuccess0.026
KernelContextTesttestGetKernelVersionSuccess0.002
KernelContextTesttestGetDedicationVersionSuccess0.002
KernelContextTesttestGetDescriptiveKernelVersionSuccess0.002
KernelContextTesttestGetKernelCodeNameSuccess0.008
KernelContextTesttestGetKernelVersionDirectorySuccess0.002
KernelContextTesttestIsRuleVersionSupportedSuccess0.002
KernelContextTesttestGetMaximalRuleVersionSuccess0.002
KernelContextTesttestIsSetConnectionTimeOutSupportedSuccess0.004
KernelContextTesttestIsSetReadTimeoutSupportedSuccess0.002
KernelContextTesttestGetConfigSuccess0.052
KernelContextTesttestInitSuccess0.015
KernelContextTesttestStartupSuccess0.013
KernelContextTesttestShutdownSuccess0.016
KernelContextTesttestRemoveAllModulesSuccess0.010
KernelContextTesttestRemoveModuleSuccess0.013
KernelContextTesttestClearLocalBufferSuccess0.059
KernelContextTesttestLoadModuleSuccess0.017
KernelContextTesttestLoadAllModulesFromQedeqSuccess0.022
KernelContextTesttestLoadRequiredModulesSuccess0.012
KernelContextTesttestGetAllLoadedModulesSuccess0.014
KernelContextTesttestGetQedeqBoSuccess0.034
KernelContextTesttestGetModuleAddressSuccess0.036
KernelContextTesttestGetModuleAddress2Success0.009
KernelContextTesttestGetModuleAddress3Success0.008
KernelContextTesttestGetSourceSuccess0.010
KernelContextTesttestCheckWellFormednessSuccess0.039
KernelContextTesttestCheckFormallyProvedSuccess0.009
KernelContextTesttestGetPluginsSuccess0.005
KernelContextTesttestExecutePluginSuccess0.005
KernelContextTesttestClearAllPluginResultsSuccess0.004
KernelContextTesttestGetServiceProcessesSuccess0.028
KernelContextTesttestGetRunningServiceProcessesSuccess0.004
KernelContextTesttestStopAllPluginExecutionsSuccess0.007
BasicKernelTesttestGetBuildIdSuccess0.131
BasicKernelTesttestGetKernelVersionSuccess0.006
BasicKernelTesttestGetDedicationVersionSuccess0.004
BasicKernelTesttestGetDescriptiveKernelVersionSuccess0.009
BasicKernelTesttestGetKernelCodeNameSuccess0.005
BasicKernelTesttestGetKernelVersionDirectorySuccess0.004
BasicKernelTesttestIsRuleVersionSupportedSuccess0.005
BasicKernelTesttestGetMaximalRuleVersionSuccess0.004
BasicKernelTesttestIsSetConnectionTimeOutSupportedSuccess0.006
BasicKernelTesttestIsSetReadTimeoutSupportedSuccess0.005
QedeqBoSetTesttestConstructorSuccess0.020
QedeqBoSetTesttestSetOperationsSuccess0.005
QedeqBoSetTesttestSetOperations2Success0.004
QedeqBoSetTesttestRemoveSetSuccess0.006
QedeqBoSetTesttestRemoveSuccess0.006
QedeqBoSetTesttestAddSuccess0.003
QedeqBoSetTesttestAdd2Success0.004
QedeqBoSetTesttestContainsSuccess0.004
QedeqBoSetTesttestIsEmptySuccess0.005
QedeqBoSetTesttestIteratorSuccess0.003
QedeqBoSetTesttestToStringSuccess0.003
QedeqBoSetTesttestHashCodeSuccess0.003
QedeqBoSetTesttestEqualsSuccess0.003
DefaultModuleEventListenerTesttestAddModuleSuccess0.137
DefaultModuleEventListenerTesttestRemoveModuleSuccess0.025
DefaultModuleEventListenerTesttestStateChangedSuccess0.060
DefaultModuleEventListenerTesttestSetPrintStreamSuccess0.016
LogListenerImplTesttestLogFailureReplySuccess0.169
LogListenerImplTesttestLogSuccessfulReplySuccess0.013
LogListenerImplTesttestLogMessageStateSuccess0.013
LogListenerImplTesttestLogFailureStateSuccess0.012
LogListenerImplTesttestLogSuccesfulStateSuccess0.011
LogListenerImplTesttestLogRequestSuccess0.014
LogListenerImplTesttestLogMessageSuccess0.011
LogListenerImplTesttestSetPrintStreamSuccess0.012
LogListenerImplTesttestConstructorSuccess0.011
ModuleEventListenerLogTesttestAddModuleSuccess0.344
ModuleEventListenerLogTesttestRemoveModuleSuccess0.017
ModuleEventListenerLogTesttestStateChangedSuccess0.010
QedeqLogTesttestLogFailureReplySuccess0.150
QedeqLogTesttestLogSuccessfulReplySuccess0.223
QedeqLogTesttestLogMessageStateSuccess0.279
QedeqLogTesttestLogFailureStateSuccess0.503
QedeqLogTesttestLogSuccesfulStateSuccess0.203
QedeqLogTesttestLogRequestSuccess0.146
QedeqLogTesttestLogMessageSuccess0.298
QedeqLogTesttestRemoveLogSuccess0.086
QedeqLogTesttestRemoveLog2Success0.032
QedeqLogTesttestAddLogSuccess0.009
QedeqLogTesttestConstructorSuccess0.007
TraceListenerTesttestLogFailureReplySuccess0.127
TraceListenerTesttestLogSuccessfulReplySuccess0.008
TraceListenerTesttestLogMessageStateSuccess0.010
TraceListenerTesttestLogFailureStateSuccess0.020
TraceListenerTesttestLogSuccesfulStateSuccess0.015
TraceListenerTesttestLogRequestSuccess0.009
TraceListenerTesttestLogMessageSuccess0.006
FormulaCheckerFactoryImplTesttestCreateFormulaCheckerSuccess0.199
ProofCheckerFactoryImplTesttestCreateFormulaCheckerSuccess0.144
FormulaUtilityReplaceOperatorVariableTesttest_Positive01Success0.180
FormulaUtilityReplaceOperatorVariableTesttest_Positive02Success0.018
FormulaUtilityReplaceSubjectVariableQuantifierTesttestClassTermPositive01Success0.079
FormulaUtilityReplaceSubjectVariableQuantifierTesttestClassTermPositive02Success0.011
FormulaUtilityReplaceSubjectVariableQuantifierTesttestClassTermPositive03Success0.014
FormulaUtilityReplaceSubjectVariableQuantifierTesttestClassTermPositive04Success0.013
FormulaUtilityReplaceSubjectVariableQuantifierTesttestClassTermPositive05Success0.008
CalculateTruthDynamicThreeModelTesttestTautology44bSuccess0.870
CalculateTruthDynamicThreeModelTesttestTautology44Success0.246
CalculateTruthDynamicThreeModelTesttestTautology45Success0.141
CalculateTruthDynamicThreeModelTesttestTautology46Success0.478
CalculateTruthDynamicThreeModelTesttestTautology47Success0.195
CalculateTruthDynamicThreeModelTesttestTautology01Success0.130
CalculateTruthDynamicThreeModelTesttestTautology02Success0.152
CalculateTruthDynamicThreeModelTesttestTautology03Success0.107
CalculateTruthDynamicThreeModelTesttestTautology04Success0.142
CalculateTruthDynamicThreeModelTesttestTautology05Success0.170
CalculateTruthDynamicThreeModelTesttestTautology06Success0.211
CalculateTruthDynamicThreeModelTesttestTautology07Success0.177
CalculateTruthDynamicThreeModelTesttestTautology08Success0.183
CalculateTruthDynamicThreeModelTesttestTautology09Success0.118
CalculateTruthDynamicThreeModelTesttestTautology10Success0.173
CalculateTruthDynamicThreeModelTesttestTautology11Success0.180
CalculateTruthDynamicThreeModelTesttestTautology12Success0.151
CalculateTruthDynamicThreeModelTesttestTautology13Success0.495
CalculateTruthDynamicThreeModelTesttestTautology14Success0.168
CalculateTruthDynamicThreeModelTesttestTautology15Success0.158
CalculateTruthDynamicThreeModelTesttestTautology16Success0.451
CalculateTruthDynamicThreeModelTesttestTautology17Success0.103
CalculateTruthDynamicThreeModelTesttestTautology18Success0.118
CalculateTruthDynamicThreeModelTesttestTautology19Success0.142
CalculateTruthDynamicThreeModelTesttestTautology20Success0.133
CalculateTruthDynamicThreeModelTesttestTautology21Success0.328
CalculateTruthDynamicThreeModelTesttestTautology22Success0.107
CalculateTruthDynamicThreeModelTesttestTautology23Success0.096
CalculateTruthDynamicThreeModelTesttestTautology24Success0.167
CalculateTruthDynamicThreeModelTesttestTautology25Success0.083
CalculateTruthDynamicThreeModelTesttestTautology26Success0.085
CalculateTruthDynamicThreeModelTesttestTautology27Success0.100
CalculateTruthDynamicThreeModelTesttestTautology28Success0.176
CalculateTruthDynamicThreeModelTesttestTautology29Success0.119
CalculateTruthDynamicThreeModelTesttestTautology30Success0.163
CalculateTruthDynamicThreeModelTesttestTautology31Success0.179
CalculateTruthDynamicThreeModelTesttestTautology32Success0.095
CalculateTruthDynamicThreeModelTesttestTautology33Success0.098
CalculateTruthDynamicThreeModelTesttestTautology34Success0.097
CalculateTruthDynamicThreeModelTesttestTautology35Success0.138
CalculateTruthDynamicThreeModelTesttestTautology36Success0.109
CalculateTruthDynamicThreeModelTesttestTautology37Success0.238
CalculateTruthDynamicThreeModelTesttestTautology38Success0.120
CalculateTruthDynamicThreeModelTesttestTautology39Success0.181
CalculateTruthDynamicThreeModelTesttestTautology40Success0.804
CalculateTruthDynamicThreeModelTesttestTautology41Success0.120
CalculateTruthDynamicThreeModelTesttestTautology42Success0.098
CalculateTruthDynamicThreeModelTesttestTautology43Success0.107
CalculateTruthDynamicUnaryModelTesttestTautology19Success0.218
CalculateTruthDynamicUnaryModelTesttestTautology20Success0.124
CalculateTruthDynamicUnaryModelTesttestTautology21Success0.061
CalculateTruthDynamicUnaryModelTesttestTautology28Success0.019
CalculateTruthDynamicUnaryModelTesttestTautology31Success0.021
CalculateTruthDynamicUnaryModelTesttestTautology34Success0.017
CalculateTruthDynamicUnaryModelTesttestTautology37Success0.015
CalculateTruthDynamicUnaryModelTesttestTautology41Success0.018
CalculateTruthDynamicUnaryModelTesttestTautology44Success0.025
CalculateTruthDynamicUnaryModelTesttestTautology45Success0.020
CalculateTruthDynamicUnaryModelTesttestTautology46Success0.014
CalculateTruthDynamicUnaryModelTesttestTautology47Success0.019
CalculateTruthDynamicUnaryModelTesttestTautology01Success0.014
CalculateTruthDynamicUnaryModelTesttestTautology02Success0.014
CalculateTruthDynamicUnaryModelTesttestTautology03Success0.030
CalculateTruthDynamicUnaryModelTesttestTautology04Success0.012
CalculateTruthDynamicUnaryModelTesttestTautology05Success0.010
CalculateTruthDynamicUnaryModelTesttestTautology06Success0.007
CalculateTruthDynamicUnaryModelTesttestTautology07Success0.009
CalculateTruthDynamicUnaryModelTesttestTautology08Success0.008
CalculateTruthDynamicUnaryModelTesttestTautology09Success0.009
CalculateTruthDynamicUnaryModelTesttestTautology10Success0.067
CalculateTruthDynamicUnaryModelTesttestTautology11Success0.021
CalculateTruthDynamicUnaryModelTesttestTautology12Success0.012
CalculateTruthDynamicUnaryModelTesttestTautology13Success0.200
CalculateTruthDynamicUnaryModelTesttestTautology14Success0.012
CalculateTruthDynamicUnaryModelTesttestTautology15Success0.010
CalculateTruthDynamicUnaryModelTesttestTautology16Success0.006
CalculateTruthDynamicUnaryModelTesttestTautology17Success0.009
CalculateTruthDynamicUnaryModelTesttestTautology18Success0.013
CalculateTruthDynamicUnaryModelTesttestTautology22Success0.154
CalculateTruthDynamicUnaryModelTesttestTautology23Success0.006
CalculateTruthDynamicUnaryModelTesttestTautology24Success0.014
CalculateTruthDynamicUnaryModelTesttestTautology25Success0.006
CalculateTruthDynamicUnaryModelTesttestTautology26Success0.025
CalculateTruthDynamicUnaryModelTesttestTautology27Success0.008
CalculateTruthDynamicUnaryModelTesttestTautology29Success0.007
CalculateTruthDynamicUnaryModelTesttestTautology30Success0.008
CalculateTruthDynamicUnaryModelTesttestTautology32Success0.008
CalculateTruthDynamicUnaryModelTesttestTautology33Success0.014
CalculateTruthDynamicUnaryModelTesttestTautology35Success0.021
CalculateTruthDynamicUnaryModelTesttestTautology36Success0.034
CalculateTruthDynamicUnaryModelTesttestTautology38Success0.012
CalculateTruthDynamicUnaryModelTesttestTautology39Success0.052
CalculateTruthDynamicUnaryModelTesttestTautology40Success0.080
CalculateTruthDynamicUnaryModelTesttestTautology42Success0.011
CalculateTruthDynamicUnaryModelTesttestTautology43Success0.013
CalculateTruthThreeModelTesttestTautology44Success0.166
CalculateTruthThreeModelTesttestTautology46Success0.011
CalculateTruthThreeModelTesttestTautology47Success0.022
CalculateTruthThreeModelTesttestTautology01Success0.013
CalculateTruthThreeModelTesttestTautology02Success0.006
CalculateTruthThreeModelTesttestTautology03Success0.008
CalculateTruthThreeModelTesttestTautology04Success0.006
CalculateTruthThreeModelTesttestTautology05Success0.006
CalculateTruthThreeModelTesttestTautology06Success0.011
CalculateTruthThreeModelTesttestTautology07Success0.006
CalculateTruthThreeModelTesttestTautology08Success0.030
CalculateTruthThreeModelTesttestTautology09Success0.008
CalculateTruthThreeModelTesttestTautology10Success0.015
CalculateTruthThreeModelTesttestTautology11Success0.012
CalculateTruthThreeModelTesttestTautology12Success0.009
CalculateTruthThreeModelTesttestTautology13Success0.131
CalculateTruthThreeModelTesttestTautology14Success0.012
CalculateTruthThreeModelTesttestTautology15Success0.012
CalculateTruthThreeModelTesttestTautology16Success0.011
CalculateTruthThreeModelTesttestTautology17Success0.011
CalculateTruthThreeModelTesttestTautology18Success0.021
CalculateTruthThreeModelTesttestTautology19Success0.010
CalculateTruthThreeModelTesttestTautology20Success0.009
CalculateTruthThreeModelTesttestTautology21Success0.007
CalculateTruthThreeModelTesttestTautology22Success0.009
CalculateTruthThreeModelTesttestTautology23Success0.019
CalculateTruthThreeModelTesttestTautology24Success0.006
CalculateTruthThreeModelTesttestTautology25Success0.007
CalculateTruthThreeModelTesttestTautology26Success0.023
CalculateTruthThreeModelTesttestTautology27Success0.008
CalculateTruthThreeModelTesttestTautology28Success0.008
CalculateTruthThreeModelTesttestTautology29Success0.011
CalculateTruthThreeModelTesttestTautology30Success0.021
CalculateTruthThreeModelTesttestTautology31Success0.008
CalculateTruthThreeModelTesttestTautology32Success0.013
CalculateTruthThreeModelTesttestTautology33Success0.008
CalculateTruthThreeModelTesttestTautology34Success0.011
CalculateTruthThreeModelTesttestTautology35Success0.016
CalculateTruthThreeModelTesttestTautology36Success0.029
CalculateTruthThreeModelTesttestTautology37Success0.016
CalculateTruthThreeModelTesttestTautology38Success0.009
CalculateTruthThreeModelTesttestTautology39Success0.054
CalculateTruthThreeModelTesttestTautology40Success1.009
CalculateTruthThreeModelTesttestTautology41Success0.013
CalculateTruthThreeModelTesttestTautology42Success0.014
CalculateTruthThreeModelTesttestTautology43Success0.027
CalculateTruthThreeModelTesttestTautology45Success0.017
CalculateTruthUnaryModelTesttestTautology19Success0.226
CalculateTruthUnaryModelTesttestTautology20Success0.035
CalculateTruthUnaryModelTesttestTautology21Success0.018
CalculateTruthUnaryModelTesttestTautology28Success0.028
CalculateTruthUnaryModelTesttestTautology31Success0.021
CalculateTruthUnaryModelTesttestTautology34Success0.034
CalculateTruthUnaryModelTesttestTautology37Success0.022
CalculateTruthUnaryModelTesttestTautology41Success0.047
CalculateTruthUnaryModelTesttestTautology01Success0.031
CalculateTruthUnaryModelTesttestTautology02Success0.028
CalculateTruthUnaryModelTesttestTautology03Success0.010
CalculateTruthUnaryModelTesttestTautology04Success0.015
CalculateTruthUnaryModelTesttestTautology05Success0.010
CalculateTruthUnaryModelTesttestTautology06Success0.020
CalculateTruthUnaryModelTesttestTautology07Success0.014
CalculateTruthUnaryModelTesttestTautology08Success0.025
CalculateTruthUnaryModelTesttestTautology09Success0.017
CalculateTruthUnaryModelTesttestTautology10Success0.014
CalculateTruthUnaryModelTesttestTautology11Success0.020
CalculateTruthUnaryModelTesttestTautology12Success0.011
CalculateTruthUnaryModelTesttestTautology13Success0.194
CalculateTruthUnaryModelTesttestTautology14Success0.010
CalculateTruthUnaryModelTesttestTautology15Success0.008
CalculateTruthUnaryModelTesttestTautology16Success0.008
CalculateTruthUnaryModelTesttestTautology17Success0.015
CalculateTruthUnaryModelTesttestTautology18Success0.011
CalculateTruthUnaryModelTesttestTautology22Success0.015
CalculateTruthUnaryModelTesttestTautology23Success0.012
CalculateTruthUnaryModelTesttestTautology24Success0.010
CalculateTruthUnaryModelTesttestTautology25Success0.012
CalculateTruthUnaryModelTesttestTautology26Success0.019
CalculateTruthUnaryModelTesttestTautology27Success0.017
CalculateTruthUnaryModelTesttestTautology29Success0.015
CalculateTruthUnaryModelTesttestTautology30Success0.008
CalculateTruthUnaryModelTesttestTautology32Success0.008
CalculateTruthUnaryModelTesttestTautology33Success0.008
CalculateTruthUnaryModelTesttestTautology35Success0.006
CalculateTruthUnaryModelTesttestTautology36Success0.007
CalculateTruthUnaryModelTesttestTautology38Success0.007
CalculateTruthUnaryModelTesttestTautology39Success0.029
CalculateTruthUnaryModelTesttestTautology40Success0.084
CalculateTruthUnaryModelTesttestTautology42Success0.035
CalculateTruthUnaryModelTesttestTautology43Success0.023
CalculateTruthUnaryModelTesttestTautology44Success0.015
CalculateTruthUnaryModelTesttestTautology45Success0.009
CalculateTruthUnaryModelTesttestTautology46Success0.005
CalculateTruthUnaryModelTesttestTautology47Success0.017
DynamicDirectInterpreterTesttestTautology01Success1.694
DynamicDirectInterpreterTesttestTautology02Success0.654
DynamicDirectInterpreterTesttestTautology03Success0.552
DynamicDirectInterpreterTesttestTautology04Success0.799
DynamicDirectInterpreterTesttestTautology05Success0.778
DynamicDirectInterpreterTesttestTautology06Success0.620
DynamicDirectInterpreterTesttestTautology07Success0.366
DynamicDirectInterpreterTesttestTautology08Success0.472
DynamicDirectInterpreterTesttestTautology09Success0.408
DynamicDirectInterpreterTesttestTautology10Success0.533
DynamicDirectInterpreterTesttestTautology11Success0.880
DynamicDirectInterpreterTesttestTautology12Success0.689
DynamicDirectInterpreterTesttestTautology13Success0.449
DynamicDirectInterpreterTesttestTautology14Success0.556
DynamicDirectInterpreterTesttestTautology15Success0.454
DynamicDirectInterpreterTesttestTautology16Success0.450
DynamicDirectInterpreterTesttestTautology17Success0.465
DynamicDirectInterpreterTesttestTautology18Success0.752
DynamicDirectInterpreterTesttestTautology19Success0.811
DynamicDirectInterpreterTesttestTautology20Success0.467
DynamicDirectInterpreterTesttestTautology21Success0.390
DynamicDirectInterpreterTesttestTautology22Success0.499
DynamicDirectInterpreterTesttestTautology23Success0.349
DynamicDirectInterpreterTesttestTautology24Success0.296
DynamicDirectInterpreterTesttestTautology25Success0.431
DynamicDirectInterpreterTesttestTautology26Success0.365
DynamicDirectInterpreterTesttestTautology27Success0.661
DynamicDirectInterpreterTesttestTautology28Success0.425
DynamicDirectInterpreterTesttestTautology29Success0.321
DynamicDirectInterpreterTesttestTautology30Success0.474
DynamicDirectInterpreterTesttestTautology31Success0.359
DynamicDirectInterpreterTesttestTautology32Success0.399
DynamicDirectInterpreterTesttestTautology33Success0.392
DynamicDirectInterpreterTesttestTautology34Success0.278
DynamicDirectInterpreterTesttestTautology35Success0.298
DynamicDirectInterpreterTesttestTautology36Success0.369
DynamicDirectInterpreterTesttestTautology37Success0.392
DynamicDirectInterpreterTesttestTautology38Success0.443
DynamicDirectInterpreterTesttestTautology39Success0.667
DynamicDirectInterpreterTesttestTautology40Success26.772
DynamicDirectInterpreterTesttestTautology41Success0.916
DynamicDirectInterpreterTesttestTautology42Success0.292
DynamicDirectInterpreterTesttestTautology43Success0.436
DynamicDirectInterpreterTesttestTautology44Success0.617
DynamicDirectInterpreterTesttestTautology45Success0.576
DynamicDirectInterpreterTesttestTautology46Success0.648
DynamicDirectInterpreterTesttestTautology47Success6.517
DynamicDirectInterpreterTesttestTautology50Success0.285
DynamicDirectInterpreterTesttestTautology51Success0.270
DynamicDirectInterpreterTesttestTautology52Success0.302
DynamicDirectInterpreterTesttestTautology53Success30.358
DynamicInterpreterTesttestTautology01Success0.882
DynamicInterpreterTesttestTautology02Success0.205
DynamicInterpreterTesttestTautology03Success0.148
DynamicInterpreterTesttestTautology04Success0.162
DynamicInterpreterTesttestTautology05Success0.164
DynamicInterpreterTesttestTautology06Success0.115
DynamicInterpreterTesttestTautology07Success0.144
DynamicInterpreterTesttestTautology08Success0.129
DynamicInterpreterTesttestTautology09Success0.130
DynamicInterpreterTesttestTautology10Success0.155
DynamicInterpreterTesttestTautology11Success0.125
DynamicInterpreterTesttestTautology12Success0.110
DynamicInterpreterTesttestTautology13Success0.245
DynamicInterpreterTesttestTautology14Success0.119
DynamicInterpreterTesttestTautology15Success0.158
DynamicInterpreterTesttestTautology16Success0.139
DynamicInterpreterTesttestTautology17Success0.174
DynamicInterpreterTesttestTautology18Success0.155
DynamicInterpreterTesttestTautology19Success0.151
DynamicInterpreterTesttestTautology20Success0.092
DynamicInterpreterTesttestTautology21Success0.129
DynamicInterpreterTesttestTautology22Success0.100
DynamicInterpreterTesttestTautology23Success0.162
DynamicInterpreterTesttestTautology24Success0.134
DynamicInterpreterTesttestTautology25Success0.120
DynamicInterpreterTesttestTautology26Success0.170
DynamicInterpreterTesttestTautology27Success0.165
DynamicInterpreterTesttestTautology28Success0.183
DynamicInterpreterTesttestTautology29Success0.157
DynamicInterpreterTesttestTautology30Success0.113
DynamicInterpreterTesttestTautology31Success0.132
DynamicInterpreterTesttestTautology32Success0.132
DynamicInterpreterTesttestTautology33Success0.169
DynamicInterpreterTesttestTautology34Success0.133
DynamicInterpreterTesttestTautology35Success0.091
DynamicInterpreterTesttestTautology36Success0.127
DynamicInterpreterTesttestTautology37Success0.126
DynamicInterpreterTesttestTautology38Success0.091
DynamicInterpreterTesttestTautology39Success0.146
DynamicInterpreterTesttestTautology40Success2.389
DynamicInterpreterTesttestTautology41Success0.096
DynamicInterpreterTesttestTautology42Success0.140
DynamicInterpreterTesttestTautology50Success0.102
DynamicInterpreterTesttestTautology51Success0.142
DynamicInterpreterTesttestTautology52Success0.144
FunctionVariableTesttestGetArgumentNumberSuccess0.138
FunctionVariableTesttestGetNameSuccess0.339
FunctionVariableTesttestEqualsSuccess0.268
FunctionVariableTesttestToStringSuccess0.199
FunctionVariableTesttestHashCodeSuccess0.036
ModelFunctionConstantTesttestGetArgumentNumberSuccess0.128
ModelFunctionConstantTesttestGetNameSuccess0.014
ModelFunctionConstantTesttestEqualsSuccess0.015
ModelFunctionConstantTesttestToStringSuccess0.203
ModelFunctionConstantTesttestHashCodeSuccess0.017
ModelPredicateConstantTesttestGetArgumentNumberSuccess0.128
ModelPredicateConstantTesttestGetNameSuccess0.009
ModelPredicateConstantTesttestEqualsSuccess0.009
ModelPredicateConstantTesttestToStringSuccess0.010
ModelPredicateConstantTesttestHashCodeSuccess0.010
OperatorTesttestGetArgumentNumberSuccess0.128
OperatorTesttestGetNameSuccess0.023
OperatorTesttestEqualsSuccess0.008
OperatorTesttestToStringSuccess0.008
OperatorTesttestHashCodeSuccess0.005
PredicateVariableTesttestGetArgumentNumberSuccess0.125
PredicateVariableTesttestGetNameSuccess0.015
PredicateVariableTesttestEqualsSuccess0.006
PredicateVariableTesttestToStringSuccess0.019
PredicateVariableTesttestHashCodeSuccess0.006
ProofCheckerTesttestCheck1Success1.120
ProofCheckerTesttestCheck4Success1.073
ProofCheckerTesttestCheck6Success0.503
ProofFinderImplTesttestFindSuccess26.858
ProofFinderImplTesttestFind2Success75.353
ProofFinderImplTesttestFind3Success0.271
FormulaCheckerClassTermTesttestClassTermPositive01Success0.086
FormulaCheckerClassTermTesttestClassTermPositive02Success0.004
FormulaCheckerClassTermTesttestClassTermPositive03Success0.003
FormulaCheckerClassTermTesttestClassTermNegative01Success0.005
FormulaCheckerClassTermTesttestClassTermNegative02Success0.002
FormulaCheckerClassTermTesttestClassTermNegative03Success0.003
FormulaCheckerClassTermTesttestClassTermNegative04Success0.004
FormulaCheckerClassTermTesttestClassTermNegative05Success0.006
FormulaCheckerContextTesttestNegative00Success0.675
FormulaCheckerContextTesttestNegative01Success0.108
FormulaCheckerContextTesttestNegative02Success0.366
FormulaCheckerContextTesttestNegative03Success0.188
FormulaCheckerContextTesttestNegative04Success0.266
FormulaCheckerContextTesttestPositive01Success1.269
FormulaCheckerContextTesttestPositive02Success0.424
FormulaCheckerContextTesttestPositive03Success0.525
FormulaCheckerContextTesttestPositive03bSuccess1.057
FormulaCheckerContextTesttestPositive04Success2.248
FormulaCheckerContextTesttestPositive05Success0.070
FormulaCheckerContextTesttestPositive06Success0.129
FormulaCheckerFormulaTesttestFormulaPositive01Success0.105
FormulaCheckerFormulaTesttestFormulaPositive02Success0.004
FormulaCheckerFormulaTesttestFormulaPositive03Success0.006
FormulaCheckerFormulaTesttestFormulaNegative01Success0.009
FormulaCheckerFormulaTesttestFormulaNegative02Success0.003
FormulaCheckerFormulaTesttestFormulaNegative03Success0.005
FormulaCheckerFunctionTermTesttestFunctionTermPositive01Success0.108
FormulaCheckerFunctionTermTesttestFunctionTermPositive02Success0.005
FormulaCheckerFunctionTermTesttestFunctionTermNegative01Success0.008
FormulaCheckerFunctionTermTesttestFunctionTermNegative01bSuccess0.002
FormulaCheckerFunctionTermTesttestFunctionTermNegative02Success0.005
FormulaCheckerFunctionTermTesttestFunctionTermNegative09Success0.006
FormulaCheckerFunctionTermTesttestFunctionTermNegative10Success0.004
FormulaCheckerFunctionTermTesttestFunctionTermNegative13Success0.003
FormulaCheckerFunctionTermTesttestFunctionTermNegative14Success0.003
FormulaCheckerFunctionTermTesttestFunctionTermNegative15Success0.008
FormulaCheckerFunctionTermTesttestFunctionTermNegative16Success0.006
FormulaCheckerFunctionTermTesttestFunctionTermNegative19Success0.003
FormulaCheckerFunctionTermTesttestFunctionTermNegative20Success0.004
FormulaCheckerFunctionTermTesttestFunctionTermNegative22Success0.007
FormulaCheckerGlobalTesttestGlobalFormulaPositiveSuccess0.059
FormulaCheckerGlobalTesttestGlobalFormulaNegative01Success0.002
FormulaCheckerGlobalTesttestGlobalTermNegative01Success0.001
FormulaCheckerGlobalTesttestGlobalFormulaNegative03Success0.001
FormulaCheckerGlobalTesttestGlobalFormulaNegative04Success0.001
FormulaCheckerGlobalTesttestGlobalFormulaNegative05Success0.002
FormulaCheckerGlobalTesttestGlobalFormulaNegative06Success0.001
FormulaCheckerGlobalTesttestGlobalFormulaNegative07Success0.001
FormulaCheckerGlobalTesttestGlobalFormulaNegative08Success0.002
FormulaCheckerGlobalTesttestGlobalFormulaNegative09Success0.002
FormulaCheckerGlobalTesttestGlobalFormulaNegative11Success0.001
FormulaCheckerGlobalTesttestGlobalFormulaNegative12Success0.001
FormulaCheckerGlobalTesttestGlobalFormulaNegative13Success0.002
FormulaCheckerGlobalTesttestGlobalFormulaNegative14Success0.003
FormulaCheckerGlobalTesttestGlobalFormulaNegative15Success0.001
FormulaCheckerGlobalTesttestGlobalFormulaNegative16Success0.001
FormulaCheckerGlobalTesttestGlobalFormulaNegative21Success0.000
FormulaCheckerGlobalTesttestGlobalFormulaNegative23Success0.000
FormulaCheckerGlobalTesttestGlobalFormulaNegative24Success0.001
FormulaCheckerLogicalConnectivesTesttestLogicalConnectivePositive01Success0.084
FormulaCheckerLogicalConnectivesTesttestLogicalConnectivePositive02Success0.003
FormulaCheckerLogicalConnectivesTesttestLogicalConnectivePositive03Success0.002
FormulaCheckerLogicalConnectivesTesttestLogicalConnectivePositive04Success0.003
FormulaCheckerLogicalConnectivesTesttestLogicalConnectivePositive05Success0.005
FormulaCheckerLogicalConnectivesTesttestLogicalConnectivePositive06Success0.006
FormulaCheckerLogicalConnectivesTesttestLogicalConnectivePositive07Success0.004
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative01Success0.013
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative02Success0.002
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative03Success0.002
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative04Success0.003
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative05Success0.002
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative06Success0.002
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative07Success0.006
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative08Success0.002
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative09Success0.004
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative10Success0.015
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative11Success0.006
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative12Success0.008
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative13Success0.005
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative14Success0.006
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative15Success0.004
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative16Success0.003
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative17Success0.004
FormulaCheckerNegationTesttestNegationPositive01Success0.079
FormulaCheckerNegationTesttestNegationNegative01Success0.004
FormulaCheckerNegationTesttestNegationNegative02Success0.002
FormulaCheckerPredicateFormulaTesttestPredicateFormulaPositive01Success0.083
FormulaCheckerPredicateFormulaTesttestPredicateFormulaPositive02Success0.002
FormulaCheckerPredicateFormulaTesttestPredicateFormulaNegative01Success0.006
FormulaCheckerPredicateFormulaTesttestPredicateFormulaNegative02Success0.002
FormulaCheckerPredicateFormulaTesttestPredicateFormulaNegative09Success0.003
FormulaCheckerPredicateFormulaTesttestPredicateFormulaNegative10Success0.002
FormulaCheckerPredicateFormulaTesttestPredicateFormulaNegative13Success0.002
FormulaCheckerPredicateFormulaTesttestPredicateFormulaNegative14Success0.002
FormulaCheckerPredicateFormulaTesttestPredicateFormulaNegative15Success0.004
FormulaCheckerPredicateFormulaTesttestPredicateFormulaNegative16Success0.004
FormulaCheckerPredicateFormulaTesttestPredicateFormulaNegative19Success0.003
FormulaCheckerPredicateFormulaTesttestPredicateFormulaNegative20Success0.001
FormulaCheckerPredicateFormulaTesttestPredicateFormulaNegative22Success0.001
FormulaCheckerQuantifiersTesttestQuantifiersPositive01Success0.137
FormulaCheckerQuantifiersTesttestQuantifiersPositive02Success0.007
FormulaCheckerQuantifiersTesttestQuantifiersPositive03Success0.003
FormulaCheckerQuantifiersTesttestQuantifiersPositive04Success0.007
FormulaCheckerQuantifiersTesttestQuantifiersPositive05Success0.007
FormulaCheckerQuantifiersTesttestQuantifiersPositive06Success0.003
FormulaCheckerQuantifiersTesttestQuantifiersNegative01Success0.006
FormulaCheckerQuantifiersTesttestQuantifiersNegative02Success0.002
FormulaCheckerQuantifiersTesttestQuantifiersNegative03Success0.001
FormulaCheckerQuantifiersTesttestQuantifiersNegative04Success0.003
FormulaCheckerQuantifiersTesttestQuantifiersNegative05Success0.001
FormulaCheckerQuantifiersTesttestQuantifiersNegative06Success0.006
FormulaCheckerQuantifiersTesttestQuantifiersNegative07Success0.003
FormulaCheckerQuantifiersTesttestQuantifiersNegative08Success0.005
FormulaCheckerQuantifiersTesttestQuantifiersNegative09Success0.002
FormulaCheckerQuantifiersTesttestQuantifiersNegative10Success0.003
FormulaCheckerQuantifiersTesttestQuantifiersNegative11Success0.003
FormulaCheckerQuantifiersTesttestQuantifiersNegative12Success0.003
FormulaCheckerQuantifiersTesttestQuantifiersNegative16Success0.009
FormulaCheckerQuantifiersTesttestQuantifiersNegative17Success0.002
FormulaCheckerQuantifiersTesttestQuantifiersNegative18Success0.007
FormulaCheckerQuantifiersTesttestQuantifiersNegative19Success0.005
FormulaCheckerQuantifiersTesttestQuantifiersNegative20Success0.004
FormulaCheckerQuantifiersTesttestQuantifiersNegative21Success0.008
FormulaCheckerQuantifiersTesttestQuantifiersNegative22Success0.006
FormulaCheckerQuantifiersTesttestQuantifiersNegative23Success0.005
FormulaCheckerQuantifiersTesttestQuantifiersNegative24Success0.002
FormulaCheckerQuantifiersTesttestQuantifiersNegative25Success0.004
FormulaCheckerQuantifiersTesttestQuantifiersNegative26Success0.005
FormulaCheckerQuantifiersTesttestQuantifiersNegative27Success0.006
FormulaCheckerSubjectVariableTesttestSubjectVariablePositiveSuccess0.126
FormulaCheckerSubjectVariableTesttestSubjectVariableNegative1Success0.009
FormulaCheckerSubjectVariableTesttestSubjectVariableNegative2Success0.003
FormulaCheckerSubjectVariableTesttestSubjectVariableNegative3Success0.002
FormulaCheckerTermTesttestTermPositive01Success0.113
FormulaCheckerTermTesttestTermPositive02Success0.002
FormulaCheckerTermTesttestTermPositive03Success0.003
FormulaCheckerTermTesttestTermPositive04Success0.001
FormulaCheckerTermTesttestTermNegative01Success0.005
FormulaCheckerTermTesttestTermNegative02Success0.002
FormulaCheckerTermTesttestTermNegative03Success0.002
FormulaCheckerTermTesttestTermNegative04Success0.003
FormulaCheckerTermTesttestTermNegative05Success0.001
FormulaCheckerTermTesttestTermNegative06Success0.001
FormulaCheckerTermTesttestTermNegative07Success0.001
FormulaCheckerTermTesttestTermNegative08Success0.001
FormulaCheckerTermTesttestTermNegative09Success0.002
FormulaCheckerTermTesttestTermNegative10Success0.008
FormulaCheckerTesttestPositive1Success0.075
FormulaCheckerTesttestPositive2Success0.012
FormulaCheckerTesttestPositive3Success0.019
FormulaCheckerTesttestPositive4Success0.015
FormulaCheckerTesttestPositive5Success0.017
FormulaCheckerTesttestPositive6Success0.016
FormulaCheckerTesttestPositive7Success0.010
FormulaCheckerTesttestPositive8Success0.007
FormulaCheckerTesttestNegative1Success0.007
FormulaCheckerTesttestPositive9Success0.007
FormulaCheckerTesttestNegative3Success0.007
FormulaCheckerTesttestNegative4Success0.007
FormulaCheckerTesttestNegative5Success0.005
FormulaCheckerTesttestNegative6Success0.009
FormulaCheckerTesttestNegative7Success0.003
FormulaCheckerTesttestNegative8Success0.005
FormulaCheckerTesttestNegative9Success0.002
FormulaCheckerTesttestNegative10Success0.003
FormulaCheckerTesttestNegative11Success0.008
FormulaCheckerTesttestNegative12Success0.003
FormulaCheckerTesttestNegative13Success0.010
VisitorContextTesttestContextSuccess1625.686
AsciiMathParserTesttestReadMaximalTerm00Success0.415
AsciiMathParserTesttestReadMaximalTerm01Success0.080
AsciiMathParserTesttestReadMaximalTerm02Success0.034
AsciiMathParserTesttestReadMaximalTerm03Success0.029
AsciiMathParserTesttestReadMaximalTerm04Success0.041
AsciiMathParserTesttestReadMaximalTerm05Success0.052
AsciiMathParserTesttestReadMaximalTerm06Success0.032
AsciiMathParserTesttestReadMaximalTerm07Success0.024
AsciiMathParserTesttestReadMaximalTerm08Success0.032
AsciiMathParserTesttestReadMaximalTerm09Success0.036
AsciiMathParserTesttestReadMaximalTerm10Success0.023
AsciiMathParserTesttestReadMaximalTerm11Success0.022
AsciiMathParserTesttestReadMaximalTerm12Success0.035
AsciiMathParserTesttestReadMaximalTerm13Success0.015
AsciiMathParserTesttestReadMaximalTerm14Success0.021
AsciiMathParserTesttestReadMaximalTerm15Success0.017
AsciiMathParserTesttestReadMaximalTerm16Success0.026
AsciiMathParserTesttestReadMaximalTerm17Success0.012
AsciiMathParserTesttestReadMaximalTerm18Success0.011
AsciiMathParserTesttestReadMaximalTerm19Success0.010
AsciiMathParserTesttestReadMaximalTerm20Success0.009
AsciiMathParserTesttestReadMaximalTerm21Success0.012
AsciiMathParserTesttestReadMaximalTerm22Success0.011
AsciiMathParserTesttestReadMaximalTerm23Success0.011
AsciiMathParserTesttestReadMaximalTerm24Success0.010
AsciiMathParserTesttestReadMaximalTerm26Success0.014
AsciiMathParserTesttestReadMaximalTerm27Success0.017
AsciiMathParserTesttestReadMaximalTerm28Success0.020
AsciiMathParserTesttestReadMaximalTerm29Success0.022
AsciiMathParserTesttestReadMaximalTerm30Success0.013
AsciiMathParserTesttestReadMaximalTerm31Success0.011
AsciiMathParserTesttestReadMaximalTerm32Success0.009
AsciiMathParserTesttestReadMaximalTerm33Success0.046
AsciiMathParserTesttestReadMaximalTerm34Success0.013
AsciiMathParserTesttestReadMaximalTerm35Success0.012
AsciiMathParserTesttestReadMaximalTerm36Success0.013
AsciiMathParserTesttestReadMaximalTerm37Success0.024
AsciiMathParserTesttestReadMaximalTerm38Success0.011
AsciiMathParserTesttestReadMaximalTerm39Success0.008
AsciiMathParserTesttestReadMaximalTerm40Success0.010
AsciiMathParserTesttestReadMaximalTerm41Success0.009
AsciiMathParserTesttestReadMaximalTerm42Success0.038
AsciiMathParserTesttestReadMaximalTerm43Success0.008
AsciiMathParserTesttestReadMaximalTerm44Success0.009
AsciiMathParserTesttestReadMaximalTerm45Success0.011
AsciiMathParserTesttestReadMaximalTerm46Success0.008
AsciiMathParserTesttestReadMaximalTerm47Success0.008
AsciiMathParserTesttestReadMaximalTerm48Success0.008
AsciiMathParserTesttestReadMaximalTerm49Success0.006
AsciiMathParserTesttestReadMaximalTerm50Success0.007
AsciiMathParserTesttestException00Success0.008
AsciiMathParserTesttestException01Success0.006
AsciiMathParserTesttestException02Success0.007
AsciiMathParserTesttestException03Success0.009
AsciiMathParserTesttestException04Success0.008
AsciiMathParserTesttestException05Success0.008
AsciiMathParserTesttestException06Success0.007
AsciiMathParserTesttestAllTogetherSuccess0.616
LatexMathParserTesttestReadMaximalTerm00Success0.267
LatexMathParserTesttestReadMaximalTerm01Success0.039
LatexMathParserTesttestReadMaximalTerm02Success0.033
LatexMathParserTesttestReadMaximalTerm03Success0.037
LatexMathParserTesttestReadMaximalTerm04Success0.030
LatexMathParserTesttestReadMaximalTerm05Success0.036
LatexMathParserTesttestReadMaximalTerm06Success0.027
LatexMathParserTesttestReadMaximalTerm07Success0.027
LatexMathParserTesttestReadMaximalTerm08Success0.024
LatexMathParserTesttestReadMaximalTerm09Success0.018
LatexMathParserTesttestAllTogetherSuccess0.040
OperatorTesttestGetMinSuccess0.142
OperatorTesttestGetMaxSuccess0.008
OperatorTesttestEqualsSuccess0.010
OperatorTesttestToStringSuccess0.006
OperatorTesttestIsFixSuccess0.007
SimpleMathParserTesttestReadMaximalTerm00Success0.414
SimpleMathParserTesttestReadMaximalTerm01Success0.054
SimpleMathParserTesttestReadMaximalTerm02Success0.046
SimpleMathParserTesttestReadMaximalTerm03Success0.019
SimpleMathParserTesttestReadMaximalTerm04Success0.025
SimpleMathParserTesttestReadMaximalTerm05Success0.031
SimpleMathParserTesttestReadMaximalTerm06Success0.014
SimpleMathParserTesttestReadMaximalTerm07Success0.022
SimpleMathParserTesttestReadMaximalTerm08Success0.012
SimpleMathParserTesttestReadMaximalTerm09Success0.014
SimpleMathParserTesttestReadMaximalTerm10Success0.032
SimpleMathParserTesttestReadMaximalTerm11Success0.019
SimpleMathParserTesttestReadMaximalTerm12Success0.041
SimpleMathParserTesttestReadMaximalTerm13Success0.024
SimpleMathParserTesttestReadMaximalTerm14Success0.022
SimpleMathParserTesttestReadMaximalTerm15Success0.029
SimpleMathParserTesttestReadMaximalTerm16Success0.023
SimpleMathParserTesttestReadMaximalTerm17Success0.030
SimpleMathParserTesttestReadMaximalTerm18Success0.017
SimpleMathParserTesttestReadMaximalTerm19Success0.019
SimpleMathParserTesttestReadMaximalTerm20Success0.024
SimpleMathParserTesttestReadMaximalTerm21Success0.022
SimpleMathParserTesttestReadMaximalTerm22Success0.026
SimpleMathParserTesttestReadMaximalTerm23Success0.022
SimpleMathParserTesttestReadMaximalTerm24Success0.043
SimpleMathParserTesttestReadMaximalTerm25Success0.028
SimpleMathParserTesttestReadMaximalTerm26Success0.032
SimpleMathParserTesttestReadMaximalTerm27Success0.035
SimpleMathParserTesttestReadMaximalTerm28Success0.027
SimpleMathParserTesttestAllTogetherSuccess0.088
CheckRequiredModuleExceptionTesttestCreatorSuccess0.088
CheckRequiredModuleExceptionTesttestGetterSuccess0.004
DefaultKernelQedeqBoTesttestConstructorSuccess0.122
DefaultKernelQedeqBoTesttestHasFailuresSuccess0.051
DefaultKernelQedeqBoTesttestSetLoadingFailureStateSuccess0.006
DefaultKernelQedeqBoTesttestSetLoadingProgressStateSuccess0.007
DefaultKernelQedeqBoTesttestSetDependencyFailureStateSuccess0.005
LoadRequiredModulesTesttestLoadRequiredModules_01Success1.027
LoadRequiredModulesTesttestLoadRequiredModules_02Success0.236
LoadRequiredModulesTesttestLoadRequiredModules_03Success0.131
LoadRequiredModulesTesttestLoadRequiredModules_04Success0.262
LoadRequiredModulesTesttestLoadRequiredModules_05Success0.404
LoadRequiredModulesTesttestLoadRequiredModules_06Success0.380
LoadRequiredModulesTesttestLoadRequiredModules_07Success0.319
LoadRequiredModulesTesttestLoadRequiredModules_08Success0.323
LoadRequiredModulesTesttestLoadRequiredModules_09Success0.370
LoadRequiredModulesTesttestLoadRequiredModules_09bSuccess0.229
LoadRequiredModulesTesttestLoadRequiredModules_09cSuccess0.314
LoadRequiredModulesTesttestLoadRequiredModules_09dSuccess0.284
LoadRequiredModulesTesttestLoadRequiredModules_10Success0.106
LoadRequiredModulesTesttestLoadRequiredModules_11Success0.041
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_01Success0.868
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_02Success0.418
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_03Success0.314
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_04Success0.350
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_05Success0.207
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_06Success0.126
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_07Success0.162
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_08Success0.127
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_09Success0.131
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_10Success0.041
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_11Success0.040
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_12Success0.149
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_13Success0.212
QedeqBoFactoryTesttestCreateStringQedeq1Success8.202
QedeqBoFactoryTesttestCreateStringQedeq2Success8.807
QedeqBoFactoryTesttestCreateStringQedeq3Success11.758
QedeqBoFactoryTesttestCreateStringQedeq4Success5.763
QedeqBoFactoryTesttestCreateStringQedeq5Success2171.180
QedeqBoFactoryTesttestCreateStringQedeq6Success576.508
DynamicHeuristicCheckerPluginTesttestQedeqSampleScript1Success1.196
HeuristicCheckerPluginTesttestQedeqLogicScript1Success2.803
HeuristicCheckerPluginTesttestQedeqLogicScript2Success0.328
HeuristicCheckerPluginTesttestQedeqSetTheoryScript1Success13.965
HeuristicCheckerPluginTesttestQedeqSetTheoryScript2Success1.147
Element2LatexImplTesttestClassSuccess0.076
Element2LatexImplTesttestVarSuccess0.005
Element2LatexImplTesttestFunconSuccess0.004
Element2LatexImplTesttestFunvarSuccess0.007
Element2LatexImplTesttestPredconSuccess0.011
Element2LatexImplTesttestPredvarSuccess0.006
Element2LatexImplTesttestVarious1Success0.004
Element2LatexImplTesttestBinaryLogicalSuccess0.002
Element2LatexImplTesttestVarious2Success0.001
Element2LatexImplTesttestClasslistSuccess0.004
ExtendedGenerateLatexTesttestGenerationSuccess13930.898
ExtendedGenerateLatexTesttestGeneration2Success932.581
ExtendedGenerateLatexTesttestNegativeGeneration2Success0.850
ExtendedGenerateLatexTesttestNegative02Success0.078
ExtendedGenerateLatexTesttestNegative03Success0.033
ExtendedGenerateLatexTesttestNegative04Success0.033
ExtendedGenerateLatexTesttestNegative05Success0.202
ExtendedGenerateLatexTesttestNegative06Success0.085
ExtendedGenerateLatexTesttestNegative07Success0.141
ExtendedGenerateLatexTesttestNegative08Success0.158
GenerateLatexTesttestGenerationSuccess11.357
GenerateLatexTesttestGeneration2Success1.582
GenerateLatexTesttestNegativeGeneration2Success0.654
GenerateLatexTesttestNegative02Success0.093
GenerateLatexTesttestNegative03Success0.017
GenerateLatexTesttestNegative04Success0.025
GenerateLatexTesttestNegative05Success0.091
GenerateLatexTesttestNegative06Success0.082
GenerateLatexTesttestNegative07Success0.125
GenerateLatexTesttestNegative08Success0.099
Qedeq2LatexTesttestQ2L001_v1Success1.237
Qedeq2LatexTesttestQ2L001_v2Success0.387
Qedeq2LatexTesttestQ2L002Success0.378
Qedeq2LatexTesttestQ2L003Success0.277
FormalProofCheckerPluginTesttestPluginSuccess1.309
FormalProofCheckerPluginTesttestPlugin2Success2.132
FormalProofCheckerPluginTesttestPlugin3Success5.412
FormalProofCheckerPluginTesttestPlugin4Success1.139
FormalProofCheckerPluginTesttestProof_003Success0.042
QedeqBoFormalLogicCheckerDirectTesttestNegative00Success0.439
QedeqBoFormalLogicCheckerDirectTesttestNegative01Success0.071
QedeqBoFormalLogicCheckerDirectTesttestNegative02Success0.387
QedeqBoFormalLogicCheckerDirectTesttestNegative03Success0.248
QedeqBoFormalLogicCheckerDirectTesttestNegative04Success0.239
QedeqBoFormalLogicCheckerTesttestCheckModuleSuccess1.471
SimpleProofFinderPluginTesttestPluginSuccess176.742
SimpleProofFinderPluginTesttestPlugin2Success175.448
SimpleProofFinderPluginTesttestPluginFastSuccess202.111
GenerateUtf8TesttestGeneration1Success2.933
GenerateUtf8TesttestGeneration1bSuccess3.413
GenerateUtf8TesttestGeneration2Success0.836
GenerateUtf8TesttestGeneration3Success1.188
GenerateUtf8TesttestGeneration3bSuccess0.864
GenerateUtf8TesttestGeneration3cSuccess0.119
GenerateUtf8TesttestGeneration4Success2.041
GenerateUtf8TesttestGeneration5Success1.008
GenerateUtf8TesttestGeneration6Success0.748
GenerateUtf8TesttestGeneration7Success0.054
Latex2UnicodeParserTesttest01Success0.108
Latex2UnicodeParserTesttest02Success0.079
Latex2UnicodeParserTesttest03Success0.003
Latex2UnicodeParserTesttest04Success0.011
Latex2UnicodeParserTesttest05Success0.003
Latex2UnicodeParserTesttest06Success0.002
Latex2UnicodeParserTesttest07Success0.007
Latex2UnicodeParserTesttest08Success0.002
Latex2UnicodeParserTesttest09Success0.003
Latex2UnicodeParserTesttest10Success0.001
Latex2UnicodeParserTesttest11Success0.002
Latex2UnicodeParserTesttest12Success0.001
Qedeq2UnicodeTextExecutorTesttestGeneration1Success3.139
Qedeq2UnicodeTextExecutorTesttestGeneration1bSuccess4.213
Qedeq2UnicodeTextExecutorTesttestGeneration2Success0.834
Qedeq2UnicodeTextExecutorTesttestGeneration3Success0.971
Qedeq2UnicodeTextExecutorTesttestGeneration3bSuccess0.989
Qedeq2UnicodeTextExecutorTesttestGeneration3cSuccess0.236
Qedeq2UnicodeTextExecutorTesttestGeneration4Success2.869
Qedeq2UnicodeTextExecutorTesttestGeneration5Success1.343
Qedeq2UnicodeTextExecutorTesttestGeneration6Success2.906
KernelBoEachClassHasATesttestIfEveryClassIsTestedSuccess10.177
DefaultModuleAddressTesttestConstructorSuccess0.098
DefaultModuleAddressTesttestHashCodeSuccess0.005
DefaultModuleAddressTesttestDefaultModuleAddressURLSuccess0.005
DefaultModuleAddressTesttestDefaultModuleAddressFileSuccess0.019
DefaultModuleAddressTesttestCreateModuleContextSuccess0.004
DefaultModuleAddressTesttestEqualsObjectSuccess0.006
DefaultModuleAddressTesttestToStringSuccess0.004
DefaultModuleAddressTesttestGetModulePaths1Success0.012
DefaultModuleAddressTesttestGetModulePaths2Success0.006
DefaultModuleAddressTesttestGetModulePaths3Success0.004
DefaultModuleAddressTesttestCreateRelativeAddressSuccess0.004
DefaultModuleAddressTesttestCreateRelativeAddress2Success0.004
IllegalModuleDataExceptionTesttestConstructorSuccess0.048
IllegalModuleDataExceptionTesttestHashCodeSuccess0.005
IllegalModuleDataExceptionTesttestEqualsObjectSuccess0.006
ModuleContextTesttestConstructorSuccess0.070
ModuleContextTesttestGetDeltaSuccess0.004
ModuleContextTesttestHashCodeSuccess0.003
ModuleContextTesttestEqualsObjectSuccess0.008
ModuleContextTesttestToStringSuccess0.003
ModuleDataExceptionTesttestConstructorSuccess0.041
ModuleDataExceptionTesttestHashCodeSuccess0.009
ModuleDataExceptionTesttestEqualsObjectSuccess0.004
QedeqExceptionTesttestConstructorSuccess0.015
QedeqExceptionTesttestHashCodeSuccess0.002
QedeqExceptionTesttestEqualsObjectSuccess0.002
QedeqExceptionTesttestToStringSuccess0.004
RuleKeyTesttestGetSuccess0.016
RuleKeyTesttestToStringSuccess0.005
RuleKeyTesttestHashCodeSuccess0.004
RuleKeyTesttestEqualsSuccess0.009
SourceFileExceptionListTesttestContructorSuccess0.020
SourceFileExceptionListTesttestClearSuccess0.004
SourceFileExceptionListTesttestAdd1Success0.004
SourceFileExceptionListTesttestAdd2Success0.012
SourceFileExceptionListTesttestSizeSuccess0.003
SourceFileExceptionListTesttestEqualsSuccess0.005
SourceFileExceptionListTesttestHashCodeSuccess0.004
SourceFileExceptionListTesttestGetSuccess0.004
SourceFileExceptionListTesttestGetCauseSuccess0.008
SourceFileExceptionListTesttestToStringSuccess0.003
SourceFileExceptionTesttestConstructorSuccess0.034
SourceFileExceptionTesttestGetMessageSuccess0.002
SourceFileExceptionTesttestGetCauseSuccess0.003
SourceFileExceptionTesttestToStringSuccess0.003
SourceFileExceptionTesttestGetDescriptionSuccess0.002
SourceFileExceptionTesttestGetPluginSuccess0.001
SourceFileExceptionTesttestGetSourceAreaSuccess0.002
SourceFileExceptionTesttestGetRefrenceAreaSuccess0.003
SourceFileExceptionTesttestHashCodeSuccess0.002
SourceFileExceptionTesttestEqualsObjectSuccess0.002
ConfigAccessTesttestStoreSuccess0.932
ConfigAccessTesttestGetterSuccess0.006
ConfigAccessTesttestRemovePropertySuccess0.002
ConfigAccessTesttestRemovePropertiesSuccess0.007
QedeqConfigTesttestGetBasisDirectorySuccess0.025
QedeqConfigTesttestGetSetBufferDirectorySuccess0.015
QedeqConfigTesttestGetSetGenerationDirectorySuccess0.004
QedeqConfigTesttestGetLocalModulesDirectorySuccess0.005
QedeqConfigTesttestGetSetConnectTimeoutSuccess0.003
QedeqConfigTesttestGetSetReadConnectTimeoutSuccess0.002
QedeqConfigTesttestGetSetHttpProxyHostSuccess0.002
QedeqConfigTesttestGetSetHttpProxyPortSuccess0.002
QedeqConfigTesttestGetSetHttpNonProxyHostsSuccess0.003
QedeqConfigTesttestGetLogFileSuccess0.002
QedeqConfigTesttestGetSaveModuleHistorySuccess0.003
QedeqConfigTesttestGetSetPreviouslyLoadedModulesSuccess0.004
QedeqConfigTesttestGetSetKeyValueStringSuccess0.003
QedeqConfigTesttestGetKeyValueStringBooleanSuccess0.001
QedeqConfigTesttestGetKeyValueStringStringSuccess0.002
QedeqConfigTesttestGetKeyValueStringIntSuccess0.002
QedeqConfigTesttestGetSetServiceValuesSuccess0.004
QedeqConfigTesttestCreateAbsolutePathSuccess0.002
QedeqConfigTesttestIsSetIsTraceOnSuccess0.002
QedeqConfigTesttestIsSetAutoReloadLastSessionCheckedSuccess0.002
QedeqConfigTesttestStoreSuccess0.006
DefaultAtomTesttestConstructorSuccess0.015
DefaultAtomTesttestGetSuccess0.002
DefaultAtomTesttestToStringSuccess0.002
DefaultAtomTesttestGetListSuccess0.004
DefaultAtomTesttestIsAtomSuccess0.001
DefaultAtomTesttestIsListSuccess0.001
DefaultAtomTesttestGetAtomSuccess0.000
DefaultAtomTesttestReplaceSuccess0.003
DefaultAtomTesttestHashCodeSuccess0.002
DefaultAtomTesttestEqualsSuccess0.000
DefaultElementListTesttestConstructorSuccess0.030
DefaultElementListTesttestGetElementSuccess0.004
DefaultElementListTesttestSizeSuccess0.003
DefaultElementListTesttestGetElementsSuccess0.010
DefaultElementListTesttestCopySuccess0.002
DefaultElementListTesttestAddAndSizeAndInsertAndRemoveSuccess0.002
DefaultElementListTesttestGetListSuccess0.003
DefaultElementListTesttestGetAtomSuccess0.003
DefaultElementListTesttestIsListSuccess0.005
DefaultElementListTesttestIsAtomSuccess0.002
DefaultElementListTesttestReplace1Success0.003
DefaultElementListTesttestReplace2Success0.002
DefaultElementListTesttestInsertSuccess0.004
DefaultElementListTesttestGetOperatorSuccess0.006
DefaultElementListTesttestToStringSuccess0.002
DefaultElementListTesttestHashCodeSuccess0.003
DefaultElementListTesttestEqualsSuccess0.002
ElementSetTesttestConstructorSuccess0.022
ElementSetTesttestSetOperationsSuccess0.004
ElementSetTesttestSetOperations2Success0.003
ElementSetTesttestMinusSuccess0.005
ElementSetTesttestRemoveSuccess0.000
ElementSetTesttestAddSuccess0.001
ElementSetTesttestContainsSuccess0.002
ElementSetTesttestNewDeltaSuccess0.001
ElementSetTesttestNewIntersectionSuccess0.003
ElementSetTesttestIsEmptySuccess0.000
ElementSetTesttestIteratorSuccess0.001
ElementSetTesttestToStringSuccess0.002
ElementSetTesttestHashCodeSuccess0.001
ElementSetTesttestEqualsSuccess0.002
AddVoTesttestGetNameSuccess0.018
AddVoTesttestGetModusPonensSuccess0.003
AddVoTesttestGetReferencesSuccess0.007
AddVoTesttestAllSuccess0.006
AuthorListVoTesttestAllSuccess0.026
AuthorVoTesttestConstructorSuccess0.038
AuthorVoTesttestAllSuccess0.020
AxiomVoTesttestOtherGettersSuccess0.018
AxiomVoTesttestAllSuccess0.032
ChangedRuleListVoTesttestAllSuccess0.026
ChangedRuleVoTesttestAllSuccess0.041
ChapterListVoTesttestAllSuccess0.087
ChapterVoTesttestAllSuccess0.105
ConclusionVoTesttestGetLabelSuccess0.043
ConclusionVoTesttestGetFormulaSuccess0.006
ConclusionVoTesttestHashCodeSuccess0.004
ConclusionVoTesttestToStringSuccess0.007
ConclusionVoTesttestAllSuccess0.013
ConditionalProofVoTesttestGetLabelSuccess0.040
ConditionalProofVoTesttestGetFormulaSuccess0.006
ConditionalProofVoTesttestUnuasalGetterSuccess0.013
ConditionalProofVoTesttestAllSuccess0.072
ExistentialVoTesttestGetExistentialSuccess0.028
ExistentialVoTesttestGetNameSuccess0.004
ExistentialVoTesttestGetReferencesSuccess0.012
ExistentialVoTesttestAllSuccess0.027
FormalProofLineListVoTesttestAllSuccess0.032
FormalProofLineVoTesttestConstructosSuccess0.018
FormalProofLineVoTesttestAllSuccess0.017
FormalProofListVoTesttestAllSuccess0.042
FormalProofVoTesttestConstructorSuccess0.026
FormalProofVoTesttestAllSuccess0.025
FormulaVoTesttestAllSuccess0.029
FunctionDefinitionVoTesttestOtherGettersSuccess0.021
FunctionDefinitionVoTesttestAllSuccess0.021
HeaderVoTesttestAllSuccess0.082
HypothesisVoTesttestGetLabelSuccess0.021
HypothesisVoTesttestGetFormulaSuccess0.004
HypothesisVoTesttestAllSuccess0.012
ImportListVoTesttestAllSuccess0.028
ImportVoTesttestConstructorSuccess0.018
ImportVoTesttestAllSuccess0.013
InitialFunctionDefinitionVoTesttestOtherGettersSuccess0.037
InitialFunctionDefinitionVoTesttestAllSuccess0.039
InitialPredicateDefinitionVoTesttestOtherGettersSuccess0.019
InitialPredicateDefinitionVoTesttestAllSuccess0.021
LatexListVoTesttestAllSuccess0.045
LatexVoTesttestAllSuccess0.029
LinkListVoTesttestAllSuccess0.021
LiteratureItemListVoTesttestAllSuccess0.025
LiteratureItemVoTesttestAllSuccess0.064
LocationListVoTesttestAllSuccess0.033
LocationVoTesttestAllSuccess0.025
ModusPonensVoTesttestGetModusPonensSuccess0.037
ModusPonensVoTesttestGetNameSuccess0.004
ModusPonensVoTesttestGetReference1Success0.003
ModusPonensVoTesttestGetReference2Success0.007
ModusPonensVoTesttestGetReferencesSuccess0.014
ModusPonensVoTesttestAllSuccess0.014
NodeVoTesttestSetGetLabelSuccess0.017
NodeVoTesttestSetGetLevelSuccess0.002
NodeVoTesttestSetGetNameSuccess0.004
NodeVoTesttestSetGetPrecedingTextSuccess0.002
NodeVoTesttestSetGetNodeTypeSuccess0.008
NodeVoTesttestSetGetSucceedingTextSuccess0.005
NodeVoTesttestEqualsSuccess0.003
NodeVoTesttestToStringSuccess0.004
NodeVoTesttestGetNodeSuccess0.004
NodeVoTesttestGetSubsectionSuccess0.003
NodeVoTesttestAllSuccess0.045
PredicateDefinitionVoTesttestOtherGettersSuccess0.029
PredicateDefinitionVoTesttestAllSuccess0.022
ProofListVoTesttestAllSuccess0.028
ProofVoTesttestAllSuccess0.030
PropositionVoTesttestOtherGettersSuccess0.018
PropositionVoTesttestAllSuccess0.059
QedeqVoTesttestAllSuccess0.126
RenameVoTesttestGetRenameSuccess0.040
RenameVoTesttestGetNameSuccess0.004
RenameVoTesttestGetReferencesSuccess0.013
RenameVoTesttestAllSuccess0.033
RuleVoTesttestOtherGettersSuccess0.036
RuleVoTesttestAllSuccess0.081
SectionListVoTesttestAllSuccess0.121
SectionVoTesttestAllSuccess0.103
SpecificationVoTesttestAllSuccess0.058
SubsectionListVoTesttestAllSuccess0.056
SubsectionVoTesttestGetSubsectionSuccess0.026
SubsectionVoTesttestGetNodeSuccess0.004
SubsectionVoTesttestAllSuccess0.023
SubstFreeVoTesttestGetSubstFreeSuccess0.021
SubstFreeVoTesttestGetNameSuccess0.002
SubstFreeVoTesttestGetReferencesSuccess0.007
SubstFreeVoTesttestAllSuccess0.015
SubstFuncVoTesttestGetSubstFuncSuccess0.038
SubstFuncVoTesttestGetNameSuccess0.004
SubstFuncVoTesttestGetReferencesSuccess0.013
SubstFuncVoTesttestAllSuccess0.027
SubstPredVoTesttestGetSubstPredSuccess0.020
SubstPredVoTesttestGetNameSuccess0.002
SubstPredVoTesttestGetReferencesSuccess0.006
SubstPredVoTesttestAllSuccess0.014
TermVoTesttestGetElementSuccess0.035
TermVoTesttestAllSuccess0.025
UniversalVoTesttestGetUniversalSuccess0.019
UniversalVoTesttestGetNameSuccess0.003
UniversalVoTesttestGetReferencesSuccess0.007
UniversalVoTesttestAllSuccess0.014
UsedByListVoTesttestAllSuccess0.027
AbstractStateTesttestConstructorSuccess0.016
AbstractStateTesttestGetCodeSuccess0.002
AbstractStateTesttestGetTextSuccess0.002
AbstractStateTesttestToStringSuccess0.003
AbstractStateTesttestIsFailureSuccess0.003
AbstractStateTesttestEqualsSuccess0.001
AbstractStateTesttestHashCodeSuccess0.001
DependencyStateTesttestGetCodeSuccess0.018
DependencyStateTesttestGetTextSuccess0.002
DependencyStateTesttestToStringSuccess0.002
DependencyStateTesttestIsFailureSuccess0.006
DependencyStateTesttestAreAllRequiredLoadedSuccess0.001
DependencyStateTesttestEqualsSuccess0.001
DependencyStateTesttestHashCodeSuccess0.001
FormallyProvedStateTesttestGetCodeSuccess0.025
FormallyProvedStateTesttestGetTextSuccess0.003
FormallyProvedStateTesttestToStringSuccess0.003
FormallyProvedStateTesttestIsFailureSuccess0.007
FormallyProvedStateTesttestEqualsSuccess0.002
FormallyProvedStateTesttestHashCodeSuccess0.001
LoadingImportsStateTesttestGetCodeSuccess0.018
LoadingImportsStateTesttestGetTextSuccess0.002
LoadingImportsStateTesttestToStringSuccess0.002
LoadingImportsStateTesttestIsFailureSuccess0.008
LoadingImportsStateTesttestAreAllDirectlyRequiredLoadedSuccess0.001
LoadingImportsStateTesttestEqualsSuccess0.001
LoadingImportsStateTesttestHashCodeSuccess0.001
LoadingStateTesttestGetCodeSuccess0.036
LoadingStateTesttestGetTextSuccess0.004
LoadingStateTesttestToStringSuccess0.003
LoadingStateTesttestIsFailureSuccess0.006
LoadingStateTesttestEqualsSuccess0.005
LoadingStateTesttestHashCodeSuccess0.002
WellFormedStateTesttestGetCodeSuccess0.027
WellFormedStateTesttestGetTextSuccess0.004
WellFormedStateTesttestToStringSuccess0.004
WellFormedStateTesttestIsFailureSuccess0.009
WellFormedStateTesttestEqualsSuccess0.001
WellFormedStateTesttestHashCodeSuccess0.002
KernelSeEachClassHasATesttestIfEveryClassIsTestedSuccess9.469
AbstractModuleVisitorTesttestEnterSuccess0.026
AbstractModuleVisitorTesttestLeaveSuccess0.003
DefaultContextCheckerTesttestCheckHashCodeSuccess0.025
InterruptExceptionTesttestConstructorSuccess0.023
InterruptExceptionTesttestHashCodeSuccess0.002
InterruptExceptionTesttestEqualsObjectSuccess0.003
LatexList2TextTesttestGetLatexSuccess0.028
LatexList2TextTesttestTransformSuccess0.005
QedeqNotNullTraverserTesttestVisitSuccess0.042
QedeqNotNullTraverserTesttestGenerationSuccess0.013
QedeqNotNullTraverserTesttestQedeqSuccess0.506
QedeqNotNullTraverserTesttestQedeq2Success0.003
QedeqNotNullTraverserTesttestAcceptors1Success0.004
QedeqNotNullTraverserTesttestAcceptors2Success0.007
QedeqNumbersTesttestConstructorSuccess0.018
QedeqNumbersTesttestHashCodeAndEqualsSuccess0.002
QedeqNumbersTesttestGetVisitPercentageSuccess0.123
XmlSyntaxExceptionTesttestCreatorSuccess0.018
XmlSyntaxExceptionTesttestGetterSuccess0.002
GenerateXmlTesttestGenerationSuccess28.285
Context2SimpleXPathTesttestGetXPath01Success0.654
Context2SimpleXPathTesttestGetXPath02Success0.105
Context2SimpleXPathTesttestGetXPath03Success0.168
Context2SimpleXPathTesttestGetXPath04Success0.178
Context2SimpleXPathTesttestGetXPath05Success0.110
Context2SimpleXPathTesttestGetXPath06Success0.096
Context2SimpleXPathTesttestGetXPath07Success0.077
Context2SimpleXPathTesttestGetXPath08Success0.044
Context2SimpleXPathTesttestGetXPath09Success0.094
CharsetParserTesttestParse1Success0.696
CharsetParserTesttestParse2Success0.129
QedeqParserTesttestParse1Success0.501
QedeqParserTesttestParse2Success0.120
SchemaTesttestXmlSuccess0.532
KernelXmlEachClassHasATesttestIfEveryClassIsTestedSuccess10.653
SimpleXPathTesttestSimpleXPathSuccess0.031
SimpleXPathTesttestSizeSuccess0.005
SimpleXPathTesttestGetElementNameSuccess0.004
SimpleXPathTesttestGetElementOccurrenceSuccess0.010
SimpleXPathTesttestGetAttributeSuccess0.003
SimpleXPathTesttestToStringSuccess0.003
SimpleXPathTesttestHashCodeSuccess0.006
SimpleXPathTesttestEqualsSuccess0.006
XPathLocationFinderTesttestGetXPathLocationSuccess0.346
XPathLocationFinderTesttestHelpSuccess0.005
XPathLocationFinderTesttestUnknownOptionSuccess0.003
XPathLocationFinderTesttestNoXPathSuccess0.008
XPathLocationFinderTesttestFileNotSpecifiedSuccess0.001
XPathLocationFinderTesttestXPathNotOkSuccess0.001
XPathLocationFinderTesttestXPathNotOk2Success0.001
XPathLocationFinderTesttestTagNotFoundSuccess0.011
XPathLocationFinderTesttestFileNotOkSuccess0.008
XPathLocationParserTesttestGetXPathLocationSuccess0.260