Solver configurations used in the experiment

Name Solver
Bosy 2016 Bosy 2016 Results
Party (elli-rally) 2016 Party (elli-rally) 2016 Results