Solver	#Ins.	WPM1	PM2	wbo1.6-cnf	claspMaxSat	IncMaxSatz	QMaxSat0.4-cnf	WMaxSatz+	WMaxSatz-2009	akmaxsat	akmaxsat_ls	sat4j-maxsat
circuit-debugging-problems	3	29.54(2)	60.31(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)
sean-safarpour	52	213.96(22)	176.36(15)	69.10(4)	313.76(2)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	55	24	16	4	2	0	0	0	0	0	0	0