Solver	#Ins.	akmaxsat_ls	akmaxsat	iut_rr_rv	iut_rr_ls	WMaxSatz+	WMaxSatz09	ShinMaxSat	Sat4j	wbo1.6	WPM1
frb	34	41%	41%	41%	41%	26%	26%	82%	11%	11%	11%
ramsey	15	26%	26%	26%	26%	26%	26%	6%	26%	6%	6%
wmaxcut/dimacs_mod	62	96%	96%	96%	96%	88%	88%	4%	3%	6%	6%
wmaxcut/spinglass	5	80%	80%	80%	80%	80%	80%	0%	0%	0%	0%