Solver	#Ins.	ISAC+-2015-wpms	LMHS-C	MaxHS	LMHS-I	ILP-2015	mscg2015b	mscg2015a	ahms-ls-1.68	ahms-1.68	QMSAT14	maxino-kdyn	maxino-k16	QMSAT15UC	CCEHC2akms	Open-WBO	CCLS2akms	WPM3-2015-co	WMaxSatz+	WMaxSatz09	ahms-ls-1.55	ahms-1.55	optiriss-def	toysat_ls	ratselfax-cnfc4	msUZK-pp	ratselfax-cnf	msUZK-nopp	toysat	Open-WBO-L	optiriss-sel
CSG	10	100%	100%	100%	100%	40%	100%	90%	0%	0%	100%	100%	100%	100%	40%	80%	30%	60%	20%	20%	0%	0%	50%	80%	100%	100%	90%	80%	60%	80%	40%
auctions/auc-paths	20	100%	100%	100%	100%	100%	20%	5%	100%	100%	55%	100%	100%	45%	100%	100%	100%	60%	100%	100%	100%	100%	15%	0%	0%	5%	0%	5%	0%	0%	0%
rafted/auctions/auc-scheduling	20	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	95%	75%	75%	100%	100%	100%	100%	75%	100%	75%	100%	95%	5%	25%
causal-discovery	35	48%	88%	100%	91%	0%	80%	65%	0%	0%	100%	100%	100%	97%	0%	45%	0%	14%	2%	2%	0%	0%	5%	0%	57%	0%	57%	0%	8%	0%	0%
frb	34	100%	67%	67%	67%	64%	70%	58%	41%	41%	100%	41%	41%	67%	41%	0%	41%	29%	41%	41%	41%	41%	97%	94%	11%	41%	11%	41%	50%	97%	11%
min-enc/planning	30	90%	100%	100%	100%	100%	100%	100%	33%	33%	100%	100%	100%	100%	46%	100%	46%	96%	80%	76%	23%	23%	96%	100%	100%	100%	100%	100%	100%	100%	73%
min-enc/warehouses	18	100%	100%	100%	100%	100%	11%	11%	33%	33%	33%	11%	11%	33%	11%	11%	11%	11%	33%	33%	27%	27%	5%	5%	5%	5%	5%	5%	5%	5%	5%
pseudo/miplib	12	41%	25%	25%	25%	25%	41%	41%	16%	16%	41%	41%	33%	41%	16%	41%	16%	41%	33%	33%	16%	16%	25%	25%	25%	25%	25%	25%	25%	41%	16%
ramsey	15	26%	6%	13%	6%	26%	13%	13%	26%	26%	26%	20%	20%	20%	26%	0%	26%	6%	26%	26%	26%	26%	6%	20%	13%	6%	13%	13%	20%	20%	6%
random-net	32	100%	100%	100%	100%	84%	100%	100%	9%	9%	87%	6%	6%	90%	3%	40%	3%	18%	0%	0%	9%	9%	37%	0%	0%	0%	0%	0%	0%	0%	15%
set-covering/scp4x	10	100%	100%	100%	100%	100%	100%	100%	100%	100%	0%	50%	40%	0%	0%	40%	0%	40%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
set-covering/scp5x	10	100%	100%	100%	100%	100%	90%	90%	100%	100%	0%	70%	70%	0%	0%	60%	0%	70%	0%	0%	0%	0%	10%	0%	0%	0%	0%	0%	0%	0%	0%
set-covering/scp6x	5	100%	100%	100%	100%	100%	40%	40%	80%	60%	0%	20%	0%	0%	100%	0%	60%	40%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
set-covering/scpn	20	50%	50%	50%	50%	50%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
wmaxcut/dimacs_mod	43	95%	13%	2%	0%	51%	4%	6%	95%	95%	9%	2%	2%	9%	95%	0%	95%	6%	88%	88%	95%	95%	0%	0%	0%	0%	0%	0%	0%	2%	0%
wmaxcut/spinglass	5	80%	60%	40%	20%	80%	20%	20%	100%	100%	40%	20%	20%	20%	80%	0%	80%	0%	80%	80%	40%	40%	0%	0%	20%	20%	20%	20%	20%	0%	0%