Solver	#Ins.	IncWMaxSatz	akmaxsat	akmaxsat_ls	WMaxSatz-2009	WMaxSatz+	WPM1	claspMaxSat	sat4j-maxsat	wbo1.6	WPM2
auctions/auc-paths	86	100%	100%	100%	82%	82%	38%	46%	45%	0%	0%
rafted/auctions/auc-scheduling	84	97%	100%	100%	98%	98%	95%	92%	83%	0%	3%
min-enc/planning	56	67%	67%	67%	89%	89%	96%	100%	100%	53%	69%
min-enc/warehouses	18	66%	11%	11%	5%	5%	5%	5%	5%	22%	5%
pseudo/miplib	12	25%	16%	16%	25%	25%	25%	33%	25%	0%	16%
random-net	74	1%	1%	1%	0%	0%	0%	0%	0%	50%	0%
wcsp/spot5/dir	21	19%	19%	19%	9%	9%	23%	14%	14%	23%	38%
wcsp/spot5/log	21	19%	23%	19%	9%	9%	28%	14%	14%	28%	38%