neos-1337307.yml 110 Bytes
Newer Older
1 2 3
neos-1337307:
  origfilename: neos-1337307.mps.gz
  submission: submission2010/instances/publically_available