|
0.8064516
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3c
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3c
|
1
PASS
|
|
0.8064516
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin
|
1
PASS
|
|
0.8064516
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration2
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration2
|
1
PASS
|
|
0.8064516
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin4
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin4
|
1
PASS
|
|
0.8064516
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration4
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration4
|
1
PASS
|
|
0.8064516
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegativeGeneration2
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegativeGeneration2
|
1
PASS
|
|
0.8064516
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegativeGeneration2
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegativeGeneration2
|
1
PASS
|
|
0.8064516
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration3c
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration3c
|
1
PASS
|
|
0.8064516
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3b
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3b
|
1
PASS
|
|
0.8064516
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1
|
1
PASS
|
|
0.8064516
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L003
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L003
|
1
PASS
|
|
0.8064516
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration
|
1
PASS
|
|
0.8064516
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin
|
1
PASS
|
|
0.8064516
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration3b
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration3b
|
1
PASS
|
|
0.8064516
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin2
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin2
|
1
PASS
|
|
0.8064516
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration2
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration2
|
1
PASS
|
|
0.8064516
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin2
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin2
|
1
PASS
|
|
0.8064516
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration1b
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration1b
|
1
PASS
|
|
0.8064516
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1b
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1b
|
1
PASS
|
|
0.8064516
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPluginFast
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPluginFast
|
1
PASS
|
|
0.8064516
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin3
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin3
|
1
PASS
|
|
0.8064516
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration1
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration1
|
1
PASS
|
|
0.8064516
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration4
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration4
|
1
PASS
|
|
0.8064516
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration
|
1
PASS
|