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