Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| TermiteSAT Portfolio | TermiteSAT 2016 | Results |
| TermiteSAT Hybrid | TermiteSAT 2016 | Results |
| Demiurge P3real | Demiurge 2016 | Results |
| AbsSynthe PC1 | AbsSynthe | Results |
| AbsSynthe PC2 | AbsSynthe | Results |
| AbsSynthe PC3 | AbsSynthe | Results |