QedeqBoFormalLogicCheckerDirectTest.testNegative00QedeqBoFormalLogicCheckerDirectTest.testNegative00 |
139234227880714 Feb 01:44:38 |
1
PASS
|
0.4260.426 |
|
QedeqBoFormalLogicCheckerDirectTest.testNegative02QedeqBoFormalLogicCheckerDirectTest.testNegative02 |
139234227930114 Feb 01:44:39 |
1
PASS
|
0.2360.236 |
|
QedeqBoFormalLogicCheckerDirectTest.testNegative04QedeqBoFormalLogicCheckerDirectTest.testNegative04 |
139234227969414 Feb 01:44:39 |
1
PASS
|
0.1130.113 |
|
QedeqBoFormalLogicCheckerDirectTest.testNegative01QedeqBoFormalLogicCheckerDirectTest.testNegative01 |
139234227925614 Feb 01:44:39 |
1
PASS
|
0.0380.038 |
|
QedeqBoFormalLogicCheckerDirectTest.testNegative03QedeqBoFormalLogicCheckerDirectTest.testNegative03 |
139234227958714 Feb 01:44:39 |
1
PASS
|
0.0990.099 |
|