2017 XCSP3 competition: fast COP track (sequential and parallel solvers): comparison of two solvers
Select two solvers that you want to compare
First solver:
AbsCon-basic_2017-06-11
choco-solver_4.0.5 par (2017-07-26)
choco-solver_4.0.5 par (2017-08-09)
choco-solver_4.0.5 par (2017-08-18)
choco-solver_4.0.5 seq (2017-07-26)
choco-solver_4.0.5 seq (2017-08-09)
choco-solver_4.0.5 seq (2017-08-18)
choco-solver_5a (2017-07-26)
choco-solver_5a (2017-08-18)
Concrete_3.4
cosoco_1.1
cosoco_1.12
cosoco-sat_1.12
Mistral-2.0_2017-07-28
OscaR - ALNS_2017-07-26
OscaR - Conflict Ordering_2017-07-26
OscaR - Hybrid_2017-07-26
OscaR - Parallel with EPS_2017-07-26
OscaR - Parallel with EPS_2017-08-22
sat4j-CSP_2017-07-05
Second solver:
AbsCon-basic_2017-06-11
choco-solver_4.0.5 par (2017-07-26)
choco-solver_4.0.5 par (2017-08-09)
choco-solver_4.0.5 par (2017-08-18)
choco-solver_4.0.5 seq (2017-07-26)
choco-solver_4.0.5 seq (2017-08-09)
choco-solver_4.0.5 seq (2017-08-18)
choco-solver_5a (2017-07-26)
choco-solver_5a (2017-08-18)
Concrete_3.4
cosoco_1.1
cosoco_1.12
cosoco-sat_1.12
Mistral-2.0_2017-07-28
OscaR - ALNS_2017-07-26
OscaR - Conflict Ordering_2017-07-26
OscaR - Hybrid_2017-07-26
OscaR - Parallel with EPS_2017-07-26
OscaR - Parallel with EPS_2017-08-22
sat4j-CSP_2017-07-05
No chosen solver.