Solver	#Ins.	Dist	CCLS2014	CCMPA	SAT4J-ms-inc	WPM-2014-in	optimax2-g-i	optimax2w-r-i
wmax2sat/100v	40	2.45(40)	2.61(40)	0.10(40)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wmax2sat/120v	40	3.44(40)	3.41(40)	0.11(40)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wmax2sat/140v	40	3.36(40)	3.78(40)	0.65(40)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wmax3sat/hi	40	1.78(40)	2.02(40)	0.15(40)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wpmax2sat/hi	30	1.04(29)	4.39(29)	4.22(26)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wpmax2sat/lo	30	1.28(30)	4.35(29)	8.80(29)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wpmax2sat/me	30	1.39(30)	2.49(29)	15.72(29)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wpmax3sat/hi	30	2.20(30)	2.30(30)	0.46(30)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	280	279	277	274	0	0	0	0