2019 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_2019-07-23
BTD_19.07.01
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
Fun-sCOP_hybrid+CryptoMiniSat (2019-06-15)
Fun-sCOP_hybrid+ManyGlucose (2019-06-15)
Fun-sCOP_hybrid+ManyGlucose (2019-09-22)
Fun-sCOP_order+GlueMiniSat (2019-06-15)
Fun-sCOP_order+ManyGlucose (2019-06-15)
Fun-sCOP_order+ManyGlucose (2019-09-22)
PicatSAT_2019-09-12
Second solver:
AbsCon_2019-07-23
BTD_19.07.01
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
Fun-sCOP_hybrid+CryptoMiniSat (2019-06-15)
Fun-sCOP_hybrid+ManyGlucose (2019-06-15)
Fun-sCOP_hybrid+ManyGlucose (2019-09-22)
Fun-sCOP_order+GlueMiniSat (2019-06-15)
Fun-sCOP_order+ManyGlucose (2019-06-15)
Fun-sCOP_order+ManyGlucose (2019-09-22)
PicatSAT_2019-09-12
No chosen solver.