|
0.7777778
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration6
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration6
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3b
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3b
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind2
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind2
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration2
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration2
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test09
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test09
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test06
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test06
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1b
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1b
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin2
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin2
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration4
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration4
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test03
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test03
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test01
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test01
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test12
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test12
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test11
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test11
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test05
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test05
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind3
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind3
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3c
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3c
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test08
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test08
|
1
PASS
|
|
0.7777778
|
org.qedeq.base.io.StringOutputTest.testComplete
org.qedeq.base.io.StringOutputTest.testComplete
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPluginFast
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPluginFast
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test07
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test07
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test02
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test02
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test04
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test04
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1
|
1
PASS
|
|
0.7777778
|
org.qedeq.base.io.StringOutputTest.testPushPop
org.qedeq.base.io.StringOutputTest.testPushPop
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test10
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest.test10
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3
|
1
PASS
|
|
0.7777778
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration5
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration5
|
1
PASS
|
|
0.7777778
|
org.qedeq.base.io.StringOutputTest.testGetPosition
org.qedeq.base.io.StringOutputTest.testGetPosition
|
1
PASS
|