Solver#Ins.mscg2015amscg2015bWPM3-2015-coOptiriss6maxino16-dismaxino16-c10Open-WBO16maxhs-bCCEHC2akmsCCLS2akmsNaps-1.02-msWMaxSatz+WMaxSatz09ahms-1.70ahms-ls-1.70
ial/circuit-debugging-problems37.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-safarpour5247.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)
Total5543 434341404037300000000