Unit Test Results.

Designed for use with JUnit and Ant.

All Tests

ClassNameStatusTypeTime(s)
KernelContextTesttestGetBuildIdSuccess0.058
KernelContextTesttestGetKernelVersionSuccess0.003
KernelContextTesttestGetDedicationVersionSuccess0.002
KernelContextTesttestGetDescriptiveKernelVersionSuccess0.002
KernelContextTesttestGetKernelCodeNameSuccess0.004
KernelContextTesttestGetKernelVersionDirectorySuccess0.002
KernelContextTesttestIsRuleVersionSupportedSuccess0.004
KernelContextTesttestGetMaximalRuleVersionSuccess0.002
KernelContextTesttestIsSetConnectionTimeOutSupportedSuccess0.003
KernelContextTesttestIsSetReadTimeoutSupportedSuccess0.002
KernelContextTesttestGetConfigSuccess0.067
KernelContextTesttestInitSuccess0.004
KernelContextTesttestStartupSuccess0.003
KernelContextTesttestShutdownSuccess0.015
KernelContextTesttestRemoveAllModulesSuccess0.003
KernelContextTesttestRemoveModuleSuccess0.006
KernelContextTesttestClearLocalBufferSuccess0.006
KernelContextTesttestLoadModuleSuccess0.003
KernelContextTesttestLoadAllModulesFromQedeqSuccess0.003
KernelContextTesttestLoadRequiredModulesSuccess0.007
KernelContextTesttestGetAllLoadedModulesSuccess0.003
KernelContextTesttestGetQedeqBoSuccess0.017
KernelContextTesttestGetModuleAddressSuccess0.005
KernelContextTesttestGetModuleAddress2Success0.002
KernelContextTesttestGetModuleAddress3Success0.002
KernelContextTesttestGetSourceSuccess0.003
KernelContextTesttestCheckWellFormednessSuccess0.002
KernelContextTesttestCheckFormallyProvedSuccess0.002
KernelContextTesttestGetPluginsSuccess0.002
KernelContextTesttestExecutePluginSuccess0.004
KernelContextTesttestClearAllPluginResultsSuccess0.002
KernelContextTesttestGetServiceProcessesSuccess0.002
KernelContextTesttestGetRunningServiceProcessesSuccess0.002
KernelContextTesttestStopAllPluginExecutionsSuccess0.003
BasicKernelTesttestGetBuildIdSuccess0.143
BasicKernelTesttestGetKernelVersionSuccess0.008
BasicKernelTesttestGetDedicationVersionSuccess0.007
BasicKernelTesttestGetDescriptiveKernelVersionSuccess0.005
BasicKernelTesttestGetKernelCodeNameSuccess0.005
BasicKernelTesttestGetKernelVersionDirectorySuccess0.003
BasicKernelTesttestIsRuleVersionSupportedSuccess0.006
BasicKernelTesttestGetMaximalRuleVersionSuccess0.004
BasicKernelTesttestIsSetConnectionTimeOutSupportedSuccess0.006
BasicKernelTesttestIsSetReadTimeoutSupportedSuccess0.006
QedeqBoSetTesttestConstructorSuccess0.404
QedeqBoSetTesttestSetOperationsSuccess0.010
QedeqBoSetTesttestSetOperations2Success0.003
QedeqBoSetTesttestRemoveSetSuccess0.003
QedeqBoSetTesttestRemoveSuccess0.002
QedeqBoSetTesttestAddSuccess0.003
QedeqBoSetTesttestAdd2Success0.003
QedeqBoSetTesttestContainsSuccess0.003
QedeqBoSetTesttestIsEmptySuccess0.003
QedeqBoSetTesttestIteratorSuccess0.005
QedeqBoSetTesttestToStringSuccess0.002
QedeqBoSetTesttestHashCodeSuccess0.002
QedeqBoSetTesttestEqualsSuccess0.002
DefaultModuleEventListenerTesttestAddModuleSuccess0.482
DefaultModuleEventListenerTesttestRemoveModuleSuccess0.010
DefaultModuleEventListenerTesttestStateChangedSuccess0.016
DefaultModuleEventListenerTesttestSetPrintStreamSuccess0.024
LogListenerImplTesttestLogFailureReplySuccess0.288
LogListenerImplTesttestLogSuccessfulReplySuccess0.009
LogListenerImplTesttestLogMessageStateSuccess0.005
LogListenerImplTesttestLogFailureStateSuccess0.010
LogListenerImplTesttestLogSuccesfulStateSuccess0.011
LogListenerImplTesttestLogRequestSuccess0.018
LogListenerImplTesttestLogMessageSuccess0.004
LogListenerImplTesttestSetPrintStreamSuccess0.005
LogListenerImplTesttestConstructorSuccess0.004
ModuleEventListenerLogTesttestAddModuleSuccess0.326
ModuleEventListenerLogTesttestRemoveModuleSuccess0.034
ModuleEventListenerLogTesttestStateChangedSuccess0.009
QedeqLogTesttestLogFailureReplySuccess0.492
QedeqLogTesttestLogSuccessfulReplySuccess0.022
QedeqLogTesttestLogMessageStateSuccess0.007
QedeqLogTesttestLogFailureStateSuccess0.008
QedeqLogTesttestLogSuccesfulStateSuccess0.010
QedeqLogTesttestLogRequestSuccess0.011
QedeqLogTesttestLogMessageSuccess0.008
QedeqLogTesttestRemoveLogSuccess0.015
QedeqLogTesttestRemoveLog2Success0.009
QedeqLogTesttestAddLogSuccess0.017
QedeqLogTesttestConstructorSuccess0.004
TraceListenerTesttestLogFailureReplySuccess0.539
TraceListenerTesttestLogSuccessfulReplySuccess0.019
TraceListenerTesttestLogMessageStateSuccess0.015
TraceListenerTesttestLogFailureStateSuccess0.034
TraceListenerTesttestLogSuccesfulStateSuccess0.010
TraceListenerTesttestLogRequestSuccess0.011
TraceListenerTesttestLogMessageSuccess0.009
FormulaCheckerFactoryImplTesttestCreateFormulaCheckerSuccess0.228
ProofCheckerFactoryImplTesttestCreateFormulaCheckerSuccess0.292
FormulaUtilityReplaceOperatorVariableTesttest_Positive01Success0.458
FormulaUtilityReplaceOperatorVariableTesttest_Positive02Success0.045
FormulaUtilityReplaceSubjectVariableQuantifierTesttestClassTermPositive01Success0.235
FormulaUtilityReplaceSubjectVariableQuantifierTesttestClassTermPositive02Success0.024
FormulaUtilityReplaceSubjectVariableQuantifierTesttestClassTermPositive03Success0.013
FormulaUtilityReplaceSubjectVariableQuantifierTesttestClassTermPositive04Success0.011
FormulaUtilityReplaceSubjectVariableQuantifierTesttestClassTermPositive05Success0.019
CalculateTruthDynamicThreeModelTesttestTautology44bSuccess1.793
CalculateTruthDynamicThreeModelTesttestTautology44Success0.286
CalculateTruthDynamicThreeModelTesttestTautology45Success0.275
CalculateTruthDynamicThreeModelTesttestTautology46Success0.335
CalculateTruthDynamicThreeModelTesttestTautology47Success0.364
CalculateTruthDynamicThreeModelTesttestTautology01Success0.267
CalculateTruthDynamicThreeModelTesttestTautology02Success0.318
CalculateTruthDynamicThreeModelTesttestTautology03Success0.326
CalculateTruthDynamicThreeModelTesttestTautology04Success0.263
CalculateTruthDynamicThreeModelTesttestTautology05Success0.197
CalculateTruthDynamicThreeModelTesttestTautology06Success0.433
CalculateTruthDynamicThreeModelTesttestTautology07Success0.318
CalculateTruthDynamicThreeModelTesttestTautology08Success0.141
CalculateTruthDynamicThreeModelTesttestTautology09Success0.163
CalculateTruthDynamicThreeModelTesttestTautology10Success0.156
CalculateTruthDynamicThreeModelTesttestTautology11Success0.336
CalculateTruthDynamicThreeModelTesttestTautology12Success0.246
CalculateTruthDynamicThreeModelTesttestTautology13Success0.280
CalculateTruthDynamicThreeModelTesttestTautology14Success0.135
CalculateTruthDynamicThreeModelTesttestTautology15Success0.409
CalculateTruthDynamicThreeModelTesttestTautology16Success0.127
CalculateTruthDynamicThreeModelTesttestTautology17Success0.120
CalculateTruthDynamicThreeModelTesttestTautology18Success0.227
CalculateTruthDynamicThreeModelTesttestTautology19Success0.215
CalculateTruthDynamicThreeModelTesttestTautology20Success0.283
CalculateTruthDynamicThreeModelTesttestTautology21Success0.116
CalculateTruthDynamicThreeModelTesttestTautology22Success0.184
CalculateTruthDynamicThreeModelTesttestTautology23Success0.260
CalculateTruthDynamicThreeModelTesttestTautology24Success0.240
CalculateTruthDynamicThreeModelTesttestTautology25Success0.314
CalculateTruthDynamicThreeModelTesttestTautology26Success0.428
CalculateTruthDynamicThreeModelTesttestTautology27Success0.239
CalculateTruthDynamicThreeModelTesttestTautology28Success0.120
CalculateTruthDynamicThreeModelTesttestTautology29Success0.237
CalculateTruthDynamicThreeModelTesttestTautology30Success0.158
CalculateTruthDynamicThreeModelTesttestTautology31Success0.239
CalculateTruthDynamicThreeModelTesttestTautology32Success0.253
CalculateTruthDynamicThreeModelTesttestTautology33Success0.254
CalculateTruthDynamicThreeModelTesttestTautology34Success0.242
CalculateTruthDynamicThreeModelTesttestTautology35Success0.480
CalculateTruthDynamicThreeModelTesttestTautology36Success0.224
CalculateTruthDynamicThreeModelTesttestTautology37Success0.165
CalculateTruthDynamicThreeModelTesttestTautology38Success0.249
CalculateTruthDynamicThreeModelTesttestTautology39Success0.175
CalculateTruthDynamicThreeModelTesttestTautology40Success1.193
CalculateTruthDynamicThreeModelTesttestTautology41Success0.147
CalculateTruthDynamicThreeModelTesttestTautology42Success0.139
CalculateTruthDynamicThreeModelTesttestTautology43Success0.122
CalculateTruthDynamicUnaryModelTesttestTautology19Success0.410
CalculateTruthDynamicUnaryModelTesttestTautology20Success0.031
CalculateTruthDynamicUnaryModelTesttestTautology21Success0.012
CalculateTruthDynamicUnaryModelTesttestTautology28Success0.004
CalculateTruthDynamicUnaryModelTesttestTautology31Success0.008
CalculateTruthDynamicUnaryModelTesttestTautology34Success0.019
CalculateTruthDynamicUnaryModelTesttestTautology37Success0.007
CalculateTruthDynamicUnaryModelTesttestTautology41Success0.016
CalculateTruthDynamicUnaryModelTesttestTautology44Success0.009
CalculateTruthDynamicUnaryModelTesttestTautology45Success0.018
CalculateTruthDynamicUnaryModelTesttestTautology46Success0.015
CalculateTruthDynamicUnaryModelTesttestTautology47Success0.008
CalculateTruthDynamicUnaryModelTesttestTautology01Success0.011
CalculateTruthDynamicUnaryModelTesttestTautology02Success0.008
CalculateTruthDynamicUnaryModelTesttestTautology03Success0.022
CalculateTruthDynamicUnaryModelTesttestTautology04Success0.042
CalculateTruthDynamicUnaryModelTesttestTautology05Success0.010
CalculateTruthDynamicUnaryModelTesttestTautology06Success0.013
CalculateTruthDynamicUnaryModelTesttestTautology07Success0.023
CalculateTruthDynamicUnaryModelTesttestTautology08Success0.015
CalculateTruthDynamicUnaryModelTesttestTautology09Success0.020
CalculateTruthDynamicUnaryModelTesttestTautology10Success0.005
CalculateTruthDynamicUnaryModelTesttestTautology11Success0.005
CalculateTruthDynamicUnaryModelTesttestTautology12Success0.014
CalculateTruthDynamicUnaryModelTesttestTautology13Success0.126
CalculateTruthDynamicUnaryModelTesttestTautology14Success0.004
CalculateTruthDynamicUnaryModelTesttestTautology15Success0.005
CalculateTruthDynamicUnaryModelTesttestTautology16Success0.006
CalculateTruthDynamicUnaryModelTesttestTautology17Success0.005
CalculateTruthDynamicUnaryModelTesttestTautology18Success0.012
CalculateTruthDynamicUnaryModelTesttestTautology22Success0.005
CalculateTruthDynamicUnaryModelTesttestTautology23Success0.004
CalculateTruthDynamicUnaryModelTesttestTautology24Success0.016
CalculateTruthDynamicUnaryModelTesttestTautology25Success0.027
CalculateTruthDynamicUnaryModelTesttestTautology26Success0.300
CalculateTruthDynamicUnaryModelTesttestTautology27Success0.124
CalculateTruthDynamicUnaryModelTesttestTautology29Success0.238
CalculateTruthDynamicUnaryModelTesttestTautology30Success0.012
CalculateTruthDynamicUnaryModelTesttestTautology32Success0.006
CalculateTruthDynamicUnaryModelTesttestTautology33Success0.023
CalculateTruthDynamicUnaryModelTesttestTautology35Success0.004
CalculateTruthDynamicUnaryModelTesttestTautology36Success0.015
CalculateTruthDynamicUnaryModelTesttestTautology38Success0.013
CalculateTruthDynamicUnaryModelTesttestTautology39Success0.048
CalculateTruthDynamicUnaryModelTesttestTautology40Success0.039
CalculateTruthDynamicUnaryModelTesttestTautology42Success0.013
CalculateTruthDynamicUnaryModelTesttestTautology43Success0.020
CalculateTruthThreeModelTesttestTautology44Success0.347
CalculateTruthThreeModelTesttestTautology46Success0.229
CalculateTruthThreeModelTesttestTautology47Success0.034
CalculateTruthThreeModelTesttestTautology01Success0.008
CalculateTruthThreeModelTesttestTautology02Success0.005
CalculateTruthThreeModelTesttestTautology03Success0.015
CalculateTruthThreeModelTesttestTautology04Success0.005
CalculateTruthThreeModelTesttestTautology05Success0.006
CalculateTruthThreeModelTesttestTautology06Success0.006
CalculateTruthThreeModelTesttestTautology07Success0.004
CalculateTruthThreeModelTesttestTautology08Success0.027
CalculateTruthThreeModelTesttestTautology09Success0.005
CalculateTruthThreeModelTesttestTautology10Success0.006
CalculateTruthThreeModelTesttestTautology11Success0.009
CalculateTruthThreeModelTesttestTautology12Success0.005
CalculateTruthThreeModelTesttestTautology13Success0.120
CalculateTruthThreeModelTesttestTautology14Success0.007
CalculateTruthThreeModelTesttestTautology15Success0.008
CalculateTruthThreeModelTesttestTautology16Success0.045
CalculateTruthThreeModelTesttestTautology17Success0.006
CalculateTruthThreeModelTesttestTautology18Success0.011
CalculateTruthThreeModelTesttestTautology19Success0.007
CalculateTruthThreeModelTesttestTautology20Success0.007
CalculateTruthThreeModelTesttestTautology21Success0.014
CalculateTruthThreeModelTesttestTautology22Success0.006
CalculateTruthThreeModelTesttestTautology23Success0.015
CalculateTruthThreeModelTesttestTautology24Success0.006
CalculateTruthThreeModelTesttestTautology25Success0.018
CalculateTruthThreeModelTesttestTautology26Success0.006
CalculateTruthThreeModelTesttestTautology27Success0.005
CalculateTruthThreeModelTesttestTautology28Success0.019
CalculateTruthThreeModelTesttestTautology29Success0.021
CalculateTruthThreeModelTesttestTautology30Success0.023
CalculateTruthThreeModelTesttestTautology31Success0.019
CalculateTruthThreeModelTesttestTautology32Success0.006
CalculateTruthThreeModelTesttestTautology33Success0.012
CalculateTruthThreeModelTesttestTautology34Success0.015
CalculateTruthThreeModelTesttestTautology35Success0.005
CalculateTruthThreeModelTesttestTautology36Success0.025
CalculateTruthThreeModelTesttestTautology37Success0.005
CalculateTruthThreeModelTesttestTautology38Success0.004
CalculateTruthThreeModelTesttestTautology39Success0.042
CalculateTruthThreeModelTesttestTautology40Success1.316
CalculateTruthThreeModelTesttestTautology41Success0.009
CalculateTruthThreeModelTesttestTautology42Success0.032
CalculateTruthThreeModelTesttestTautology43Success0.010
CalculateTruthThreeModelTesttestTautology45Success0.024
CalculateTruthUnaryModelTesttestTautology19Success0.792
CalculateTruthUnaryModelTesttestTautology20Success0.031
CalculateTruthUnaryModelTesttestTautology21Success0.015
CalculateTruthUnaryModelTesttestTautology28Success0.013
CalculateTruthUnaryModelTesttestTautology31Success0.007
CalculateTruthUnaryModelTesttestTautology34Success0.007
CalculateTruthUnaryModelTesttestTautology37Success0.014
CalculateTruthUnaryModelTesttestTautology41Success0.011
CalculateTruthUnaryModelTesttestTautology01Success0.020
CalculateTruthUnaryModelTesttestTautology02Success0.005
CalculateTruthUnaryModelTesttestTautology03Success0.004
CalculateTruthUnaryModelTesttestTautology04Success0.014
CalculateTruthUnaryModelTesttestTautology05Success0.004
CalculateTruthUnaryModelTesttestTautology06Success0.009
CalculateTruthUnaryModelTesttestTautology07Success0.007
CalculateTruthUnaryModelTesttestTautology08Success0.011
CalculateTruthUnaryModelTesttestTautology09Success0.005
CalculateTruthUnaryModelTesttestTautology10Success0.009
CalculateTruthUnaryModelTesttestTautology11Success0.008
CalculateTruthUnaryModelTesttestTautology12Success0.023
CalculateTruthUnaryModelTesttestTautology13Success0.327
CalculateTruthUnaryModelTesttestTautology14Success0.028
CalculateTruthUnaryModelTesttestTautology15Success0.016
CalculateTruthUnaryModelTesttestTautology16Success0.007
CalculateTruthUnaryModelTesttestTautology17Success0.029
CalculateTruthUnaryModelTesttestTautology18Success0.010
CalculateTruthUnaryModelTesttestTautology22Success0.018
CalculateTruthUnaryModelTesttestTautology23Success0.012
CalculateTruthUnaryModelTesttestTautology24Success0.008
CalculateTruthUnaryModelTesttestTautology25Success0.020
CalculateTruthUnaryModelTesttestTautology26Success0.017
CalculateTruthUnaryModelTesttestTautology27Success0.009
CalculateTruthUnaryModelTesttestTautology29Success0.030
CalculateTruthUnaryModelTesttestTautology30Success0.022
CalculateTruthUnaryModelTesttestTautology32Success0.012
CalculateTruthUnaryModelTesttestTautology33Success0.018
CalculateTruthUnaryModelTesttestTautology35Success0.019
CalculateTruthUnaryModelTesttestTautology36Success0.010
CalculateTruthUnaryModelTesttestTautology38Success0.019
CalculateTruthUnaryModelTesttestTautology39Success0.061
CalculateTruthUnaryModelTesttestTautology40Success0.099
CalculateTruthUnaryModelTesttestTautology42Success0.013
CalculateTruthUnaryModelTesttestTautology43Success0.004
CalculateTruthUnaryModelTesttestTautology44Success0.015
CalculateTruthUnaryModelTesttestTautology45Success0.005
CalculateTruthUnaryModelTesttestTautology46Success0.016
CalculateTruthUnaryModelTesttestTautology47Success0.005
DynamicDirectInterpreterTesttestTautology01Success3.428
DynamicDirectInterpreterTesttestTautology02Success0.595
DynamicDirectInterpreterTesttestTautology03Success0.515
DynamicDirectInterpreterTesttestTautology04Success0.508
DynamicDirectInterpreterTesttestTautology05Success0.546
DynamicDirectInterpreterTesttestTautology06Success0.524
DynamicDirectInterpreterTesttestTautology07Success0.768
DynamicDirectInterpreterTesttestTautology08Success1.464
DynamicDirectInterpreterTesttestTautology09Success0.822
DynamicDirectInterpreterTesttestTautology10Success0.988
DynamicDirectInterpreterTesttestTautology11Success0.524
DynamicDirectInterpreterTesttestTautology12Success0.447
DynamicDirectInterpreterTesttestTautology13Success0.914
DynamicDirectInterpreterTesttestTautology14Success0.323
DynamicDirectInterpreterTesttestTautology15Success0.680
DynamicDirectInterpreterTesttestTautology16Success0.557
DynamicDirectInterpreterTesttestTautology17Success0.666
DynamicDirectInterpreterTesttestTautology18Success1.052
DynamicDirectInterpreterTesttestTautology19Success0.349
DynamicDirectInterpreterTesttestTautology20Success0.582
DynamicDirectInterpreterTesttestTautology21Success0.667
DynamicDirectInterpreterTesttestTautology22Success1.041
DynamicDirectInterpreterTesttestTautology23Success0.775
DynamicDirectInterpreterTesttestTautology24Success0.419
DynamicDirectInterpreterTesttestTautology25Success0.654
DynamicDirectInterpreterTesttestTautology26Success0.542
DynamicDirectInterpreterTesttestTautology27Success1.011
DynamicDirectInterpreterTesttestTautology28Success0.401
DynamicDirectInterpreterTesttestTautology29Success0.574
DynamicDirectInterpreterTesttestTautology30Success0.825
DynamicDirectInterpreterTesttestTautology31Success0.388
DynamicDirectInterpreterTesttestTautology32Success0.625
DynamicDirectInterpreterTesttestTautology33Success0.659
DynamicDirectInterpreterTesttestTautology34Success0.481
DynamicDirectInterpreterTesttestTautology35Success0.430
DynamicDirectInterpreterTesttestTautology36Success0.402
DynamicDirectInterpreterTesttestTautology37Success0.547
DynamicDirectInterpreterTesttestTautology38Success0.432
DynamicDirectInterpreterTesttestTautology39Success1.104
DynamicDirectInterpreterTesttestTautology40Success36.482
DynamicDirectInterpreterTesttestTautology41Success1.295
DynamicDirectInterpreterTesttestTautology42Success0.436
DynamicDirectInterpreterTesttestTautology43Success0.644
DynamicDirectInterpreterTesttestTautology44Success0.926
DynamicDirectInterpreterTesttestTautology45Success0.795
DynamicDirectInterpreterTesttestTautology46Success1.076
DynamicDirectInterpreterTesttestTautology47Success9.513
DynamicDirectInterpreterTesttestTautology50Success0.349
DynamicDirectInterpreterTesttestTautology51Success0.298
DynamicDirectInterpreterTesttestTautology52Success0.340
DynamicDirectInterpreterTesttestTautology53Success49.167
DynamicInterpreterTesttestTautology01Success1.822
DynamicInterpreterTesttestTautology02Success0.342
DynamicInterpreterTesttestTautology03Success0.241
DynamicInterpreterTesttestTautology04Success0.241
DynamicInterpreterTesttestTautology05Success0.207
DynamicInterpreterTesttestTautology06Success0.318
DynamicInterpreterTesttestTautology07Success0.355
DynamicInterpreterTesttestTautology08Success0.169
DynamicInterpreterTesttestTautology09Success0.212
DynamicInterpreterTesttestTautology10Success0.420
DynamicInterpreterTesttestTautology11Success0.448
DynamicInterpreterTesttestTautology12Success0.163
DynamicInterpreterTesttestTautology13Success0.246
DynamicInterpreterTesttestTautology14Success0.189
DynamicInterpreterTesttestTautology15Success0.312
DynamicInterpreterTesttestTautology16Success0.163
DynamicInterpreterTesttestTautology17Success0.191
DynamicInterpreterTesttestTautology18Success0.183
DynamicInterpreterTesttestTautology19Success0.183
DynamicInterpreterTesttestTautology20Success0.195
DynamicInterpreterTesttestTautology21Success0.386
DynamicInterpreterTesttestTautology22Success0.209
DynamicInterpreterTesttestTautology23Success0.169
DynamicInterpreterTesttestTautology24Success0.218
DynamicInterpreterTesttestTautology25Success0.169
DynamicInterpreterTesttestTautology26Success0.225
DynamicInterpreterTesttestTautology27Success0.229
DynamicInterpreterTesttestTautology28Success0.133
DynamicInterpreterTesttestTautology29Success0.295
DynamicInterpreterTesttestTautology30Success0.283
DynamicInterpreterTesttestTautology31Success0.132
DynamicInterpreterTesttestTautology32Success0.514
DynamicInterpreterTesttestTautology33Success0.694
DynamicInterpreterTesttestTautology34Success1.214
DynamicInterpreterTesttestTautology35Success0.809
DynamicInterpreterTesttestTautology36Success0.425
DynamicInterpreterTesttestTautology37Success0.169
DynamicInterpreterTesttestTautology38Success0.221
DynamicInterpreterTesttestTautology39Success0.164
DynamicInterpreterTesttestTautology40Success3.998
DynamicInterpreterTesttestTautology41Success0.331
DynamicInterpreterTesttestTautology42Success0.334
DynamicInterpreterTesttestTautology50Success0.181
DynamicInterpreterTesttestTautology51Success0.247
DynamicInterpreterTesttestTautology52Success0.270
FunctionVariableTesttestGetArgumentNumberSuccess0.296
FunctionVariableTesttestGetNameSuccess0.152
FunctionVariableTesttestEqualsSuccess0.042
FunctionVariableTesttestToStringSuccess0.026
FunctionVariableTesttestHashCodeSuccess0.040
ModelFunctionConstantTesttestGetArgumentNumberSuccess0.303
ModelFunctionConstantTesttestGetNameSuccess0.146
ModelFunctionConstantTesttestEqualsSuccess0.379
ModelFunctionConstantTesttestToStringSuccess0.133
ModelFunctionConstantTesttestHashCodeSuccess0.006
ModelPredicateConstantTesttestGetArgumentNumberSuccess0.280
ModelPredicateConstantTesttestGetNameSuccess0.031
ModelPredicateConstantTesttestEqualsSuccess0.014
ModelPredicateConstantTesttestToStringSuccess0.006
ModelPredicateConstantTesttestHashCodeSuccess0.006
OperatorTesttestGetArgumentNumberSuccess0.318
OperatorTesttestGetNameSuccess0.022
OperatorTesttestEqualsSuccess0.005
OperatorTesttestToStringSuccess0.008
OperatorTesttestHashCodeSuccess0.017
PredicateVariableTesttestGetArgumentNumberSuccess0.224
PredicateVariableTesttestGetNameSuccess0.028
PredicateVariableTesttestEqualsSuccess0.009
PredicateVariableTesttestToStringSuccess0.017
PredicateVariableTesttestHashCodeSuccess0.007
ProofCheckerTesttestCheck1Success2.465
ProofCheckerTesttestCheck4Success0.521
ProofCheckerTesttestCheck6Success0.432
ProofFinderImplTesttestFindSuccess16.464
ProofFinderImplTesttestFind2Success50.377
ProofFinderImplTesttestFind3Success0.306
FormulaCheckerClassTermTesttestClassTermPositive01Success0.196
FormulaCheckerClassTermTesttestClassTermPositive02Success0.004
FormulaCheckerClassTermTesttestClassTermPositive03Success0.004
FormulaCheckerClassTermTesttestClassTermNegative01Success0.005
FormulaCheckerClassTermTesttestClassTermNegative02Success0.002
FormulaCheckerClassTermTesttestClassTermNegative03Success0.004
FormulaCheckerClassTermTesttestClassTermNegative04Success0.003
FormulaCheckerClassTermTesttestClassTermNegative05Success0.005
FormulaCheckerContextTesttestNegative00Success0.933
FormulaCheckerContextTesttestNegative01Success0.088
FormulaCheckerContextTesttestNegative02Success0.665
FormulaCheckerContextTesttestNegative03Success0.129
FormulaCheckerContextTesttestNegative04Success0.150
FormulaCheckerContextTesttestPositive01Success1.603
FormulaCheckerContextTesttestPositive02Success0.803
FormulaCheckerContextTesttestPositive03Success1.366
FormulaCheckerContextTesttestPositive03bSuccess1.632
FormulaCheckerContextTesttestPositive04Success3.214
FormulaCheckerContextTesttestPositive05Success0.344
FormulaCheckerContextTesttestPositive06Success0.071
FormulaCheckerFormulaTesttestFormulaPositive01Success0.125
FormulaCheckerFormulaTesttestFormulaPositive02Success0.012
FormulaCheckerFormulaTesttestFormulaPositive03Success0.002
FormulaCheckerFormulaTesttestFormulaNegative01Success0.003
FormulaCheckerFormulaTesttestFormulaNegative02Success0.002
FormulaCheckerFormulaTesttestFormulaNegative03Success0.002
FormulaCheckerFunctionTermTesttestFunctionTermPositive01Success0.147
FormulaCheckerFunctionTermTesttestFunctionTermPositive02Success0.003
FormulaCheckerFunctionTermTesttestFunctionTermNegative01Success0.003
FormulaCheckerFunctionTermTesttestFunctionTermNegative01bSuccess0.001
FormulaCheckerFunctionTermTesttestFunctionTermNegative02Success0.002
FormulaCheckerFunctionTermTesttestFunctionTermNegative09Success0.005
FormulaCheckerFunctionTermTesttestFunctionTermNegative10Success0.002
FormulaCheckerFunctionTermTesttestFunctionTermNegative13Success0.002
FormulaCheckerFunctionTermTesttestFunctionTermNegative14Success0.001
FormulaCheckerFunctionTermTesttestFunctionTermNegative15Success0.003
FormulaCheckerFunctionTermTesttestFunctionTermNegative16Success0.002
FormulaCheckerFunctionTermTesttestFunctionTermNegative19Success0.002
FormulaCheckerFunctionTermTesttestFunctionTermNegative20Success0.003
FormulaCheckerFunctionTermTesttestFunctionTermNegative22Success0.002
FormulaCheckerGlobalTesttestGlobalFormulaPositiveSuccess0.121
FormulaCheckerGlobalTesttestGlobalFormulaNegative01Success0.002
FormulaCheckerGlobalTesttestGlobalTermNegative01Success0.000
FormulaCheckerGlobalTesttestGlobalFormulaNegative03Success0.001
FormulaCheckerGlobalTesttestGlobalFormulaNegative04Success0.000
FormulaCheckerGlobalTesttestGlobalFormulaNegative05Success0.001
FormulaCheckerGlobalTesttestGlobalFormulaNegative06Success0.001
FormulaCheckerGlobalTesttestGlobalFormulaNegative07Success0.001
FormulaCheckerGlobalTesttestGlobalFormulaNegative08Success0.001
FormulaCheckerGlobalTesttestGlobalFormulaNegative09Success0.001
FormulaCheckerGlobalTesttestGlobalFormulaNegative11Success0.000
FormulaCheckerGlobalTesttestGlobalFormulaNegative12Success0.000
FormulaCheckerGlobalTesttestGlobalFormulaNegative13Success0.001
FormulaCheckerGlobalTesttestGlobalFormulaNegative14Success0.000
FormulaCheckerGlobalTesttestGlobalFormulaNegative15Success0.001
FormulaCheckerGlobalTesttestGlobalFormulaNegative16Success0.001
FormulaCheckerGlobalTesttestGlobalFormulaNegative21Success0.001
FormulaCheckerGlobalTesttestGlobalFormulaNegative23Success0.000
FormulaCheckerGlobalTesttestGlobalFormulaNegative24Success0.001
FormulaCheckerLogicalConnectivesTesttestLogicalConnectivePositive01Success0.223
FormulaCheckerLogicalConnectivesTesttestLogicalConnectivePositive02Success0.002
FormulaCheckerLogicalConnectivesTesttestLogicalConnectivePositive03Success0.002
FormulaCheckerLogicalConnectivesTesttestLogicalConnectivePositive04Success0.002
FormulaCheckerLogicalConnectivesTesttestLogicalConnectivePositive05Success0.003
FormulaCheckerLogicalConnectivesTesttestLogicalConnectivePositive06Success0.003
FormulaCheckerLogicalConnectivesTesttestLogicalConnectivePositive07Success0.002
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative01Success0.005
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative02Success0.002
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative03Success0.002
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative04Success0.002
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative05Success0.002
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative06Success0.004
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative07Success0.006
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative08Success0.002
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative09Success0.003
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative10Success0.010
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative11Success0.004
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative12Success0.012
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative13Success0.003
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative14Success0.001
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative15Success0.003
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative16Success0.003
FormulaCheckerLogicalConnectivesTesttestLogicalConnectiveNegative17Success0.006
FormulaCheckerNegationTesttestNegationPositive01Success0.130
FormulaCheckerNegationTesttestNegationNegative01Success0.006
FormulaCheckerNegationTesttestNegationNegative02Success0.002
FormulaCheckerPredicateFormulaTesttestPredicateFormulaPositive01Success0.134
FormulaCheckerPredicateFormulaTesttestPredicateFormulaPositive02Success0.002
FormulaCheckerPredicateFormulaTesttestPredicateFormulaNegative01Success0.003
FormulaCheckerPredicateFormulaTesttestPredicateFormulaNegative02Success0.001
FormulaCheckerPredicateFormulaTesttestPredicateFormulaNegative09Success0.003
FormulaCheckerPredicateFormulaTesttestPredicateFormulaNegative10Success0.002
FormulaCheckerPredicateFormulaTesttestPredicateFormulaNegative13Success0.002
FormulaCheckerPredicateFormulaTesttestPredicateFormulaNegative14Success0.002
FormulaCheckerPredicateFormulaTesttestPredicateFormulaNegative15Success0.005
FormulaCheckerPredicateFormulaTesttestPredicateFormulaNegative16Success0.003
FormulaCheckerPredicateFormulaTesttestPredicateFormulaNegative19Success0.003
FormulaCheckerPredicateFormulaTesttestPredicateFormulaNegative20Success0.001
FormulaCheckerPredicateFormulaTesttestPredicateFormulaNegative22Success0.001
FormulaCheckerQuantifiersTesttestQuantifiersPositive01Success0.147
FormulaCheckerQuantifiersTesttestQuantifiersPositive02Success0.002
FormulaCheckerQuantifiersTesttestQuantifiersPositive03Success0.002
FormulaCheckerQuantifiersTesttestQuantifiersPositive04Success0.004
FormulaCheckerQuantifiersTesttestQuantifiersPositive05Success0.003
FormulaCheckerQuantifiersTesttestQuantifiersPositive06Success0.005
FormulaCheckerQuantifiersTesttestQuantifiersNegative01Success0.004
FormulaCheckerQuantifiersTesttestQuantifiersNegative02Success0.003
FormulaCheckerQuantifiersTesttestQuantifiersNegative03Success0.002
FormulaCheckerQuantifiersTesttestQuantifiersNegative04Success0.002
FormulaCheckerQuantifiersTesttestQuantifiersNegative05Success0.006
FormulaCheckerQuantifiersTesttestQuantifiersNegative06Success0.002
FormulaCheckerQuantifiersTesttestQuantifiersNegative07Success0.003
FormulaCheckerQuantifiersTesttestQuantifiersNegative08Success0.008
FormulaCheckerQuantifiersTesttestQuantifiersNegative09Success0.001
FormulaCheckerQuantifiersTesttestQuantifiersNegative10Success0.003
FormulaCheckerQuantifiersTesttestQuantifiersNegative11Success0.007
FormulaCheckerQuantifiersTesttestQuantifiersNegative12Success0.002
FormulaCheckerQuantifiersTesttestQuantifiersNegative16Success0.007
FormulaCheckerQuantifiersTesttestQuantifiersNegative17Success0.003
FormulaCheckerQuantifiersTesttestQuantifiersNegative18Success0.006
FormulaCheckerQuantifiersTesttestQuantifiersNegative19Success0.009
FormulaCheckerQuantifiersTesttestQuantifiersNegative20Success0.005
FormulaCheckerQuantifiersTesttestQuantifiersNegative21Success0.004
FormulaCheckerQuantifiersTesttestQuantifiersNegative22Success0.003
FormulaCheckerQuantifiersTesttestQuantifiersNegative23Success0.004
FormulaCheckerQuantifiersTesttestQuantifiersNegative24Success0.007
FormulaCheckerQuantifiersTesttestQuantifiersNegative25Success0.005
FormulaCheckerQuantifiersTesttestQuantifiersNegative26Success0.005
FormulaCheckerQuantifiersTesttestQuantifiersNegative27Success0.004
FormulaCheckerSubjectVariableTesttestSubjectVariablePositiveSuccess0.173
FormulaCheckerSubjectVariableTesttestSubjectVariableNegative1Success0.011
FormulaCheckerSubjectVariableTesttestSubjectVariableNegative2Success0.001
FormulaCheckerSubjectVariableTesttestSubjectVariableNegative3Success0.004
FormulaCheckerTermTesttestTermPositive01Success0.219
FormulaCheckerTermTesttestTermPositive02Success0.002
FormulaCheckerTermTesttestTermPositive03Success0.002
FormulaCheckerTermTesttestTermPositive04Success0.002
FormulaCheckerTermTesttestTermNegative01Success0.005
FormulaCheckerTermTesttestTermNegative02Success0.001
FormulaCheckerTermTesttestTermNegative03Success0.002
FormulaCheckerTermTesttestTermNegative04Success0.001
FormulaCheckerTermTesttestTermNegative05Success0.001
FormulaCheckerTermTesttestTermNegative06Success0.001
FormulaCheckerTermTesttestTermNegative07Success0.001
FormulaCheckerTermTesttestTermNegative08Success0.001
FormulaCheckerTermTesttestTermNegative09Success0.002
FormulaCheckerTermTesttestTermNegative10Success0.003
FormulaCheckerTesttestPositive1Success0.149
FormulaCheckerTesttestPositive2Success0.045
FormulaCheckerTesttestPositive3Success0.039
FormulaCheckerTesttestPositive4Success0.032
FormulaCheckerTesttestPositive5Success0.023
FormulaCheckerTesttestPositive6Success0.029
FormulaCheckerTesttestPositive7Success0.022
FormulaCheckerTesttestPositive8Success0.003
FormulaCheckerTesttestNegative1Success0.009
FormulaCheckerTesttestPositive9Success0.025
FormulaCheckerTesttestNegative3Success0.004
FormulaCheckerTesttestNegative4Success0.002
FormulaCheckerTesttestNegative5Success0.004
FormulaCheckerTesttestNegative6Success0.011
FormulaCheckerTesttestNegative7Success0.002
FormulaCheckerTesttestNegative8Success0.004
FormulaCheckerTesttestNegative9Success0.003
FormulaCheckerTesttestNegative10Success0.004
FormulaCheckerTesttestNegative11Success0.005
FormulaCheckerTesttestNegative12Success0.001
FormulaCheckerTesttestNegative13Success0.005
VisitorContextTesttestContextSuccess1666.079
AsciiMathParserTesttestReadMaximalTerm00Success0.727
AsciiMathParserTesttestReadMaximalTerm01Success0.123
AsciiMathParserTesttestReadMaximalTerm02Success0.052
AsciiMathParserTesttestReadMaximalTerm03Success0.045
AsciiMathParserTesttestReadMaximalTerm04Success0.028
AsciiMathParserTesttestReadMaximalTerm05Success0.089
AsciiMathParserTesttestReadMaximalTerm06Success0.016
AsciiMathParserTesttestReadMaximalTerm07Success0.015
AsciiMathParserTesttestReadMaximalTerm08Success0.025
AsciiMathParserTesttestReadMaximalTerm09Success0.035
AsciiMathParserTesttestReadMaximalTerm10Success0.013
AsciiMathParserTesttestReadMaximalTerm11Success0.021
AsciiMathParserTesttestReadMaximalTerm12Success0.032
AsciiMathParserTesttestReadMaximalTerm13Success0.028
AsciiMathParserTesttestReadMaximalTerm14Success0.025
AsciiMathParserTesttestReadMaximalTerm15Success0.013
AsciiMathParserTesttestReadMaximalTerm16Success0.045
AsciiMathParserTesttestReadMaximalTerm17Success0.055
AsciiMathParserTesttestReadMaximalTerm18Success0.014
AsciiMathParserTesttestReadMaximalTerm19Success0.021
AsciiMathParserTesttestReadMaximalTerm20Success0.028
AsciiMathParserTesttestReadMaximalTerm21Success0.018
AsciiMathParserTesttestReadMaximalTerm22Success0.023
AsciiMathParserTesttestReadMaximalTerm23Success0.013
AsciiMathParserTesttestReadMaximalTerm24Success0.022
AsciiMathParserTesttestReadMaximalTerm26Success0.013
AsciiMathParserTesttestReadMaximalTerm27Success0.039
AsciiMathParserTesttestReadMaximalTerm28Success0.013
AsciiMathParserTesttestReadMaximalTerm29Success0.019
AsciiMathParserTesttestReadMaximalTerm30Success0.010
AsciiMathParserTesttestReadMaximalTerm31Success0.011
AsciiMathParserTesttestReadMaximalTerm32Success0.010
AsciiMathParserTesttestReadMaximalTerm33Success0.011
AsciiMathParserTesttestReadMaximalTerm34Success0.019
AsciiMathParserTesttestReadMaximalTerm35Success0.008
AsciiMathParserTesttestReadMaximalTerm36Success0.007
AsciiMathParserTesttestReadMaximalTerm37Success0.015
AsciiMathParserTesttestReadMaximalTerm38Success0.012
AsciiMathParserTesttestReadMaximalTerm39Success0.009
AsciiMathParserTesttestReadMaximalTerm40Success0.067
AsciiMathParserTesttestReadMaximalTerm41Success0.010
AsciiMathParserTesttestReadMaximalTerm42Success0.088
AsciiMathParserTesttestReadMaximalTerm43Success0.011
AsciiMathParserTesttestReadMaximalTerm44Success0.009
AsciiMathParserTesttestReadMaximalTerm45Success0.010
AsciiMathParserTesttestReadMaximalTerm46Success0.009
AsciiMathParserTesttestReadMaximalTerm47Success0.009
AsciiMathParserTesttestReadMaximalTerm48Success0.009
AsciiMathParserTesttestReadMaximalTerm49Success0.010
AsciiMathParserTesttestReadMaximalTerm50Success0.006
AsciiMathParserTesttestException00Success0.008
AsciiMathParserTesttestException01Success0.007
AsciiMathParserTesttestException02Success0.008
AsciiMathParserTesttestException03Success0.009
AsciiMathParserTesttestException04Success0.014
AsciiMathParserTesttestException05Success0.009
AsciiMathParserTesttestException06Success0.006
AsciiMathParserTesttestAllTogetherSuccess0.195
LatexMathParserTesttestReadMaximalTerm00Success0.467
LatexMathParserTesttestReadMaximalTerm01Success0.061
LatexMathParserTesttestReadMaximalTerm02Success0.053
LatexMathParserTesttestReadMaximalTerm03Success0.042
LatexMathParserTesttestReadMaximalTerm04Success0.049
LatexMathParserTesttestReadMaximalTerm05Success0.033
LatexMathParserTesttestReadMaximalTerm06Success0.027
LatexMathParserTesttestReadMaximalTerm07Success0.028
LatexMathParserTesttestReadMaximalTerm08Success0.032
LatexMathParserTesttestReadMaximalTerm09Success0.034
LatexMathParserTesttestAllTogetherSuccess0.053
OperatorTesttestGetMinSuccess0.256
OperatorTesttestGetMaxSuccess0.010
OperatorTesttestEqualsSuccess0.008
OperatorTesttestToStringSuccess0.010
OperatorTesttestIsFixSuccess0.035
SimpleMathParserTesttestReadMaximalTerm00Success0.741
SimpleMathParserTesttestReadMaximalTerm01Success0.208
SimpleMathParserTesttestReadMaximalTerm02Success0.173
SimpleMathParserTesttestReadMaximalTerm03Success0.121
SimpleMathParserTesttestReadMaximalTerm04Success0.026
SimpleMathParserTesttestReadMaximalTerm05Success0.037
SimpleMathParserTesttestReadMaximalTerm06Success0.022
SimpleMathParserTesttestReadMaximalTerm07Success0.018
SimpleMathParserTesttestReadMaximalTerm08Success0.013
SimpleMathParserTesttestReadMaximalTerm09Success0.027
SimpleMathParserTesttestReadMaximalTerm10Success0.018
SimpleMathParserTesttestReadMaximalTerm11Success0.014
SimpleMathParserTesttestReadMaximalTerm12Success0.021
SimpleMathParserTesttestReadMaximalTerm13Success0.011
SimpleMathParserTesttestReadMaximalTerm14Success0.013
SimpleMathParserTesttestReadMaximalTerm15Success0.013
SimpleMathParserTesttestReadMaximalTerm16Success0.016
SimpleMathParserTesttestReadMaximalTerm17Success0.052
SimpleMathParserTesttestReadMaximalTerm18Success0.010
SimpleMathParserTesttestReadMaximalTerm19Success0.009
SimpleMathParserTesttestReadMaximalTerm20Success0.012
SimpleMathParserTesttestReadMaximalTerm21Success0.014
SimpleMathParserTesttestReadMaximalTerm22Success0.023
SimpleMathParserTesttestReadMaximalTerm23Success0.039
SimpleMathParserTesttestReadMaximalTerm24Success0.021
SimpleMathParserTesttestReadMaximalTerm25Success0.015
SimpleMathParserTesttestReadMaximalTerm26Success0.031
SimpleMathParserTesttestReadMaximalTerm27Success0.035
SimpleMathParserTesttestReadMaximalTerm28Success0.056
SimpleMathParserTesttestAllTogetherSuccess0.020
CheckRequiredModuleExceptionTesttestCreatorSuccess0.215
CheckRequiredModuleExceptionTesttestGetterSuccess0.004
DefaultKernelQedeqBoTesttestConstructorSuccess0.229
DefaultKernelQedeqBoTesttestHasFailuresSuccess0.068
DefaultKernelQedeqBoTesttestSetLoadingFailureStateSuccess0.003
DefaultKernelQedeqBoTesttestSetLoadingProgressStateSuccess0.004
DefaultKernelQedeqBoTesttestSetDependencyFailureStateSuccess0.003
LoadRequiredModulesTesttestLoadRequiredModules_01Success1.160
LoadRequiredModulesTesttestLoadRequiredModules_02Success0.382
LoadRequiredModulesTesttestLoadRequiredModules_03Success0.235
LoadRequiredModulesTesttestLoadRequiredModules_04Success0.309
LoadRequiredModulesTesttestLoadRequiredModules_05Success0.420
LoadRequiredModulesTesttestLoadRequiredModules_06Success0.247
LoadRequiredModulesTesttestLoadRequiredModules_07Success0.366
LoadRequiredModulesTesttestLoadRequiredModules_08Success0.421
LoadRequiredModulesTesttestLoadRequiredModules_09Success0.443
LoadRequiredModulesTesttestLoadRequiredModules_09bSuccess0.525
LoadRequiredModulesTesttestLoadRequiredModules_09cSuccess0.348
LoadRequiredModulesTesttestLoadRequiredModules_09dSuccess1.222
LoadRequiredModulesTesttestLoadRequiredModules_10Success0.162
LoadRequiredModulesTesttestLoadRequiredModules_11Success0.067
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_01Success1.179
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_02Success0.495
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_03Success0.292
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_04Success0.278
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_05Success0.150
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_06Success0.158
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_07Success0.163
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_08Success0.138
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_09Success0.171
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_10Success0.050
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_11Success0.089
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_12Success0.344
ModuleConstantsExistenceCheckerTesttestModuleConstantsExistenceChecker_13Success0.228
QedeqBoFactoryTesttestCreateStringQedeq1Success9.711
QedeqBoFactoryTesttestCreateStringQedeq2Success9.121
QedeqBoFactoryTesttestCreateStringQedeq3Success13.052
QedeqBoFactoryTesttestCreateStringQedeq4Success6.614
QedeqBoFactoryTesttestCreateStringQedeq5Success1452.514
QedeqBoFactoryTesttestCreateStringQedeq6Success332.694
DynamicHeuristicCheckerPluginTesttestQedeqSampleScript1Success1.281
HeuristicCheckerPluginTesttestQedeqLogicScript1Success2.300
HeuristicCheckerPluginTesttestQedeqLogicScript2Success0.209
HeuristicCheckerPluginTesttestQedeqSetTheoryScript1Success6.760
HeuristicCheckerPluginTesttestQedeqSetTheoryScript2Success0.739
Element2LatexImplTesttestClassSuccess0.110
Element2LatexImplTesttestVarSuccess0.003
Element2LatexImplTesttestFunconSuccess0.002
Element2LatexImplTesttestFunvarSuccess0.007
Element2LatexImplTesttestPredconSuccess0.006
Element2LatexImplTesttestPredvarSuccess0.005
Element2LatexImplTesttestVarious1Success0.004
Element2LatexImplTesttestBinaryLogicalSuccess0.002
Element2LatexImplTesttestVarious2Success0.002
Element2LatexImplTesttestClasslistSuccess0.004
ExtendedGenerateLatexTesttestGenerationSuccess5948.285
ExtendedGenerateLatexTesttestGeneration2Success425.219
ExtendedGenerateLatexTesttestNegativeGeneration2Success0.408
ExtendedGenerateLatexTesttestNegative02Success0.033
ExtendedGenerateLatexTesttestNegative03Success0.069
ExtendedGenerateLatexTesttestNegative04Success0.023
ExtendedGenerateLatexTesttestNegative05Success0.266
ExtendedGenerateLatexTesttestNegative06Success0.156
ExtendedGenerateLatexTesttestNegative07Success0.141
ExtendedGenerateLatexTesttestNegative08Success0.196
GenerateLatexTesttestGenerationSuccess7.813
GenerateLatexTesttestGeneration2Success1.890
GenerateLatexTesttestNegativeGeneration2Success0.478
GenerateLatexTesttestNegative02Success0.102
GenerateLatexTesttestNegative03Success0.022
GenerateLatexTesttestNegative04Success0.030
GenerateLatexTesttestNegative05Success0.091
GenerateLatexTesttestNegative06Success0.076
GenerateLatexTesttestNegative07Success0.102
GenerateLatexTesttestNegative08Success0.077
Qedeq2LatexTesttestQ2L001_v1Success1.252
Qedeq2LatexTesttestQ2L001_v2Success0.895
Qedeq2LatexTesttestQ2L002Success0.820
Qedeq2LatexTesttestQ2L003Success0.312
FormalProofCheckerPluginTesttestPluginSuccess1.018
FormalProofCheckerPluginTesttestPlugin2Success1.406
FormalProofCheckerPluginTesttestPlugin3Success2.467
FormalProofCheckerPluginTesttestPlugin4Success0.877
FormalProofCheckerPluginTesttestProof_003Success0.065
QedeqBoFormalLogicCheckerDirectTesttestNegative00Success0.557
QedeqBoFormalLogicCheckerDirectTesttestNegative01Success0.045
QedeqBoFormalLogicCheckerDirectTesttestNegative02Success0.276
QedeqBoFormalLogicCheckerDirectTesttestNegative03Success0.111
QedeqBoFormalLogicCheckerDirectTesttestNegative04Success0.122
QedeqBoFormalLogicCheckerTesttestCheckModuleSuccess1.422
SimpleProofFinderPluginTesttestPluginSuccess46.377
SimpleProofFinderPluginTesttestPlugin2Success50.687
SimpleProofFinderPluginTesttestPluginFastSuccess61.485
GenerateUtf8TesttestGeneration1Success2.516
GenerateUtf8TesttestGeneration1bSuccess2.342
GenerateUtf8TesttestGeneration2Success0.743
GenerateUtf8TesttestGeneration3Success1.180
GenerateUtf8TesttestGeneration3bSuccess0.703
GenerateUtf8TesttestGeneration3cSuccess0.391
GenerateUtf8TesttestGeneration4Success1.706
GenerateUtf8TesttestGeneration5Success1.247
GenerateUtf8TesttestGeneration6Success0.674
GenerateUtf8TesttestGeneration7Success0.059
Latex2UnicodeParserTesttest01Success0.119
Latex2UnicodeParserTesttest02Success0.034
Latex2UnicodeParserTesttest03Success0.031
Latex2UnicodeParserTesttest04Success0.013
Latex2UnicodeParserTesttest05Success0.002
Latex2UnicodeParserTesttest06Success0.002
Latex2UnicodeParserTesttest07Success0.008
Latex2UnicodeParserTesttest08Success0.003
Latex2UnicodeParserTesttest09Success0.003
Latex2UnicodeParserTesttest10Success0.004
Latex2UnicodeParserTesttest11Success0.006
Latex2UnicodeParserTesttest12Success0.002
Qedeq2UnicodeTextExecutorTesttestGeneration1Success3.265
Qedeq2UnicodeTextExecutorTesttestGeneration1bSuccess3.001
Qedeq2UnicodeTextExecutorTesttestGeneration2Success0.759
Qedeq2UnicodeTextExecutorTesttestGeneration3Success0.903
Qedeq2UnicodeTextExecutorTesttestGeneration3bSuccess0.698
Qedeq2UnicodeTextExecutorTesttestGeneration3cSuccess0.257
Qedeq2UnicodeTextExecutorTesttestGeneration4Success2.146
Qedeq2UnicodeTextExecutorTesttestGeneration5Success1.002
Qedeq2UnicodeTextExecutorTesttestGeneration6Success1.107
KernelBoEachClassHasATesttestIfEveryClassIsTestedSuccess8.679