Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| AbsSynthe par1 | AbsSynthe | Results |
| AbsSynthe par2 | AbsSynthe | Results |
| Demiurge P3Real | Demiurge | Results |
| Realizer Parallel | Realizer | Results |
| Name | Solver | |
|---|---|---|
| AbsSynthe par1 | AbsSynthe | Results |
| AbsSynthe par2 | AbsSynthe | Results |
| Demiurge P3Real | Demiurge | Results |
| Realizer Parallel | Realizer | Results |