Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| Abssynthe (S1 Ref 2015) | Abssynthe 2015 | Results |
| Simple BDD Solver (Ref 2015) | Simple BDD Solver 2015 | Results |
| Simple BDD Solver (Ref 2014) | Simple BDD Solver (Ref 2014) | Results |
| Name | Solver | |
|---|---|---|
| Abssynthe (S1 Ref 2015) | Abssynthe 2015 | Results |
| Simple BDD Solver (Ref 2015) | Simple BDD Solver 2015 | Results |
| Simple BDD Solver (Ref 2014) | Simple BDD Solver (Ref 2014) | Results |