|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology34
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology34
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology33
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology33
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology18
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology18
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology21
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology21
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology41
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology41
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology46
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology46
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology35
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology35
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology22
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology22
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology41
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology41
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology41
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology41
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology33
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology33
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript1
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript1
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology36
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology36
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology38
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology38
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology27
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology27
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology28
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology28
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology18
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology18
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology32
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology32
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology18
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology18
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology40
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology40
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology45
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology45
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology37
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology37
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology23
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology23
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology35
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology35
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology21
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology21
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology42
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology42
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology30
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology30
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology21
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology21
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology29
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology29
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology45
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology45
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology37
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology37
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology20
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology20
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology26
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology26
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology46
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology46
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology36
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology36
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology29
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology29
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology40
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology40
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology29
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology29
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology42
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology42
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology29
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology29
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthThreeModelTest.testTautology44
org.qedeq.kernel.bo.logic.model.CalculateTruthThreeModelTest.testTautology44
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology44
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology44
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology33
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology33
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology35
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology35
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology34
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology34
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology37
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology37
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology43
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology43
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology32
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology32
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology40
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology40
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology38
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology38
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology38
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology38
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology18
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology18
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthThreeModelTest.testTautology46
org.qedeq.kernel.bo.logic.model.CalculateTruthThreeModelTest.testTautology46
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology35
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology35
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthThreeModelTest.testTautology47
org.qedeq.kernel.bo.logic.model.CalculateTruthThreeModelTest.testTautology47
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology22
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology22
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology19
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology19
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology32
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology32
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology22
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology22
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology35
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology35
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology34
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology34
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology18
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology18
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology31
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology31
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology23
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology23
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology41
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology41
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology47
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology47
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology18
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology18
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology19
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology19
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology43
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology43
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology26
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology26
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology40
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology40
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology43
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology43
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology33
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology33
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology37
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology37
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology27
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology27
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology40
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology40
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology20
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology20
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology27
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology27
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology21
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology21
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology32
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology32
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology23
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology23
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript1
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript1
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology30
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology30
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology21
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology21
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology19
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology19
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology28
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology28
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology53
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology53
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology30
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology30
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology45
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology45
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology20
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology20
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology22
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology22
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology23
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology23
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology28
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology28
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology27
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology27
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology27
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology27
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology36
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology36
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology29
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology29
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology31
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology31
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology36
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology36
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology21
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology21
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology42
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology42
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicThreeModelTest.testTautology44b
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicThreeModelTest.testTautology44b
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology37
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology37
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript2
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript2
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology27
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology27
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology37
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology37
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology36
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology36
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology34
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology34
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology20
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology20
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology23
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology23
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology38
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology38
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology40
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology40
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology38
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology38
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology30
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology30
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology23
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology23
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology31
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology31
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology20
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology20
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology28
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology28
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology47
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology47
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPluginTest.testQedeqSampleScript1
org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPluginTest.testQedeqSampleScript1
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology19
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology19
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology34
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology34
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology31
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology31
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology30
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology30
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology35
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology35
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology36
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology36
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology28
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology28
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology33
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology33
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript2
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript2
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology26
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology26
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology42
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology42
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology38
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology38
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology26
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology26
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology31
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology31
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology19
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology19
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology41
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology41
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology33
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology33
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology32
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology32
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology43
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology43
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology22
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology22
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology43
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology43
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology32
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology32
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology26
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology26
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicThreeModelTest.testTautology44
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicThreeModelTest.testTautology44
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology19
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology19
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology42
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology42
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology29
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology29
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology42
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology42
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology30
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology30
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology28
org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest.testTautology28
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology31
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology31
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology22
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology22
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology41
org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology41
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology20
org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest.testTautology20
|
1
PASS
|
|
0.46666667
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology34
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology34
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_03
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_03
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration4
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration4
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v1
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v1
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive04
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive04
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative05
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative05
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v2
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v2
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerTest.testCheckModule
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerTest.testCheckModule
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L002
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L002
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology44
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology44
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive01
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive01
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology26
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest.testTautology26
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative07
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative07
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration1
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration1
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative08
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative08
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative06
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative06
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest.testCreateStringQedeq4
org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest.testCreateStringQedeq4
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration2
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration2
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology45
org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology45
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative07
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative07
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_06
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_06
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive02
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive02
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_09
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_09
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L003
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L003
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_04
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_04
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_02
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_02
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_07
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_07
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative08
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative08
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative06
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative06
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_08
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_08
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest.testCreateStringQedeq6
org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest.testCreateStringQedeq6
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest.testCreateStringQedeq5
org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest.testCreateStringQedeq5
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration2
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration2
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative05
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative05
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration4
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration4
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration3
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration3
|
1
PASS
|
|
0.13333334
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_05
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_05
|
1
PASS
|