Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| AbsSynthe (2014) | AbsSynthe (2014) | Results |
| Demiurge (2014) | Demiurge (2014) | Results |
| Simple BDD Solver (2014) | Simple BDD Solver (2014) | Results |
| Demiurge D1Real (2015) | Demiurge (2015) | Results |
| Realizer (2015) | Realizer (2015) | Results |
| AbsSynthe S2 (2015) | AbsSynthe (2015) | Results |
| Simple BDD Solver (2015) | Simple BDD Solver (2015) | Results |
| AbsSynthe (2016) | AbsSynthe (2016) | Results |
| SafetySynth (2016) | SafetySynth (2016) | Results |
| Simple BDD Solver (2016) | Simple BDD Solver (2016) | Results |
| AbsSynthe S3 (2017) | AbsSynthe (2017) | Results |
| SafetySynth (2017) | SafetySynth (2017) | Results |