rmine22.yml 96 Bytes
Newer Older
1 2 3
rmine22:
  origfilename: rmine.22.mps.gz
  submission: submission2010/instances/daniel_espinoza