Solver	#Ins.	ISAC+-2016-co-ms	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	11.52(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	51.31(42)	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	45	43	43	43	41	40	40	37	30	0	0	0	0	0	0	0