Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| Demiurge D1Real | Demiurge | Results |
| Realizer sequential | Realizer | Results |
| AbsSynthe seq1 | AbsSynthe | Results |
| AbsSynthe seq2 | AbsSynthe | Results |
| AbsSynthe seq3 | AbsSynthe | Results |
| Simple BDD Solver 1 | Simple BDD Solver | Results |
| Simple BDD Solver 2 | Simple BDD Solver | Results |