CSP 2009 Competition: comparison of two solvers
Select two solvers that you want to compare
First solver:
Abscon 112v4_AC
Abscon 112v4_ESAC
bpsolver_09
Choco2.1.1_2009-06-10
Choco2.1.1b_2009-07-16
Concrete_2009-07-14
Concrete DC_2009-07-14
Conquer_2009-07-10
Mistral_1.545
pcs_0.3.2
pcs-restart_0.3.2
SAT4J CSP_2.1.1
Sugar_v1.14.6+minisat
Sugar_v1.14.6+picosat
Second solver:
Abscon 112v4_AC
Abscon 112v4_ESAC
bpsolver_09
Choco2.1.1_2009-06-10
Choco2.1.1b_2009-07-16
Concrete_2009-07-14
Concrete DC_2009-07-14
Conquer_2009-07-10
Mistral_1.545
pcs_0.3.2
pcs-restart_0.3.2
SAT4J CSP_2.1.1
Sugar_v1.14.6+minisat
Sugar_v1.14.6+picosat
No chosen solver.