Solver	#Ins.	ubcsat-irots	Sat4j-i
frb	25	25%	0%
job-shop	3	0%	3%
maxclicque/random	96	96%	59%
maxclicque/structured	62	61%	23%
maxone/3sat	80	80%	33%
maxone/structured	60	21%	60%
min-enc/kbtree	42	42%	0%
pseudo/miplib	4	4%	4%