Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| AbsSynthe (Ref 2014) | AbsSynthe (Ref 2014) | Results |
| Demiurge Sequential (learn) (Ref 2014) | Demiurge (Ref 2014) | Results |
| Aisy | Aisy | Results |
| Demiurge Parallel (learn) (Ref 2014) | Demiurge (Ref 2014) | Results |