Solver	#Ins.	ubcsat-irots	Sat4j-i
wpmax2sat/hi	30	100%	0%
wpmax2sat/lo	30	100%	0%
wpmax2sat/me	30	100%	0%
wpmax3sat/hi	30	100%	6%