Solver	#Ins.	optimax-it	SAT4Jms-int-i	SAT4Jms-ext-i	CCLS	iraNovelty++
ial/circuit-debugging-problems	3	100%	33%	33%	0%	0%
sean-safarpour	52	80%	9%	7%	17%	0%