Solver	#Ins.	optimax-it	SAT4Jms-ext-i	SAT4Jms-int-i
CSG	10	60%	100%	100%
auctions/auc-paths	86	88%	25%	20%
rafted/auctions/auc-scheduling	84	98%	63%	63%
min-enc/planning	56	94%	100%	100%
min-enc/warehouses	18	100%	5%	5%
pseudo/miplib	12	66%	25%	25%
random-net	74	51%	0%	0%