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	100%	100%	100%	100%	100%	100%	100%	100%	0%	0%	0%	0%	0%	0%	0%
sean-safarpour	52	76%	76%	76%	73%	71%	71%	65%	51%	0%	0%	0%	0%	0%	0%	0%