Solver	#Ins.	CCLS	iraNovelty++	SAT4Jms-ext-i	SAT4Jms-int-i	optimax-it
wmax2sat/100v	40	2.18(40)	18.51(39)	0.00(0)	0.00(0)	0.00(0)
wmax2sat/120v	40	2.99(40)	20.24(40)	0.00(0)	0.00(0)	0.00(0)
wmax2sat/140v	40	3.50(40)	35.65(37)	0.00(0)	0.00(0)	0.00(0)
wmax3sat/hi	40	2.05(40)	2.86(40)	0.00(0)	0.00(0)	0.00(0)
Total	160	160	156	0	0	0