Solver	#Ins.	ubcsat-irots	Sat4j-i
auctions/auc-paths	86	100%	24%
rafted/auctions/auc-scheduling	84	100%	90%
min-enc/planning	56	8%	100%
min-enc/warehouses	18	5%	100%
pseudo/miplib	12	16%	83%
random-net	74	54%	45%
wcsp/spot5/dir	21	100%	14%
wcsp/spot5/log	21	100%	14%