Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| Strix | Strix | Results |
| Bowser (simple, par) | Bowser | Results |
| Bowser (synth, par) | Bowser | Results |
| Bowser (opt, par) | Bowser | Results |
| BoSy (par, basic) | BoSy | Results |
| BoSy (par, opt) | BoSy | Results |
| Name | Solver | |
|---|---|---|
| Strix | Strix | Results |
| Bowser (simple, par) | Bowser | Results |
| Bowser (synth, par) | Bowser | Results |
| Bowser (opt, par) | Bowser | Results |
| BoSy (par, basic) | BoSy | Results |
| BoSy (par, opt) | BoSy | Results |