Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| AbsSynthe P1 | AbsSynthe | Results |
| AbsSynthe P2 | AbsSynthe | Results |
| AbsSynthe P3 | AbsSynthe | Results |
| TermiteSAT Portfolio | TermiteSAT | Results |
| TermiteSAT Hybrid | TermiteSAT | Results |
| Demiurge P3real | Demiurge | Results |