Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| Demiurge P3Real (2015) | Demiurge (2015) | Results |
| Realizer parallel (2015) | Realizer (2015) | Results |
| AbsSynthe P1 (2015) | AbsSynthe (2015) | Results |
| AbsSynthe (2016) | AbsSynthe (2016) | Results |
| TermiteSAT (2016) | TermiteSAT (2016) | Results |
| AbsSynthe (2017) | AbsSynthe (2017) | Results |