Solver	#Ins.	mscg2015a	mscg2015b	WPM3-2015-co	Optiriss6	maxino16-dis	maxino16-c10	Open-WBO16	maxhs-b	CCEHC2akms	CCLS2akms	Naps-1.02-ms	WMaxSatz+	WMaxSatz09	ahms-1.70	ahms-ls-1.70
ial/circuit-debugging-problems	3	7.26(3)	7.31(3)	7.19(3)	22.31(3)	131.54(3)	251.44(3)	6.26(3)	52.16(3)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
sean-safarpour	52	47.07(40)	47.12(40)	98.87(40)	77.49(38)	125.29(37)	347.00(37)	91.97(34)	149.64(27)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	55	43	43	43	41	40	40	37	30	0	0	0	0	0	0	0