Solver	#Ins.	optimax-it	CCLS	SAT4Jms-int-i	SAT4Jms-ext-i	iraNovelty++
ial/circuit-debugging-problems	3	31.01(3)	0.00(0)	24.04(1)	24.81(1)	0.00(0)
sean-safarpour	52	34.59(42)	4.73(9)	58.46(5)	61.35(4)	0.00(0)
Total	55	45	9	6	5	0