Solver	#Ins.	optimax-it	SAT4Jms-ext-i	SAT4Jms-int-i
wpmax2sat/hi	30	0.13(29)	0.00(0)	0.00(0)
wpmax2sat/lo	30	0.10(30)	0.00(0)	0.00(0)
wpmax2sat/me	30	0.10(30)	0.00(0)	0.00(0)
wpmax3sat/hi	30	30.75(30)	0.00(0)	0.00(0)
Total	120	119	0	0