splice1k1i: submission: Gleb_Belov origfilename: instances/MODELS_IND/challenge_2012_2016mznc13-problemspattern-set-miningpattern_set_miningmzn-challenge_2012_2016mznc13-problemspattern-set-miningsplice-1-k1dzn.mps.gz