| nth Step |
{{tab.result.stepNo}} |
| Started |
{{tab.result.statistics.startDate | date : 'EEE, dd.MM.yyyy, HH:mm'}} |
| Numbers |
| Duration |
{{tab.result.statistics.duration.total | formatMilliseconds}} (Learner:
{{tab.result.statistics.duration.learner | formatMilliseconds}}, EQ Oracle:
{{tab.result.statistics.duration.eqOracle | formatMilliseconds}})
|
| #Membership Queries |
{{tab.result.statistics.mqsUsed.total}} (Learner: {{tab.result.statistics.mqsUsed.learner}}, EQ Oracle:
{{tab.result.statistics.mqsUsed.eqOracle}})
|
| #Equivalence Queries |
{{tab.result.statistics.eqsUsed}} |
| #Symbol Calls |
{{tab.result.statistics.symbolsUsed.total}} (Learner: {{tab.result.statistics.symbolsUsed.learner}}, EQ
Oracle: {{tab.result.statistics.symbolsUsed.eqOracle}})
|