Unit Test Results.
Designed for use with
JUnit
and
Ant
.
All Tests
Class
Name
Status
Type
Time(s)
XmlReaderExceptionTest
testCreator
Success
0.026
XmlReaderExceptionTest
testGetter
Success
0.005
XmlReaderExceptionTest
testGetter2
Success
0.003
AbstractOutputTest
testComplete
Success
0.031
AbstractOutputTest
testPushPop
Success
0.002
AbstractOutputTest
testAdd01
Success
0.002
AbstractOutputTest
testAdd02
Success
0.002
AbstractOutputTest
testAdd03
Success
0.005
AbstractOutputTest
testAdd04
Success
0.002
AbstractOutputTest
testAdd05
Success
0.001
AbstractOutputTest
testAdd06
Success
0.002
AbstractOutputTest
testAdd07
Success
0.002
AbstractOutputTest
testAdd08
Success
0.004
AbstractOutputTest
testAdd09
Success
0.002
AbstractOutputTest
testAdd10
Success
0.002
AbstractOutputTest
testAdd11
Success
0.002
AbstractOutputTest
testAdd12
Success
0.001
AbstractOutputTest
testAdd13
Success
0.002
AbstractOutputTest
testAdd14
Success
0.001
AbstractOutputTest
testAdd15
Success
0.001
AbstractOutputTest
testAdd16
Success
0.001
AbstractOutputTest
testAdd17
Success
0.001
AbstractOutputTest
testAdd18
Success
0.001
AbstractOutputTest
testAddWsToken01
Success
0.001
AbstractOutputTest
testAddWsToken02
Success
0.001
AbstractOutputTest
testAddWsToken03
Success
0.001
AbstractOutputTest
testAddWsToken04
Success
0.001
AbstractOutputTest
testAddWsToken05
Success
0.001
AbstractOutputTest
testAddWsToken06
Success
0.003
AbstractOutputTest
testAddWsToken07
Success
0.002
AbstractOutputTest
testAddWsToken08
Success
0.001
AbstractOutputTest
testAddWsToken09
Success
0.002
AbstractOutputTest
testAddWsToken11
Success
0.001
AbstractOutputTest
testAddWsToken12
Success
0.001
AbstractOutputTest
testAddWsToken13
Success
0.002
AbstractOutputTest
testAddWsToken14
Success
0.002
AbstractOutputTest
testAddWsToken15
Success
0.001
AbstractOutputTest
testAddWsToken16
Success
0.002
AbstractOutputTest
testAddWsToken17
Success
0.002
AbstractOutputTest
testAddWsToken18
Success
0.003
AbstractOutputTest
testAddWsToken19
Success
0.002
AbstractOutputTest
testAddWsToken20
Success
0.002
AbstractOutputTest
testAddWsToken21
Success
0.002
AbstractOutputTest
testAddWsToken22
Success
0.002
AbstractOutputTest
testPrintChar01
Success
0.005
AbstractOutputTest
testPrintChar02
Success
0.002
AbstractOutputTest
testPrintString01
Success
0.002
AbstractOutputTest
testPrintString02
Success
0.002
AbstractOutputTest
testPrintString03
Success
0.002
AbstractOutputTest
testPrintString04
Success
0.002
IoUtilityTest
testPrintAllSystemProperties
Success
0.035
IoUtilityTest
testGetDefaultEncoding
Success
0.010
IoUtilityTest
testLoadFileStringString
Success
0.004
IoUtilityTest
testGetWorkingEncoding
Success
0.011
IoUtilityTest
testLoadStreamInputStreamStringBuffer
Success
0.005
IoUtilityTest
testLoadStreamWithoutException
Success
0.003
IoUtilityTest
testLoadReader
Success
0.002
IoUtilityTest
testLoadFileFileStringBuffer
Success
0.003
IoUtilityTest
testLoadFileFileStringBufferString
Success
0.010
IoUtilityTest
testLoadFileBinary1
Success
0.006
IoUtilityTest
testLoadFileBinary2
Success
2.353
IoUtilityTest
testSaveFileBinary
Success
0.005
IoUtilityTest
testLoadAndSaveFileBinary
Success
0.013
IoUtilityTest
testCompareFileBinary
Success
0.006
IoUtilityTest
testLoadFileURLStringBuffer
Success
0.002
IoUtilityTest
testLoadFileURLStringBufferString
Success
0.004
IoUtilityTest
testSaveFileURLFile
Success
0.002
IoUtilityTest
testSaveFileInputStreamFile
Success
0.001
IoUtilityTest
testStringToReader
Success
0.002
IoUtilityTest
testSaveFileFileString
Success
0.002
IoUtilityTest
testSaveFileFileStringBuffer
Success
0.006
IoUtilityTest
testSaveFileFileStringString
Success
0.003
IoUtilityTest
testSaveFileStringString
Success
0.006
IoUtilityTest
testSaveFileStringStringBuffer
Success
0.002
IoUtilityTest
testSaveFileFileStringBufferString
Success
0.006
IoUtilityTest
testCopyFile
Success
0.003
IoUtilityTest
testCopyDirectory
Success
0.009
IoUtilityTest
testCopyDirectory2
Success
0.002
IoUtilityTest
testCopyDirectory3
Success
0.009
IoUtilityTest
testCompareTextFiles1
Success
0.015
IoUtilityTest
testListFilesRecursively
Success
0.011
IoUtilityTest
testCompareTextFiles2
Success
0.042
IoUtilityTest
testCompareTextFiles3
Success
0.097
IoUtilityTest
testDeleteDirFileBoolean
Success
0.005
IoUtilityTest
testDeleteDirFileFileFilter
Success
0.003
IoUtilityTest
testGetUserHomeDirectory
Success
0.001
IoUtilityTest
testTransformURLPathToFilePath
Success
0.003
IoUtilityTest
testCreateNecessaryDirectories
Success
0.003
IoUtilityTest
testCreateRelativePath
Success
0.007
IoUtilityTest
testCreateRelativePath2
Success
0.002
IoUtilityTest
testWaitln
Success
0.004
IoUtilityTest
testCloseInputStream
Success
0.003
IoUtilityTest
testCloseReader
Success
0.004
IoUtilityTest
testCloseOutputStream
Success
0.003
IoUtilityTest
testCloseWriter
Success
0.004
IoUtilityTest
testGetStartDirectory
Success
0.005
IoUtilityTest
testLoadPropertiesUrl
Success
0.004
IoUtilityTest
testSleep
Success
1.157
IoUtilityTest
testGetJavaVersion
Success
0.003
IoUtilityTest
testGetSortedSystemProperties
Success
0.004
ParametersTest
testConstructor
Success
0.019
ParametersTest
testGetBoolean
Success
0.004
ParametersTest
testGetBooleanStandard
Success
0.002
ParametersTest
testGetInt
Success
0.007
ParametersTest
testGetIntStandard
Success
0.005
ParametersTest
testGetString
Success
0.003
ParametersTest
testGetStringStandard
Success
0.002
ParametersTest
testGetParameterString
Success
0.003
ParametersTest
testSetDefaultBoolean
Success
0.004
ParametersTest
testSetDefaultInt
Success
0.004
ParametersTest
testSetDefaultString
Success
0.001
PathTest
testConstructor1
Success
0.026
PathTest
testConstructor2
Success
0.005
PathTest
testConstructor3
Success
0.007
PathTest
testCreateRelative
Success
0.008
PathTest
testEquals1
Success
0.004
PathTest
testHashCode
Success
0.007
ResourceLoaderUtilityTest
testGetResourceFile
Success
0.151
ResourceLoaderUtilityTest
testGetResourceUrl
Success
0.014
ResourceLoaderUtilityTest
testGetResourceAsStream
Success
0.011
SourceAreaTest
testSourceArea
Success
0.038
SourceAreaTest
testGetAddress
Success
0.390
SourceAreaTest
testGetStartPosition
Success
0.004
SourceAreaTest
testGetEndPosition
Success
0.039
SourceAreaTest
testHashCode
Success
0.006
SourceAreaTest
testEqualsObject
Success
0.002
SourceAreaTest
testToString
Success
0.004
SourcePositionTest
testSourcePosition
Success
0.018
SourcePositionTest
testGetLine
Success
0.002
SourcePositionTest
testGetEndPosition
Success
0.002
SourcePositionTest
testHashCode
Success
0.002
SourcePositionTest
testEqualsObject
Success
0.003
SourcePositionTest
testToString
Success
0.002
StringOutputTest
testComplete
Success
0.061
StringOutputTest
testGetPosition
Success
0.002
StringOutputTest
testPushPop
Success
0.002
SubTextInputTest
testTextInputFileString
Success
0.037
SubTextInputTest
testTextInputStringStringString
Success
0.008
SubTextInputTest
testTextInputStringBufferStringString
Success
0.002
SubTextInputTest
testRead
Success
0.020
SubTextInputTest
testReadString
Success
0.006
SubTextInputTest
testGetChar
Success
0.003
SubTextInputTest
testGetCharInt
Success
0.007
SubTextInputTest
testSkipWhiteSpace
Success
0.004
SubTextInputTest
testSkipWhiteSpaceInverse
Success
0.003
SubTextInputTest
testSkipBackToBeginOfXmlTag
Success
0.003
SubTextInputTest
testIsEmpty
Success
0.002
SubTextInputTest
testIsEmptyInt
Success
0.003
SubTextInputTest
testReadLetterDigitString
Success
0.002
SubTextInputTest
testReadCounter
Success
0.002
SubTextInputTest
testReadQuoted
Success
0.002
SubTextInputTest
testReadInverse
Success
0.002
SubTextInputTest
testEquals
Success
0.018
SubTextInputTest
testGetAbsolutePosition
Success
0.003
SubTextInputTest
testGetAbsoluteSubstring
Success
0.002
SubTextInputTest
testGetAbsoluteEnd
Success
0.003
SubTextInputTest
testGetAbsoluteStart
Success
0.002
TextInputTest
testTextInputFileString
Success
0.035
TextInputTest
testTextInputStringStringString
Success
0.005
TextInputTest
testTextInputStringBufferStringString
Success
0.002
TextInputTest
testTextInputReader
Success
0.008
TextInputTest
testRead
Success
0.003
TextInputTest
testReadString
Success
0.003
TextInputTest
testGetChar
Success
0.001
TextInputTest
testForwardInt
Success
0.002
TextInputTest
testForwardString
Success
0.001
TextInputTest
testGetCharInt
Success
0.001
TextInputTest
testGetSubstring
Success
0.002
TextInputTest
testAsString
Success
0.002
TextInputTest
testReplace
Success
0.001
TextInputTest
testSkipWhiteSpace
Success
0.001
TextInputTest
testSkipWhiteSpaceInverse
Success
0.001
TextInputTest
testSkipBackToBeginOfXmlTag
Success
0.002
TextInputTest
testSkipToEndOfLine
Success
0.002
TextInputTest
testSkipForwardToEndOfXmlTag
Success
0.002
TextInputTest
testReadXmlName
Success
0.009
TextInputTest
testReadNextAttributeValue
Success
0.000
TextInputTest
testReadNextAttributeValue2
Success
0.002
TextInputTest
testIsEmpty
Success
0.001
TextInputTest
testIsEmptyInt
Success
0.001
TextInputTest
testReadLetterDigitString
Success
0.001
TextInputTest
testReadCounter
Success
0.001
TextInputTest
testReadQuoted
Success
0.004
TextInputTest
testReadInverse
Success
0.001
TextInputTest
testEquals
Success
0.003
TextOutputTest
testComplete
Success
0.077
TextOutputTest
testPushPop
Success
0.004
TextOutputTest
testErrorStream
Success
0.005
TextOutputTest
testConstructorAndGetName
Success
0.019
TextOutputTest
testGetPosition
Success
0.039
UrlUtilityTest
testToUrl
Success
0.022
UrlUtilityTest
testToFile
Success
0.005
UrlUtilityTest
testEasyUrl
Success
0.003
UrlUtilityTest
testSaveUrlToFile
Success
0.092
VersionSetTest
testConstructors
Success
0.050
VersionSetTest
testAddAndContainsClearIsEmpty
Success
0.005
VersionSetTest
testAddAndEquals
Success
0.003
VersionSetTest
testIterator
Success
0.002
VersionSetTest
testHashCode
Success
0.004
VersionSetTest
testToString
Success
0.003
VersionTest
testConstructors
Success
0.030
VersionTest
testGetters
Success
0.005
VersionTest
testCompareTo
Success
0.002
VersionTest
testIsLess
Success
0.007
VersionTest
testIsBigger
Success
0.003
VersionTest
testToString
Success
0.007
VersionTest
testEquals
Success
0.004
VersionTest
testEquals2
Success
0.005
VersionTest
testHashCode
Success
0.007
VersionTest
testLess
Success
0.005
VersionTest
testBigger
Success
0.004
VersionTest
testEquals3
Success
0.004
BaseEachClassHasATest
testIfEveryClassIsTested
Success
9.316
TraceTest
testFatal
Success
0.039
TraceTest
testFatal2
Success
0.005
TraceTest
testInfo
Success
0.003
TraceTest
testInfo2
Success
0.007
TraceTest
testBegin
Success
0.007
TraceTest
testBegin2
Success
0.008
TraceTest
testEnd
Success
0.004
TraceTest
testEnd2
Success
0.004
TraceTest
testParamString
Success
0.004
TraceTest
testParamString2
Success
0.006
TraceTest
testParamInt
Success
0.003
TraceTest
testParamInt2
Success
0.004
TraceTest
testParamBoolean
Success
0.004
TraceTest
testParamBoolean2
Success
0.004
TraceTest
testParamObject
Success
0.006
TraceTest
testParamObject2
Success
0.030
TraceTest
testParamInfoString
Success
0.004
TraceTest
testParamInfoString2
Success
0.004
TraceTest
testParamInfoInt
Success
0.005
TraceTest
testParamInfoInt2
Success
0.005
TraceTest
testParamInfoBoolean
Success
0.002
TraceTest
testParamInfoBoolean2
Success
0.002
TraceTest
testParamInfoObject
Success
0.002
TraceTest
testParamInfoObject2
Success
0.002
TraceTest
testTraceObject
Success
0.004
TraceTest
testTraceObject2
Success
0.002
TraceTest
testTraceThrowable
Success
0.002
TraceTest
testTraceThrowable2
Success
0.002
TraceTest
testTraceThrowable3
Success
0.005
TraceTest
testTraceThrowable4
Success
0.003
TraceTest
testTraceStack
Success
0.005
TraceTest
testTraceStack2
Success
0.006
TraceTest
testTraceOn
Success
0.003
DateUtilityTest
testGetDuration
Success
0.030
DateUtilityTest
testGetIsoTimestamp
Success
0.005
DateUtilityTest
testGmtTimestamp
Success
0.002
DateUtilityTest
testTimestamp
Success
0.001
EnumeratorTest
testConstructors
Success
0.018
EnumeratorTest
testIncrease
Success
0.003
EnumeratorTest
testToString
Success
0.004
EnumeratorTest
testEquals
Success
0.003
EnumeratorTest
testHashcode
Success
0.007
EnumeratorTest
testReset
Success
0.003
EqualsUtilityTest
testEqualsObject
Success
0.015
EqualsUtilityTest
testEqualsByteArray
Success
0.004
EqualsUtilityTest
testEqualsIntArray
Success
0.003
EqualsUtilityTest
testEqualsObjectArray
Success
0.004
SplitterTest
testSplitter00
Success
0.017
SplitterTest
testSplitter01
Success
0.002
SplitterTest
testSplitter02
Success
0.002
SplitterTest
testSplitter03
Success
0.003
SplitterTest
testSplitter04
Success
0.002
SplitterTest
testSplitter05
Success
0.001
SplitterTest
testSplitter06
Success
0.000
SplitterTest
testSplitter07
Success
0.001
SplitterTest
testSplitter08
Success
0.002
SplitterTest
testSplitter09
Success
0.002
SplitterTest
testSplitter10
Success
0.000
SplitterTest
testSplitter11
Success
0.001
SplitterTest
testSplitter12
Success
0.002
StringUtilityTest
testReplace
Success
0.020
StringUtilityTest
testReplaceStringBuffer
Success
0.002
StringUtilityTest
testToStringObjectArray
Success
0.002
StringUtilityTest
testToStringSet
Success
0.005
StringUtilityTest
testToStringMap
Success
0.005
StringUtilityTest
testAsLines
Success
0.007
StringUtilityTest
testQuote
Success
0.003
StringUtilityTest
testIsLetterDigitString
Success
0.002
StringUtilityTest
testGetSpaces
Success
0.002
StringUtilityTest
testGetClassName
Success
0.002
StringUtilityTest
testDeleteLineLeadingWhitespace
Success
0.002
StringUtilityTest
testEscapeProperty
Success
0.004
StringUtilityTest
testAlignRightLongInt
Success
0.003
StringUtilityTest
testAlignRightStringInt
Success
0.002
StringUtilityTest
testDecodeXmlMarkup
Success
0.011
StringUtilityTest
testHex2String
Success
0.003
StringUtilityTest
testString2Hex
Success
0.008
StringUtilityTest
testString2HexAndBack
Success
0.013
StringUtilityTest
testFormat
Success
0.002
StringUtilityTest
testGetSystemLineSeparator
Success
0.005
StringUtilityTest
testAddSystemLineSeparator
Success
0.002
StringUtilityTest
testSubstring
Success
0.002
StringUtilityTest
testEscapeXml
Success
0.002
StringUtilityTest
testUnEscapeXml
Success
0.002
StringUtilityTest
testIsNotIn
Success
0.004
StringUtilityTest
testIsIn
Success
0.001
YodaUtilityTest
testGetFieldValue
Success
0.019
YodaUtilityTest
testGetField
Success
0.002
YodaUtilityTest
testExecuteMethod
Success
0.004
YodaUtilityTest
testExecuteMethod2
Success
0.003
YodaUtilityTest
testExistsMethod
Success
0.006
YodaUtilityTest
testSetFieldValue
Success
0.002
YodaUtilityTest
testExistsMethod2
Success
0.004
KernelContextTest
testGetBuildId
Success
0.026
KernelContextTest
testGetKernelVersion
Success
0.002
KernelContextTest
testGetDedicationVersion
Success
0.002
KernelContextTest
testGetDescriptiveKernelVersion
Success
0.002
KernelContextTest
testGetKernelCodeName
Success
0.008
KernelContextTest
testGetKernelVersionDirectory
Success
0.002
KernelContextTest
testIsRuleVersionSupported
Success
0.002
KernelContextTest
testGetMaximalRuleVersion
Success
0.002
KernelContextTest
testIsSetConnectionTimeOutSupported
Success
0.004
KernelContextTest
testIsSetReadTimeoutSupported
Success
0.002
KernelContextTest
testGetConfig
Success
0.052
KernelContextTest
testInit
Success
0.015
KernelContextTest
testStartup
Success
0.013
KernelContextTest
testShutdown
Success
0.016
KernelContextTest
testRemoveAllModules
Success
0.010
KernelContextTest
testRemoveModule
Success
0.013
KernelContextTest
testClearLocalBuffer
Success
0.059
KernelContextTest
testLoadModule
Success
0.017
KernelContextTest
testLoadAllModulesFromQedeq
Success
0.022
KernelContextTest
testLoadRequiredModules
Success
0.012
KernelContextTest
testGetAllLoadedModules
Success
0.014
KernelContextTest
testGetQedeqBo
Success
0.034
KernelContextTest
testGetModuleAddress
Success
0.036
KernelContextTest
testGetModuleAddress2
Success
0.009
KernelContextTest
testGetModuleAddress3
Success
0.008
KernelContextTest
testGetSource
Success
0.010
KernelContextTest
testCheckWellFormedness
Success
0.039
KernelContextTest
testCheckFormallyProved
Success
0.009
KernelContextTest
testGetPlugins
Success
0.005
KernelContextTest
testExecutePlugin
Success
0.005
KernelContextTest
testClearAllPluginResults
Success
0.004
KernelContextTest
testGetServiceProcesses
Success
0.028
KernelContextTest
testGetRunningServiceProcesses
Success
0.004
KernelContextTest
testStopAllPluginExecutions
Success
0.007
BasicKernelTest
testGetBuildId
Success
0.131
BasicKernelTest
testGetKernelVersion
Success
0.006
BasicKernelTest
testGetDedicationVersion
Success
0.004
BasicKernelTest
testGetDescriptiveKernelVersion
Success
0.009
BasicKernelTest
testGetKernelCodeName
Success
0.005
BasicKernelTest
testGetKernelVersionDirectory
Success
0.004
BasicKernelTest
testIsRuleVersionSupported
Success
0.005
BasicKernelTest
testGetMaximalRuleVersion
Success
0.004
BasicKernelTest
testIsSetConnectionTimeOutSupported
Success
0.006
BasicKernelTest
testIsSetReadTimeoutSupported
Success
0.005
QedeqBoSetTest
testConstructor
Success
0.020
QedeqBoSetTest
testSetOperations
Success
0.005
QedeqBoSetTest
testSetOperations2
Success
0.004
QedeqBoSetTest
testRemoveSet
Success
0.006
QedeqBoSetTest
testRemove
Success
0.006
QedeqBoSetTest
testAdd
Success
0.003
QedeqBoSetTest
testAdd2
Success
0.004
QedeqBoSetTest
testContains
Success
0.004
QedeqBoSetTest
testIsEmpty
Success
0.005
QedeqBoSetTest
testIterator
Success
0.003
QedeqBoSetTest
testToString
Success
0.003
QedeqBoSetTest
testHashCode
Success
0.003
QedeqBoSetTest
testEquals
Success
0.003
DefaultModuleEventListenerTest
testAddModule
Success
0.137
DefaultModuleEventListenerTest
testRemoveModule
Success
0.025
DefaultModuleEventListenerTest
testStateChanged
Success
0.060
DefaultModuleEventListenerTest
testSetPrintStream
Success
0.016
LogListenerImplTest
testLogFailureReply
Success
0.169
LogListenerImplTest
testLogSuccessfulReply
Success
0.013
LogListenerImplTest
testLogMessageState
Success
0.013
LogListenerImplTest
testLogFailureState
Success
0.012
LogListenerImplTest
testLogSuccesfulState
Success
0.011
LogListenerImplTest
testLogRequest
Success
0.014
LogListenerImplTest
testLogMessage
Success
0.011
LogListenerImplTest
testSetPrintStream
Success
0.012
LogListenerImplTest
testConstructor
Success
0.011
ModuleEventListenerLogTest
testAddModule
Success
0.344
ModuleEventListenerLogTest
testRemoveModule
Success
0.017
ModuleEventListenerLogTest
testStateChanged
Success
0.010
QedeqLogTest
testLogFailureReply
Success
0.150
QedeqLogTest
testLogSuccessfulReply
Success
0.223
QedeqLogTest
testLogMessageState
Success
0.279
QedeqLogTest
testLogFailureState
Success
0.503
QedeqLogTest
testLogSuccesfulState
Success
0.203
QedeqLogTest
testLogRequest
Success
0.146
QedeqLogTest
testLogMessage
Success
0.298
QedeqLogTest
testRemoveLog
Success
0.086
QedeqLogTest
testRemoveLog2
Success
0.032
QedeqLogTest
testAddLog
Success
0.009
QedeqLogTest
testConstructor
Success
0.007
TraceListenerTest
testLogFailureReply
Success
0.127
TraceListenerTest
testLogSuccessfulReply
Success
0.008
TraceListenerTest
testLogMessageState
Success
0.010
TraceListenerTest
testLogFailureState
Success
0.020
TraceListenerTest
testLogSuccesfulState
Success
0.015
TraceListenerTest
testLogRequest
Success
0.009
TraceListenerTest
testLogMessage
Success
0.006
FormulaCheckerFactoryImplTest
testCreateFormulaChecker
Success
0.199
ProofCheckerFactoryImplTest
testCreateFormulaChecker
Success
0.144
FormulaUtilityReplaceOperatorVariableTest
test_Positive01
Success
0.180
FormulaUtilityReplaceOperatorVariableTest
test_Positive02
Success
0.018
FormulaUtilityReplaceSubjectVariableQuantifierTest
testClassTermPositive01
Success
0.079
FormulaUtilityReplaceSubjectVariableQuantifierTest
testClassTermPositive02
Success
0.011
FormulaUtilityReplaceSubjectVariableQuantifierTest
testClassTermPositive03
Success
0.014
FormulaUtilityReplaceSubjectVariableQuantifierTest
testClassTermPositive04
Success
0.013
FormulaUtilityReplaceSubjectVariableQuantifierTest
testClassTermPositive05
Success
0.008
CalculateTruthDynamicThreeModelTest
testTautology44b
Success
0.870
CalculateTruthDynamicThreeModelTest
testTautology44
Success
0.246
CalculateTruthDynamicThreeModelTest
testTautology45
Success
0.141
CalculateTruthDynamicThreeModelTest
testTautology46
Success
0.478
CalculateTruthDynamicThreeModelTest
testTautology47
Success
0.195
CalculateTruthDynamicThreeModelTest
testTautology01
Success
0.130
CalculateTruthDynamicThreeModelTest
testTautology02
Success
0.152
CalculateTruthDynamicThreeModelTest
testTautology03
Success
0.107
CalculateTruthDynamicThreeModelTest
testTautology04
Success
0.142
CalculateTruthDynamicThreeModelTest
testTautology05
Success
0.170
CalculateTruthDynamicThreeModelTest
testTautology06
Success
0.211
CalculateTruthDynamicThreeModelTest
testTautology07
Success
0.177
CalculateTruthDynamicThreeModelTest
testTautology08
Success
0.183
CalculateTruthDynamicThreeModelTest
testTautology09
Success
0.118
CalculateTruthDynamicThreeModelTest
testTautology10
Success
0.173
CalculateTruthDynamicThreeModelTest
testTautology11
Success
0.180
CalculateTruthDynamicThreeModelTest
testTautology12
Success
0.151
CalculateTruthDynamicThreeModelTest
testTautology13
Success
0.495
CalculateTruthDynamicThreeModelTest
testTautology14
Success
0.168
CalculateTruthDynamicThreeModelTest
testTautology15
Success
0.158
CalculateTruthDynamicThreeModelTest
testTautology16
Success
0.451
CalculateTruthDynamicThreeModelTest
testTautology17
Success
0.103
CalculateTruthDynamicThreeModelTest
testTautology18
Success
0.118
CalculateTruthDynamicThreeModelTest
testTautology19
Success
0.142
CalculateTruthDynamicThreeModelTest
testTautology20
Success
0.133
CalculateTruthDynamicThreeModelTest
testTautology21
Success
0.328
CalculateTruthDynamicThreeModelTest
testTautology22
Success
0.107
CalculateTruthDynamicThreeModelTest
testTautology23
Success
0.096
CalculateTruthDynamicThreeModelTest
testTautology24
Success
0.167
CalculateTruthDynamicThreeModelTest
testTautology25
Success
0.083
CalculateTruthDynamicThreeModelTest
testTautology26
Success
0.085
CalculateTruthDynamicThreeModelTest
testTautology27
Success
0.100
CalculateTruthDynamicThreeModelTest
testTautology28
Success
0.176
CalculateTruthDynamicThreeModelTest
testTautology29
Success
0.119
CalculateTruthDynamicThreeModelTest
testTautology30
Success
0.163
CalculateTruthDynamicThreeModelTest
testTautology31
Success
0.179
CalculateTruthDynamicThreeModelTest
testTautology32
Success
0.095
CalculateTruthDynamicThreeModelTest
testTautology33
Success
0.098
CalculateTruthDynamicThreeModelTest
testTautology34
Success
0.097
CalculateTruthDynamicThreeModelTest
testTautology35
Success
0.138
CalculateTruthDynamicThreeModelTest
testTautology36
Success
0.109
CalculateTruthDynamicThreeModelTest
testTautology37
Success
0.238
CalculateTruthDynamicThreeModelTest
testTautology38
Success
0.120
CalculateTruthDynamicThreeModelTest
testTautology39
Success
0.181
CalculateTruthDynamicThreeModelTest
testTautology40
Success
0.804
CalculateTruthDynamicThreeModelTest
testTautology41
Success
0.120
CalculateTruthDynamicThreeModelTest
testTautology42
Success
0.098
CalculateTruthDynamicThreeModelTest
testTautology43
Success
0.107
CalculateTruthDynamicUnaryModelTest
testTautology19
Success
0.218
CalculateTruthDynamicUnaryModelTest
testTautology20
Success
0.124
CalculateTruthDynamicUnaryModelTest
testTautology21
Success
0.061
CalculateTruthDynamicUnaryModelTest
testTautology28
Success
0.019
CalculateTruthDynamicUnaryModelTest
testTautology31
Success
0.021
CalculateTruthDynamicUnaryModelTest
testTautology34
Success
0.017
CalculateTruthDynamicUnaryModelTest
testTautology37
Success
0.015
CalculateTruthDynamicUnaryModelTest
testTautology41
Success
0.018
CalculateTruthDynamicUnaryModelTest
testTautology44
Success
0.025
CalculateTruthDynamicUnaryModelTest
testTautology45
Success
0.020
CalculateTruthDynamicUnaryModelTest
testTautology46
Success
0.014
CalculateTruthDynamicUnaryModelTest
testTautology47
Success
0.019
CalculateTruthDynamicUnaryModelTest
testTautology01
Success
0.014
CalculateTruthDynamicUnaryModelTest
testTautology02
Success
0.014
CalculateTruthDynamicUnaryModelTest
testTautology03
Success
0.030
CalculateTruthDynamicUnaryModelTest
testTautology04
Success
0.012
CalculateTruthDynamicUnaryModelTest
testTautology05
Success
0.010
CalculateTruthDynamicUnaryModelTest
testTautology06
Success
0.007
CalculateTruthDynamicUnaryModelTest
testTautology07
Success
0.009
CalculateTruthDynamicUnaryModelTest
testTautology08
Success
0.008
CalculateTruthDynamicUnaryModelTest
testTautology09
Success
0.009
CalculateTruthDynamicUnaryModelTest
testTautology10
Success
0.067
CalculateTruthDynamicUnaryModelTest
testTautology11
Success
0.021
CalculateTruthDynamicUnaryModelTest
testTautology12
Success
0.012
CalculateTruthDynamicUnaryModelTest
testTautology13
Success
0.200
CalculateTruthDynamicUnaryModelTest
testTautology14
Success
0.012
CalculateTruthDynamicUnaryModelTest
testTautology15
Success
0.010
CalculateTruthDynamicUnaryModelTest
testTautology16
Success
0.006
CalculateTruthDynamicUnaryModelTest
testTautology17
Success
0.009
CalculateTruthDynamicUnaryModelTest
testTautology18
Success
0.013
CalculateTruthDynamicUnaryModelTest
testTautology22
Success
0.154
CalculateTruthDynamicUnaryModelTest
testTautology23
Success
0.006
CalculateTruthDynamicUnaryModelTest
testTautology24
Success
0.014
CalculateTruthDynamicUnaryModelTest
testTautology25
Success
0.006
CalculateTruthDynamicUnaryModelTest
testTautology26
Success
0.025
CalculateTruthDynamicUnaryModelTest
testTautology27
Success
0.008
CalculateTruthDynamicUnaryModelTest
testTautology29
Success
0.007
CalculateTruthDynamicUnaryModelTest
testTautology30
Success
0.008
CalculateTruthDynamicUnaryModelTest
testTautology32
Success
0.008
CalculateTruthDynamicUnaryModelTest
testTautology33
Success
0.014
CalculateTruthDynamicUnaryModelTest
testTautology35
Success
0.021
CalculateTruthDynamicUnaryModelTest
testTautology36
Success
0.034
CalculateTruthDynamicUnaryModelTest
testTautology38
Success
0.012
CalculateTruthDynamicUnaryModelTest
testTautology39
Success
0.052
CalculateTruthDynamicUnaryModelTest
testTautology40
Success
0.080
CalculateTruthDynamicUnaryModelTest
testTautology42
Success
0.011
CalculateTruthDynamicUnaryModelTest
testTautology43
Success
0.013
CalculateTruthThreeModelTest
testTautology44
Success
0.166
CalculateTruthThreeModelTest
testTautology46
Success
0.011
CalculateTruthThreeModelTest
testTautology47
Success
0.022
CalculateTruthThreeModelTest
testTautology01
Success
0.013
CalculateTruthThreeModelTest
testTautology02
Success
0.006
CalculateTruthThreeModelTest
testTautology03
Success
0.008
CalculateTruthThreeModelTest
testTautology04
Success
0.006
CalculateTruthThreeModelTest
testTautology05
Success
0.006
CalculateTruthThreeModelTest
testTautology06
Success
0.011
CalculateTruthThreeModelTest
testTautology07
Success
0.006
CalculateTruthThreeModelTest
testTautology08
Success
0.030
CalculateTruthThreeModelTest
testTautology09
Success
0.008
CalculateTruthThreeModelTest
testTautology10
Success
0.015
CalculateTruthThreeModelTest
testTautology11
Success
0.012
CalculateTruthThreeModelTest
testTautology12
Success
0.009
CalculateTruthThreeModelTest
testTautology13
Success
0.131
CalculateTruthThreeModelTest
testTautology14
Success
0.012
CalculateTruthThreeModelTest
testTautology15
Success
0.012
CalculateTruthThreeModelTest
testTautology16
Success
0.011
CalculateTruthThreeModelTest
testTautology17
Success
0.011
CalculateTruthThreeModelTest
testTautology18
Success
0.021
CalculateTruthThreeModelTest
testTautology19
Success
0.010
CalculateTruthThreeModelTest
testTautology20
Success
0.009
CalculateTruthThreeModelTest
testTautology21
Success
0.007
CalculateTruthThreeModelTest
testTautology22
Success
0.009
CalculateTruthThreeModelTest
testTautology23
Success
0.019
CalculateTruthThreeModelTest
testTautology24
Success
0.006
CalculateTruthThreeModelTest
testTautology25
Success
0.007
CalculateTruthThreeModelTest
testTautology26
Success
0.023
CalculateTruthThreeModelTest
testTautology27
Success
0.008
CalculateTruthThreeModelTest
testTautology28
Success
0.008
CalculateTruthThreeModelTest
testTautology29
Success
0.011
CalculateTruthThreeModelTest
testTautology30
Success
0.021
CalculateTruthThreeModelTest
testTautology31
Success
0.008
CalculateTruthThreeModelTest
testTautology32
Success
0.013
CalculateTruthThreeModelTest
testTautology33
Success
0.008
CalculateTruthThreeModelTest
testTautology34
Success
0.011
CalculateTruthThreeModelTest
testTautology35
Success
0.016
CalculateTruthThreeModelTest
testTautology36
Success
0.029
CalculateTruthThreeModelTest
testTautology37
Success
0.016
CalculateTruthThreeModelTest
testTautology38
Success
0.009
CalculateTruthThreeModelTest
testTautology39
Success
0.054
CalculateTruthThreeModelTest
testTautology40
Success
1.009
CalculateTruthThreeModelTest
testTautology41
Success
0.013
CalculateTruthThreeModelTest
testTautology42
Success
0.014
CalculateTruthThreeModelTest
testTautology43
Success
0.027
CalculateTruthThreeModelTest
testTautology45
Success
0.017
CalculateTruthUnaryModelTest
testTautology19
Success
0.226
CalculateTruthUnaryModelTest
testTautology20
Success
0.035
CalculateTruthUnaryModelTest
testTautology21
Success
0.018
CalculateTruthUnaryModelTest
testTautology28
Success
0.028
CalculateTruthUnaryModelTest
testTautology31
Success
0.021
CalculateTruthUnaryModelTest
testTautology34
Success
0.034
CalculateTruthUnaryModelTest
testTautology37
Success
0.022
CalculateTruthUnaryModelTest
testTautology41
Success
0.047
CalculateTruthUnaryModelTest
testTautology01
Success
0.031
CalculateTruthUnaryModelTest
testTautology02
Success
0.028
CalculateTruthUnaryModelTest
testTautology03
Success
0.010
CalculateTruthUnaryModelTest
testTautology04
Success
0.015
CalculateTruthUnaryModelTest
testTautology05
Success
0.010
CalculateTruthUnaryModelTest
testTautology06
Success
0.020
CalculateTruthUnaryModelTest
testTautology07
Success
0.014
CalculateTruthUnaryModelTest
testTautology08
Success
0.025
CalculateTruthUnaryModelTest
testTautology09
Success
0.017
CalculateTruthUnaryModelTest
testTautology10
Success
0.014
CalculateTruthUnaryModelTest
testTautology11
Success
0.020
CalculateTruthUnaryModelTest
testTautology12
Success
0.011
CalculateTruthUnaryModelTest
testTautology13
Success
0.194
CalculateTruthUnaryModelTest
testTautology14
Success
0.010
CalculateTruthUnaryModelTest
testTautology15
Success
0.008
CalculateTruthUnaryModelTest
testTautology16
Success
0.008
CalculateTruthUnaryModelTest
testTautology17
Success
0.015
CalculateTruthUnaryModelTest
testTautology18
Success
0.011
CalculateTruthUnaryModelTest
testTautology22
Success
0.015
CalculateTruthUnaryModelTest
testTautology23
Success
0.012
CalculateTruthUnaryModelTest
testTautology24
Success
0.010
CalculateTruthUnaryModelTest
testTautology25
Success
0.012
CalculateTruthUnaryModelTest
testTautology26
Success
0.019
CalculateTruthUnaryModelTest
testTautology27
Success
0.017
CalculateTruthUnaryModelTest
testTautology29
Success
0.015
CalculateTruthUnaryModelTest
testTautology30
Success
0.008
CalculateTruthUnaryModelTest
testTautology32
Success
0.008
CalculateTruthUnaryModelTest
testTautology33
Success
0.008
CalculateTruthUnaryModelTest
testTautology35
Success
0.006
CalculateTruthUnaryModelTest
testTautology36
Success
0.007
CalculateTruthUnaryModelTest
testTautology38
Success
0.007
CalculateTruthUnaryModelTest
testTautology39
Success
0.029
CalculateTruthUnaryModelTest
testTautology40
Success
0.084
CalculateTruthUnaryModelTest
testTautology42
Success
0.035
CalculateTruthUnaryModelTest
testTautology43
Success
0.023
CalculateTruthUnaryModelTest
testTautology44
Success
0.015
CalculateTruthUnaryModelTest
testTautology45
Success
0.009
CalculateTruthUnaryModelTest
testTautology46
Success
0.005
CalculateTruthUnaryModelTest
testTautology47
Success
0.017
DynamicDirectInterpreterTest
testTautology01
Success
1.694
DynamicDirectInterpreterTest
testTautology02
Success
0.654
DynamicDirectInterpreterTest
testTautology03
Success
0.552
DynamicDirectInterpreterTest
testTautology04
Success
0.799
DynamicDirectInterpreterTest
testTautology05
Success
0.778
DynamicDirectInterpreterTest
testTautology06
Success
0.620
DynamicDirectInterpreterTest
testTautology07
Success
0.366
DynamicDirectInterpreterTest
testTautology08
Success
0.472
DynamicDirectInterpreterTest
testTautology09
Success
0.408
DynamicDirectInterpreterTest
testTautology10
Success
0.533
DynamicDirectInterpreterTest
testTautology11
Success
0.880
DynamicDirectInterpreterTest
testTautology12
Success
0.689
DynamicDirectInterpreterTest
testTautology13
Success
0.449
DynamicDirectInterpreterTest
testTautology14
Success
0.556
DynamicDirectInterpreterTest
testTautology15
Success
0.454
DynamicDirectInterpreterTest
testTautology16
Success
0.450
DynamicDirectInterpreterTest
testTautology17
Success
0.465
DynamicDirectInterpreterTest
testTautology18
Success
0.752
DynamicDirectInterpreterTest
testTautology19
Success
0.811
DynamicDirectInterpreterTest
testTautology20
Success
0.467
DynamicDirectInterpreterTest
testTautology21
Success
0.390
DynamicDirectInterpreterTest
testTautology22
Success
0.499
DynamicDirectInterpreterTest
testTautology23
Success
0.349
DynamicDirectInterpreterTest
testTautology24
Success
0.296
DynamicDirectInterpreterTest
testTautology25
Success
0.431
DynamicDirectInterpreterTest
testTautology26
Success
0.365
DynamicDirectInterpreterTest
testTautology27
Success
0.661
DynamicDirectInterpreterTest
testTautology28
Success
0.425
DynamicDirectInterpreterTest
testTautology29
Success
0.321
DynamicDirectInterpreterTest
testTautology30
Success
0.474
DynamicDirectInterpreterTest
testTautology31
Success
0.359
DynamicDirectInterpreterTest
testTautology32
Success
0.399
DynamicDirectInterpreterTest
testTautology33
Success
0.392
DynamicDirectInterpreterTest
testTautology34
Success
0.278
DynamicDirectInterpreterTest
testTautology35
Success
0.298
DynamicDirectInterpreterTest
testTautology36
Success
0.369
DynamicDirectInterpreterTest
testTautology37
Success
0.392
DynamicDirectInterpreterTest
testTautology38
Success
0.443
DynamicDirectInterpreterTest
testTautology39
Success
0.667
DynamicDirectInterpreterTest
testTautology40
Success
26.772
DynamicDirectInterpreterTest
testTautology41
Success
0.916
DynamicDirectInterpreterTest
testTautology42
Success
0.292
DynamicDirectInterpreterTest
testTautology43
Success
0.436
DynamicDirectInterpreterTest
testTautology44
Success
0.617
DynamicDirectInterpreterTest
testTautology45
Success
0.576
DynamicDirectInterpreterTest
testTautology46
Success
0.648
DynamicDirectInterpreterTest
testTautology47
Success
6.517
DynamicDirectInterpreterTest
testTautology50
Success
0.285
DynamicDirectInterpreterTest
testTautology51
Success
0.270
DynamicDirectInterpreterTest
testTautology52
Success
0.302
DynamicDirectInterpreterTest
testTautology53
Success
30.358
DynamicInterpreterTest
testTautology01
Success
0.882
DynamicInterpreterTest
testTautology02
Success
0.205
DynamicInterpreterTest
testTautology03
Success
0.148
DynamicInterpreterTest
testTautology04
Success
0.162
DynamicInterpreterTest
testTautology05
Success
0.164
DynamicInterpreterTest
testTautology06
Success
0.115
DynamicInterpreterTest
testTautology07
Success
0.144
DynamicInterpreterTest
testTautology08
Success
0.129
DynamicInterpreterTest
testTautology09
Success
0.130
DynamicInterpreterTest
testTautology10
Success
0.155
DynamicInterpreterTest
testTautology11
Success
0.125
DynamicInterpreterTest
testTautology12
Success
0.110
DynamicInterpreterTest
testTautology13
Success
0.245
DynamicInterpreterTest
testTautology14
Success
0.119
DynamicInterpreterTest
testTautology15
Success
0.158
DynamicInterpreterTest
testTautology16
Success
0.139
DynamicInterpreterTest
testTautology17
Success
0.174
DynamicInterpreterTest
testTautology18
Success
0.155
DynamicInterpreterTest
testTautology19
Success
0.151
DynamicInterpreterTest
testTautology20
Success
0.092
DynamicInterpreterTest
testTautology21
Success
0.129
DynamicInterpreterTest
testTautology22
Success
0.100
DynamicInterpreterTest
testTautology23
Success
0.162
DynamicInterpreterTest
testTautology24
Success
0.134
DynamicInterpreterTest
testTautology25
Success
0.120
DynamicInterpreterTest
testTautology26
Success
0.170
DynamicInterpreterTest
testTautology27
Success
0.165
DynamicInterpreterTest
testTautology28
Success
0.183
DynamicInterpreterTest
testTautology29
Success
0.157
DynamicInterpreterTest
testTautology30
Success
0.113
DynamicInterpreterTest
testTautology31
Success
0.132
DynamicInterpreterTest
testTautology32
Success
0.132
DynamicInterpreterTest
testTautology33
Success
0.169
DynamicInterpreterTest
testTautology34
Success
0.133
DynamicInterpreterTest
testTautology35
Success
0.091
DynamicInterpreterTest
testTautology36
Success
0.127
DynamicInterpreterTest
testTautology37
Success
0.126
DynamicInterpreterTest
testTautology38
Success
0.091
DynamicInterpreterTest
testTautology39
Success
0.146
DynamicInterpreterTest
testTautology40
Success
2.389
DynamicInterpreterTest
testTautology41
Success
0.096
DynamicInterpreterTest
testTautology42
Success
0.140
DynamicInterpreterTest
testTautology50
Success
0.102
DynamicInterpreterTest
testTautology51
Success
0.142
DynamicInterpreterTest
testTautology52
Success
0.144
FunctionVariableTest
testGetArgumentNumber
Success
0.138
FunctionVariableTest
testGetName
Success
0.339
FunctionVariableTest
testEquals
Success
0.268
FunctionVariableTest
testToString
Success
0.199
FunctionVariableTest
testHashCode
Success
0.036
ModelFunctionConstantTest
testGetArgumentNumber
Success
0.128
ModelFunctionConstantTest
testGetName
Success
0.014
ModelFunctionConstantTest
testEquals
Success
0.015
ModelFunctionConstantTest
testToString
Success
0.203
ModelFunctionConstantTest
testHashCode
Success
0.017
ModelPredicateConstantTest
testGetArgumentNumber
Success
0.128
ModelPredicateConstantTest
testGetName
Success
0.009
ModelPredicateConstantTest
testEquals
Success
0.009
ModelPredicateConstantTest
testToString
Success
0.010
ModelPredicateConstantTest
testHashCode
Success
0.010
OperatorTest
testGetArgumentNumber
Success
0.128
OperatorTest
testGetName
Success
0.023
OperatorTest
testEquals
Success
0.008
OperatorTest
testToString
Success
0.008
OperatorTest
testHashCode
Success
0.005
PredicateVariableTest
testGetArgumentNumber
Success
0.125
PredicateVariableTest
testGetName
Success
0.015
PredicateVariableTest
testEquals
Success
0.006
PredicateVariableTest
testToString
Success
0.019
PredicateVariableTest
testHashCode
Success
0.006
ProofCheckerTest
testCheck1
Success
1.120
ProofCheckerTest
testCheck4
Success
1.073
ProofCheckerTest
testCheck6
Success
0.503
ProofFinderImplTest
testFind
Success
26.858
ProofFinderImplTest
testFind2
Success
75.353
ProofFinderImplTest
testFind3
Success
0.271
FormulaCheckerClassTermTest
testClassTermPositive01
Success
0.086
FormulaCheckerClassTermTest
testClassTermPositive02
Success
0.004
FormulaCheckerClassTermTest
testClassTermPositive03
Success
0.003
FormulaCheckerClassTermTest
testClassTermNegative01
Success
0.005
FormulaCheckerClassTermTest
testClassTermNegative02
Success
0.002
FormulaCheckerClassTermTest
testClassTermNegative03
Success
0.003
FormulaCheckerClassTermTest
testClassTermNegative04
Success
0.004
FormulaCheckerClassTermTest
testClassTermNegative05
Success
0.006
FormulaCheckerContextTest
testNegative00
Success
0.675
FormulaCheckerContextTest
testNegative01
Success
0.108
FormulaCheckerContextTest
testNegative02
Success
0.366
FormulaCheckerContextTest
testNegative03
Success
0.188
FormulaCheckerContextTest
testNegative04
Success
0.266
FormulaCheckerContextTest
testPositive01
Success
1.269
FormulaCheckerContextTest
testPositive02
Success
0.424
FormulaCheckerContextTest
testPositive03
Success
0.525
FormulaCheckerContextTest
testPositive03b
Success
1.057
FormulaCheckerContextTest
testPositive04
Success
2.248
FormulaCheckerContextTest
testPositive05
Success
0.070
FormulaCheckerContextTest
testPositive06
Success
0.129
FormulaCheckerFormulaTest
testFormulaPositive01
Success
0.105
FormulaCheckerFormulaTest
testFormulaPositive02
Success
0.004
FormulaCheckerFormulaTest
testFormulaPositive03
Success
0.006
FormulaCheckerFormulaTest
testFormulaNegative01
Success
0.009
FormulaCheckerFormulaTest
testFormulaNegative02
Success
0.003
FormulaCheckerFormulaTest
testFormulaNegative03
Success
0.005
FormulaCheckerFunctionTermTest
testFunctionTermPositive01
Success
0.108
FormulaCheckerFunctionTermTest
testFunctionTermPositive02
Success
0.005
FormulaCheckerFunctionTermTest
testFunctionTermNegative01
Success
0.008
FormulaCheckerFunctionTermTest
testFunctionTermNegative01b
Success
0.002
FormulaCheckerFunctionTermTest
testFunctionTermNegative02
Success
0.005
FormulaCheckerFunctionTermTest
testFunctionTermNegative09
Success
0.006
FormulaCheckerFunctionTermTest
testFunctionTermNegative10
Success
0.004
FormulaCheckerFunctionTermTest
testFunctionTermNegative13
Success
0.003
FormulaCheckerFunctionTermTest
testFunctionTermNegative14
Success
0.003
FormulaCheckerFunctionTermTest
testFunctionTermNegative15
Success
0.008
FormulaCheckerFunctionTermTest
testFunctionTermNegative16
Success
0.006
FormulaCheckerFunctionTermTest
testFunctionTermNegative19
Success
0.003
FormulaCheckerFunctionTermTest
testFunctionTermNegative20
Success
0.004
FormulaCheckerFunctionTermTest
testFunctionTermNegative22
Success
0.007
FormulaCheckerGlobalTest
testGlobalFormulaPositive
Success
0.059
FormulaCheckerGlobalTest
testGlobalFormulaNegative01
Success
0.002
FormulaCheckerGlobalTest
testGlobalTermNegative01
Success
0.001
FormulaCheckerGlobalTest
testGlobalFormulaNegative03
Success
0.001
FormulaCheckerGlobalTest
testGlobalFormulaNegative04
Success
0.001
FormulaCheckerGlobalTest
testGlobalFormulaNegative05
Success
0.002
FormulaCheckerGlobalTest
testGlobalFormulaNegative06
Success
0.001
FormulaCheckerGlobalTest
testGlobalFormulaNegative07
Success
0.001
FormulaCheckerGlobalTest
testGlobalFormulaNegative08
Success
0.002
FormulaCheckerGlobalTest
testGlobalFormulaNegative09
Success
0.002
FormulaCheckerGlobalTest
testGlobalFormulaNegative11
Success
0.001
FormulaCheckerGlobalTest
testGlobalFormulaNegative12
Success
0.001
FormulaCheckerGlobalTest
testGlobalFormulaNegative13
Success
0.002
FormulaCheckerGlobalTest
testGlobalFormulaNegative14
Success
0.003
FormulaCheckerGlobalTest
testGlobalFormulaNegative15
Success
0.001
FormulaCheckerGlobalTest
testGlobalFormulaNegative16
Success
0.001
FormulaCheckerGlobalTest
testGlobalFormulaNegative21
Success
0.000
FormulaCheckerGlobalTest
testGlobalFormulaNegative23
Success
0.000
FormulaCheckerGlobalTest
testGlobalFormulaNegative24
Success
0.001
FormulaCheckerLogicalConnectivesTest
testLogicalConnectivePositive01
Success
0.084
FormulaCheckerLogicalConnectivesTest
testLogicalConnectivePositive02
Success
0.003
FormulaCheckerLogicalConnectivesTest
testLogicalConnectivePositive03
Success
0.002
FormulaCheckerLogicalConnectivesTest
testLogicalConnectivePositive04
Success
0.003
FormulaCheckerLogicalConnectivesTest
testLogicalConnectivePositive05
Success
0.005
FormulaCheckerLogicalConnectivesTest
testLogicalConnectivePositive06
Success
0.006
FormulaCheckerLogicalConnectivesTest
testLogicalConnectivePositive07
Success
0.004
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative01
Success
0.013
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative02
Success
0.002
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative03
Success
0.002
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative04
Success
0.003
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative05
Success
0.002
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative06
Success
0.002
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative07
Success
0.006
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative08
Success
0.002
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative09
Success
0.004
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative10
Success
0.015
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative11
Success
0.006
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative12
Success
0.008
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative13
Success
0.005
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative14
Success
0.006
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative15
Success
0.004
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative16
Success
0.003
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative17
Success
0.004
FormulaCheckerNegationTest
testNegationPositive01
Success
0.079
FormulaCheckerNegationTest
testNegationNegative01
Success
0.004
FormulaCheckerNegationTest
testNegationNegative02
Success
0.002
FormulaCheckerPredicateFormulaTest
testPredicateFormulaPositive01
Success
0.083
FormulaCheckerPredicateFormulaTest
testPredicateFormulaPositive02
Success
0.002
FormulaCheckerPredicateFormulaTest
testPredicateFormulaNegative01
Success
0.006
FormulaCheckerPredicateFormulaTest
testPredicateFormulaNegative02
Success
0.002
FormulaCheckerPredicateFormulaTest
testPredicateFormulaNegative09
Success
0.003
FormulaCheckerPredicateFormulaTest
testPredicateFormulaNegative10
Success
0.002
FormulaCheckerPredicateFormulaTest
testPredicateFormulaNegative13
Success
0.002
FormulaCheckerPredicateFormulaTest
testPredicateFormulaNegative14
Success
0.002
FormulaCheckerPredicateFormulaTest
testPredicateFormulaNegative15
Success
0.004
FormulaCheckerPredicateFormulaTest
testPredicateFormulaNegative16
Success
0.004
FormulaCheckerPredicateFormulaTest
testPredicateFormulaNegative19
Success
0.003
FormulaCheckerPredicateFormulaTest
testPredicateFormulaNegative20
Success
0.001
FormulaCheckerPredicateFormulaTest
testPredicateFormulaNegative22
Success
0.001
FormulaCheckerQuantifiersTest
testQuantifiersPositive01
Success
0.137
FormulaCheckerQuantifiersTest
testQuantifiersPositive02
Success
0.007
FormulaCheckerQuantifiersTest
testQuantifiersPositive03
Success
0.003
FormulaCheckerQuantifiersTest
testQuantifiersPositive04
Success
0.007
FormulaCheckerQuantifiersTest
testQuantifiersPositive05
Success
0.007
FormulaCheckerQuantifiersTest
testQuantifiersPositive06
Success
0.003
FormulaCheckerQuantifiersTest
testQuantifiersNegative01
Success
0.006
FormulaCheckerQuantifiersTest
testQuantifiersNegative02
Success
0.002
FormulaCheckerQuantifiersTest
testQuantifiersNegative03
Success
0.001
FormulaCheckerQuantifiersTest
testQuantifiersNegative04
Success
0.003
FormulaCheckerQuantifiersTest
testQuantifiersNegative05
Success
0.001
FormulaCheckerQuantifiersTest
testQuantifiersNegative06
Success
0.006
FormulaCheckerQuantifiersTest
testQuantifiersNegative07
Success
0.003
FormulaCheckerQuantifiersTest
testQuantifiersNegative08
Success
0.005
FormulaCheckerQuantifiersTest
testQuantifiersNegative09
Success
0.002
FormulaCheckerQuantifiersTest
testQuantifiersNegative10
Success
0.003
FormulaCheckerQuantifiersTest
testQuantifiersNegative11
Success
0.003
FormulaCheckerQuantifiersTest
testQuantifiersNegative12
Success
0.003
FormulaCheckerQuantifiersTest
testQuantifiersNegative16
Success
0.009
FormulaCheckerQuantifiersTest
testQuantifiersNegative17
Success
0.002
FormulaCheckerQuantifiersTest
testQuantifiersNegative18
Success
0.007
FormulaCheckerQuantifiersTest
testQuantifiersNegative19
Success
0.005
FormulaCheckerQuantifiersTest
testQuantifiersNegative20
Success
0.004
FormulaCheckerQuantifiersTest
testQuantifiersNegative21
Success
0.008
FormulaCheckerQuantifiersTest
testQuantifiersNegative22
Success
0.006
FormulaCheckerQuantifiersTest
testQuantifiersNegative23
Success
0.005
FormulaCheckerQuantifiersTest
testQuantifiersNegative24
Success
0.002
FormulaCheckerQuantifiersTest
testQuantifiersNegative25
Success
0.004
FormulaCheckerQuantifiersTest
testQuantifiersNegative26
Success
0.005
FormulaCheckerQuantifiersTest
testQuantifiersNegative27
Success
0.006
FormulaCheckerSubjectVariableTest
testSubjectVariablePositive
Success
0.126
FormulaCheckerSubjectVariableTest
testSubjectVariableNegative1
Success
0.009
FormulaCheckerSubjectVariableTest
testSubjectVariableNegative2
Success
0.003
FormulaCheckerSubjectVariableTest
testSubjectVariableNegative3
Success
0.002
FormulaCheckerTermTest
testTermPositive01
Success
0.113
FormulaCheckerTermTest
testTermPositive02
Success
0.002
FormulaCheckerTermTest
testTermPositive03
Success
0.003
FormulaCheckerTermTest
testTermPositive04
Success
0.001
FormulaCheckerTermTest
testTermNegative01
Success
0.005
FormulaCheckerTermTest
testTermNegative02
Success
0.002
FormulaCheckerTermTest
testTermNegative03
Success
0.002
FormulaCheckerTermTest
testTermNegative04
Success
0.003
FormulaCheckerTermTest
testTermNegative05
Success
0.001
FormulaCheckerTermTest
testTermNegative06
Success
0.001
FormulaCheckerTermTest
testTermNegative07
Success
0.001
FormulaCheckerTermTest
testTermNegative08
Success
0.001
FormulaCheckerTermTest
testTermNegative09
Success
0.002
FormulaCheckerTermTest
testTermNegative10
Success
0.008
FormulaCheckerTest
testPositive1
Success
0.075
FormulaCheckerTest
testPositive2
Success
0.012
FormulaCheckerTest
testPositive3
Success
0.019
FormulaCheckerTest
testPositive4
Success
0.015
FormulaCheckerTest
testPositive5
Success
0.017
FormulaCheckerTest
testPositive6
Success
0.016
FormulaCheckerTest
testPositive7
Success
0.010
FormulaCheckerTest
testPositive8
Success
0.007
FormulaCheckerTest
testNegative1
Success
0.007
FormulaCheckerTest
testPositive9
Success
0.007
FormulaCheckerTest
testNegative3
Success
0.007
FormulaCheckerTest
testNegative4
Success
0.007
FormulaCheckerTest
testNegative5
Success
0.005
FormulaCheckerTest
testNegative6
Success
0.009
FormulaCheckerTest
testNegative7
Success
0.003
FormulaCheckerTest
testNegative8
Success
0.005
FormulaCheckerTest
testNegative9
Success
0.002
FormulaCheckerTest
testNegative10
Success
0.003
FormulaCheckerTest
testNegative11
Success
0.008
FormulaCheckerTest
testNegative12
Success
0.003
FormulaCheckerTest
testNegative13
Success
0.010
VisitorContextTest
testContext
Success
1625.686
AsciiMathParserTest
testReadMaximalTerm00
Success
0.415
AsciiMathParserTest
testReadMaximalTerm01
Success
0.080
AsciiMathParserTest
testReadMaximalTerm02
Success
0.034
AsciiMathParserTest
testReadMaximalTerm03
Success
0.029
AsciiMathParserTest
testReadMaximalTerm04
Success
0.041
AsciiMathParserTest
testReadMaximalTerm05
Success
0.052
AsciiMathParserTest
testReadMaximalTerm06
Success
0.032
AsciiMathParserTest
testReadMaximalTerm07
Success
0.024
AsciiMathParserTest
testReadMaximalTerm08
Success
0.032
AsciiMathParserTest
testReadMaximalTerm09
Success
0.036
AsciiMathParserTest
testReadMaximalTerm10
Success
0.023
AsciiMathParserTest
testReadMaximalTerm11
Success
0.022
AsciiMathParserTest
testReadMaximalTerm12
Success
0.035
AsciiMathParserTest
testReadMaximalTerm13
Success
0.015
AsciiMathParserTest
testReadMaximalTerm14
Success
0.021
AsciiMathParserTest
testReadMaximalTerm15
Success
0.017
AsciiMathParserTest
testReadMaximalTerm16
Success
0.026
AsciiMathParserTest
testReadMaximalTerm17
Success
0.012
AsciiMathParserTest
testReadMaximalTerm18
Success
0.011
AsciiMathParserTest
testReadMaximalTerm19
Success
0.010
AsciiMathParserTest
testReadMaximalTerm20
Success
0.009
AsciiMathParserTest
testReadMaximalTerm21
Success
0.012
AsciiMathParserTest
testReadMaximalTerm22
Success
0.011
AsciiMathParserTest
testReadMaximalTerm23
Success
0.011
AsciiMathParserTest
testReadMaximalTerm24
Success
0.010
AsciiMathParserTest
testReadMaximalTerm26
Success
0.014
AsciiMathParserTest
testReadMaximalTerm27
Success
0.017
AsciiMathParserTest
testReadMaximalTerm28
Success
0.020
AsciiMathParserTest
testReadMaximalTerm29
Success
0.022
AsciiMathParserTest
testReadMaximalTerm30
Success
0.013
AsciiMathParserTest
testReadMaximalTerm31
Success
0.011
AsciiMathParserTest
testReadMaximalTerm32
Success
0.009
AsciiMathParserTest
testReadMaximalTerm33
Success
0.046
AsciiMathParserTest
testReadMaximalTerm34
Success
0.013
AsciiMathParserTest
testReadMaximalTerm35
Success
0.012
AsciiMathParserTest
testReadMaximalTerm36
Success
0.013
AsciiMathParserTest
testReadMaximalTerm37
Success
0.024
AsciiMathParserTest
testReadMaximalTerm38
Success
0.011
AsciiMathParserTest
testReadMaximalTerm39
Success
0.008
AsciiMathParserTest
testReadMaximalTerm40
Success
0.010
AsciiMathParserTest
testReadMaximalTerm41
Success
0.009
AsciiMathParserTest
testReadMaximalTerm42
Success
0.038
AsciiMathParserTest
testReadMaximalTerm43
Success
0.008
AsciiMathParserTest
testReadMaximalTerm44
Success
0.009
AsciiMathParserTest
testReadMaximalTerm45
Success
0.011
AsciiMathParserTest
testReadMaximalTerm46
Success
0.008
AsciiMathParserTest
testReadMaximalTerm47
Success
0.008
AsciiMathParserTest
testReadMaximalTerm48
Success
0.008
AsciiMathParserTest
testReadMaximalTerm49
Success
0.006
AsciiMathParserTest
testReadMaximalTerm50
Success
0.007
AsciiMathParserTest
testException00
Success
0.008
AsciiMathParserTest
testException01
Success
0.006
AsciiMathParserTest
testException02
Success
0.007
AsciiMathParserTest
testException03
Success
0.009
AsciiMathParserTest
testException04
Success
0.008
AsciiMathParserTest
testException05
Success
0.008
AsciiMathParserTest
testException06
Success
0.007
AsciiMathParserTest
testAllTogether
Success
0.616
LatexMathParserTest
testReadMaximalTerm00
Success
0.267
LatexMathParserTest
testReadMaximalTerm01
Success
0.039
LatexMathParserTest
testReadMaximalTerm02
Success
0.033
LatexMathParserTest
testReadMaximalTerm03
Success
0.037
LatexMathParserTest
testReadMaximalTerm04
Success
0.030
LatexMathParserTest
testReadMaximalTerm05
Success
0.036
LatexMathParserTest
testReadMaximalTerm06
Success
0.027
LatexMathParserTest
testReadMaximalTerm07
Success
0.027
LatexMathParserTest
testReadMaximalTerm08
Success
0.024
LatexMathParserTest
testReadMaximalTerm09
Success
0.018
LatexMathParserTest
testAllTogether
Success
0.040
OperatorTest
testGetMin
Success
0.142
OperatorTest
testGetMax
Success
0.008
OperatorTest
testEquals
Success
0.010
OperatorTest
testToString
Success
0.006
OperatorTest
testIsFix
Success
0.007
SimpleMathParserTest
testReadMaximalTerm00
Success
0.414
SimpleMathParserTest
testReadMaximalTerm01
Success
0.054
SimpleMathParserTest
testReadMaximalTerm02
Success
0.046
SimpleMathParserTest
testReadMaximalTerm03
Success
0.019
SimpleMathParserTest
testReadMaximalTerm04
Success
0.025
SimpleMathParserTest
testReadMaximalTerm05
Success
0.031
SimpleMathParserTest
testReadMaximalTerm06
Success
0.014
SimpleMathParserTest
testReadMaximalTerm07
Success
0.022
SimpleMathParserTest
testReadMaximalTerm08
Success
0.012
SimpleMathParserTest
testReadMaximalTerm09
Success
0.014
SimpleMathParserTest
testReadMaximalTerm10
Success
0.032
SimpleMathParserTest
testReadMaximalTerm11
Success
0.019
SimpleMathParserTest
testReadMaximalTerm12
Success
0.041
SimpleMathParserTest
testReadMaximalTerm13
Success
0.024
SimpleMathParserTest
testReadMaximalTerm14
Success
0.022
SimpleMathParserTest
testReadMaximalTerm15
Success
0.029
SimpleMathParserTest
testReadMaximalTerm16
Success
0.023
SimpleMathParserTest
testReadMaximalTerm17
Success
0.030
SimpleMathParserTest
testReadMaximalTerm18
Success
0.017
SimpleMathParserTest
testReadMaximalTerm19
Success
0.019
SimpleMathParserTest
testReadMaximalTerm20
Success
0.024
SimpleMathParserTest
testReadMaximalTerm21
Success
0.022
SimpleMathParserTest
testReadMaximalTerm22
Success
0.026
SimpleMathParserTest
testReadMaximalTerm23
Success
0.022
SimpleMathParserTest
testReadMaximalTerm24
Success
0.043
SimpleMathParserTest
testReadMaximalTerm25
Success
0.028
SimpleMathParserTest
testReadMaximalTerm26
Success
0.032
SimpleMathParserTest
testReadMaximalTerm27
Success
0.035
SimpleMathParserTest
testReadMaximalTerm28
Success
0.027
SimpleMathParserTest
testAllTogether
Success
0.088
CheckRequiredModuleExceptionTest
testCreator
Success
0.088
CheckRequiredModuleExceptionTest
testGetter
Success
0.004
DefaultKernelQedeqBoTest
testConstructor
Success
0.122
DefaultKernelQedeqBoTest
testHasFailures
Success
0.051
DefaultKernelQedeqBoTest
testSetLoadingFailureState
Success
0.006
DefaultKernelQedeqBoTest
testSetLoadingProgressState
Success
0.007
DefaultKernelQedeqBoTest
testSetDependencyFailureState
Success
0.005
LoadRequiredModulesTest
testLoadRequiredModules_01
Success
1.027
LoadRequiredModulesTest
testLoadRequiredModules_02
Success
0.236
LoadRequiredModulesTest
testLoadRequiredModules_03
Success
0.131
LoadRequiredModulesTest
testLoadRequiredModules_04
Success
0.262
LoadRequiredModulesTest
testLoadRequiredModules_05
Success
0.404
LoadRequiredModulesTest
testLoadRequiredModules_06
Success
0.380
LoadRequiredModulesTest
testLoadRequiredModules_07
Success
0.319
LoadRequiredModulesTest
testLoadRequiredModules_08
Success
0.323
LoadRequiredModulesTest
testLoadRequiredModules_09
Success
0.370
LoadRequiredModulesTest
testLoadRequiredModules_09b
Success
0.229
LoadRequiredModulesTest
testLoadRequiredModules_09c
Success
0.314
LoadRequiredModulesTest
testLoadRequiredModules_09d
Success
0.284
LoadRequiredModulesTest
testLoadRequiredModules_10
Success
0.106
LoadRequiredModulesTest
testLoadRequiredModules_11
Success
0.041
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_01
Success
0.868
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_02
Success
0.418
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_03
Success
0.314
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_04
Success
0.350
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_05
Success
0.207
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_06
Success
0.126
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_07
Success
0.162
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_08
Success
0.127
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_09
Success
0.131
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_10
Success
0.041
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_11
Success
0.040
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_12
Success
0.149
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_13
Success
0.212
QedeqBoFactoryTest
testCreateStringQedeq1
Success
8.202
QedeqBoFactoryTest
testCreateStringQedeq2
Success
8.807
QedeqBoFactoryTest
testCreateStringQedeq3
Success
11.758
QedeqBoFactoryTest
testCreateStringQedeq4
Success
5.763
QedeqBoFactoryTest
testCreateStringQedeq5
Success
2171.180
QedeqBoFactoryTest
testCreateStringQedeq6
Success
576.508
DynamicHeuristicCheckerPluginTest
testQedeqSampleScript1
Success
1.196
HeuristicCheckerPluginTest
testQedeqLogicScript1
Success
2.803
HeuristicCheckerPluginTest
testQedeqLogicScript2
Success
0.328
HeuristicCheckerPluginTest
testQedeqSetTheoryScript1
Success
13.965
HeuristicCheckerPluginTest
testQedeqSetTheoryScript2
Success
1.147
Element2LatexImplTest
testClass
Success
0.076
Element2LatexImplTest
testVar
Success
0.005
Element2LatexImplTest
testFuncon
Success
0.004
Element2LatexImplTest
testFunvar
Success
0.007
Element2LatexImplTest
testPredcon
Success
0.011
Element2LatexImplTest
testPredvar
Success
0.006
Element2LatexImplTest
testVarious1
Success
0.004
Element2LatexImplTest
testBinaryLogical
Success
0.002
Element2LatexImplTest
testVarious2
Success
0.001
Element2LatexImplTest
testClasslist
Success
0.004
ExtendedGenerateLatexTest
testGeneration
Success
13930.898
ExtendedGenerateLatexTest
testGeneration2
Success
932.581
ExtendedGenerateLatexTest
testNegativeGeneration2
Success
0.850
ExtendedGenerateLatexTest
testNegative02
Success
0.078
ExtendedGenerateLatexTest
testNegative03
Success
0.033
ExtendedGenerateLatexTest
testNegative04
Success
0.033
ExtendedGenerateLatexTest
testNegative05
Success
0.202
ExtendedGenerateLatexTest
testNegative06
Success
0.085
ExtendedGenerateLatexTest
testNegative07
Success
0.141
ExtendedGenerateLatexTest
testNegative08
Success
0.158
GenerateLatexTest
testGeneration
Success
11.357
GenerateLatexTest
testGeneration2
Success
1.582
GenerateLatexTest
testNegativeGeneration2
Success
0.654
GenerateLatexTest
testNegative02
Success
0.093
GenerateLatexTest
testNegative03
Success
0.017
GenerateLatexTest
testNegative04
Success
0.025
GenerateLatexTest
testNegative05
Success
0.091
GenerateLatexTest
testNegative06
Success
0.082
GenerateLatexTest
testNegative07
Success
0.125
GenerateLatexTest
testNegative08
Success
0.099
Qedeq2LatexTest
testQ2L001_v1
Success
1.237
Qedeq2LatexTest
testQ2L001_v2
Success
0.387
Qedeq2LatexTest
testQ2L002
Success
0.378
Qedeq2LatexTest
testQ2L003
Success
0.277
FormalProofCheckerPluginTest
testPlugin
Success
1.309
FormalProofCheckerPluginTest
testPlugin2
Success
2.132
FormalProofCheckerPluginTest
testPlugin3
Success
5.412
FormalProofCheckerPluginTest
testPlugin4
Success
1.139
FormalProofCheckerPluginTest
testProof_003
Success
0.042
QedeqBoFormalLogicCheckerDirectTest
testNegative00
Success
0.439
QedeqBoFormalLogicCheckerDirectTest
testNegative01
Success
0.071
QedeqBoFormalLogicCheckerDirectTest
testNegative02
Success
0.387
QedeqBoFormalLogicCheckerDirectTest
testNegative03
Success
0.248
QedeqBoFormalLogicCheckerDirectTest
testNegative04
Success
0.239
QedeqBoFormalLogicCheckerTest
testCheckModule
Success
1.471
SimpleProofFinderPluginTest
testPlugin
Success
176.742
SimpleProofFinderPluginTest
testPlugin2
Success
175.448
SimpleProofFinderPluginTest
testPluginFast
Success
202.111
GenerateUtf8Test
testGeneration1
Success
2.933
GenerateUtf8Test
testGeneration1b
Success
3.413
GenerateUtf8Test
testGeneration2
Success
0.836
GenerateUtf8Test
testGeneration3
Success
1.188
GenerateUtf8Test
testGeneration3b
Success
0.864
GenerateUtf8Test
testGeneration3c
Success
0.119
GenerateUtf8Test
testGeneration4
Success
2.041
GenerateUtf8Test
testGeneration5
Success
1.008
GenerateUtf8Test
testGeneration6
Success
0.748
GenerateUtf8Test
testGeneration7
Success
0.054
Latex2UnicodeParserTest
test01
Success
0.108
Latex2UnicodeParserTest
test02
Success
0.079
Latex2UnicodeParserTest
test03
Success
0.003
Latex2UnicodeParserTest
test04
Success
0.011
Latex2UnicodeParserTest
test05
Success
0.003
Latex2UnicodeParserTest
test06
Success
0.002
Latex2UnicodeParserTest
test07
Success
0.007
Latex2UnicodeParserTest
test08
Success
0.002
Latex2UnicodeParserTest
test09
Success
0.003
Latex2UnicodeParserTest
test10
Success
0.001
Latex2UnicodeParserTest
test11
Success
0.002
Latex2UnicodeParserTest
test12
Success
0.001
Qedeq2UnicodeTextExecutorTest
testGeneration1
Success
3.139
Qedeq2UnicodeTextExecutorTest
testGeneration1b
Success
4.213
Qedeq2UnicodeTextExecutorTest
testGeneration2
Success
0.834
Qedeq2UnicodeTextExecutorTest
testGeneration3
Success
0.971
Qedeq2UnicodeTextExecutorTest
testGeneration3b
Success
0.989
Qedeq2UnicodeTextExecutorTest
testGeneration3c
Success
0.236
Qedeq2UnicodeTextExecutorTest
testGeneration4
Success
2.869
Qedeq2UnicodeTextExecutorTest
testGeneration5
Success
1.343
Qedeq2UnicodeTextExecutorTest
testGeneration6
Success
2.906
KernelBoEachClassHasATest
testIfEveryClassIsTested
Success
10.177
DefaultModuleAddressTest
testConstructor
Success
0.098
DefaultModuleAddressTest
testHashCode
Success
0.005
DefaultModuleAddressTest
testDefaultModuleAddressURL
Success
0.005
DefaultModuleAddressTest
testDefaultModuleAddressFile
Success
0.019
DefaultModuleAddressTest
testCreateModuleContext
Success
0.004
DefaultModuleAddressTest
testEqualsObject
Success
0.006
DefaultModuleAddressTest
testToString
Success
0.004
DefaultModuleAddressTest
testGetModulePaths1
Success
0.012
DefaultModuleAddressTest
testGetModulePaths2
Success
0.006
DefaultModuleAddressTest
testGetModulePaths3
Success
0.004
DefaultModuleAddressTest
testCreateRelativeAddress
Success
0.004
DefaultModuleAddressTest
testCreateRelativeAddress2
Success
0.004
IllegalModuleDataExceptionTest
testConstructor
Success
0.048
IllegalModuleDataExceptionTest
testHashCode
Success
0.005
IllegalModuleDataExceptionTest
testEqualsObject
Success
0.006
ModuleContextTest
testConstructor
Success
0.070
ModuleContextTest
testGetDelta
Success
0.004
ModuleContextTest
testHashCode
Success
0.003
ModuleContextTest
testEqualsObject
Success
0.008
ModuleContextTest
testToString
Success
0.003
ModuleDataExceptionTest
testConstructor
Success
0.041
ModuleDataExceptionTest
testHashCode
Success
0.009
ModuleDataExceptionTest
testEqualsObject
Success
0.004
QedeqExceptionTest
testConstructor
Success
0.015
QedeqExceptionTest
testHashCode
Success
0.002
QedeqExceptionTest
testEqualsObject
Success
0.002
QedeqExceptionTest
testToString
Success
0.004
RuleKeyTest
testGet
Success
0.016
RuleKeyTest
testToString
Success
0.005
RuleKeyTest
testHashCode
Success
0.004
RuleKeyTest
testEquals
Success
0.009
SourceFileExceptionListTest
testContructor
Success
0.020
SourceFileExceptionListTest
testClear
Success
0.004
SourceFileExceptionListTest
testAdd1
Success
0.004
SourceFileExceptionListTest
testAdd2
Success
0.012
SourceFileExceptionListTest
testSize
Success
0.003
SourceFileExceptionListTest
testEquals
Success
0.005
SourceFileExceptionListTest
testHashCode
Success
0.004
SourceFileExceptionListTest
testGet
Success
0.004
SourceFileExceptionListTest
testGetCause
Success
0.008
SourceFileExceptionListTest
testToString
Success
0.003
SourceFileExceptionTest
testConstructor
Success
0.034
SourceFileExceptionTest
testGetMessage
Success
0.002
SourceFileExceptionTest
testGetCause
Success
0.003
SourceFileExceptionTest
testToString
Success
0.003
SourceFileExceptionTest
testGetDescription
Success
0.002
SourceFileExceptionTest
testGetPlugin
Success
0.001
SourceFileExceptionTest
testGetSourceArea
Success
0.002
SourceFileExceptionTest
testGetRefrenceArea
Success
0.003
SourceFileExceptionTest
testHashCode
Success
0.002
SourceFileExceptionTest
testEqualsObject
Success
0.002
ConfigAccessTest
testStore
Success
0.932
ConfigAccessTest
testGetter
Success
0.006
ConfigAccessTest
testRemoveProperty
Success
0.002
ConfigAccessTest
testRemoveProperties
Success
0.007
QedeqConfigTest
testGetBasisDirectory
Success
0.025
QedeqConfigTest
testGetSetBufferDirectory
Success
0.015
QedeqConfigTest
testGetSetGenerationDirectory
Success
0.004
QedeqConfigTest
testGetLocalModulesDirectory
Success
0.005
QedeqConfigTest
testGetSetConnectTimeout
Success
0.003
QedeqConfigTest
testGetSetReadConnectTimeout
Success
0.002
QedeqConfigTest
testGetSetHttpProxyHost
Success
0.002
QedeqConfigTest
testGetSetHttpProxyPort
Success
0.002
QedeqConfigTest
testGetSetHttpNonProxyHosts
Success
0.003
QedeqConfigTest
testGetLogFile
Success
0.002
QedeqConfigTest
testGetSaveModuleHistory
Success
0.003
QedeqConfigTest
testGetSetPreviouslyLoadedModules
Success
0.004
QedeqConfigTest
testGetSetKeyValueString
Success
0.003
QedeqConfigTest
testGetKeyValueStringBoolean
Success
0.001
QedeqConfigTest
testGetKeyValueStringString
Success
0.002
QedeqConfigTest
testGetKeyValueStringInt
Success
0.002
QedeqConfigTest
testGetSetServiceValues
Success
0.004
QedeqConfigTest
testCreateAbsolutePath
Success
0.002
QedeqConfigTest
testIsSetIsTraceOn
Success
0.002
QedeqConfigTest
testIsSetAutoReloadLastSessionChecked
Success
0.002
QedeqConfigTest
testStore
Success
0.006
DefaultAtomTest
testConstructor
Success
0.015
DefaultAtomTest
testGet
Success
0.002
DefaultAtomTest
testToString
Success
0.002
DefaultAtomTest
testGetList
Success
0.004
DefaultAtomTest
testIsAtom
Success
0.001
DefaultAtomTest
testIsList
Success
0.001
DefaultAtomTest
testGetAtom
Success
0.000
DefaultAtomTest
testReplace
Success
0.003
DefaultAtomTest
testHashCode
Success
0.002
DefaultAtomTest
testEquals
Success
0.000
DefaultElementListTest
testConstructor
Success
0.030
DefaultElementListTest
testGetElement
Success
0.004
DefaultElementListTest
testSize
Success
0.003
DefaultElementListTest
testGetElements
Success
0.010
DefaultElementListTest
testCopy
Success
0.002
DefaultElementListTest
testAddAndSizeAndInsertAndRemove
Success
0.002
DefaultElementListTest
testGetList
Success
0.003
DefaultElementListTest
testGetAtom
Success
0.003
DefaultElementListTest
testIsList
Success
0.005
DefaultElementListTest
testIsAtom
Success
0.002
DefaultElementListTest
testReplace1
Success
0.003
DefaultElementListTest
testReplace2
Success
0.002
DefaultElementListTest
testInsert
Success
0.004
DefaultElementListTest
testGetOperator
Success
0.006
DefaultElementListTest
testToString
Success
0.002
DefaultElementListTest
testHashCode
Success
0.003
DefaultElementListTest
testEquals
Success
0.002
ElementSetTest
testConstructor
Success
0.022
ElementSetTest
testSetOperations
Success
0.004
ElementSetTest
testSetOperations2
Success
0.003
ElementSetTest
testMinus
Success
0.005
ElementSetTest
testRemove
Success
0.000
ElementSetTest
testAdd
Success
0.001
ElementSetTest
testContains
Success
0.002
ElementSetTest
testNewDelta
Success
0.001
ElementSetTest
testNewIntersection
Success
0.003
ElementSetTest
testIsEmpty
Success
0.000
ElementSetTest
testIterator
Success
0.001
ElementSetTest
testToString
Success
0.002
ElementSetTest
testHashCode
Success
0.001
ElementSetTest
testEquals
Success
0.002
AddVoTest
testGetName
Success
0.018
AddVoTest
testGetModusPonens
Success
0.003
AddVoTest
testGetReferences
Success
0.007
AddVoTest
testAll
Success
0.006
AuthorListVoTest
testAll
Success
0.026
AuthorVoTest
testConstructor
Success
0.038
AuthorVoTest
testAll
Success
0.020
AxiomVoTest
testOtherGetters
Success
0.018
AxiomVoTest
testAll
Success
0.032
ChangedRuleListVoTest
testAll
Success
0.026
ChangedRuleVoTest
testAll
Success
0.041
ChapterListVoTest
testAll
Success
0.087
ChapterVoTest
testAll
Success
0.105
ConclusionVoTest
testGetLabel
Success
0.043
ConclusionVoTest
testGetFormula
Success
0.006
ConclusionVoTest
testHashCode
Success
0.004
ConclusionVoTest
testToString
Success
0.007
ConclusionVoTest
testAll
Success
0.013
ConditionalProofVoTest
testGetLabel
Success
0.040
ConditionalProofVoTest
testGetFormula
Success
0.006
ConditionalProofVoTest
testUnuasalGetter
Success
0.013
ConditionalProofVoTest
testAll
Success
0.072
ExistentialVoTest
testGetExistential
Success
0.028
ExistentialVoTest
testGetName
Success
0.004
ExistentialVoTest
testGetReferences
Success
0.012
ExistentialVoTest
testAll
Success
0.027
FormalProofLineListVoTest
testAll
Success
0.032
FormalProofLineVoTest
testConstructos
Success
0.018
FormalProofLineVoTest
testAll
Success
0.017
FormalProofListVoTest
testAll
Success
0.042
FormalProofVoTest
testConstructor
Success
0.026
FormalProofVoTest
testAll
Success
0.025
FormulaVoTest
testAll
Success
0.029
FunctionDefinitionVoTest
testOtherGetters
Success
0.021
FunctionDefinitionVoTest
testAll
Success
0.021
HeaderVoTest
testAll
Success
0.082
HypothesisVoTest
testGetLabel
Success
0.021
HypothesisVoTest
testGetFormula
Success
0.004
HypothesisVoTest
testAll
Success
0.012
ImportListVoTest
testAll
Success
0.028
ImportVoTest
testConstructor
Success
0.018
ImportVoTest
testAll
Success
0.013
InitialFunctionDefinitionVoTest
testOtherGetters
Success
0.037
InitialFunctionDefinitionVoTest
testAll
Success
0.039
InitialPredicateDefinitionVoTest
testOtherGetters
Success
0.019
InitialPredicateDefinitionVoTest
testAll
Success
0.021
LatexListVoTest
testAll
Success
0.045
LatexVoTest
testAll
Success
0.029
LinkListVoTest
testAll
Success
0.021
LiteratureItemListVoTest
testAll
Success
0.025
LiteratureItemVoTest
testAll
Success
0.064
LocationListVoTest
testAll
Success
0.033
LocationVoTest
testAll
Success
0.025
ModusPonensVoTest
testGetModusPonens
Success
0.037
ModusPonensVoTest
testGetName
Success
0.004
ModusPonensVoTest
testGetReference1
Success
0.003
ModusPonensVoTest
testGetReference2
Success
0.007
ModusPonensVoTest
testGetReferences
Success
0.014
ModusPonensVoTest
testAll
Success
0.014
NodeVoTest
testSetGetLabel
Success
0.017
NodeVoTest
testSetGetLevel
Success
0.002
NodeVoTest
testSetGetName
Success
0.004
NodeVoTest
testSetGetPrecedingText
Success
0.002
NodeVoTest
testSetGetNodeType
Success
0.008
NodeVoTest
testSetGetSucceedingText
Success
0.005
NodeVoTest
testEquals
Success
0.003
NodeVoTest
testToString
Success
0.004
NodeVoTest
testGetNode
Success
0.004
NodeVoTest
testGetSubsection
Success
0.003
NodeVoTest
testAll
Success
0.045
PredicateDefinitionVoTest
testOtherGetters
Success
0.029
PredicateDefinitionVoTest
testAll
Success
0.022
ProofListVoTest
testAll
Success
0.028
ProofVoTest
testAll
Success
0.030
PropositionVoTest
testOtherGetters
Success
0.018
PropositionVoTest
testAll
Success
0.059
QedeqVoTest
testAll
Success
0.126
RenameVoTest
testGetRename
Success
0.040
RenameVoTest
testGetName
Success
0.004
RenameVoTest
testGetReferences
Success
0.013
RenameVoTest
testAll
Success
0.033
RuleVoTest
testOtherGetters
Success
0.036
RuleVoTest
testAll
Success
0.081
SectionListVoTest
testAll
Success
0.121
SectionVoTest
testAll
Success
0.103
SpecificationVoTest
testAll
Success
0.058
SubsectionListVoTest
testAll
Success
0.056
SubsectionVoTest
testGetSubsection
Success
0.026
SubsectionVoTest
testGetNode
Success
0.004
SubsectionVoTest
testAll
Success
0.023
SubstFreeVoTest
testGetSubstFree
Success
0.021
SubstFreeVoTest
testGetName
Success
0.002
SubstFreeVoTest
testGetReferences
Success
0.007
SubstFreeVoTest
testAll
Success
0.015
SubstFuncVoTest
testGetSubstFunc
Success
0.038
SubstFuncVoTest
testGetName
Success
0.004
SubstFuncVoTest
testGetReferences
Success
0.013
SubstFuncVoTest
testAll
Success
0.027
SubstPredVoTest
testGetSubstPred
Success
0.020
SubstPredVoTest
testGetName
Success
0.002
SubstPredVoTest
testGetReferences
Success
0.006
SubstPredVoTest
testAll
Success
0.014
TermVoTest
testGetElement
Success
0.035
TermVoTest
testAll
Success
0.025
UniversalVoTest
testGetUniversal
Success
0.019
UniversalVoTest
testGetName
Success
0.003
UniversalVoTest
testGetReferences
Success
0.007
UniversalVoTest
testAll
Success
0.014
UsedByListVoTest
testAll
Success
0.027
AbstractStateTest
testConstructor
Success
0.016
AbstractStateTest
testGetCode
Success
0.002
AbstractStateTest
testGetText
Success
0.002
AbstractStateTest
testToString
Success
0.003
AbstractStateTest
testIsFailure
Success
0.003
AbstractStateTest
testEquals
Success
0.001
AbstractStateTest
testHashCode
Success
0.001
DependencyStateTest
testGetCode
Success
0.018
DependencyStateTest
testGetText
Success
0.002
DependencyStateTest
testToString
Success
0.002
DependencyStateTest
testIsFailure
Success
0.006
DependencyStateTest
testAreAllRequiredLoaded
Success
0.001
DependencyStateTest
testEquals
Success
0.001
DependencyStateTest
testHashCode
Success
0.001
FormallyProvedStateTest
testGetCode
Success
0.025
FormallyProvedStateTest
testGetText
Success
0.003
FormallyProvedStateTest
testToString
Success
0.003
FormallyProvedStateTest
testIsFailure
Success
0.007
FormallyProvedStateTest
testEquals
Success
0.002
FormallyProvedStateTest
testHashCode
Success
0.001
LoadingImportsStateTest
testGetCode
Success
0.018
LoadingImportsStateTest
testGetText
Success
0.002
LoadingImportsStateTest
testToString
Success
0.002
LoadingImportsStateTest
testIsFailure
Success
0.008
LoadingImportsStateTest
testAreAllDirectlyRequiredLoaded
Success
0.001
LoadingImportsStateTest
testEquals
Success
0.001
LoadingImportsStateTest
testHashCode
Success
0.001
LoadingStateTest
testGetCode
Success
0.036
LoadingStateTest
testGetText
Success
0.004
LoadingStateTest
testToString
Success
0.003
LoadingStateTest
testIsFailure
Success
0.006
LoadingStateTest
testEquals
Success
0.005
LoadingStateTest
testHashCode
Success
0.002
WellFormedStateTest
testGetCode
Success
0.027
WellFormedStateTest
testGetText
Success
0.004
WellFormedStateTest
testToString
Success
0.004
WellFormedStateTest
testIsFailure
Success
0.009
WellFormedStateTest
testEquals
Success
0.001
WellFormedStateTest
testHashCode
Success
0.002
KernelSeEachClassHasATest
testIfEveryClassIsTested
Success
9.469
AbstractModuleVisitorTest
testEnter
Success
0.026
AbstractModuleVisitorTest
testLeave
Success
0.003
DefaultContextCheckerTest
testCheckHashCode
Success
0.025
InterruptExceptionTest
testConstructor
Success
0.023
InterruptExceptionTest
testHashCode
Success
0.002
InterruptExceptionTest
testEqualsObject
Success
0.003
LatexList2TextTest
testGetLatex
Success
0.028
LatexList2TextTest
testTransform
Success
0.005
QedeqNotNullTraverserTest
testVisit
Success
0.042
QedeqNotNullTraverserTest
testGeneration
Success
0.013
QedeqNotNullTraverserTest
testQedeq
Success
0.506
QedeqNotNullTraverserTest
testQedeq2
Success
0.003
QedeqNotNullTraverserTest
testAcceptors1
Success
0.004
QedeqNotNullTraverserTest
testAcceptors2
Success
0.007
QedeqNumbersTest
testConstructor
Success
0.018
QedeqNumbersTest
testHashCodeAndEquals
Success
0.002
QedeqNumbersTest
testGetVisitPercentage
Success
0.123
XmlSyntaxExceptionTest
testCreator
Success
0.018
XmlSyntaxExceptionTest
testGetter
Success
0.002
GenerateXmlTest
testGeneration
Success
28.285
Context2SimpleXPathTest
testGetXPath01
Success
0.654
Context2SimpleXPathTest
testGetXPath02
Success
0.105
Context2SimpleXPathTest
testGetXPath03
Success
0.168
Context2SimpleXPathTest
testGetXPath04
Success
0.178
Context2SimpleXPathTest
testGetXPath05
Success
0.110
Context2SimpleXPathTest
testGetXPath06
Success
0.096
Context2SimpleXPathTest
testGetXPath07
Success
0.077
Context2SimpleXPathTest
testGetXPath08
Success
0.044
Context2SimpleXPathTest
testGetXPath09
Success
0.094
CharsetParserTest
testParse1
Success
0.696
CharsetParserTest
testParse2
Success
0.129
QedeqParserTest
testParse1
Success
0.501
QedeqParserTest
testParse2
Success
0.120
SchemaTest
testXml
Success
0.532
KernelXmlEachClassHasATest
testIfEveryClassIsTested
Success
10.653
SimpleXPathTest
testSimpleXPath
Success
0.031
SimpleXPathTest
testSize
Success
0.005
SimpleXPathTest
testGetElementName
Success
0.004
SimpleXPathTest
testGetElementOccurrence
Success
0.010
SimpleXPathTest
testGetAttribute
Success
0.003
SimpleXPathTest
testToString
Success
0.003
SimpleXPathTest
testHashCode
Success
0.006
SimpleXPathTest
testEquals
Success
0.006
XPathLocationFinderTest
testGetXPathLocation
Success
0.346
XPathLocationFinderTest
testHelp
Success
0.005
XPathLocationFinderTest
testUnknownOption
Success
0.003
XPathLocationFinderTest
testNoXPath
Success
0.008
XPathLocationFinderTest
testFileNotSpecified
Success
0.001
XPathLocationFinderTest
testXPathNotOk
Success
0.001
XPathLocationFinderTest
testXPathNotOk2
Success
0.001
XPathLocationFinderTest
testTagNotFound
Success
0.011
XPathLocationFinderTest
testFileNotOk
Success
0.008
XPathLocationParserTest
testGetXPathLocation
Success
0.260