Solver	#Ins.	CCLS	iraNovelty++	SAT4Jms-ext-i	SAT4Jms-int-i	optimax-it
wmax2sat/100v	40	100%	97%	0%	0%	0%
wmax2sat/120v	40	100%	100%	0%	0%	0%
wmax2sat/140v	40	100%	92%	0%	0%	0%
wmax3sat/hi	40	100%	100%	0%	0%	0%