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 |