|
0.575
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin4
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin4
|
1
PASS
|
|
0.575
|
org.qedeq.base.io.VersionTest.testEquals
org.qedeq.base.io.VersionTest.testEquals
|
1
PASS
|
|
0.5375
|
org.qedeq.base.io.VersionTest.testConstructors
org.qedeq.base.io.VersionTest.testConstructors
|
1
PASS
|
|
0.5125
|
org.qedeq.base.io.VersionSetTest.testAddAndContainsClearIsEmpty
org.qedeq.base.io.VersionSetTest.testAddAndContainsClearIsEmpty
|
1
PASS
|
|
0.5125
|
org.qedeq.base.io.VersionSetTest.testAddAndEquals
org.qedeq.base.io.VersionSetTest.testAddAndEquals
|
1
PASS
|
|
0.5
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck6
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck6
|
1
PASS
|
|
0.5
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck4
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck4
|
1
PASS
|
|
0.5
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck1
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck1
|
1
PASS
|
|
0.5
|
org.qedeq.base.io.VersionTest.testEquals2
org.qedeq.base.io.VersionTest.testEquals2
|
1
PASS
|
|
0.4875
|
org.qedeq.base.io.VersionTest.testBigger
org.qedeq.base.io.VersionTest.testBigger
|
1
PASS
|
|
0.4875
|
org.qedeq.base.io.VersionSetTest.testConstructors
org.qedeq.base.io.VersionSetTest.testConstructors
|
1
PASS
|
|
0.4875
|
org.qedeq.base.io.VersionTest.testEquals3
org.qedeq.base.io.VersionTest.testEquals3
|
1
PASS
|
|
0.475
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin2
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin2
|
1
PASS
|
|
0.475
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin
|
1
PASS
|
|
0.475
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin2
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin2
|
1
PASS
|
|
0.475
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPluginFast
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPluginFast
|
1
PASS
|
|
0.475
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin
|
1
PASS
|
|
0.475
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin3
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin3
|
1
PASS
|
|
0.4625
|
org.qedeq.base.io.VersionTest.testLess
org.qedeq.base.io.VersionTest.testLess
|
1
PASS
|
|
0.4375
|
org.qedeq.base.io.VersionSetTest.testToString
org.qedeq.base.io.VersionSetTest.testToString
|
1
PASS
|
|
0.425
|
org.qedeq.kernel.bo.logic.ProofCheckerFactoryImplTest.testCreateFormulaChecker
org.qedeq.kernel.bo.logic.ProofCheckerFactoryImplTest.testCreateFormulaChecker
|
1
PASS
|
|
0.4125
|
org.qedeq.base.io.VersionSetTest.testIterator
org.qedeq.base.io.VersionSetTest.testIterator
|
1
PASS
|
|
0.4125
|
org.qedeq.base.io.VersionSetTest.testHashCode
org.qedeq.base.io.VersionSetTest.testHashCode
|
1
PASS
|
|
0.3375
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration
|
1
PASS
|
|
0.3375
|
org.qedeq.base.io.VersionTest.testIsLess
org.qedeq.base.io.VersionTest.testIsLess
|
1
PASS
|
|
0.3375
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1b
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1b
|
1
PASS
|
|
0.3375
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration
|
1
PASS
|
|
0.3375
|
org.qedeq.base.io.VersionTest.testIsBigger
org.qedeq.base.io.VersionTest.testIsBigger
|
1
PASS
|
|
0.3125
|
org.qedeq.base.io.VersionTest.testCompareTo
org.qedeq.base.io.VersionTest.testCompareTo
|
1
PASS
|
|
0.225
|
org.qedeq.base.io.VersionTest.testToString
org.qedeq.base.io.VersionTest.testToString
|
1
PASS
|
|
0.225
|
org.qedeq.base.io.VersionTest.testGetters
org.qedeq.base.io.VersionTest.testGetters
|
1
PASS
|
|
0.175
|
org.qedeq.base.io.VersionTest.testHashCode
org.qedeq.base.io.VersionTest.testHashCode
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration6
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration6
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript1
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript1
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_10
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_10
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative04
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative04
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive04
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive04
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v2
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v2
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative02
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative02
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v1
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v1
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L003
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L003
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq4
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq4
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerTest.testCheckModule
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerTest.testCheckModule
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03b
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03b
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive06
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive06
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive05
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive05
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind3
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind3
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript2
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript2
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3c
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3c
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_07
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_07
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq6
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq6
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative03
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative03
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative03
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative03
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative04
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative04
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_02
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_02
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript1
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript1
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_11
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_11
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative02
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative02
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq5
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq5
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPluginTest.testQedeqSampleScript1
org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPluginTest.testQedeqSampleScript1
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_13
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_13
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript2
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript2
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_04
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_04
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_01
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_01
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration5
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration5
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_05
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_05
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3b
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3b
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind2
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind2
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration2
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration2
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse2
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse2
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_12
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_12
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration4
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration4
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_09
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_09
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq3
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq3
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_06
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_06
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive02
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive02
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_03
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_03
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_08
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_08
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L002
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L002
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq2
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq2
|
1
PASS
|
|
0.15
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive01
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive01
|
1
PASS
|