{{setup.name}}

Algorithm	{{setup.algorithm.name | formatLearningAlgorithm}}
WebDriver	{{setup.webDriver.browser | formatWebBrowser}} ({{setup.webDriver.width}}px {{setup.webDriver.height}}px)
Equivalence test	{{setup.equivalenceOracle.type | formatEqOracle}}
Environments	{{env.name}}
Reset symbol	{{setup.preSymbol.getAliasOrComputedName()}}
Input alphabet	{{s.getAliasOrComputedName()}}
Post symbol	{{setup.postSymbol.getAliasOrComputedName()}}