Solver	#Ins.	akmaxsat_ls	akmaxsat	WMaxSatz+	WMaxSatz-2009	IncMaxSatz	PM2	QMaxSat0.4-cnf	WPM1	claspMaxSat	sat4j-maxsat	wbo1.6-cnf
highgirth/3sat	50	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
highgirth/4sat	32	0%	0%	0%	0%	18%	0%	0%	0%	0%	0%	0%
max2sat/120v	50	100%	100%	98%	98%	90%	0%	0%	0%	0%	0%	0%
max2sat/140v	50	100%	98%	86%	86%	54%	0%	0%	0%	0%	0%	0%
max3sat/70v	50	98%	98%	88%	88%	96%	0%	0%	0%	0%	0%	0%
max3sat/80v	50	98%	98%	96%	96%	98%	0%	0%	0%	0%	0%	0%