|
0.71428573
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript1
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript1
|
1
PASS
|
|
0.71428573
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript2
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript2
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthThreeModelTest.testTautology44
org.qedeq.kernel.bo.logic.model.CalculateTruthThreeModelTest.testTautology44
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology24
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology24
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology06
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology06
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology31
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology31
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology12
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology12
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology14
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology14
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology19
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology19
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology28
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology28
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology26
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology26
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology25
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology25
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology14
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology14
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology37
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology37
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology11
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology11
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology32
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology32
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology45
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology45
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology41
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology41
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology31
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology31
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology13
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology13
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology40
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology40
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology29
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology29
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology24
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology24
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology13
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology13
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthThreeModelTest.testTautology46
org.qedeq.kernel.bo.logic.model.CalculateTruthThreeModelTest.testTautology46
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology04
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology04
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology17
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology17
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology25
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology25
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology26
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology26
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology42
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology42
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology07
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology07
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology19
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology19
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology22
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology22
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology02
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology02
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology09
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology09
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology12
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology12
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology42
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology42
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology20
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology20
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology14
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology14
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology16
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology16
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript2
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript2
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology42
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology42
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology39
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology39
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology11
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology11
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology23
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology23
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology31
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology31
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology40
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology40
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology21
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology21
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology15
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology15
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology18
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology18
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology39
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology39
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology27
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology27
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology08
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology08
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology29
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology29
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology21
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology21
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology40
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology40
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology08
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology08
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology12
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology12
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript1
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript1
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology15
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology15
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology10
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology10
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology30
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology30
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology19
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology19
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology41
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology41
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology04
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology04
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology11
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology11
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology06
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology06
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology38
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology38
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology15
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology15
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology10
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology10
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology10
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology10
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology16
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology16
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology17
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology17
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology29
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology29
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology21
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology21
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology28
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology28
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology23
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology23
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology28
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology28
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology24
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology24
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology02
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology02
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology17
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology17
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology07
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology07
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology16
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology16
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology26
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology26
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology08
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology08
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology27
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology27
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology36
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology36
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology07
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology07
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology20
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology20
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology02
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology02
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology23
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology23
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology32
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology32
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology30
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology30
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology18
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology18
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology39
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology39
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology04
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology04
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology13
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology13
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology30
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology30
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology09
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology09
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology27
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology27
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology32
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology32
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology06
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology06
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology25
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology25
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology18
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology18
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology09
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology09
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology22
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology22
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology33
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology33
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology22
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology22
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology41
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology41
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthThreeModelTest.testTautology47
org.qedeq.kernel.bo.logic.model.CalculateTruthThreeModelTest.testTautology47
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology20
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology20
|
1
PASS
|
|
0.6666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology43
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology43
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology01
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology01
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology05
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology05
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology35
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology35
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology43
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology43
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology45
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology45
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology34
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology34
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology38
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology38
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology05
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology05
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology03
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology03
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology35
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology35
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology37
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology37
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology03
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology03
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology46
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology46
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology33
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology33
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology33
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology33
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology47
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology47
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology38
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology38
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology37
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology37
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology36
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology36
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology03
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology03
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology35
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology35
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology43
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology43
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology34
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology34
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology01
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology01
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology34
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology34
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology01
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology01
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology36
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology36
|
1
PASS
|
|
0.61904764
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology05
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology05
|
1
PASS
|
|
0.42857143
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
|
3
FAIL
|
|
0.42857143
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
|
3
FAIL
|
|
0.42857143
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
|
3
FAIL
|
|
0.42857143
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
|
3
FAIL
|