Unit Test Results.
Designed for use with
JUnit
and
Ant
.
All Tests
Class
Name
Status
Type
Time(s)
KernelContextTest
testGetBuildId
Success
0.058
KernelContextTest
testGetKernelVersion
Success
0.003
KernelContextTest
testGetDedicationVersion
Success
0.002
KernelContextTest
testGetDescriptiveKernelVersion
Success
0.002
KernelContextTest
testGetKernelCodeName
Success
0.004
KernelContextTest
testGetKernelVersionDirectory
Success
0.002
KernelContextTest
testIsRuleVersionSupported
Success
0.004
KernelContextTest
testGetMaximalRuleVersion
Success
0.002
KernelContextTest
testIsSetConnectionTimeOutSupported
Success
0.003
KernelContextTest
testIsSetReadTimeoutSupported
Success
0.002
KernelContextTest
testGetConfig
Success
0.067
KernelContextTest
testInit
Success
0.004
KernelContextTest
testStartup
Success
0.003
KernelContextTest
testShutdown
Success
0.015
KernelContextTest
testRemoveAllModules
Success
0.003
KernelContextTest
testRemoveModule
Success
0.006
KernelContextTest
testClearLocalBuffer
Success
0.006
KernelContextTest
testLoadModule
Success
0.003
KernelContextTest
testLoadAllModulesFromQedeq
Success
0.003
KernelContextTest
testLoadRequiredModules
Success
0.007
KernelContextTest
testGetAllLoadedModules
Success
0.003
KernelContextTest
testGetQedeqBo
Success
0.017
KernelContextTest
testGetModuleAddress
Success
0.005
KernelContextTest
testGetModuleAddress2
Success
0.002
KernelContextTest
testGetModuleAddress3
Success
0.002
KernelContextTest
testGetSource
Success
0.003
KernelContextTest
testCheckWellFormedness
Success
0.002
KernelContextTest
testCheckFormallyProved
Success
0.002
KernelContextTest
testGetPlugins
Success
0.002
KernelContextTest
testExecutePlugin
Success
0.004
KernelContextTest
testClearAllPluginResults
Success
0.002
KernelContextTest
testGetServiceProcesses
Success
0.002
KernelContextTest
testGetRunningServiceProcesses
Success
0.002
KernelContextTest
testStopAllPluginExecutions
Success
0.003
BasicKernelTest
testGetBuildId
Success
0.143
BasicKernelTest
testGetKernelVersion
Success
0.008
BasicKernelTest
testGetDedicationVersion
Success
0.007
BasicKernelTest
testGetDescriptiveKernelVersion
Success
0.005
BasicKernelTest
testGetKernelCodeName
Success
0.005
BasicKernelTest
testGetKernelVersionDirectory
Success
0.003
BasicKernelTest
testIsRuleVersionSupported
Success
0.006
BasicKernelTest
testGetMaximalRuleVersion
Success
0.004
BasicKernelTest
testIsSetConnectionTimeOutSupported
Success
0.006
BasicKernelTest
testIsSetReadTimeoutSupported
Success
0.006
QedeqBoSetTest
testConstructor
Success
0.404
QedeqBoSetTest
testSetOperations
Success
0.010
QedeqBoSetTest
testSetOperations2
Success
0.003
QedeqBoSetTest
testRemoveSet
Success
0.003
QedeqBoSetTest
testRemove
Success
0.002
QedeqBoSetTest
testAdd
Success
0.003
QedeqBoSetTest
testAdd2
Success
0.003
QedeqBoSetTest
testContains
Success
0.003
QedeqBoSetTest
testIsEmpty
Success
0.003
QedeqBoSetTest
testIterator
Success
0.005
QedeqBoSetTest
testToString
Success
0.002
QedeqBoSetTest
testHashCode
Success
0.002
QedeqBoSetTest
testEquals
Success
0.002
DefaultModuleEventListenerTest
testAddModule
Success
0.482
DefaultModuleEventListenerTest
testRemoveModule
Success
0.010
DefaultModuleEventListenerTest
testStateChanged
Success
0.016
DefaultModuleEventListenerTest
testSetPrintStream
Success
0.024
LogListenerImplTest
testLogFailureReply
Success
0.288
LogListenerImplTest
testLogSuccessfulReply
Success
0.009
LogListenerImplTest
testLogMessageState
Success
0.005
LogListenerImplTest
testLogFailureState
Success
0.010
LogListenerImplTest
testLogSuccesfulState
Success
0.011
LogListenerImplTest
testLogRequest
Success
0.018
LogListenerImplTest
testLogMessage
Success
0.004
LogListenerImplTest
testSetPrintStream
Success
0.005
LogListenerImplTest
testConstructor
Success
0.004
ModuleEventListenerLogTest
testAddModule
Success
0.326
ModuleEventListenerLogTest
testRemoveModule
Success
0.034
ModuleEventListenerLogTest
testStateChanged
Success
0.009
QedeqLogTest
testLogFailureReply
Success
0.492
QedeqLogTest
testLogSuccessfulReply
Success
0.022
QedeqLogTest
testLogMessageState
Success
0.007
QedeqLogTest
testLogFailureState
Success
0.008
QedeqLogTest
testLogSuccesfulState
Success
0.010
QedeqLogTest
testLogRequest
Success
0.011
QedeqLogTest
testLogMessage
Success
0.008
QedeqLogTest
testRemoveLog
Success
0.015
QedeqLogTest
testRemoveLog2
Success
0.009
QedeqLogTest
testAddLog
Success
0.017
QedeqLogTest
testConstructor
Success
0.004
TraceListenerTest
testLogFailureReply
Success
0.539
TraceListenerTest
testLogSuccessfulReply
Success
0.019
TraceListenerTest
testLogMessageState
Success
0.015
TraceListenerTest
testLogFailureState
Success
0.034
TraceListenerTest
testLogSuccesfulState
Success
0.010
TraceListenerTest
testLogRequest
Success
0.011
TraceListenerTest
testLogMessage
Success
0.009
FormulaCheckerFactoryImplTest
testCreateFormulaChecker
Success
0.228
ProofCheckerFactoryImplTest
testCreateFormulaChecker
Success
0.292
FormulaUtilityReplaceOperatorVariableTest
test_Positive01
Success
0.458
FormulaUtilityReplaceOperatorVariableTest
test_Positive02
Success
0.045
FormulaUtilityReplaceSubjectVariableQuantifierTest
testClassTermPositive01
Success
0.235
FormulaUtilityReplaceSubjectVariableQuantifierTest
testClassTermPositive02
Success
0.024
FormulaUtilityReplaceSubjectVariableQuantifierTest
testClassTermPositive03
Success
0.013
FormulaUtilityReplaceSubjectVariableQuantifierTest
testClassTermPositive04
Success
0.011
FormulaUtilityReplaceSubjectVariableQuantifierTest
testClassTermPositive05
Success
0.019
CalculateTruthDynamicThreeModelTest
testTautology44b
Success
1.793
CalculateTruthDynamicThreeModelTest
testTautology44
Success
0.286
CalculateTruthDynamicThreeModelTest
testTautology45
Success
0.275
CalculateTruthDynamicThreeModelTest
testTautology46
Success
0.335
CalculateTruthDynamicThreeModelTest
testTautology47
Success
0.364
CalculateTruthDynamicThreeModelTest
testTautology01
Success
0.267
CalculateTruthDynamicThreeModelTest
testTautology02
Success
0.318
CalculateTruthDynamicThreeModelTest
testTautology03
Success
0.326
CalculateTruthDynamicThreeModelTest
testTautology04
Success
0.263
CalculateTruthDynamicThreeModelTest
testTautology05
Success
0.197
CalculateTruthDynamicThreeModelTest
testTautology06
Success
0.433
CalculateTruthDynamicThreeModelTest
testTautology07
Success
0.318
CalculateTruthDynamicThreeModelTest
testTautology08
Success
0.141
CalculateTruthDynamicThreeModelTest
testTautology09
Success
0.163
CalculateTruthDynamicThreeModelTest
testTautology10
Success
0.156
CalculateTruthDynamicThreeModelTest
testTautology11
Success
0.336
CalculateTruthDynamicThreeModelTest
testTautology12
Success
0.246
CalculateTruthDynamicThreeModelTest
testTautology13
Success
0.280
CalculateTruthDynamicThreeModelTest
testTautology14
Success
0.135
CalculateTruthDynamicThreeModelTest
testTautology15
Success
0.409
CalculateTruthDynamicThreeModelTest
testTautology16
Success
0.127
CalculateTruthDynamicThreeModelTest
testTautology17
Success
0.120
CalculateTruthDynamicThreeModelTest
testTautology18
Success
0.227
CalculateTruthDynamicThreeModelTest
testTautology19
Success
0.215
CalculateTruthDynamicThreeModelTest
testTautology20
Success
0.283
CalculateTruthDynamicThreeModelTest
testTautology21
Success
0.116
CalculateTruthDynamicThreeModelTest
testTautology22
Success
0.184
CalculateTruthDynamicThreeModelTest
testTautology23
Success
0.260
CalculateTruthDynamicThreeModelTest
testTautology24
Success
0.240
CalculateTruthDynamicThreeModelTest
testTautology25
Success
0.314
CalculateTruthDynamicThreeModelTest
testTautology26
Success
0.428
CalculateTruthDynamicThreeModelTest
testTautology27
Success
0.239
CalculateTruthDynamicThreeModelTest
testTautology28
Success
0.120
CalculateTruthDynamicThreeModelTest
testTautology29
Success
0.237
CalculateTruthDynamicThreeModelTest
testTautology30
Success
0.158
CalculateTruthDynamicThreeModelTest
testTautology31
Success
0.239
CalculateTruthDynamicThreeModelTest
testTautology32
Success
0.253
CalculateTruthDynamicThreeModelTest
testTautology33
Success
0.254
CalculateTruthDynamicThreeModelTest
testTautology34
Success
0.242
CalculateTruthDynamicThreeModelTest
testTautology35
Success
0.480
CalculateTruthDynamicThreeModelTest
testTautology36
Success
0.224
CalculateTruthDynamicThreeModelTest
testTautology37
Success
0.165
CalculateTruthDynamicThreeModelTest
testTautology38
Success
0.249
CalculateTruthDynamicThreeModelTest
testTautology39
Success
0.175
CalculateTruthDynamicThreeModelTest
testTautology40
Success
1.193
CalculateTruthDynamicThreeModelTest
testTautology41
Success
0.147
CalculateTruthDynamicThreeModelTest
testTautology42
Success
0.139
CalculateTruthDynamicThreeModelTest
testTautology43
Success
0.122
CalculateTruthDynamicUnaryModelTest
testTautology19
Success
0.410
CalculateTruthDynamicUnaryModelTest
testTautology20
Success
0.031
CalculateTruthDynamicUnaryModelTest
testTautology21
Success
0.012
CalculateTruthDynamicUnaryModelTest
testTautology28
Success
0.004
CalculateTruthDynamicUnaryModelTest
testTautology31
Success
0.008
CalculateTruthDynamicUnaryModelTest
testTautology34
Success
0.019
CalculateTruthDynamicUnaryModelTest
testTautology37
Success
0.007
CalculateTruthDynamicUnaryModelTest
testTautology41
Success
0.016
CalculateTruthDynamicUnaryModelTest
testTautology44
Success
0.009
CalculateTruthDynamicUnaryModelTest
testTautology45
Success
0.018
CalculateTruthDynamicUnaryModelTest
testTautology46
Success
0.015
CalculateTruthDynamicUnaryModelTest
testTautology47
Success
0.008
CalculateTruthDynamicUnaryModelTest
testTautology01
Success
0.011
CalculateTruthDynamicUnaryModelTest
testTautology02
Success
0.008
CalculateTruthDynamicUnaryModelTest
testTautology03
Success
0.022
CalculateTruthDynamicUnaryModelTest
testTautology04
Success
0.042
CalculateTruthDynamicUnaryModelTest
testTautology05
Success
0.010
CalculateTruthDynamicUnaryModelTest
testTautology06
Success
0.013
CalculateTruthDynamicUnaryModelTest
testTautology07
Success
0.023
CalculateTruthDynamicUnaryModelTest
testTautology08
Success
0.015
CalculateTruthDynamicUnaryModelTest
testTautology09
Success
0.020
CalculateTruthDynamicUnaryModelTest
testTautology10
Success
0.005
CalculateTruthDynamicUnaryModelTest
testTautology11
Success
0.005
CalculateTruthDynamicUnaryModelTest
testTautology12
Success
0.014
CalculateTruthDynamicUnaryModelTest
testTautology13
Success
0.126
CalculateTruthDynamicUnaryModelTest
testTautology14
Success
0.004
CalculateTruthDynamicUnaryModelTest
testTautology15
Success
0.005
CalculateTruthDynamicUnaryModelTest
testTautology16
Success
0.006
CalculateTruthDynamicUnaryModelTest
testTautology17
Success
0.005
CalculateTruthDynamicUnaryModelTest
testTautology18
Success
0.012
CalculateTruthDynamicUnaryModelTest
testTautology22
Success
0.005
CalculateTruthDynamicUnaryModelTest
testTautology23
Success
0.004
CalculateTruthDynamicUnaryModelTest
testTautology24
Success
0.016
CalculateTruthDynamicUnaryModelTest
testTautology25
Success
0.027
CalculateTruthDynamicUnaryModelTest
testTautology26
Success
0.300
CalculateTruthDynamicUnaryModelTest
testTautology27
Success
0.124
CalculateTruthDynamicUnaryModelTest
testTautology29
Success
0.238
CalculateTruthDynamicUnaryModelTest
testTautology30
Success
0.012
CalculateTruthDynamicUnaryModelTest
testTautology32
Success
0.006
CalculateTruthDynamicUnaryModelTest
testTautology33
Success
0.023
CalculateTruthDynamicUnaryModelTest
testTautology35
Success
0.004
CalculateTruthDynamicUnaryModelTest
testTautology36
Success
0.015
CalculateTruthDynamicUnaryModelTest
testTautology38
Success
0.013
CalculateTruthDynamicUnaryModelTest
testTautology39
Success
0.048
CalculateTruthDynamicUnaryModelTest
testTautology40
Success
0.039
CalculateTruthDynamicUnaryModelTest
testTautology42
Success
0.013
CalculateTruthDynamicUnaryModelTest
testTautology43
Success
0.020
CalculateTruthThreeModelTest
testTautology44
Success
0.347
CalculateTruthThreeModelTest
testTautology46
Success
0.229
CalculateTruthThreeModelTest
testTautology47
Success
0.034
CalculateTruthThreeModelTest
testTautology01
Success
0.008
CalculateTruthThreeModelTest
testTautology02
Success
0.005
CalculateTruthThreeModelTest
testTautology03
Success
0.015
CalculateTruthThreeModelTest
testTautology04
Success
0.005
CalculateTruthThreeModelTest
testTautology05
Success
0.006
CalculateTruthThreeModelTest
testTautology06
Success
0.006
CalculateTruthThreeModelTest
testTautology07
Success
0.004
CalculateTruthThreeModelTest
testTautology08
Success
0.027
CalculateTruthThreeModelTest
testTautology09
Success
0.005
CalculateTruthThreeModelTest
testTautology10
Success
0.006
CalculateTruthThreeModelTest
testTautology11
Success
0.009
CalculateTruthThreeModelTest
testTautology12
Success
0.005
CalculateTruthThreeModelTest
testTautology13
Success
0.120
CalculateTruthThreeModelTest
testTautology14
Success
0.007
CalculateTruthThreeModelTest
testTautology15
Success
0.008
CalculateTruthThreeModelTest
testTautology16
Success
0.045
CalculateTruthThreeModelTest
testTautology17
Success
0.006
CalculateTruthThreeModelTest
testTautology18
Success
0.011
CalculateTruthThreeModelTest
testTautology19
Success
0.007
CalculateTruthThreeModelTest
testTautology20
Success
0.007
CalculateTruthThreeModelTest
testTautology21
Success
0.014
CalculateTruthThreeModelTest
testTautology22
Success
0.006
CalculateTruthThreeModelTest
testTautology23
Success
0.015
CalculateTruthThreeModelTest
testTautology24
Success
0.006
CalculateTruthThreeModelTest
testTautology25
Success
0.018
CalculateTruthThreeModelTest
testTautology26
Success
0.006
CalculateTruthThreeModelTest
testTautology27
Success
0.005
CalculateTruthThreeModelTest
testTautology28
Success
0.019
CalculateTruthThreeModelTest
testTautology29
Success
0.021
CalculateTruthThreeModelTest
testTautology30
Success
0.023
CalculateTruthThreeModelTest
testTautology31
Success
0.019
CalculateTruthThreeModelTest
testTautology32
Success
0.006
CalculateTruthThreeModelTest
testTautology33
Success
0.012
CalculateTruthThreeModelTest
testTautology34
Success
0.015
CalculateTruthThreeModelTest
testTautology35
Success
0.005
CalculateTruthThreeModelTest
testTautology36
Success
0.025
CalculateTruthThreeModelTest
testTautology37
Success
0.005
CalculateTruthThreeModelTest
testTautology38
Success
0.004
CalculateTruthThreeModelTest
testTautology39
Success
0.042
CalculateTruthThreeModelTest
testTautology40
Success
1.316
CalculateTruthThreeModelTest
testTautology41
Success
0.009
CalculateTruthThreeModelTest
testTautology42
Success
0.032
CalculateTruthThreeModelTest
testTautology43
Success
0.010
CalculateTruthThreeModelTest
testTautology45
Success
0.024
CalculateTruthUnaryModelTest
testTautology19
Success
0.792
CalculateTruthUnaryModelTest
testTautology20
Success
0.031
CalculateTruthUnaryModelTest
testTautology21
Success
0.015
CalculateTruthUnaryModelTest
testTautology28
Success
0.013
CalculateTruthUnaryModelTest
testTautology31
Success
0.007
CalculateTruthUnaryModelTest
testTautology34
Success
0.007
CalculateTruthUnaryModelTest
testTautology37
Success
0.014
CalculateTruthUnaryModelTest
testTautology41
Success
0.011
CalculateTruthUnaryModelTest
testTautology01
Success
0.020
CalculateTruthUnaryModelTest
testTautology02
Success
0.005
CalculateTruthUnaryModelTest
testTautology03
Success
0.004
CalculateTruthUnaryModelTest
testTautology04
Success
0.014
CalculateTruthUnaryModelTest
testTautology05
Success
0.004
CalculateTruthUnaryModelTest
testTautology06
Success
0.009
CalculateTruthUnaryModelTest
testTautology07
Success
0.007
CalculateTruthUnaryModelTest
testTautology08
Success
0.011
CalculateTruthUnaryModelTest
testTautology09
Success
0.005
CalculateTruthUnaryModelTest
testTautology10
Success
0.009
CalculateTruthUnaryModelTest
testTautology11
Success
0.008
CalculateTruthUnaryModelTest
testTautology12
Success
0.023
CalculateTruthUnaryModelTest
testTautology13
Success
0.327
CalculateTruthUnaryModelTest
testTautology14
Success
0.028
CalculateTruthUnaryModelTest
testTautology15
Success
0.016
CalculateTruthUnaryModelTest
testTautology16
Success
0.007
CalculateTruthUnaryModelTest
testTautology17
Success
0.029
CalculateTruthUnaryModelTest
testTautology18
Success
0.010
CalculateTruthUnaryModelTest
testTautology22
Success
0.018
CalculateTruthUnaryModelTest
testTautology23
Success
0.012
CalculateTruthUnaryModelTest
testTautology24
Success
0.008
CalculateTruthUnaryModelTest
testTautology25
Success
0.020
CalculateTruthUnaryModelTest
testTautology26
Success
0.017
CalculateTruthUnaryModelTest
testTautology27
Success
0.009
CalculateTruthUnaryModelTest
testTautology29
Success
0.030
CalculateTruthUnaryModelTest
testTautology30
Success
0.022
CalculateTruthUnaryModelTest
testTautology32
Success
0.012
CalculateTruthUnaryModelTest
testTautology33
Success
0.018
CalculateTruthUnaryModelTest
testTautology35
Success
0.019
CalculateTruthUnaryModelTest
testTautology36
Success
0.010
CalculateTruthUnaryModelTest
testTautology38
Success
0.019
CalculateTruthUnaryModelTest
testTautology39
Success
0.061
CalculateTruthUnaryModelTest
testTautology40
Success
0.099
CalculateTruthUnaryModelTest
testTautology42
Success
0.013
CalculateTruthUnaryModelTest
testTautology43
Success
0.004
CalculateTruthUnaryModelTest
testTautology44
Success
0.015
CalculateTruthUnaryModelTest
testTautology45
Success
0.005
CalculateTruthUnaryModelTest
testTautology46
Success
0.016
CalculateTruthUnaryModelTest
testTautology47
Success
0.005
DynamicDirectInterpreterTest
testTautology01
Success
3.428
DynamicDirectInterpreterTest
testTautology02
Success
0.595
DynamicDirectInterpreterTest
testTautology03
Success
0.515
DynamicDirectInterpreterTest
testTautology04
Success
0.508
DynamicDirectInterpreterTest
testTautology05
Success
0.546
DynamicDirectInterpreterTest
testTautology06
Success
0.524
DynamicDirectInterpreterTest
testTautology07
Success
0.768
DynamicDirectInterpreterTest
testTautology08
Success
1.464
DynamicDirectInterpreterTest
testTautology09
Success
0.822
DynamicDirectInterpreterTest
testTautology10
Success
0.988
DynamicDirectInterpreterTest
testTautology11
Success
0.524
DynamicDirectInterpreterTest
testTautology12
Success
0.447
DynamicDirectInterpreterTest
testTautology13
Success
0.914
DynamicDirectInterpreterTest
testTautology14
Success
0.323
DynamicDirectInterpreterTest
testTautology15
Success
0.680
DynamicDirectInterpreterTest
testTautology16
Success
0.557
DynamicDirectInterpreterTest
testTautology17
Success
0.666
DynamicDirectInterpreterTest
testTautology18
Success
1.052
DynamicDirectInterpreterTest
testTautology19
Success
0.349
DynamicDirectInterpreterTest
testTautology20
Success
0.582
DynamicDirectInterpreterTest
testTautology21
Success
0.667
DynamicDirectInterpreterTest
testTautology22
Success
1.041
DynamicDirectInterpreterTest
testTautology23
Success
0.775
DynamicDirectInterpreterTest
testTautology24
Success
0.419
DynamicDirectInterpreterTest
testTautology25
Success
0.654
DynamicDirectInterpreterTest
testTautology26
Success
0.542
DynamicDirectInterpreterTest
testTautology27
Success
1.011
DynamicDirectInterpreterTest
testTautology28
Success
0.401
DynamicDirectInterpreterTest
testTautology29
Success
0.574
DynamicDirectInterpreterTest
testTautology30
Success
0.825
DynamicDirectInterpreterTest
testTautology31
Success
0.388
DynamicDirectInterpreterTest
testTautology32
Success
0.625
DynamicDirectInterpreterTest
testTautology33
Success
0.659
DynamicDirectInterpreterTest
testTautology34
Success
0.481
DynamicDirectInterpreterTest
testTautology35
Success
0.430
DynamicDirectInterpreterTest
testTautology36
Success
0.402
DynamicDirectInterpreterTest
testTautology37
Success
0.547
DynamicDirectInterpreterTest
testTautology38
Success
0.432
DynamicDirectInterpreterTest
testTautology39
Success
1.104
DynamicDirectInterpreterTest
testTautology40
Success
36.482
DynamicDirectInterpreterTest
testTautology41
Success
1.295
DynamicDirectInterpreterTest
testTautology42
Success
0.436
DynamicDirectInterpreterTest
testTautology43
Success
0.644
DynamicDirectInterpreterTest
testTautology44
Success
0.926
DynamicDirectInterpreterTest
testTautology45
Success
0.795
DynamicDirectInterpreterTest
testTautology46
Success
1.076
DynamicDirectInterpreterTest
testTautology47
Success
9.513
DynamicDirectInterpreterTest
testTautology50
Success
0.349
DynamicDirectInterpreterTest
testTautology51
Success
0.298
DynamicDirectInterpreterTest
testTautology52
Success
0.340
DynamicDirectInterpreterTest
testTautology53
Success
49.167
DynamicInterpreterTest
testTautology01
Success
1.822
DynamicInterpreterTest
testTautology02
Success
0.342
DynamicInterpreterTest
testTautology03
Success
0.241
DynamicInterpreterTest
testTautology04
Success
0.241
DynamicInterpreterTest
testTautology05
Success
0.207
DynamicInterpreterTest
testTautology06
Success
0.318
DynamicInterpreterTest
testTautology07
Success
0.355
DynamicInterpreterTest
testTautology08
Success
0.169
DynamicInterpreterTest
testTautology09
Success
0.212
DynamicInterpreterTest
testTautology10
Success
0.420
DynamicInterpreterTest
testTautology11
Success
0.448
DynamicInterpreterTest
testTautology12
Success
0.163
DynamicInterpreterTest
testTautology13
Success
0.246
DynamicInterpreterTest
testTautology14
Success
0.189
DynamicInterpreterTest
testTautology15
Success
0.312
DynamicInterpreterTest
testTautology16
Success
0.163
DynamicInterpreterTest
testTautology17
Success
0.191
DynamicInterpreterTest
testTautology18
Success
0.183
DynamicInterpreterTest
testTautology19
Success
0.183
DynamicInterpreterTest
testTautology20
Success
0.195
DynamicInterpreterTest
testTautology21
Success
0.386
DynamicInterpreterTest
testTautology22
Success
0.209
DynamicInterpreterTest
testTautology23
Success
0.169
DynamicInterpreterTest
testTautology24
Success
0.218
DynamicInterpreterTest
testTautology25
Success
0.169
DynamicInterpreterTest
testTautology26
Success
0.225
DynamicInterpreterTest
testTautology27
Success
0.229
DynamicInterpreterTest
testTautology28
Success
0.133
DynamicInterpreterTest
testTautology29
Success
0.295
DynamicInterpreterTest
testTautology30
Success
0.283
DynamicInterpreterTest
testTautology31
Success
0.132
DynamicInterpreterTest
testTautology32
Success
0.514
DynamicInterpreterTest
testTautology33
Success
0.694
DynamicInterpreterTest
testTautology34
Success
1.214
DynamicInterpreterTest
testTautology35
Success
0.809
DynamicInterpreterTest
testTautology36
Success
0.425
DynamicInterpreterTest
testTautology37
Success
0.169
DynamicInterpreterTest
testTautology38
Success
0.221
DynamicInterpreterTest
testTautology39
Success
0.164
DynamicInterpreterTest
testTautology40
Success
3.998
DynamicInterpreterTest
testTautology41
Success
0.331
DynamicInterpreterTest
testTautology42
Success
0.334
DynamicInterpreterTest
testTautology50
Success
0.181
DynamicInterpreterTest
testTautology51
Success
0.247
DynamicInterpreterTest
testTautology52
Success
0.270
FunctionVariableTest
testGetArgumentNumber
Success
0.296
FunctionVariableTest
testGetName
Success
0.152
FunctionVariableTest
testEquals
Success
0.042
FunctionVariableTest
testToString
Success
0.026
FunctionVariableTest
testHashCode
Success
0.040
ModelFunctionConstantTest
testGetArgumentNumber
Success
0.303
ModelFunctionConstantTest
testGetName
Success
0.146
ModelFunctionConstantTest
testEquals
Success
0.379
ModelFunctionConstantTest
testToString
Success
0.133
ModelFunctionConstantTest
testHashCode
Success
0.006
ModelPredicateConstantTest
testGetArgumentNumber
Success
0.280
ModelPredicateConstantTest
testGetName
Success
0.031
ModelPredicateConstantTest
testEquals
Success
0.014
ModelPredicateConstantTest
testToString
Success
0.006
ModelPredicateConstantTest
testHashCode
Success
0.006
OperatorTest
testGetArgumentNumber
Success
0.318
OperatorTest
testGetName
Success
0.022
OperatorTest
testEquals
Success
0.005
OperatorTest
testToString
Success
0.008
OperatorTest
testHashCode
Success
0.017
PredicateVariableTest
testGetArgumentNumber
Success
0.224
PredicateVariableTest
testGetName
Success
0.028
PredicateVariableTest
testEquals
Success
0.009
PredicateVariableTest
testToString
Success
0.017
PredicateVariableTest
testHashCode
Success
0.007
ProofCheckerTest
testCheck1
Success
2.465
ProofCheckerTest
testCheck4
Success
0.521
ProofCheckerTest
testCheck6
Success
0.432
ProofFinderImplTest
testFind
Success
16.464
ProofFinderImplTest
testFind2
Success
50.377
ProofFinderImplTest
testFind3
Success
0.306
FormulaCheckerClassTermTest
testClassTermPositive01
Success
0.196
FormulaCheckerClassTermTest
testClassTermPositive02
Success
0.004
FormulaCheckerClassTermTest
testClassTermPositive03
Success
0.004
FormulaCheckerClassTermTest
testClassTermNegative01
Success
0.005
FormulaCheckerClassTermTest
testClassTermNegative02
Success
0.002
FormulaCheckerClassTermTest
testClassTermNegative03
Success
0.004
FormulaCheckerClassTermTest
testClassTermNegative04
Success
0.003
FormulaCheckerClassTermTest
testClassTermNegative05
Success
0.005
FormulaCheckerContextTest
testNegative00
Success
0.933
FormulaCheckerContextTest
testNegative01
Success
0.088
FormulaCheckerContextTest
testNegative02
Success
0.665
FormulaCheckerContextTest
testNegative03
Success
0.129
FormulaCheckerContextTest
testNegative04
Success
0.150
FormulaCheckerContextTest
testPositive01
Success
1.603
FormulaCheckerContextTest
testPositive02
Success
0.803
FormulaCheckerContextTest
testPositive03
Success
1.366
FormulaCheckerContextTest
testPositive03b
Success
1.632
FormulaCheckerContextTest
testPositive04
Success
3.214
FormulaCheckerContextTest
testPositive05
Success
0.344
FormulaCheckerContextTest
testPositive06
Success
0.071
FormulaCheckerFormulaTest
testFormulaPositive01
Success
0.125
FormulaCheckerFormulaTest
testFormulaPositive02
Success
0.012
FormulaCheckerFormulaTest
testFormulaPositive03
Success
0.002
FormulaCheckerFormulaTest
testFormulaNegative01
Success
0.003
FormulaCheckerFormulaTest
testFormulaNegative02
Success
0.002
FormulaCheckerFormulaTest
testFormulaNegative03
Success
0.002
FormulaCheckerFunctionTermTest
testFunctionTermPositive01
Success
0.147
FormulaCheckerFunctionTermTest
testFunctionTermPositive02
Success
0.003
FormulaCheckerFunctionTermTest
testFunctionTermNegative01
Success
0.003
FormulaCheckerFunctionTermTest
testFunctionTermNegative01b
Success
0.001
FormulaCheckerFunctionTermTest
testFunctionTermNegative02
Success
0.002
FormulaCheckerFunctionTermTest
testFunctionTermNegative09
Success
0.005
FormulaCheckerFunctionTermTest
testFunctionTermNegative10
Success
0.002
FormulaCheckerFunctionTermTest
testFunctionTermNegative13
Success
0.002
FormulaCheckerFunctionTermTest
testFunctionTermNegative14
Success
0.001
FormulaCheckerFunctionTermTest
testFunctionTermNegative15
Success
0.003
FormulaCheckerFunctionTermTest
testFunctionTermNegative16
Success
0.002
FormulaCheckerFunctionTermTest
testFunctionTermNegative19
Success
0.002
FormulaCheckerFunctionTermTest
testFunctionTermNegative20
Success
0.003
FormulaCheckerFunctionTermTest
testFunctionTermNegative22
Success
0.002
FormulaCheckerGlobalTest
testGlobalFormulaPositive
Success
0.121
FormulaCheckerGlobalTest
testGlobalFormulaNegative01
Success
0.002
FormulaCheckerGlobalTest
testGlobalTermNegative01
Success
0.000
FormulaCheckerGlobalTest
testGlobalFormulaNegative03
Success
0.001
FormulaCheckerGlobalTest
testGlobalFormulaNegative04
Success
0.000
FormulaCheckerGlobalTest
testGlobalFormulaNegative05
Success
0.001
FormulaCheckerGlobalTest
testGlobalFormulaNegative06
Success
0.001
FormulaCheckerGlobalTest
testGlobalFormulaNegative07
Success
0.001
FormulaCheckerGlobalTest
testGlobalFormulaNegative08
Success
0.001
FormulaCheckerGlobalTest
testGlobalFormulaNegative09
Success
0.001
FormulaCheckerGlobalTest
testGlobalFormulaNegative11
Success
0.000
FormulaCheckerGlobalTest
testGlobalFormulaNegative12
Success
0.000
FormulaCheckerGlobalTest
testGlobalFormulaNegative13
Success
0.001
FormulaCheckerGlobalTest
testGlobalFormulaNegative14
Success
0.000
FormulaCheckerGlobalTest
testGlobalFormulaNegative15
Success
0.001
FormulaCheckerGlobalTest
testGlobalFormulaNegative16
Success
0.001
FormulaCheckerGlobalTest
testGlobalFormulaNegative21
Success
0.001
FormulaCheckerGlobalTest
testGlobalFormulaNegative23
Success
0.000
FormulaCheckerGlobalTest
testGlobalFormulaNegative24
Success
0.001
FormulaCheckerLogicalConnectivesTest
testLogicalConnectivePositive01
Success
0.223
FormulaCheckerLogicalConnectivesTest
testLogicalConnectivePositive02
Success
0.002
FormulaCheckerLogicalConnectivesTest
testLogicalConnectivePositive03
Success
0.002
FormulaCheckerLogicalConnectivesTest
testLogicalConnectivePositive04
Success
0.002
FormulaCheckerLogicalConnectivesTest
testLogicalConnectivePositive05
Success
0.003
FormulaCheckerLogicalConnectivesTest
testLogicalConnectivePositive06
Success
0.003
FormulaCheckerLogicalConnectivesTest
testLogicalConnectivePositive07
Success
0.002
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative01
Success
0.005
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative02
Success
0.002
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative03
Success
0.002
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative04
Success
0.002
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative05
Success
0.002
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative06
Success
0.004
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative07
Success
0.006
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative08
Success
0.002
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative09
Success
0.003
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative10
Success
0.010
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative11
Success
0.004
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative12
Success
0.012
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative13
Success
0.003
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative14
Success
0.001
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative15
Success
0.003
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative16
Success
0.003
FormulaCheckerLogicalConnectivesTest
testLogicalConnectiveNegative17
Success
0.006
FormulaCheckerNegationTest
testNegationPositive01
Success
0.130
FormulaCheckerNegationTest
testNegationNegative01
Success
0.006
FormulaCheckerNegationTest
testNegationNegative02
Success
0.002
FormulaCheckerPredicateFormulaTest
testPredicateFormulaPositive01
Success
0.134
FormulaCheckerPredicateFormulaTest
testPredicateFormulaPositive02
Success
0.002
FormulaCheckerPredicateFormulaTest
testPredicateFormulaNegative01
Success
0.003
FormulaCheckerPredicateFormulaTest
testPredicateFormulaNegative02
Success
0.001
FormulaCheckerPredicateFormulaTest
testPredicateFormulaNegative09
Success
0.003
FormulaCheckerPredicateFormulaTest
testPredicateFormulaNegative10
Success
0.002
FormulaCheckerPredicateFormulaTest
testPredicateFormulaNegative13
Success
0.002
FormulaCheckerPredicateFormulaTest
testPredicateFormulaNegative14
Success
0.002
FormulaCheckerPredicateFormulaTest
testPredicateFormulaNegative15
Success
0.005
FormulaCheckerPredicateFormulaTest
testPredicateFormulaNegative16
Success
0.003
FormulaCheckerPredicateFormulaTest
testPredicateFormulaNegative19
Success
0.003
FormulaCheckerPredicateFormulaTest
testPredicateFormulaNegative20
Success
0.001
FormulaCheckerPredicateFormulaTest
testPredicateFormulaNegative22
Success
0.001
FormulaCheckerQuantifiersTest
testQuantifiersPositive01
Success
0.147
FormulaCheckerQuantifiersTest
testQuantifiersPositive02
Success
0.002
FormulaCheckerQuantifiersTest
testQuantifiersPositive03
Success
0.002
FormulaCheckerQuantifiersTest
testQuantifiersPositive04
Success
0.004
FormulaCheckerQuantifiersTest
testQuantifiersPositive05
Success
0.003
FormulaCheckerQuantifiersTest
testQuantifiersPositive06
Success
0.005
FormulaCheckerQuantifiersTest
testQuantifiersNegative01
Success
0.004
FormulaCheckerQuantifiersTest
testQuantifiersNegative02
Success
0.003
FormulaCheckerQuantifiersTest
testQuantifiersNegative03
Success
0.002
FormulaCheckerQuantifiersTest
testQuantifiersNegative04
Success
0.002
FormulaCheckerQuantifiersTest
testQuantifiersNegative05
Success
0.006
FormulaCheckerQuantifiersTest
testQuantifiersNegative06
Success
0.002
FormulaCheckerQuantifiersTest
testQuantifiersNegative07
Success
0.003
FormulaCheckerQuantifiersTest
testQuantifiersNegative08
Success
0.008
FormulaCheckerQuantifiersTest
testQuantifiersNegative09
Success
0.001
FormulaCheckerQuantifiersTest
testQuantifiersNegative10
Success
0.003
FormulaCheckerQuantifiersTest
testQuantifiersNegative11
Success
0.007
FormulaCheckerQuantifiersTest
testQuantifiersNegative12
Success
0.002
FormulaCheckerQuantifiersTest
testQuantifiersNegative16
Success
0.007
FormulaCheckerQuantifiersTest
testQuantifiersNegative17
Success
0.003
FormulaCheckerQuantifiersTest
testQuantifiersNegative18
Success
0.006
FormulaCheckerQuantifiersTest
testQuantifiersNegative19
Success
0.009
FormulaCheckerQuantifiersTest
testQuantifiersNegative20
Success
0.005
FormulaCheckerQuantifiersTest
testQuantifiersNegative21
Success
0.004
FormulaCheckerQuantifiersTest
testQuantifiersNegative22
Success
0.003
FormulaCheckerQuantifiersTest
testQuantifiersNegative23
Success
0.004
FormulaCheckerQuantifiersTest
testQuantifiersNegative24
Success
0.007
FormulaCheckerQuantifiersTest
testQuantifiersNegative25
Success
0.005
FormulaCheckerQuantifiersTest
testQuantifiersNegative26
Success
0.005
FormulaCheckerQuantifiersTest
testQuantifiersNegative27
Success
0.004
FormulaCheckerSubjectVariableTest
testSubjectVariablePositive
Success
0.173
FormulaCheckerSubjectVariableTest
testSubjectVariableNegative1
Success
0.011
FormulaCheckerSubjectVariableTest
testSubjectVariableNegative2
Success
0.001
FormulaCheckerSubjectVariableTest
testSubjectVariableNegative3
Success
0.004
FormulaCheckerTermTest
testTermPositive01
Success
0.219
FormulaCheckerTermTest
testTermPositive02
Success
0.002
FormulaCheckerTermTest
testTermPositive03
Success
0.002
FormulaCheckerTermTest
testTermPositive04
Success
0.002
FormulaCheckerTermTest
testTermNegative01
Success
0.005
FormulaCheckerTermTest
testTermNegative02
Success
0.001
FormulaCheckerTermTest
testTermNegative03
Success
0.002
FormulaCheckerTermTest
testTermNegative04
Success
0.001
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.003
FormulaCheckerTest
testPositive1
Success
0.149
FormulaCheckerTest
testPositive2
Success
0.045
FormulaCheckerTest
testPositive3
Success
0.039
FormulaCheckerTest
testPositive4
Success
0.032
FormulaCheckerTest
testPositive5
Success
0.023
FormulaCheckerTest
testPositive6
Success
0.029
FormulaCheckerTest
testPositive7
Success
0.022
FormulaCheckerTest
testPositive8
Success
0.003
FormulaCheckerTest
testNegative1
Success
0.009
FormulaCheckerTest
testPositive9
Success
0.025
FormulaCheckerTest
testNegative3
Success
0.004
FormulaCheckerTest
testNegative4
Success
0.002
FormulaCheckerTest
testNegative5
Success
0.004
FormulaCheckerTest
testNegative6
Success
0.011
FormulaCheckerTest
testNegative7
Success
0.002
FormulaCheckerTest
testNegative8
Success
0.004
FormulaCheckerTest
testNegative9
Success
0.003
FormulaCheckerTest
testNegative10
Success
0.004
FormulaCheckerTest
testNegative11
Success
0.005
FormulaCheckerTest
testNegative12
Success
0.001
FormulaCheckerTest
testNegative13
Success
0.005
VisitorContextTest
testContext
Success
1666.079
AsciiMathParserTest
testReadMaximalTerm00
Success
0.727
AsciiMathParserTest
testReadMaximalTerm01
Success
0.123
AsciiMathParserTest
testReadMaximalTerm02
Success
0.052
AsciiMathParserTest
testReadMaximalTerm03
Success
0.045
AsciiMathParserTest
testReadMaximalTerm04
Success
0.028
AsciiMathParserTest
testReadMaximalTerm05
Success
0.089
AsciiMathParserTest
testReadMaximalTerm06
Success
0.016
AsciiMathParserTest
testReadMaximalTerm07
Success
0.015
AsciiMathParserTest
testReadMaximalTerm08
Success
0.025
AsciiMathParserTest
testReadMaximalTerm09
Success
0.035
AsciiMathParserTest
testReadMaximalTerm10
Success
0.013
AsciiMathParserTest
testReadMaximalTerm11
Success
0.021
AsciiMathParserTest
testReadMaximalTerm12
Success
0.032
AsciiMathParserTest
testReadMaximalTerm13
Success
0.028
AsciiMathParserTest
testReadMaximalTerm14
Success
0.025
AsciiMathParserTest
testReadMaximalTerm15
Success
0.013
AsciiMathParserTest
testReadMaximalTerm16
Success
0.045
AsciiMathParserTest
testReadMaximalTerm17
Success
0.055
AsciiMathParserTest
testReadMaximalTerm18
Success
0.014
AsciiMathParserTest
testReadMaximalTerm19
Success
0.021
AsciiMathParserTest
testReadMaximalTerm20
Success
0.028
AsciiMathParserTest
testReadMaximalTerm21
Success
0.018
AsciiMathParserTest
testReadMaximalTerm22
Success
0.023
AsciiMathParserTest
testReadMaximalTerm23
Success
0.013
AsciiMathParserTest
testReadMaximalTerm24
Success
0.022
AsciiMathParserTest
testReadMaximalTerm26
Success
0.013
AsciiMathParserTest
testReadMaximalTerm27
Success
0.039
AsciiMathParserTest
testReadMaximalTerm28
Success
0.013
AsciiMathParserTest
testReadMaximalTerm29
Success
0.019
AsciiMathParserTest
testReadMaximalTerm30
Success
0.010
AsciiMathParserTest
testReadMaximalTerm31
Success
0.011
AsciiMathParserTest
testReadMaximalTerm32
Success
0.010
AsciiMathParserTest
testReadMaximalTerm33
Success
0.011
AsciiMathParserTest
testReadMaximalTerm34
Success
0.019
AsciiMathParserTest
testReadMaximalTerm35
Success
0.008
AsciiMathParserTest
testReadMaximalTerm36
Success
0.007
AsciiMathParserTest
testReadMaximalTerm37
Success
0.015
AsciiMathParserTest
testReadMaximalTerm38
Success
0.012
AsciiMathParserTest
testReadMaximalTerm39
Success
0.009
AsciiMathParserTest
testReadMaximalTerm40
Success
0.067
AsciiMathParserTest
testReadMaximalTerm41
Success
0.010
AsciiMathParserTest
testReadMaximalTerm42
Success
0.088
AsciiMathParserTest
testReadMaximalTerm43
Success
0.011
AsciiMathParserTest
testReadMaximalTerm44
Success
0.009
AsciiMathParserTest
testReadMaximalTerm45
Success
0.010
AsciiMathParserTest
testReadMaximalTerm46
Success
0.009
AsciiMathParserTest
testReadMaximalTerm47
Success
0.009
AsciiMathParserTest
testReadMaximalTerm48
Success
0.009
AsciiMathParserTest
testReadMaximalTerm49
Success
0.010
AsciiMathParserTest
testReadMaximalTerm50
Success
0.006
AsciiMathParserTest
testException00
Success
0.008
AsciiMathParserTest
testException01
Success
0.007
AsciiMathParserTest
testException02
Success
0.008
AsciiMathParserTest
testException03
Success
0.009
AsciiMathParserTest
testException04
Success
0.014
AsciiMathParserTest
testException05
Success
0.009
AsciiMathParserTest
testException06
Success
0.006
AsciiMathParserTest
testAllTogether
Success
0.195
LatexMathParserTest
testReadMaximalTerm00
Success
0.467
LatexMathParserTest
testReadMaximalTerm01
Success
0.061
LatexMathParserTest
testReadMaximalTerm02
Success
0.053
LatexMathParserTest
testReadMaximalTerm03
Success
0.042
LatexMathParserTest
testReadMaximalTerm04
Success
0.049
LatexMathParserTest
testReadMaximalTerm05
Success
0.033
LatexMathParserTest
testReadMaximalTerm06
Success
0.027
LatexMathParserTest
testReadMaximalTerm07
Success
0.028
LatexMathParserTest
testReadMaximalTerm08
Success
0.032
LatexMathParserTest
testReadMaximalTerm09
Success
0.034
LatexMathParserTest
testAllTogether
Success
0.053
OperatorTest
testGetMin
Success
0.256
OperatorTest
testGetMax
Success
0.010
OperatorTest
testEquals
Success
0.008
OperatorTest
testToString
Success
0.010
OperatorTest
testIsFix
Success
0.035
SimpleMathParserTest
testReadMaximalTerm00
Success
0.741
SimpleMathParserTest
testReadMaximalTerm01
Success
0.208
SimpleMathParserTest
testReadMaximalTerm02
Success
0.173
SimpleMathParserTest
testReadMaximalTerm03
Success
0.121
SimpleMathParserTest
testReadMaximalTerm04
Success
0.026
SimpleMathParserTest
testReadMaximalTerm05
Success
0.037
SimpleMathParserTest
testReadMaximalTerm06
Success
0.022
SimpleMathParserTest
testReadMaximalTerm07
Success
0.018
SimpleMathParserTest
testReadMaximalTerm08
Success
0.013
SimpleMathParserTest
testReadMaximalTerm09
Success
0.027
SimpleMathParserTest
testReadMaximalTerm10
Success
0.018
SimpleMathParserTest
testReadMaximalTerm11
Success
0.014
SimpleMathParserTest
testReadMaximalTerm12
Success
0.021
SimpleMathParserTest
testReadMaximalTerm13
Success
0.011
SimpleMathParserTest
testReadMaximalTerm14
Success
0.013
SimpleMathParserTest
testReadMaximalTerm15
Success
0.013
SimpleMathParserTest
testReadMaximalTerm16
Success
0.016
SimpleMathParserTest
testReadMaximalTerm17
Success
0.052
SimpleMathParserTest
testReadMaximalTerm18
Success
0.010
SimpleMathParserTest
testReadMaximalTerm19
Success
0.009
SimpleMathParserTest
testReadMaximalTerm20
Success
0.012
SimpleMathParserTest
testReadMaximalTerm21
Success
0.014
SimpleMathParserTest
testReadMaximalTerm22
Success
0.023
SimpleMathParserTest
testReadMaximalTerm23
Success
0.039
SimpleMathParserTest
testReadMaximalTerm24
Success
0.021
SimpleMathParserTest
testReadMaximalTerm25
Success
0.015
SimpleMathParserTest
testReadMaximalTerm26
Success
0.031
SimpleMathParserTest
testReadMaximalTerm27
Success
0.035
SimpleMathParserTest
testReadMaximalTerm28
Success
0.056
SimpleMathParserTest
testAllTogether
Success
0.020
CheckRequiredModuleExceptionTest
testCreator
Success
0.215
CheckRequiredModuleExceptionTest
testGetter
Success
0.004
DefaultKernelQedeqBoTest
testConstructor
Success
0.229
DefaultKernelQedeqBoTest
testHasFailures
Success
0.068
DefaultKernelQedeqBoTest
testSetLoadingFailureState
Success
0.003
DefaultKernelQedeqBoTest
testSetLoadingProgressState
Success
0.004
DefaultKernelQedeqBoTest
testSetDependencyFailureState
Success
0.003
LoadRequiredModulesTest
testLoadRequiredModules_01
Success
1.160
LoadRequiredModulesTest
testLoadRequiredModules_02
Success
0.382
LoadRequiredModulesTest
testLoadRequiredModules_03
Success
0.235
LoadRequiredModulesTest
testLoadRequiredModules_04
Success
0.309
LoadRequiredModulesTest
testLoadRequiredModules_05
Success
0.420
LoadRequiredModulesTest
testLoadRequiredModules_06
Success
0.247
LoadRequiredModulesTest
testLoadRequiredModules_07
Success
0.366
LoadRequiredModulesTest
testLoadRequiredModules_08
Success
0.421
LoadRequiredModulesTest
testLoadRequiredModules_09
Success
0.443
LoadRequiredModulesTest
testLoadRequiredModules_09b
Success
0.525
LoadRequiredModulesTest
testLoadRequiredModules_09c
Success
0.348
LoadRequiredModulesTest
testLoadRequiredModules_09d
Success
1.222
LoadRequiredModulesTest
testLoadRequiredModules_10
Success
0.162
LoadRequiredModulesTest
testLoadRequiredModules_11
Success
0.067
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_01
Success
1.179
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_02
Success
0.495
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_03
Success
0.292
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_04
Success
0.278
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_05
Success
0.150
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_06
Success
0.158
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_07
Success
0.163
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_08
Success
0.138
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_09
Success
0.171
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_10
Success
0.050
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_11
Success
0.089
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_12
Success
0.344
ModuleConstantsExistenceCheckerTest
testModuleConstantsExistenceChecker_13
Success
0.228
QedeqBoFactoryTest
testCreateStringQedeq1
Success
9.711
QedeqBoFactoryTest
testCreateStringQedeq2
Success
9.121
QedeqBoFactoryTest
testCreateStringQedeq3
Success
13.052
QedeqBoFactoryTest
testCreateStringQedeq4
Success
6.614
QedeqBoFactoryTest
testCreateStringQedeq5
Success
1452.514
QedeqBoFactoryTest
testCreateStringQedeq6
Success
332.694
DynamicHeuristicCheckerPluginTest
testQedeqSampleScript1
Success
1.281
HeuristicCheckerPluginTest
testQedeqLogicScript1
Success
2.300
HeuristicCheckerPluginTest
testQedeqLogicScript2
Success
0.209
HeuristicCheckerPluginTest
testQedeqSetTheoryScript1
Success
6.760
HeuristicCheckerPluginTest
testQedeqSetTheoryScript2
Success
0.739
Element2LatexImplTest
testClass
Success
0.110
Element2LatexImplTest
testVar
Success
0.003
Element2LatexImplTest
testFuncon
Success
0.002
Element2LatexImplTest
testFunvar
Success
0.007
Element2LatexImplTest
testPredcon
Success
0.006
Element2LatexImplTest
testPredvar
Success
0.005
Element2LatexImplTest
testVarious1
Success
0.004
Element2LatexImplTest
testBinaryLogical
Success
0.002
Element2LatexImplTest
testVarious2
Success
0.002
Element2LatexImplTest
testClasslist
Success
0.004
ExtendedGenerateLatexTest
testGeneration
Success
5948.285
ExtendedGenerateLatexTest
testGeneration2
Success
425.219
ExtendedGenerateLatexTest
testNegativeGeneration2
Success
0.408
ExtendedGenerateLatexTest
testNegative02
Success
0.033
ExtendedGenerateLatexTest
testNegative03
Success
0.069
ExtendedGenerateLatexTest
testNegative04
Success
0.023
ExtendedGenerateLatexTest
testNegative05
Success
0.266
ExtendedGenerateLatexTest
testNegative06
Success
0.156
ExtendedGenerateLatexTest
testNegative07
Success
0.141
ExtendedGenerateLatexTest
testNegative08
Success
0.196
GenerateLatexTest
testGeneration
Success
7.813
GenerateLatexTest
testGeneration2
Success
1.890
GenerateLatexTest
testNegativeGeneration2
Success
0.478
GenerateLatexTest
testNegative02
Success
0.102
GenerateLatexTest
testNegative03
Success
0.022
GenerateLatexTest
testNegative04
Success
0.030
GenerateLatexTest
testNegative05
Success
0.091
GenerateLatexTest
testNegative06
Success
0.076
GenerateLatexTest
testNegative07
Success
0.102
GenerateLatexTest
testNegative08
Success
0.077
Qedeq2LatexTest
testQ2L001_v1
Success
1.252
Qedeq2LatexTest
testQ2L001_v2
Success
0.895
Qedeq2LatexTest
testQ2L002
Success
0.820
Qedeq2LatexTest
testQ2L003
Success
0.312
FormalProofCheckerPluginTest
testPlugin
Success
1.018
FormalProofCheckerPluginTest
testPlugin2
Success
1.406
FormalProofCheckerPluginTest
testPlugin3
Success
2.467
FormalProofCheckerPluginTest
testPlugin4
Success
0.877
FormalProofCheckerPluginTest
testProof_003
Success
0.065
QedeqBoFormalLogicCheckerDirectTest
testNegative00
Success
0.557
QedeqBoFormalLogicCheckerDirectTest
testNegative01
Success
0.045
QedeqBoFormalLogicCheckerDirectTest
testNegative02
Success
0.276
QedeqBoFormalLogicCheckerDirectTest
testNegative03
Success
0.111
QedeqBoFormalLogicCheckerDirectTest
testNegative04
Success
0.122
QedeqBoFormalLogicCheckerTest
testCheckModule
Success
1.422
SimpleProofFinderPluginTest
testPlugin
Success
46.377
SimpleProofFinderPluginTest
testPlugin2
Success
50.687
SimpleProofFinderPluginTest
testPluginFast
Success
61.485
GenerateUtf8Test
testGeneration1
Success
2.516
GenerateUtf8Test
testGeneration1b
Success
2.342
GenerateUtf8Test
testGeneration2
Success
0.743
GenerateUtf8Test
testGeneration3
Success
1.180
GenerateUtf8Test
testGeneration3b
Success
0.703
GenerateUtf8Test
testGeneration3c
Success
0.391
GenerateUtf8Test
testGeneration4
Success
1.706
GenerateUtf8Test
testGeneration5
Success
1.247
GenerateUtf8Test
testGeneration6
Success
0.674
GenerateUtf8Test
testGeneration7
Success
0.059
Latex2UnicodeParserTest
test01
Success
0.119
Latex2UnicodeParserTest
test02
Success
0.034
Latex2UnicodeParserTest
test03
Success
0.031
Latex2UnicodeParserTest
test04
Success
0.013
Latex2UnicodeParserTest
test05
Success
0.002
Latex2UnicodeParserTest
test06
Success
0.002
Latex2UnicodeParserTest
test07
Success
0.008
Latex2UnicodeParserTest
test08
Success
0.003
Latex2UnicodeParserTest
test09
Success
0.003
Latex2UnicodeParserTest
test10
Success
0.004
Latex2UnicodeParserTest
test11
Success
0.006
Latex2UnicodeParserTest
test12
Success
0.002
Qedeq2UnicodeTextExecutorTest
testGeneration1
Success
3.265
Qedeq2UnicodeTextExecutorTest
testGeneration1b
Success
3.001
Qedeq2UnicodeTextExecutorTest
testGeneration2
Success
0.759
Qedeq2UnicodeTextExecutorTest
testGeneration3
Success
0.903
Qedeq2UnicodeTextExecutorTest
testGeneration3b
Success
0.698
Qedeq2UnicodeTextExecutorTest
testGeneration3c
Success
0.257
Qedeq2UnicodeTextExecutorTest
testGeneration4
Success
2.146
Qedeq2UnicodeTextExecutorTest
testGeneration5
Success
1.002
Qedeq2UnicodeTextExecutorTest
testGeneration6
Success
1.107
KernelBoEachClassHasATest
testIfEveryClassIsTested
Success
8.679