Solver	#Ins.	Sat4j-i	ubcsat-irots
dustrial/haplotyping-pedigrees	100	70%	0%
timetabling	26	0%	0%
ustrial/upgradeability-problem	100	100%	0%