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