Differences

This shows you the differences between two versions of the page.

Link to this comparison view

hgmus [2016/11/18 15:05]
ajrm created
hgmus [2016/11/18 15:07] (current)
ajrm [Detailed Results]
Line 15: Line 15:
 Detailed results (from [1]) can be downloaded here: {{:​benchmarks:​supplementary-material-hgmus.tar.gz|}} (~6.3Mbyte) Detailed results (from [1]) can be downloaded here: {{:​benchmarks:​supplementary-material-hgmus.tar.gz|}} (~6.3Mbyte)
  
-Information on how to generate the axiom pinpointing instances of [1] for HgMUS can be found at EL2MUS website: http://​logos.ucd.ie/​web/​doku.php?​id=el2mus.+Information on how to generate the axiom pinpointing instances of [1] for HgMUS can be found at [[el2mus| ​EL2MUS website]].
  
  
Print/export