CSP 2006 Competition (second round): comparison of two solvers
Select two solvers that you want to compare
First solver:
Abscon_109 ESAC
Abscon _109 AC
BPrologCSPSolver70a_2006-12-13
buggy_2_5_2007-01-08
buggy_2_5_s_2007-01-08
CSP4J - Combo_2006-12-19
CSP4J - MAC_2006-12-19
CSP4J - MAC_2007-01-16
CSPtoSAT+minisat_0.3
Diarmuid-rndi_2006-12-21
Diarmuid-rndi_2007-01-22
Diarmuid-wtdi_2006-12-21
galac_1
galacJ_beta 1
Mistral_2006-12-04
rjw-solver_2006-12-09
rjw-solver_2007-01-21
sat4jCSP_1.7 RC BF3
SAT4JCSP-CACHED_1.7 RC BF3
sugar_0.40
Tramontane_2006-12-04
VALCSP_3.0
VALCSP_3.1
Second solver:
Abscon_109 ESAC
Abscon _109 AC
BPrologCSPSolver70a_2006-12-13
buggy_2_5_2007-01-08
buggy_2_5_s_2007-01-08
CSP4J - Combo_2006-12-19
CSP4J - MAC_2006-12-19
CSP4J - MAC_2007-01-16
CSPtoSAT+minisat_0.3
Diarmuid-rndi_2006-12-21
Diarmuid-rndi_2007-01-22
Diarmuid-wtdi_2006-12-21
galac_1
galacJ_beta 1
Mistral_2006-12-04
rjw-solver_2006-12-09
rjw-solver_2007-01-21
sat4jCSP_1.7 RC BF3
SAT4JCSP-CACHED_1.7 RC BF3
sugar_0.40
Tramontane_2006-12-04
VALCSP_3.0
VALCSP_3.1
No chosen solver.