Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| SDF 2016 | SDF 2016 | Results |
| Abssynthe 2015 | Abssynthe 2015 | Results |
| Demiurge 2016 | Demiurge 2016 | Results |
| SafetySynth 2016 | SafetySynth 2016 | Results |
| Name | Solver | |
|---|---|---|
| SDF 2016 | SDF 2016 | Results |
| Abssynthe 2015 | Abssynthe 2015 | Results |
| Demiurge 2016 | Demiurge 2016 | Results |
| SafetySynth 2016 | SafetySynth 2016 | Results |