print · source · login   

<Name of the Benchmark>

Related publications: [DTD12]

Description

Place here the description of the benchmark. Optionaly also cite a publication using the identifier of the publication. By example we refer to publication [MG15].

As identifier of the publication you could take for example the first letters of the last names of the authors and the last two digits of the year of publication.