2018 XCSP3 competition: sequential solvers tracks: comparison of two solvers
Select two solvers that you want to compare
First solver:
BTD_2018.06.11_3
BTD_2018.07.27_3
BTD_12_2018-06-11_12
BTD_12_2018.07.27_12
Choco-solver_4.0.7 seq (493a269)
Choco-solver_4.0.7b seq (e747e1e)
Concrete_3.9.2
Concrete_3.9.2-SuperNG
Concrete 3.8_2018-06-13
Concrete 3.8-SuperNG_2018-06-13
cosoco_1.12
macht_2018.06.11
macht_2018.07.27
Mistral-2.0_2018-06-15
Mistral-2.0_2018-08-01
OscaR - Conflict Ordering_2018-07-02
OscaR - Conflict Ordering_2018-08-14
OscaR - Conflict Ordering with restarts_2018-07-02
OscaR - Conflict Ordering with restarts_2018-08-14
OscaR - Conflict Ordering with restarts_2018-08-17
OscaR - Hybrid_2018-07-02
OscaR - Hybrid_2018-08-14
PicatSAT_2018-06-15
PicatSAT_2018-08-02
PicatSAT_2018-08-14
Sat4j-CSP_2018-07-11
scop_both+MapleCOMSPS (2018-06-13)
scop_both+MapleCOMSPS (2018-07-31)
scop_order+MapleCOMSPS (2018-06-13)
scop_order+MapleCOMSPS (2018-07-31)
Second solver:
BTD_2018.06.11_3
BTD_2018.07.27_3
BTD_12_2018-06-11_12
BTD_12_2018.07.27_12
Choco-solver_4.0.7 seq (493a269)
Choco-solver_4.0.7b seq (e747e1e)
Concrete_3.9.2
Concrete_3.9.2-SuperNG
Concrete 3.8_2018-06-13
Concrete 3.8-SuperNG_2018-06-13
cosoco_1.12
macht_2018.06.11
macht_2018.07.27
Mistral-2.0_2018-06-15
Mistral-2.0_2018-08-01
OscaR - Conflict Ordering_2018-07-02
OscaR - Conflict Ordering_2018-08-14
OscaR - Conflict Ordering with restarts_2018-07-02
OscaR - Conflict Ordering with restarts_2018-08-14
OscaR - Conflict Ordering with restarts_2018-08-17
OscaR - Hybrid_2018-07-02
OscaR - Hybrid_2018-08-14
PicatSAT_2018-06-15
PicatSAT_2018-08-02
PicatSAT_2018-08-14
Sat4j-CSP_2018-07-11
scop_both+MapleCOMSPS (2018-06-13)
scop_both+MapleCOMSPS (2018-07-31)
scop_order+MapleCOMSPS (2018-06-13)
scop_order+MapleCOMSPS (2018-07-31)
No chosen solver.