Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| Simple BDD Solver (2016) | Simple BDD Solver (2016) | Results |
| Simple BDD Solver w/ Abs. | Simple BDD Solver (2016) | Results |
| Simple BDD Solver w/ Abs. 2 | Simple BDD Solver (2016) | Results |
| LazySynt | LazySynt | Results |
| LazySynt (genDel) | LazySynt | Results |