Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| TermiteSAT | TermiteSAT | Results |
| SafetySynth | SafetySynth | Results |
| SafetySynth Alt | SafetySynth | Results |
| Simple BDD Solver | Simple BDD Solver | Results |
| Simple BDD Solver with Abstraction | Simple BDD Solver | Results |
| SDF | SDF | Results |
| Demiurge D1real | Demiurge | Results |
| Simple BDD Solver w/ Abstraction 2 | Simple BDD Solver | Results |
| AbsSynthe S2 | AbsSynthe | Results |
| AbsSynthe S3 | AbsSynthe | Results |
| AbsSynthe S1 | AbsSynthe | Results |