Solver	#Ins.	akmaxsat_ls	iut_rr_rv	iut_rr_ls	akmaxsat	WMaxSatz09	WMaxSatz+	PM2	QMaxSat-g2-ms	Sat4j	ShinMaxSat	WPM1	wbo1.6-cnf
highgirth/3sat	50	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
highgirth/4sat	32	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
max2sat/120v	50	100%	100%	100%	100%	98%	98%	0%	0%	0%	0%	0%	0%
max2sat/140v	50	100%	100%	100%	98%	86%	86%	0%	0%	0%	0%	0%	0%
max3sat/70v	50	98%	98%	98%	98%	88%	88%	0%	0%	0%	0%	0%	0%
max3sat/80v	50	100%	98%	98%	98%	96%	96%	0%	0%	0%	0%	0%	0%
min2sat/160v	48	100%	100%	100%	100%	95%	95%	0%	0%	0%	0%	0%	0%
min2sat/200v	48	100%	100%	100%	100%	56%	56%	0%	0%	0%	0%	0%	0%