Solver	#Ins.	optimax-it	SAT4Jms-ext-i	SAT4Jms-int-i
wpmax2sat/hi	30	96%	0%	0%
wpmax2sat/lo	30	100%	0%	0%
wpmax2sat/me	30	100%	0%	0%
wpmax3sat/hi	30	100%	0%	0%