neos-506428:
  origfilename: neos-506428.mps.gz
  submission: submission2010/instances/publically_available