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	50%	50%	50%	50%	49%	49%	0%	0%	0%	0%	0%	0%
max2sat/140v	50	50%	50%	50%	49%	43%	43%	0%	0%	0%	0%	0%	0%
max3sat/70v	50	49%	49%	49%	49%	44%	44%	0%	0%	0%	0%	0%	0%
max3sat/80v	50	50%	49%	49%	49%	48%	48%	0%	0%	0%	0%	0%	0%
min2sat/160v	48	48%	48%	48%	48%	46%	46%	0%	0%	0%	0%	0%	0%
min2sat/200v	48	48%	48%	48%	48%	27%	27%	0%	0%	0%	0%	0%	0%