Solver configurations used in the experiment
Name | Solver | |
---|---|---|
Bosy 2016 | Bosy 2016 | Results |
Party (elli-rally) 2016 | Party (elli-rally) 2016 | Results |
Name | Solver | |
---|---|---|
Bosy 2016 | Bosy 2016 | Results |
Party (elli-rally) 2016 | Party (elli-rally) 2016 | Results |