Solver	#Ins.	ubcsat-irots	Sat4j-i
min2sat/v160c800l2	30	100%	0%
min2sat/v260c1040l2	30	73%	33%
min3sat/c70v350l3	30	100%	0%
min3sat/c80v400l3	30	100%	0%
pmax2sat/hi	30	100%	0%
pmax2sat/me	30	100%	0%
pmax3sat/hi	30	100%	0%