Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| Aisy | Aisy | Results |
| AbsSynthe (Ref 2014) | AbsSynthe (Ref 2014) | Results |
| Demiurge (Ref 2014) | Demiurge (Ref 2014) | Results |
| Simple BDD Solver (Ref 2014) | Simple BDD Solver (Ref 2014) | Results |
| Demiurge (Ref 2014) [parallel] | Demiurge (Ref 2014) | Results |