Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| Bosy (2016) | Bosy (2016) | Results |
| Bowser (2017) | Bowser (2017) | Results |
| Party (2017) | Party (2017) | Results |
| Name | Solver | |
|---|---|---|
| Bosy (2016) | Bosy (2016) | Results |
| Bowser (2017) | Bowser (2017) | Results |
| Party (2017) | Party (2017) | Results |