2019 XCSP3 competition: fast COP track (sequential and parallel solvers): comparison of two solvers
Select two solvers that you want to compare
First solver:
AbsCon_2019-07-23
choco-solver_2019-06-14
choco-solver_2019-06-14 parallel
choco-solver_2019-09-16
choco-solver_2019-09-16 parallel
choco-solver_2019-09-20
choco-solver_2019-09-20 parallel
choco-solver_2019-09-24
choco-solver_2019-09-24 parallel
Concrete_3.10
Concrete_3.12.2
Concrete_3.12.2
Concrete_3.12.3
cosoco_2
cosoco_2.0
cosoco_2.0
cosoco_2.0 parallel
cosoco_2.O parallel
PicatSAT_2019-09-12
Second solver:
AbsCon_2019-07-23
choco-solver_2019-06-14
choco-solver_2019-06-14 parallel
choco-solver_2019-09-16
choco-solver_2019-09-16 parallel
choco-solver_2019-09-20
choco-solver_2019-09-20 parallel
choco-solver_2019-09-24
choco-solver_2019-09-24 parallel
Concrete_3.10
Concrete_3.12.2
Concrete_3.12.2
Concrete_3.12.3
cosoco_2
cosoco_2.0
cosoco_2.0
cosoco_2.0 parallel
cosoco_2.O parallel
PicatSAT_2019-09-12
No chosen solver.