Solver#Ins.optimax-itSAT4Jms-ext-iSAT4Jms-int-i
min2sat/v160c800l230100%0%0%
min2sat/v260c1040l23096%0%0%
min3sat/c70v350l330100%0%0%
min3sat/c80v400l330100%0%0%
pmax2sat/hi3096%0%0%
pmax2sat/me30100%0%0%
pmax3sat/hi30100%0%0%