| Solver | #Ins. | ISAC+-2016-in-ms | dsat-wpm3-in-ms | WPM3-2015-in | Optiriss6-in | CnC-LS | dsat-wpm3-s-in-ms | CCLS | CCEHC | HS-Greedy | Naps-1.02-ms | Ramp | SC2016 | SsMonteCarlo | Swcca-ms |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ial/circuit-debugging-problems | 3 | 100% | 100% | 100% | 100% | 66% | 100% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
| sean-safarpour | 52 | 75% | 71% | 67% | 67% | 86% | 40% | 1% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |