Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| AbsSynthe PS1 | AbsSynthe | Results |
| AbsSynthe PS2 | AbsSynthe | Results |
| AbsSynthe PS3 | AbsSynthe | Results |
| Demiurge P3Synt | Demiurge | Results |
| Name | Solver | |
|---|---|---|
| AbsSynthe PS1 | AbsSynthe | Results |
| AbsSynthe PS2 | AbsSynthe | Results |
| AbsSynthe PS3 | AbsSynthe | Results |
| Demiurge P3Synt | Demiurge | Results |