Solver	#Ins.	WPM1	ShinMaxSat	akmaxsat_ls	akmaxsat	WMaxSatz+	WMaxSatz09	iut_rr_rv	iut_rr_ls	pwbo2.1	Sat4j	wbo1.6
auctions/auc-paths	86	44%	77%	86%	86%	71%	71%	86%	86%	16%	26%	0%
rafted/auctions/auc-scheduling	84	84%	84%	84%	84%	83%	83%	75%	75%	79%	54%	0%
min-enc/planning	56	51%	52%	38%	38%	49%	49%	36%	27%	55%	56%	30%
min-enc/warehouses	18	14%	1%	2%	2%	1%	1%	2%	2%	4%	1%	4%
pseudo/miplib	12	3%	5%	2%	2%	3%	3%	2%	2%	3%	4%	0%
random-net	74	39%	0%	1%	1%	0%	0%	1%	1%	18%	0%	37%
wcsp/spot5/dir	21	8%	16%	4%	4%	2%	2%	4%	4%	7%	3%	5%
wcsp/spot5/log	21	9%	16%	5%	5%	2%	2%	4%	4%	6%	3%	6%