|
0.65217394
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_10
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_10
|
1
PASS
|
|
0.5942029
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin
|
1
PASS
|
|
0.5942029
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin2
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin2
|
1
PASS
|
|
0.5942029
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPluginFast
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPluginFast
|
1
PASS
|
|
0.5942029
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin3
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin3
|
1
PASS
|
|
0.5942029
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse2
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse2
|
1
PASS
|
|
0.5942029
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative04
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative04
|
1
PASS
|
|
0.5942029
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative04
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative04
|
1
PASS
|
|
0.5942029
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_07
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_07
|
1
PASS
|
|
0.5942029
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerTest.testCheckModule
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerTest.testCheckModule
|
1
PASS
|
|
0.5942029
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1
|
1
PASS
|
|
0.5942029
|
org.qedeq.kernel.se.common.SourceFileExceptionTest.testEqualsObject
org.qedeq.kernel.se.common.SourceFileExceptionTest.testEqualsObject
|
1
PASS
|
|
0.5942029
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin2
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin2
|
1
PASS
|
|
0.5942029
|
org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration
org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration
|
1
PASS
|
|
0.5942029
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_04
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_04
|
1
PASS
|
|
0.5507246
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_11
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_11
|
1
PASS
|
|
0.5217391
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative02
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative02
|
1
PASS
|
|
0.5217391
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative02
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative02
|
1
PASS
|
|
0.5217391
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_07
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_07
|
1
PASS
|
|
0.5217391
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_12
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_12
|
1
PASS
|
|
0.49275362
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_02
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_02
|
1
PASS
|
|
0.49275362
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative03
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative03
|
1
PASS
|
|
0.49275362
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_03
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_03
|
1
PASS
|
|
0.49275362
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_09
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_09
|
1
PASS
|
|
0.49275362
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v1
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v1
|
1
PASS
|
|
0.49275362
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v2
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v2
|
1
PASS
|
|
0.49275362
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative03
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative03
|
1
PASS
|
|
0.4347826
|
org.qedeq.kernel.se.common.SourceFileExceptionTest.testToString
org.qedeq.kernel.se.common.SourceFileExceptionTest.testToString
|
1
PASS
|
|
0.4347826
|
org.qedeq.kernel.se.common.SourceFileExceptionTest.testGetDescription
org.qedeq.kernel.se.common.SourceFileExceptionTest.testGetDescription
|
1
PASS
|
|
0.42028984
|
org.qedeq.kernel.se.common.SourceFileExceptionListTest.testEquals
org.qedeq.kernel.se.common.SourceFileExceptionListTest.testEquals
|
1
PASS
|
|
0.42028984
|
org.qedeq.kernel.se.common.SourceFileExceptionTest.testHashCode
org.qedeq.kernel.se.common.SourceFileExceptionTest.testHashCode
|
1
PASS
|
|
0.4057971
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegativeGeneration2
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegativeGeneration2
|
1
PASS
|
|
0.4057971
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegativeGeneration2
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegativeGeneration2
|
1
PASS
|
|
0.4057971
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test11
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test11
|
1
PASS
|
|
0.3768116
|
org.qedeq.kernel.bo.service.basis.DefaultKernelQedeqBoTest.testSetLoadingFailureState
org.qedeq.kernel.bo.service.basis.DefaultKernelQedeqBoTest.testSetLoadingFailureState
|
1
PASS
|
|
0.3768116
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L003
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L003
|
1
PASS
|
|
0.3768116
|
org.qedeq.kernel.se.common.SourceFileExceptionListTest.testAdd1
org.qedeq.kernel.se.common.SourceFileExceptionListTest.testAdd1
|
1
PASS
|
|
0.3768116
|
org.qedeq.kernel.se.common.SourceFileExceptionListTest.testAdd2
org.qedeq.kernel.se.common.SourceFileExceptionListTest.testAdd2
|
1
PASS
|
|
0.3768116
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration2
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration2
|
1
PASS
|
|
0.3768116
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1
|
1
PASS
|
|
0.3768116
|
org.qedeq.kernel.bo.service.basis.DefaultKernelQedeqBoTest.testSetDependencyFailureState
org.qedeq.kernel.bo.service.basis.DefaultKernelQedeqBoTest.testSetDependencyFailureState
|
1
PASS
|
|
0.3768116
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration5
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration5
|
1
PASS
|
|
0.3768116
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript1
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript1
|
1
PASS
|
|
0.3768116
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L002
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L002
|
1
PASS
|
|
0.3768116
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration2
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration2
|
1
PASS
|
|
0.3768116
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration2
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration2
|
1
PASS
|
|
0.3768116
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript2
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript2
|
1
PASS
|
|
0.3768116
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration6
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration6
|
1
PASS
|
|
0.3188406
|
org.qedeq.kernel.se.common.SourceFileExceptionListTest.testToString
org.qedeq.kernel.se.common.SourceFileExceptionListTest.testToString
|
1
PASS
|
|
0.3043478
|
org.qedeq.kernel.se.common.SourceFileExceptionListTest.testHashCode
org.qedeq.kernel.se.common.SourceFileExceptionListTest.testHashCode
|
1
PASS
|
|
0.26086956
|
org.qedeq.kernel.se.common.SourceFileExceptionTest.testConstructor
org.qedeq.kernel.se.common.SourceFileExceptionTest.testConstructor
|
1
PASS
|
|
0.26086956
|
org.qedeq.kernel.se.common.SourceFileExceptionTest.testGetMessage
org.qedeq.kernel.se.common.SourceFileExceptionTest.testGetMessage
|
1
PASS
|
|
0.20289855
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test12
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test12
|
1
PASS
|
|
0.20289855
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test04
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test04
|
1
PASS
|
|
0.13043478
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_09
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_09
|
1
PASS
|
|
0.13043478
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative08
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative08
|
1
PASS
|
|
0.13043478
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative07
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative07
|
1
PASS
|
|
0.13043478
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative07
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative07
|
1
PASS
|
|
0.13043478
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_11
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_11
|
1
PASS
|
|
0.13043478
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test05
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test05
|
1
PASS
|
|
0.13043478
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative05
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative05
|
1
PASS
|
|
0.13043478
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative08
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative08
|
1
PASS
|
|
0.13043478
|
org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest.testCreateStringQedeq1
org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest.testCreateStringQedeq1
|
1
PASS
|
|
0.13043478
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test10
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test10
|
1
PASS
|
|
0.13043478
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test09
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test09
|
1
PASS
|
|
0.13043478
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative06
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative06
|
1
PASS
|
|
0.13043478
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_03
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_03
|
1
PASS
|
|
0.13043478
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_08
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_08
|
1
PASS
|
|
0.13043478
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative06
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative06
|
1
PASS
|
|
0.13043478
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_10
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_10
|
1
PASS
|
|
0.13043478
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative05
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative05
|
1
PASS
|
|
0.13043478
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_02
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_02
|
1
PASS
|
|
0.10144927
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative01
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative01
|
1
PASS
|
|
0.10144927
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_09c
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_09c
|
1
PASS
|
|
0.10144927
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative01
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative01
|
1
PASS
|
|
0.10144927
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative03
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative03
|
1
PASS
|
|
0.10144927
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative04
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative04
|
1
PASS
|
|
0.10144927
|
org.qedeq.kernel.bo.service.basis.DefaultKernelQedeqBoTest.testHasFailures
org.qedeq.kernel.bo.service.basis.DefaultKernelQedeqBoTest.testHasFailures
|
1
PASS
|
|
0.10144927
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative00
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative00
|
1
PASS
|
|
0.10144927
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_09d
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_09d
|
1
PASS
|
|
0.10144927
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_09b
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_09b
|
1
PASS
|
|
0.10144927
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative03
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative03
|
1
PASS
|
|
0.10144927
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative02
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative02
|
1
PASS
|
|
0.10144927
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative00
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative00
|
1
PASS
|
|
0.10144927
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative04
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative04
|
1
PASS
|
|
0.10144927
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative02
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative02
|
1
PASS
|
|
0.072463766
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3
|
1
PASS
|
|
0.072463766
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration
|
1
PASS
|
|
0.072463766
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration2
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration2
|
1
PASS
|
|
0.072463766
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive02
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive02
|
1
PASS
|
|
0.072463766
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration
|
1
PASS
|
|
0.072463766
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration3
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration3
|
1
PASS
|
|
0.072463766
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03
|
1
PASS
|
|
0.072463766
|
org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPluginTest.testQedeqSampleScript1
org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPluginTest.testQedeqSampleScript1
|
1
PASS
|
|
0.072463766
|
org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest.testCreateStringQedeq4
org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest.testCreateStringQedeq4
|
1
PASS
|
|
0.028985508
|
org.qedeq.kernel.se.common.SourceFileExceptionTest.testGetSourceArea
org.qedeq.kernel.se.common.SourceFileExceptionTest.testGetSourceArea
|
1
PASS
|
|
0.028985508
|
org.qedeq.kernel.se.common.SourceFileExceptionTest.testGetRefrenceArea
org.qedeq.kernel.se.common.SourceFileExceptionTest.testGetRefrenceArea
|
1
PASS
|
|
0.028985508
|
org.qedeq.kernel.se.common.SourceFileExceptionTest.testGetPlugin
org.qedeq.kernel.se.common.SourceFileExceptionTest.testGetPlugin
|
1
PASS
|