Solver	#Ins.	wbo-1.4a	WPM1	PM2	SAT4J-MAXSAT-2.2.0	IncMaxSatz	LS_Power	Maxsat_Power	WMaxSatz+	WMaxSatz-2009	akmaxsat	akmaxsat_ls
CircuitDebuggingProblems/	9	157.14(7)	21.86(5)	24.16(5)	17.58(2)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
SeanSafarpour/	68	270.06(39)	101.08(30)	111.58(28)	9.20(2)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	77	46	35	33	4	0	0	0	0	0	0	0