Solver	#Ins.	Dist	CCLS2014	CCMPA	SAT4J-ms-inc	WPM-2014-in	optimax2-g-i	optimax2w-r-i
wmax2sat/100v	40	0.81(100)	0.87(100)	0.03(100)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wmax2sat/120v	40	1.14(100)	1.13(100)	0.03(100)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wmax2sat/140v	40	1.12(100)	1.26(100)	0.21(100)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wmax3sat/hi	40	0.59(100)	0.67(100)	0.05(100)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wpmax2sat/hi	30	0.33(96)	1.41(96)	1.22(86)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wpmax2sat/lo	30	0.42(100)	1.40(96)	2.83(96)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wpmax2sat/me	30	0.46(100)	0.80(96)	5.06(96)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wpmax3sat/hi	30	0.73(100)	0.76(100)	0.15(100)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	280	796	790	780	0	0	0	0