HeuristicCheckerPluginTest.testQedeqSetTheoryScript1HeuristicCheckerPluginTest.testQedeqSetTheoryScript1 |
136940250264324 May 13:35:02 |
1
PASS
|
11.4611.46 |
|
HeuristicCheckerPluginTest.testQedeqLogicScript2HeuristicCheckerPluginTest.testQedeqLogicScript2 |
136940250214324 May 13:35:02 |
1
PASS
|
0.2450.245 |
|
HeuristicCheckerPluginTest.testQedeqLogicScript1HeuristicCheckerPluginTest.testQedeqLogicScript1 |
136940249947424 May 13:34:59 |
1
PASS
|
2.3972.397 |
|
HeuristicCheckerPluginTest.testQedeqSetTheoryScript2HeuristicCheckerPluginTest.testQedeqSetTheoryScript2 |
136940251417224 May 13:35:14 |
1
PASS
|
0.8780.878 |
|