Solver	#Ins.	ubcsat-irots	Sat4j-i
frb	25	100%	0%
job-shop	3	0%	100%
maxclicque/random	96	100%	61%
maxclicque/structured	62	98%	37%
maxone/3sat	80	100%	41%
maxone/structured	60	35%	100%
min-enc/kbtree	42	100%	0%
pseudo/miplib	4	100%	100%