Solver configurations used in the experiment
Name | Solver | |
---|---|---|
AbsSynthe (2014) | AbsSynthe (2014) | Results |
Demiurge D1Synt (2014) | Demiurge (2014) | Results |
Demiurge D1Synt (2015) | Demiurge (2015) | Results |
AbsSynthe S2 (2015) | AbsSynthe (2015) | Results |
AbsSynthe (2016) | AbsSynthe (2016) | Results |
SafetySynth (2016) | SafetySynth (2016) | Results |
SDF (2016) | SDF (2016) | Results |
AbsSynthe (2017) | AbsSynthe (2017) | Results |
SafetySynth (2017) | SafetySynth (2017) | Results |