Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| AbsSynthe SSC1 | AbsSynthe | Results |
| AbsSynthe SSC2 | AbsSynthe | Results |
| AbsSynthe SSC3 | AbsSynthe | Results |
| SafetySynth | SafetySynth | Results |
| SafetySynth alt. | SafetySynth | Results |
| Demiurge D1synt | Demiurge 2016 | Results |