|
0.6097561
|
org.qedeq.kernel.se.common.ModuleDataExceptionTest.testConstructor
org.qedeq.kernel.se.common.ModuleDataExceptionTest.testConstructor
|
1
PASS
|
|
0.36585367
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin2
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin2
|
1
PASS
|
|
0.36585367
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02
|
1
PASS
|
|
0.36585367
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08
|
1
PASS
|
|
0.36585367
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02
|
1
PASS
|
|
0.36585367
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08
|
1
PASS
|
|
0.36585367
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq1
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq1
|
1
PASS
|
|
0.36585367
|
org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration
org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration
|
1
PASS
|
|
0.36585367
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin3
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin3
|
1
PASS
|
|
0.2682927
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck6
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck6
|
1
PASS
|
|
0.2682927
|
org.qedeq.kernel.bo.service.control.CheckRequiredModuleExceptionTest.testCreator
org.qedeq.kernel.bo.service.control.CheckRequiredModuleExceptionTest.testCreator
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration6
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration6
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript1
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript1
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_10
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_10
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative04
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative04
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v2
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v2
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative02
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative02
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v1
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v1
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L003
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L003
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_04
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_04
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_02
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_02
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_10
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_10
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_09
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_09
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerTest.testCheckModule
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerTest.testCheckModule
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin2
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin2
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_07
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_07
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_07
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_07
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPluginFast
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPluginFast
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative03
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative03
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative03
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative03
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative04
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative04
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_02
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_02
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_11
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_11
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative02
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative02
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_03
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_03
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript2
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript2
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration5
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration5
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration2
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration2
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse2
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse2
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_12
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_12
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_09
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_09
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_03
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_03
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_08
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_08
|
1
PASS
|
|
0.2195122
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L002
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L002
|
1
PASS
|
|
0.17073171
|
org.qedeq.kernel.se.common.ModuleDataExceptionTest.testEqualsObject
org.qedeq.kernel.se.common.ModuleDataExceptionTest.testEqualsObject
|
1
PASS
|
|
0.17073171
|
org.qedeq.kernel.se.common.IllegalModuleDataExceptionTest.testEqualsObject
org.qedeq.kernel.se.common.IllegalModuleDataExceptionTest.testEqualsObject
|
1
PASS
|
|
0.14634146
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck4
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck4
|
1
PASS
|
|
0.14634146
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck1
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck1
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath07
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath07
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath09
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath09
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath06
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath06
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test12
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test12
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test05
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test05
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath05
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath05
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath03
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath03
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq4
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq4
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
|
3
FAIL
|
|
0.12195122
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath02
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath02
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind3
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind3
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest.testAcceptors2
org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest.testAcceptors2
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
|
3
FAIL
|
|
0.12195122
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq6
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq6
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath01
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath01
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test04
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test04
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
|
3
FAIL
|
|
0.12195122
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath08
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath08
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq5
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq5
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath04
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath04
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.se.visitor.InterruptExceptionTest.testEqualsObject
org.qedeq.kernel.se.visitor.InterruptExceptionTest.testEqualsObject
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.bo.module.VisitorContextTest.testContext
org.qedeq.kernel.bo.module.VisitorContextTest.testContext
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind2
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind2
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test09
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test09
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test11
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test11
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq3
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq3
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test10
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test10
|
1
PASS
|
|
0.12195122
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
|
3
FAIL
|
|
0.12195122
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq2
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq2
|
1
PASS
|
|
0.09756097
|
org.qedeq.kernel.se.common.IllegalModuleDataExceptionTest.testConstructor
org.qedeq.kernel.se.common.IllegalModuleDataExceptionTest.testConstructor
|
1
PASS
|
|
0.048780486
|
org.qedeq.kernel.se.visitor.InterruptExceptionTest.testHashCode
org.qedeq.kernel.se.visitor.InterruptExceptionTest.testHashCode
|
1
PASS
|
|
0.048780486
|
org.qedeq.kernel.se.common.ModuleDataExceptionTest.testHashCode
org.qedeq.kernel.se.common.ModuleDataExceptionTest.testHashCode
|
1
PASS
|
|
0.048780486
|
org.qedeq.kernel.bo.service.control.CheckRequiredModuleExceptionTest.testGetter
org.qedeq.kernel.bo.service.control.CheckRequiredModuleExceptionTest.testGetter
|
1
PASS
|
|
0.048780486
|
org.qedeq.kernel.se.common.IllegalModuleDataExceptionTest.testHashCode
org.qedeq.kernel.se.common.IllegalModuleDataExceptionTest.testHashCode
|
1
PASS
|
|
0.048780486
|
org.qedeq.kernel.se.visitor.InterruptExceptionTest.testConstructor
org.qedeq.kernel.se.visitor.InterruptExceptionTest.testConstructor
|
1
PASS
|