Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| Bosy linear | Bosy | Results |
| Bosy exponential | Bosy | Results |
| Acacia 4 Aiger | Acacia 4 Aiger | Results |
| Party (elli-rally) | Party (elli-rally) | Results |
| Unbeast (realizable) | Unbeast | Results |
| Unbeast (unrealizable) | Unbeast | Results |