2018 XCSP3 competition: fast COP track: comparison of two solvers
Select two solvers that you want to compare
First solver:
Choco-solver_4.0.7b seq (e747e1e)
Concrete_3.9.2
Concrete_3.9.2-SuperNG
cosoco_1.12
Mistral-2.0_2018-08-01
OscaR - Conflict Ordering with restarts_2018-08-14
OscaR - Conflict Ordering with restarts_2018-08-17
OscaR - Hybrid_2018-08-14
Sat4j-CSP_2018-07-11
Second solver:
Choco-solver_4.0.7b seq (e747e1e)
Concrete_3.9.2
Concrete_3.9.2-SuperNG
cosoco_1.12
Mistral-2.0_2018-08-01
OscaR - Conflict Ordering with restarts_2018-08-14
OscaR - Conflict Ordering with restarts_2018-08-17
OscaR - Hybrid_2018-08-14
Sat4j-CSP_2018-07-11
No chosen solver.