2019 XCSP3 competition: mini-solver track (sequential and parallel solvers): comparison of two solvers
Select two solvers that you want to compare
First solver:
cosoco_2
cosoco_2.0
cosoco_2.0
miniBTD_19.06.16
NACRE_1.0.5
NACRE_1.0.5-Hybrid
(reference) PicatSAT_2019-09-12
Second solver:
cosoco_2
cosoco_2.0
cosoco_2.0
miniBTD_19.06.16
NACRE_1.0.5
NACRE_1.0.5-Hybrid
(reference) PicatSAT_2019-09-12
No chosen solver.