QedeqBoFormalLogicCheckerDirectTest.testNegative02QedeqBoFormalLogicCheckerDirectTest.testNegative02 |
139236220346014 Feb 07:16:43 |
1
PASS
|
0.3690.369 |
|
QedeqBoFormalLogicCheckerDirectTest.testNegative04QedeqBoFormalLogicCheckerDirectTest.testNegative04 |
139236220421214 Feb 07:16:44 |
1
PASS
|
0.1090.109 |
|
QedeqBoFormalLogicCheckerDirectTest.testNegative03QedeqBoFormalLogicCheckerDirectTest.testNegative03 |
139236220395814 Feb 07:16:43 |
1
PASS
|
0.1220.122 |
|
QedeqBoFormalLogicCheckerDirectTest.testNegative00QedeqBoFormalLogicCheckerDirectTest.testNegative00 |
139236220306314 Feb 07:16:43 |
1
PASS
|
0.3020.302 |
|
QedeqBoFormalLogicCheckerDirectTest.testNegative01QedeqBoFormalLogicCheckerDirectTest.testNegative01 |
139236220339714 Feb 07:16:43 |
1
PASS
|
0.0470.047 |
|