HeuristicCheckerPluginTest.testQedeqSetTheoryScript1HeuristicCheckerPluginTest.testQedeqSetTheoryScript1 |
139234729157114 Feb 03:08:11 |
1
PASS
|
13.94113.941 |
|
HeuristicCheckerPluginTest.testQedeqLogicScript2HeuristicCheckerPluginTest.testQedeqLogicScript2 |
139234729124914 Feb 03:08:11 |
1
PASS
|
0.30.3 |
|
HeuristicCheckerPluginTest.testQedeqSetTheoryScript2HeuristicCheckerPluginTest.testQedeqSetTheoryScript2 |
139234730585214 Feb 03:08:25 |
1
PASS
|
0.8160.816 |
|
HeuristicCheckerPluginTest.testQedeqLogicScript1HeuristicCheckerPluginTest.testQedeqLogicScript1 |
139234728858414 Feb 03:08:08 |
1
PASS
|
2.6282.628 |
|