Solver	#Ins.	Maxsatz2013f	ISAC+-ms	ckmax-small	WMaxSatz+	WMaxSatz09	ahmaxsat	MaxHS	ILP-2013	scip-maxsat	Toulbar2	glpk-maxsat	MSUnCore	WPM1-2011	optimax	optimax-ni	pmifumax	toysat	wbo2.1-cnf
highgirth/3sat	50	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
highgirth/4sat	32	18%	3%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
max2sat/120v	50	100%	100%	100%	100%	100%	66%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
max2sat/140v	50	100%	100%	98%	90%	90%	36%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
max3sat/70v	50	100%	100%	96%	96%	94%	68%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
max3sat/80v	50	100%	100%	94%	96%	96%	76%	0%	2%	8%	2%	0%	0%	0%	0%	0%	0%	0%	0%
min2sat/160v	48	100%	100%	100%	100%	100%	100%	95%	91%	68%	52%	12%	0%	0%	0%	0%	0%	0%	0%
min2sat/200v	48	100%	100%	100%	100%	100%	97%	79%	75%	52%	33%	0%	0%	0%	0%	0%	0%	0%	0%