Solver	#Ins.	optimax-it	SAT4Jms-ext-i	SAT4Jms-int-i
min2sat/v160c800l2	30	8.84(30)	0.00(0)	0.00(0)
min2sat/v260c1040l2	30	26.84(29)	0.00(0)	0.00(0)
min3sat/c70v350l3	30	8.71(30)	0.00(0)	0.00(0)
min3sat/c80v400l3	30	13.45(30)	0.00(0)	0.00(0)
pmax2sat/hi	30	0.14(29)	0.00(0)	0.00(0)
pmax2sat/me	30	0.11(30)	0.00(0)	0.00(0)
pmax3sat/hi	30	11.14(30)	0.00(0)	0.00(0)
Total	210	208	0	0