Solver	#Ins.	ubcsat-irots	Sat4j-i
auctions/auc-paths	86	86%	21%
rafted/auctions/auc-scheduling	84	84%	76%
min-enc/planning	56	5%	56%
min-enc/warehouses	18	1%	18%
pseudo/miplib	12	2%	10%
random-net	74	40%	34%
wcsp/spot5/dir	21	21%	3%
wcsp/spot5/log	21	21%	3%