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 |