Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| SDF | SDF | Results |
| Demiurge D1Synt | Demiurge | Results |
| AbsSynthe S1 | AbsSynthe | Results |
| AbsSynthe S2 | AbsSynthe | Results |
| AbsSynthe S3 | AbsSynthe | Results |
| SafetySynth | SafetySynth | Results |
| SafetySynth Alt | SafetySynth | Results |