Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| Simple BDD Solver | Simple BDD Solver 2016 | Results |
| TermiteSAT 2016 | TermiteSAT 2016 | Results |
| Simple BDD Solver w/ Abs. | Simple BDD Solver 2016 | Results |
| Simple BDD Solver w/ Abs. 2 | Simple BDD Solver 2016 | Results |
| Demiurge D1real | Demiurge 2016 | Results |
| AbsSynthe SC1 | AbsSynthe | Results |
| AbsSynthe SC2 | AbsSynthe | Results |
| AbsSynthe SC3 | AbsSynthe | Results |
| SafetySynth | SafetySynth | Results |
| SafetySynth alt. | SafetySynth | Results |