Solver	#Ins.	Sat4j-i	ubcsat-irots
ial/circuit-debugging-problems	3	0%	0%
sean-safarpour	52	3%	0%