HeuristicCheckerPluginTest.testQedeqLogicScript1HeuristicCheckerPluginTest.testQedeqLogicScript1 |
139233586881813 Feb 23:57:48 |
1
PASS
|
2.0952.095 |
|
HeuristicCheckerPluginTest.testQedeqLogicScript2HeuristicCheckerPluginTest.testQedeqLogicScript2 |
139233587092513 Feb 23:57:50 |
1
PASS
|
0.2010.201 |
|
HeuristicCheckerPluginTest.testQedeqSetTheoryScript2HeuristicCheckerPluginTest.testQedeqSetTheoryScript2 |
139233587791313 Feb 23:57:57 |
1
PASS
|
0.7170.717 |
|
HeuristicCheckerPluginTest.testQedeqSetTheoryScript1HeuristicCheckerPluginTest.testQedeqSetTheoryScript1 |
139233587113513 Feb 23:57:51 |
1
PASS
|
6.7486.748 |
|