|
0.12820514
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration
|
1
PASS
|
|
0.12820514
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration2
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration2
|
1
PASS
|
|
0.12087912
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript1
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript1
|
1
PASS
|
|
0.12087912
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript2
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript2
|
1
PASS
|
|
0.11721612
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration6
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration6
|
1
PASS
|
|
0.11721612
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2
|
1
PASS
|
|
0.11721612
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2
|
1
PASS
|
|
0.11721612
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2
|
1
PASS
|
|
0.11721612
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration
|
1
PASS
|
|
0.11721612
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin3
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin3
|
1
PASS
|
|
0.11721612
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3
|
1
PASS
|
|
0.11721612
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2
|
1
PASS
|
|
0.11721612
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1
|
1
PASS
|
|
0.11721612
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration5
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration5
|
1
PASS
|
|
0.10989011
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript1
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript1
|
1
PASS
|
|
0.10989011
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript2
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript2
|
1
PASS
|
|
0.10989011
|
org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPluginTest.testQedeqSampleScript1
org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPluginTest.testQedeqSampleScript1
|
1
PASS
|
|
0.10622711
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq4
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq4
|
1
PASS
|
|
0.10622711
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin2
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin2
|
1
PASS
|
|
0.10622711
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative04
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative04
|
1
PASS
|
|
0.10622711
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3b
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3b
|
1
PASS
|
|
0.10622711
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration4
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration4
|
1
PASS
|
|
0.10622711
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative02
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative02
|
1
PASS
|
|
0.10622711
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_10
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_10
|
1
PASS
|
|
0.10622711
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin
|
1
PASS
|
|
0.10622711
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPluginFast
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPluginFast
|
1
PASS
|
|
0.10622711
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative03
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative03
|
1
PASS
|
|
0.10622711
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative03
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative03
|
1
PASS
|
|
0.10622711
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1b
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1b
|
1
PASS
|
|
0.10622711
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative02
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative02
|
1
PASS
|
|
0.10622711
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative04
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative04
|
1
PASS
|
|
0.10622711
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3c
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3c
|
1
PASS
|
|
0.10622711
|
org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration
org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException04
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException04
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm20
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm20
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm40
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm40
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm49
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm49
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm01
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm01
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm17
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm17
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm20
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm20
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm22
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm22
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm18
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm18
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm18
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm18
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm34
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm34
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm46
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm46
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm27
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm27
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm11
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm11
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm28
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm28
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm03
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm03
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm39
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm39
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm15
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm15
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm48
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm48
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException05
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException05
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm10
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm10
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm27
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm27
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm19
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm19
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm25
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm25
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm19
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm19
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm43
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm43
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm07
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm07
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm35
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm35
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm22
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm22
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm10
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm10
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm08
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm08
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm13
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm13
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm04
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm04
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm05
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm05
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm28
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm28
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm09
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm09
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm41
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm41
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm32
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm32
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException00
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException00
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm09
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm09
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm04
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm04
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm08
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm08
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm14
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm14
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException06
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException06
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm13
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm13
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm05
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm05
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm11
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm11
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm16
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm16
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm00
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm00
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm21
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm21
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm42
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm42
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm04
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm04
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm02
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm02
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm24
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm24
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm06
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm06
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm01
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm01
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm15
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm15
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm05
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm05
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException01
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException01
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm14
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm14
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm03
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm03
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm26
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm26
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm33
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm33
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm47
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm47
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm30
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm30
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm06
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm06
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm07
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm07
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException03
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException03
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm23
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm23
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether
org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm01
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm01
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm36
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm36
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm21
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm21
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm06
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm06
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm02
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm02
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm02
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm02
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether
org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm31
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm31
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm12
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm12
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm03
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm03
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm12
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm12
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm50
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm50
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm09
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm09
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether
org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm29
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm29
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm45
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm45
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm00
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm00
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm17
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm17
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm16
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm16
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm37
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm37
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm00
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm00
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm08
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm08
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm23
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm23
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm24
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm24
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm26
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm26
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm38
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm38
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm07
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm07
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException02
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException02
|
1
PASS
|
|
0.0989011
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm44
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm44
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_10
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_10
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L003
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L003
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_02
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_02
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_09
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_09
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_07
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_07
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq5
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq5
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq2
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq2
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_04
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_04
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerTest.testCheckModule
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerTest.testCheckModule
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_11
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_11
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse2
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse2
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_09
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_09
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive02
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive02
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_03
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_03
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq6
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq6
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_07
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_07
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq1
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq1
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_02
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_02
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_03
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_03
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq3
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq3
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_08
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_08
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L002
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L002
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin2
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin2
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v2
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v2
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v1
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v1
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07
|
1
PASS
|
|
0.0952381
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_12
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_12
|
1
PASS
|
|
0.08424909
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_01
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_01
|
1
PASS
|
|
0.08424909
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_05
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_05
|
1
PASS
|
|
0.08424909
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin4
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin4
|
1
PASS
|
|
0.08424909
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind
|
1
PASS
|
|
0.08424909
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind3
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind3
|
1
PASS
|
|
0.08424909
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_04
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_04
|
1
PASS
|
|
0.08424909
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_08
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_08
|
1
PASS
|
|
0.08424909
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive04
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive04
|
1
PASS
|
|
0.08424909
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck4
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck4
|
1
PASS
|
|
0.08424909
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03b
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03b
|
1
PASS
|
|
0.08424909
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin
|
1
PASS
|
|
0.08424909
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_13
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_13
|
1
PASS
|
|
0.08424909
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_06
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_06
|
1
PASS
|
|
0.08424909
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_05
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_05
|
1
PASS
|
|
0.08424909
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck6
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck6
|
1
PASS
|
|
0.08424909
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_06
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_06
|
1
PASS
|
|
0.08424909
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck1
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck1
|
1
PASS
|
|
0.08424909
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_01
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_01
|
1
PASS
|
|
0.08424909
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind2
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind2
|
1
PASS
|
|
0.08424909
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive01
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive01
|
1
PASS
|
|
0.08058608
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology27
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology27
|
1
PASS
|
|
0.08058608
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology30
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology30
|
1
PASS
|
|
0.08058608
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology29
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology29
|
1
PASS
|
|
0.08058608
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology18
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology18
|
1
PASS
|
|
0.08058608
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology42
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology42
|
1
PASS
|
|
0.08058608
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology44
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology44
|
1
PASS
|
|
0.08058608
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology40
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology40
|
1
PASS
|
|
0.08058608
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology32
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology32
|
1
PASS
|
|
0.07326008
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02
|
1
PASS
|
|
0.07326008
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology01
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology01
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology45
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology45
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology45
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology45
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology26
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology26
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology32
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology32
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology02
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology02
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology15
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology15
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology29
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology29
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology36
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology36
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology40
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology40
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology21
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology21
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology27
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology27
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology20
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology20
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology35
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology35
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology42
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology42
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology17
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology17
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology51
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology51
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology16
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology16
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.CalculateTruthThreeModelTest.testTautology47
org.qedeq.kernel.bo.logic.model.CalculateTruthThreeModelTest.testTautology47
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.CalculateTruthThreeModelTest.testTautology44
org.qedeq.kernel.bo.logic.model.CalculateTruthThreeModelTest.testTautology44
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology18
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology18
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology40
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology40
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology09
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology09
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology25
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology25
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology22
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology22
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicThreeModelTest.testTautology44
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicThreeModelTest.testTautology44
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology43
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology43
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology31
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology31
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology46
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology46
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology26
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology26
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology38
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology38
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology27
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology27
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicThreeModelTest.testTautology44b
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicThreeModelTest.testTautology44b
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology24
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology24
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology05
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology05
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology04
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology04
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology03
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology03
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology30
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology30
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology33
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology33
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology07
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology07
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology52
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology52
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology13
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology13
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology41
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology41
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology23
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology23
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology42
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology42
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology37
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology37
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology10
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology10
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology28
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology28
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology29
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology29
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology11
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology11
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology47
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology47
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology30
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology30
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.CalculateTruthThreeModelTest.testTautology46
org.qedeq.kernel.bo.logic.model.CalculateTruthThreeModelTest.testTautology46
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology14
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology14
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology53
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology53
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology19
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology19
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology18
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology18
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology08
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology08
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology06
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology06
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology34
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology34
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology26
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology26
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology12
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology12
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology39
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology39
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology50
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology50
|
1
PASS
|
|
0.06959707
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology32
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology32
|
1
PASS
|
|
0.06593407
|
org.qedeq.kernel.bo.module.VisitorContextTest.testContext
org.qedeq.kernel.bo.module.VisitorContextTest.testContext
|
1
PASS
|
|
0.062271062
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative03
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative03
|
1
PASS
|
|
0.062271062
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive06
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive06
|
1
PASS
|
|
0.062271062
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative04
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative04
|
1
PASS
|
|
0.062271062
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive05
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive05
|
1
PASS
|
|
0.062271062
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative04
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative04
|
1
PASS
|
|
0.062271062
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative03
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative03
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology31
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology31
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology17
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology17
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology16
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology16
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology14
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology14
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology28
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology28
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology16
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology16
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology02
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology02
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology17
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology17
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology02
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology02
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology42
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology42
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology35
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology35
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology24
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology24
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology50
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology50
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology40
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology40
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology21
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology21
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology11
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology11
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology18
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology18
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology39
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology39
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology06
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology06
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology24
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology24
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology23
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology23
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology40
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology40
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology33
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology33
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology05
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology05
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology12
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology12
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology11
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology11
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology04
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology04
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology38
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology38
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology21
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology21
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology37
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology37
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology28
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology28
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology23
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology23
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology33
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology33
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology01
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology01
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology07
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology07
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology10
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology10
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology10
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology10
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology20
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology20
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology30
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology30
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology30
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology30
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology09
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology09
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology36
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology36
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology05
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology05
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology06
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology06
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology25
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology25
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology28
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology28
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology12
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology12
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology25
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology25
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology14
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology14
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology11
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology11
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology39
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology39
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology32
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology32
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology38
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology38
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology03
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology03
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology29
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology29
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology13
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology13
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology35
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology35
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology04
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology04
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology03
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology03
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology34
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology34
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology28
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology28
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology39
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology39
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
|
3
FAIL
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology09
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology09
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology35
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology35
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology20
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology20
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology21
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology21
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology14
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology14
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
|
3
FAIL
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology37
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology37
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology05
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology05
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology11
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology11
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology52
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology52
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology15
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology15
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology31
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology31
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology17
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology17
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology15
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology15
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology20
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology20
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology13
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology13
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology47
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology47
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology08
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology08
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology29
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology29
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology31
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology31
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology34
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology34
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology43
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology43
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology15
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology15
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology16
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology16
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology04
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology04
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology26
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology26
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology27
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology27
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology34
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology34
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology23
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology23
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology32
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology32
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology06
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology06
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology13
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology13
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology01
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology01
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology21
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology21
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology33
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology33
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology41
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology41
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology43
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology43
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology19
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology19
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology06
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology06
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology35
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology35
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology02
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology02
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology19
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology19
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology11
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology11
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology26
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology26
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology37
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology37
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology05
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology05
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology25
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology25
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology09
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology09
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology12
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology12
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology08
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology08
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology41
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology41
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology13
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology13
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology24
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology24
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology22
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology22
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology36
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology36
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology34
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology34
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology38
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology38
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology07
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology07
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology03
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology03
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology22
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology22
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology39
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology39
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology07
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology07
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology03
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology03
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology46
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology46
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology22
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology22
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
|
3
FAIL
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology14
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology14
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology31
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology31
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology41
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology41
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology38
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology38
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology15
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology15
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology37
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology37
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology16
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology16
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology17
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology17
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology13
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology13
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology28
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology28
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology23
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology23
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology36
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology36
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology03
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology03
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology24
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology24
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology17
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology17
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology08
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology08
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology19
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology19
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology43
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology43
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology37
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology37
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology02
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology02
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology01
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology01
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology04
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology04
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology27
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology27
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology32
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology32
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology25
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology25
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology22
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology22
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology20
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology20
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology24
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology24
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology07
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology07
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology04
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology04
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology01
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology01
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology31
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology31
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology40
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology40
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology36
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology36
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology43
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology43
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology45
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology45
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology25
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology25
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology33
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology33
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology26
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology26
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology42
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology42
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology05
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology05
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology19
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology19
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology12
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology12
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology16
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology16
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology41
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology41
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology42
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology42
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology23
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology23
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology27
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology27
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology08
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology08
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology29
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology29
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology21
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology21
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology08
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology08
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology15
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology15
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology10
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology10
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology30
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology30
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology19
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology19
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology33
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology33
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology06
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology06
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology10
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology10
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology10
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology10
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology51
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology51
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology35
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology35
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology12
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology12
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology02
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology02
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology38
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology38
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology09
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology09
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology20
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology20
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology36
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology36
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology07
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology07
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology01
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology01
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology41
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology41
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology18
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology18
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology34
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology34
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology39
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology39
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
|
3
FAIL
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology18
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology18
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology09
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology09
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology22
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology22
|
1
PASS
|
|
0.05860806
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology14
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology14
|
1
PASS
|
|
0.043956045
|
org.qedeq.kernel.bo.logic.common.FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive01
org.qedeq.kernel.bo.logic.common.FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive01
|
1
PASS
|
|
0.043956045
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative00
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative00
|
1
PASS
|
|
0.043956045
|
org.qedeq.kernel.bo.logic.common.FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive04
org.qedeq.kernel.bo.logic.common.FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive04
|
1
PASS
|
|
0.043956045
|
org.qedeq.kernel.xml.parser.QedeqParserTest.testParse1
org.qedeq.kernel.xml.parser.QedeqParserTest.testParse1
|
1
PASS
|
|
0.043956045
|
org.qedeq.kernel.bo.logic.common.FormulaUtilityReplaceOperatorVariableTest.test_Positive01
org.qedeq.kernel.bo.logic.common.FormulaUtilityReplaceOperatorVariableTest.test_Positive01
|
1
PASS
|
|
0.043956045
|
org.qedeq.kernel.bo.logic.common.FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive05
org.qedeq.kernel.bo.logic.common.FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive05
|
1
PASS
|
|
0.043956045
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath08
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath08
|
1
PASS
|
|
0.043956045
|
org.qedeq.kernel.xml.parser.QedeqParserTest.testParse2
org.qedeq.kernel.xml.parser.QedeqParserTest.testParse2
|
1
PASS
|
|
0.043956045
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath09
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath09
|
1
PASS
|
|
0.043956045
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative01
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative01
|
1
PASS
|
|
0.043956045
|
org.qedeq.kernel.bo.logic.common.FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive03
org.qedeq.kernel.bo.logic.common.FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive03
|
1
PASS
|
|
0.043956045
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test02
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test02
|
1
PASS
|
|
0.043956045
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative00
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative00
|
1
PASS
|
|
0.043956045
|
org.qedeq.kernel.bo.logic.common.FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive02
org.qedeq.kernel.bo.logic.common.FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive02
|
1
PASS
|
|
0.043956045
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative01
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative01
|
1
PASS
|
|
0.04029304
|
org.qedeq.base.trace.TraceTest.testTraceOn
org.qedeq.base.trace.TraceTest.testTraceOn
|
1
PASS
|
|
0.04029304
|
org.qedeq.base.trace.TraceTest.testTraceStack2
org.qedeq.base.trace.TraceTest.testTraceStack2
|
1
PASS
|
|
0.04029304
|
org.qedeq.base.trace.TraceTest.testTraceStack
org.qedeq.base.trace.TraceTest.testTraceStack
|
1
PASS
|
|
0.032967035
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test06
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test06
|
1
PASS
|
|
0.032967035
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test05
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test05
|
1
PASS
|
|
0.032967035
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath03
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath03
|
1
PASS
|
|
0.032967035
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test07
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test07
|
1
PASS
|
|
0.032967035
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test03
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test03
|
1
PASS
|
|
0.032967035
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath01
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath01
|
1
PASS
|
|
0.032967035
|
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testGetXPathLocation
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testGetXPathLocation
|
1
PASS
|
|
0.032967035
|
org.qedeq.kernel.xml.tracker.XPathLocationParserTest.testGetXPathLocation
org.qedeq.kernel.xml.tracker.XPathLocationParserTest.testGetXPathLocation
|
1
PASS
|
|
0.032967035
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test11
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test11
|
1
PASS
|
|
0.032967035
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath07
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath07
|
1
PASS
|
|
0.032967035
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath06
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath06
|
1
PASS
|
|
0.032967035
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test12
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test12
|
1
PASS
|
|
0.032967035
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath02
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath02
|
1
PASS
|
|
0.032967035
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test04
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test04
|
1
PASS
|
|
0.032967035
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test01
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test01
|
1
PASS
|
|
0.032967035
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath05
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath05
|
1
PASS
|
|
0.032967035
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test08
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test08
|
1
PASS
|
|
0.032967035
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath04
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath04
|
1
PASS
|
|
0.032967035
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test09
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test09
|
1
PASS
|
|
0.032967035
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test10
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test10
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testParamBoolean2
org.qedeq.base.trace.TraceTest.testParamBoolean2
|
1
PASS
|
|
0.02930403
|
org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress3
org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress3
|
1
PASS
|
|
0.02930403
|
org.qedeq.kernel.bo.KernelContextTest.testGetServiceProcesses
org.qedeq.kernel.bo.KernelContextTest.testGetServiceProcesses
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testParamInfoBoolean
org.qedeq.base.trace.TraceTest.testParamInfoBoolean
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testParamInt2
org.qedeq.base.trace.TraceTest.testParamInt2
|
1
PASS
|
|
0.02930403
|
org.qedeq.kernel.bo.KernelContextTest.testClearAllPluginResults
org.qedeq.kernel.bo.KernelContextTest.testClearAllPluginResults
|
1
PASS
|
|
0.02930403
|
org.qedeq.kernel.bo.KernelContextTest.testClearLocalBuffer
org.qedeq.kernel.bo.KernelContextTest.testClearLocalBuffer
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testParamInt
org.qedeq.base.trace.TraceTest.testParamInt
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testParamInfoInt
org.qedeq.base.trace.TraceTest.testParamInfoInt
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testTraceThrowable
org.qedeq.base.trace.TraceTest.testTraceThrowable
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testParamInfoObject
org.qedeq.base.trace.TraceTest.testParamInfoObject
|
1
PASS
|
|
0.02930403
|
org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress2
org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress2
|
1
PASS
|
|
0.02930403
|
org.qedeq.kernel.bo.KernelContextTest.testExecutePlugin
org.qedeq.kernel.bo.KernelContextTest.testExecutePlugin
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testParamString
org.qedeq.base.trace.TraceTest.testParamString
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testBegin
org.qedeq.base.trace.TraceTest.testBegin
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testBegin2
org.qedeq.base.trace.TraceTest.testBegin2
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testTraceThrowable4
org.qedeq.base.trace.TraceTest.testTraceThrowable4
|
1
PASS
|
|
0.02930403
|
org.qedeq.kernel.bo.KernelContextTest.testGetQedeqBo
org.qedeq.kernel.bo.KernelContextTest.testGetQedeqBo
|
1
PASS
|
|
0.02930403
|
org.qedeq.kernel.bo.KernelContextTest.testRemoveAllModules
org.qedeq.kernel.bo.KernelContextTest.testRemoveAllModules
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testInfo2
org.qedeq.base.trace.TraceTest.testInfo2
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testParamInfoInt2
org.qedeq.base.trace.TraceTest.testParamInfoInt2
|
1
PASS
|
|
0.02930403
|
org.qedeq.kernel.bo.KernelContextTest.testCheckFormallyProved
org.qedeq.kernel.bo.KernelContextTest.testCheckFormallyProved
|
1
PASS
|
|
0.02930403
|
org.qedeq.kernel.bo.KernelContextTest.testGetPlugins
org.qedeq.kernel.bo.KernelContextTest.testGetPlugins
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testParamInfoObject2
org.qedeq.base.trace.TraceTest.testParamInfoObject2
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testTraceThrowable3
org.qedeq.base.trace.TraceTest.testTraceThrowable3
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testTraceObject
org.qedeq.base.trace.TraceTest.testTraceObject
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testParamInfoBoolean2
org.qedeq.base.trace.TraceTest.testParamInfoBoolean2
|
1
PASS
|
|
0.02930403
|
org.qedeq.kernel.bo.KernelContextTest.testGetConfig
org.qedeq.kernel.bo.KernelContextTest.testGetConfig
|
1
PASS
|
|
0.02930403
|
org.qedeq.kernel.bo.KernelContextTest.testLoadAllModulesFromQedeq
org.qedeq.kernel.bo.KernelContextTest.testLoadAllModulesFromQedeq
|
1
PASS
|
|
0.02930403
|
org.qedeq.kernel.bo.KernelContextTest.testStartup
org.qedeq.kernel.bo.KernelContextTest.testStartup
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testParamString2
org.qedeq.base.trace.TraceTest.testParamString2
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testParamBoolean
org.qedeq.base.trace.TraceTest.testParamBoolean
|
1
PASS
|
|
0.02930403
|
org.qedeq.kernel.bo.KernelContextTest.testLoadRequiredModules
org.qedeq.kernel.bo.KernelContextTest.testLoadRequiredModules
|
1
PASS
|
|
0.02930403
|
org.qedeq.kernel.bo.KernelContextTest.testGetSource
org.qedeq.kernel.bo.KernelContextTest.testGetSource
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testParamObject2
org.qedeq.base.trace.TraceTest.testParamObject2
|
1
PASS
|
|
0.02930403
|
org.qedeq.kernel.bo.KernelContextTest.testRemoveModule
org.qedeq.kernel.bo.KernelContextTest.testRemoveModule
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testParamObject
org.qedeq.base.trace.TraceTest.testParamObject
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testEnd
org.qedeq.base.trace.TraceTest.testEnd
|
1
PASS
|
|
0.02930403
|
org.qedeq.kernel.bo.KernelContextTest.testLoadModule
org.qedeq.kernel.bo.KernelContextTest.testLoadModule
|
1
PASS
|
|
0.02930403
|
org.qedeq.kernel.bo.KernelContextTest.testInit
org.qedeq.kernel.bo.KernelContextTest.testInit
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testParamInfoString2
org.qedeq.base.trace.TraceTest.testParamInfoString2
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testTraceThrowable2
org.qedeq.base.trace.TraceTest.testTraceThrowable2
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testEnd2
org.qedeq.base.trace.TraceTest.testEnd2
|
1
PASS
|
|
0.02930403
|
org.qedeq.kernel.bo.KernelContextTest.testGetAllLoadedModules
org.qedeq.kernel.bo.KernelContextTest.testGetAllLoadedModules
|
1
PASS
|
|
0.02930403
|
org.qedeq.kernel.bo.KernelContextTest.testStopAllPluginExecutions
org.qedeq.kernel.bo.KernelContextTest.testStopAllPluginExecutions
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testParamInfoString
org.qedeq.base.trace.TraceTest.testParamInfoString
|
1
PASS
|
|
0.02930403
|
org.qedeq.kernel.bo.KernelContextTest.testCheckWellFormedness
org.qedeq.kernel.bo.KernelContextTest.testCheckWellFormedness
|
1
PASS
|
|
0.02930403
|
org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress
org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress
|
1
PASS
|
|
0.02930403
|
org.qedeq.kernel.bo.KernelContextTest.testGetRunningServiceProcesses
org.qedeq.kernel.bo.KernelContextTest.testGetRunningServiceProcesses
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testTraceObject2
org.qedeq.base.trace.TraceTest.testTraceObject2
|
1
PASS
|
|
0.02930403
|
org.qedeq.kernel.bo.KernelContextTest.testShutdown
org.qedeq.kernel.bo.KernelContextTest.testShutdown
|
1
PASS
|
|
0.02930403
|
org.qedeq.base.trace.TraceTest.testInfo
org.qedeq.base.trace.TraceTest.testInfo
|
1
PASS
|
|
0.025641026
|
org.qedeq.kernel.bo.log.TraceListenerTest.testLogFailureReply
org.qedeq.kernel.bo.log.TraceListenerTest.testLogFailureReply
|
1
PASS
|
|
0.025641026
|
org.qedeq.kernel.bo.log.TraceListenerTest.testLogFailureState
org.qedeq.kernel.bo.log.TraceListenerTest.testLogFailureState
|
1
PASS
|
|
0.021978023
|
org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest.testVisit
org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest.testVisit
|
1
PASS
|
|
0.021978023
|
org.qedeq.kernel.se.common.DefaultModuleAddressTest.testCreateModuleContext
org.qedeq.kernel.se.common.DefaultModuleAddressTest.testCreateModuleContext
|
1
PASS
|
|
0.021978023
|
org.qedeq.base.io.UrlUtilityTest.testSaveUrlToFile
org.qedeq.base.io.UrlUtilityTest.testSaveUrlToFile
|
1
PASS
|
|
0.021978023
|
org.qedeq.kernel.bo.service.control.DefaultKernelQedeqBoTest.testSetDependencyFailureState
org.qedeq.kernel.bo.service.control.DefaultKernelQedeqBoTest.testSetDependencyFailureState
|
1
PASS
|
|
0.021978023
|
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testTagNotFound
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testTagNotFound
|
1
PASS
|
|
0.021978023
|
org.qedeq.kernel.se.common.DefaultModuleAddressTest.testGetModulePaths3
org.qedeq.kernel.se.common.DefaultModuleAddressTest.testGetModulePaths3
|
1
PASS
|
|
0.021978023
|
org.qedeq.kernel.bo.service.control.DefaultKernelQedeqBoTest.testConstructor
org.qedeq.kernel.bo.service.control.DefaultKernelQedeqBoTest.testConstructor
|
1
PASS
|
|
0.021978023
|
org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest.testGeneration
org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest.testGeneration
|
1
PASS
|
|
0.021978023
|
org.qedeq.kernel.bo.log.QedeqLogTest.testAddLog
org.qedeq.kernel.bo.log.QedeqLogTest.testAddLog
|
1
PASS
|
|
0.021978023
|
org.qedeq.kernel.se.common.DefaultModuleAddressTest.testConstructor
org.qedeq.kernel.se.common.DefaultModuleAddressTest.testConstructor
|
1
PASS
|
|
0.021978023
|
org.qedeq.kernel.bo.service.control.DefaultKernelQedeqBoTest.testSetLoadingFailureState
org.qedeq.kernel.bo.service.control.DefaultKernelQedeqBoTest.testSetLoadingFailureState
|
1
PASS
|
|
0.021978023
|
org.qedeq.kernel.bo.service.control.DefaultKernelQedeqBoTest.testSetLoadingProgressState
org.qedeq.kernel.bo.service.control.DefaultKernelQedeqBoTest.testSetLoadingProgressState
|
1
PASS
|
|
0.021978023
|
org.qedeq.kernel.bo.service.control.DefaultKernelQedeqBoTest.testHasFailures
org.qedeq.kernel.bo.service.control.DefaultKernelQedeqBoTest.testHasFailures
|
1
PASS
|
|
0.021978023
|
org.qedeq.kernel.bo.log.QedeqLogTest.testRemoveLog2
org.qedeq.kernel.bo.log.QedeqLogTest.testRemoveLog2
|
1
PASS
|
|
0.010989011
|
org.qedeq.base.trace.TraceTest.testFatal2
org.qedeq.base.trace.TraceTest.testFatal2
|
1
PASS
|
|
0.010989011
|
org.qedeq.kernel.se.common.DefaultModuleAddressTest.testGetModulePaths2
org.qedeq.kernel.se.common.DefaultModuleAddressTest.testGetModulePaths2
|
1
PASS
|
|
0.010989011
|
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testFileNotOk
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testFileNotOk
|
1
PASS
|
|
0.010989011
|
org.qedeq.kernel.se.common.DefaultModuleAddressTest.testHashCode
org.qedeq.kernel.se.common.DefaultModuleAddressTest.testHashCode
|
1
PASS
|
|
0.010989011
|
org.qedeq.base.trace.TraceTest.testFatal
org.qedeq.base.trace.TraceTest.testFatal
|
1
PASS
|
|
0.010989011
|
org.qedeq.kernel.bo.log.QedeqLogTest.testLogRequest
org.qedeq.kernel.bo.log.QedeqLogTest.testLogRequest
|
1
PASS
|
|
0.010989011
|
org.qedeq.kernel.bo.log.QedeqLogTest.testLogFailureReply
org.qedeq.kernel.bo.log.QedeqLogTest.testLogFailureReply
|
1
PASS
|
|
0.010989011
|
org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest.testQedeq
org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest.testQedeq
|
1
PASS
|
|
0.010989011
|
org.qedeq.kernel.bo.log.QedeqLogTest.testLogFailureState
org.qedeq.kernel.bo.log.QedeqLogTest.testLogFailureState
|
1
PASS
|
|
0.010989011
|
org.qedeq.base.test.EachClassHasATestCase.testIfEveryClassIsTested
org.qedeq.base.test.EachClassHasATestCase.testIfEveryClassIsTested
|
1
PASS
|
|
0.010989011
|
org.qedeq.kernel.se.common.DefaultModuleAddressTest.testDefaultModuleAddressURL
org.qedeq.kernel.se.common.DefaultModuleAddressTest.testDefaultModuleAddressURL
|
1
PASS
|
|
0.010989011
|
org.qedeq.kernel.se.common.ModuleContextTest.testConstructor
org.qedeq.kernel.se.common.ModuleContextTest.testConstructor
|
1
PASS
|
|
0.010989011
|
org.qedeq.kernel.bo.log.QedeqLogTest.testLogSuccesfulState
org.qedeq.kernel.bo.log.QedeqLogTest.testLogSuccesfulState
|
1
PASS
|
|
0.010989011
|
org.qedeq.kernel.se.common.DefaultModuleAddressTest.testDefaultModuleAddressFile
org.qedeq.kernel.se.common.DefaultModuleAddressTest.testDefaultModuleAddressFile
|
1
PASS
|
|
0.010989011
|
org.qedeq.kernel.bo.log.QedeqLogTest.testLogMessage
org.qedeq.kernel.bo.log.QedeqLogTest.testLogMessage
|
1
PASS
|
|
0.010989011
|
org.qedeq.kernel.bo.log.QedeqLogTest.testLogSuccessfulReply
org.qedeq.kernel.bo.log.QedeqLogTest.testLogSuccessfulReply
|
1
PASS
|
|
0.010989011
|
org.qedeq.kernel.se.common.DefaultModuleAddressTest.testGetModulePaths1
org.qedeq.kernel.se.common.DefaultModuleAddressTest.testGetModulePaths1
|
1
PASS
|
|
0.010989011
|
org.qedeq.kernel.bo.log.QedeqLogTest.testRemoveLog
org.qedeq.kernel.bo.log.QedeqLogTest.testRemoveLog
|
1
PASS
|
|
0.010989011
|
org.qedeq.kernel.se.common.DefaultModuleAddressTest.testEqualsObject
org.qedeq.kernel.se.common.DefaultModuleAddressTest.testEqualsObject
|
1
PASS
|
|
0.010989011
|
org.qedeq.kernel.bo.log.QedeqLogTest.testLogMessageState
org.qedeq.kernel.bo.log.QedeqLogTest.testLogMessageState
|
1
PASS
|
|
0.010989011
|
org.qedeq.kernel.se.common.DefaultModuleAddressTest.testToString
org.qedeq.kernel.se.common.DefaultModuleAddressTest.testToString
|
1
PASS
|
|
0.0073260074
|
org.qedeq.kernel.bo.log.TraceListenerTest.testLogSuccessfulReply
org.qedeq.kernel.bo.log.TraceListenerTest.testLogSuccessfulReply
|
1
PASS
|
|
0.0073260074
|
org.qedeq.kernel.bo.log.TraceListenerTest.testLogRequest
org.qedeq.kernel.bo.log.TraceListenerTest.testLogRequest
|
1
PASS
|
|
0.0073260074
|
org.qedeq.kernel.bo.log.TraceListenerTest.testLogMessage
org.qedeq.kernel.bo.log.TraceListenerTest.testLogMessage
|
1
PASS
|
|
0.0073260074
|
org.qedeq.kernel.bo.log.TraceListenerTest.testLogMessageState
org.qedeq.kernel.bo.log.TraceListenerTest.testLogMessageState
|
1
PASS
|
|
0.0073260074
|
org.qedeq.kernel.bo.log.TraceListenerTest.testLogSuccesfulState
org.qedeq.kernel.bo.log.TraceListenerTest.testLogSuccesfulState
|
1
PASS
|