2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers): comparison of two solvers
Select two solvers that you want to compare
First solver:
AbsCon-basic_2017-06-11
BTD_2017-07-25
BTD_2017-08-10
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-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.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
R1: AbsCon-basic_2017-06-11
R1: BTD_2017-06-30
R1: choco-solver_4.0.5 (2017-07-05)
R1: choco-solver_5a (2017-07-05)
R1: Concrete_3.4
R1: cosoco_1.1
R1: cosoco-sat_1.1
R1: Mistral-2.0_2017-06-28
R1: OscaR - ALNS_2017-06-30
R1: OscaR - Conflict Ordering_2017-06-30
R1: OscaR - Hybrid_2017-06-30
R1: sat4j-CSP_2017-07-05
sat4j-CSP_2017-07-05
Second solver:
AbsCon-basic_2017-06-11
BTD_2017-07-25
BTD_2017-08-10
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-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.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
R1: AbsCon-basic_2017-06-11
R1: BTD_2017-06-30
R1: choco-solver_4.0.5 (2017-07-05)
R1: choco-solver_5a (2017-07-05)
R1: Concrete_3.4
R1: cosoco_1.1
R1: cosoco-sat_1.1
R1: Mistral-2.0_2017-06-28
R1: OscaR - ALNS_2017-06-30
R1: OscaR - Conflict Ordering_2017-06-30
R1: OscaR - Hybrid_2017-06-30
R1: sat4j-CSP_2017-07-05
sat4j-CSP_2017-07-05
No chosen solver.