2018 XCSP3 competition: mini-solvers track: comparison of two solvers
Select two solvers that you want to compare
First solver:
cosoco_1.12
GG's minicp_2018-04-29
miniBTD_2018.07.27_3
miniBTD_12_2018.07.27_12
MiniCPFever_2018-04-29
minimacht_2018.07.27
NACRE_1.0.4
slowpoke_2018-04-29
Solver of Xavier Schul & Yvhan Smal_2018-04-28
SuperSolver_Macq_Stevenart_2018-04-27
The dodo solver_2018-04-29
Second solver:
cosoco_1.12
GG's minicp_2018-04-29
miniBTD_2018.07.27_3
miniBTD_12_2018.07.27_12
MiniCPFever_2018-04-29
minimacht_2018.07.27
NACRE_1.0.4
slowpoke_2018-04-29
Solver of Xavier Schul & Yvhan Smal_2018-04-28
SuperSolver_Macq_Stevenart_2018-04-27
The dodo solver_2018-04-29
No chosen solver.