Solver	#Ins.	ISAC+-2015-ms	mscg2015a	mscg2015b	WPM3-2015-co	maxino-kdyn	Open-WBO	optiriss-def	maxino-k16	optiriss-sel	MaxHS	QMSAT15UC	QMSAT14	ILP-2015	Open-WBO-L	toysat	CCEHC2akms	CCLS2akms-ls	CCLS2akms	WMaxSatz+	WMaxSatz09	ahms-1.55	ahms-1.68	ahms-ls-1.55	ahms-ls-1.68	msUZK-nopp	msUZK-pp	ratselfax-cnf	toysat_ls
ial/circuit-debugging-problems	3	9.60(3)	7.30(3)	6.99(3)	7.17(3)	21.35(3)	3.13(3)	6.09(3)	22.09(3)	4.13(3)	29.06(2)	140.37(1)	221.08(1)	125.22(1)	1.90(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
sean-safarpour	52	59.95(42)	45.71(40)	46.43(40)	97.18(40)	115.95(39)	69.25(38)	72.33(38)	102.03(38)	192.80(38)	185.50(30)	137.53(16)	340.88(12)	53.26(6)	511.82(6)	426.09(5)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	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	42	41	41	41	41	32	17	13	7	7	5	0	0	0	0	0	0	0	0	0	0	0	0	0