2017 XCSP3 competition: mini-solver track (sequential and parallel solvers): comparison of two solvers
Select two solvers that you want to compare
First solver:
cosoco-mini_1.12
cosoco-mini_1.1 (2017-06-27)
cosoco-mini_1.1 (2017-07-29)
miniBTD_2017-06-30
miniBTD_2017-08-10
Naxos_1.1.0
Second solver:
cosoco-mini_1.12
cosoco-mini_1.1 (2017-06-27)
cosoco-mini_1.1 (2017-07-29)
miniBTD_2017-06-30
miniBTD_2017-08-10
Naxos_1.1.0
No chosen solver.