Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| AbsSynthe PSC1 | AbsSynthe | Results |
| AbsSynthe PSC2 | AbsSynthe | Results |
| AbsSynthe PSC3 | AbsSynthe | Results |
| Demiurge P3synt | Demiurge 2016 | Results |
| Name | Solver | |
|---|---|---|
| AbsSynthe PSC1 | AbsSynthe | Results |
| AbsSynthe PSC2 | AbsSynthe | Results |
| AbsSynthe PSC3 | AbsSynthe | Results |
| Demiurge P3synt | Demiurge 2016 | Results |