Solver	#Ins.	ShinMaxSat	WPM1	pwbo2.1	akmaxsat_ls	akmaxsat	iut_rr_rv	WMaxSatz+	WMaxSatz09	iut_rr_ls	Sat4j	wbo1.6
auctions/auc-paths	86	89%	51%	18%	100%	100%	100%	82%	82%	100%	30%	0%
rafted/auctions/auc-scheduling	84	100%	100%	94%	100%	100%	89%	98%	98%	89%	64%	0%
min-enc/planning	56	92%	91%	98%	67%	67%	64%	87%	87%	48%	100%	53%
min-enc/warehouses	18	5%	77%	22%	11%	11%	11%	5%	5%	11%	5%	22%
pseudo/miplib	12	41%	25%	25%	16%	16%	16%	25%	25%	16%	33%	0%
random-net	74	0%	52%	24%	1%	1%	1%	0%	0%	1%	0%	50%
wcsp/spot5/dir	21	76%	38%	33%	19%	19%	19%	9%	9%	19%	14%	23%
wcsp/spot5/log	21	76%	42%	28%	23%	23%	19%	9%	9%	19%	14%	28%