CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/mknap/
normalized-mknap-1-2.xml

Name	csp/mknap/ normalized-mknap-1-2.xml
MD5SUM	2f6248b6c0f744aee4d365be9e4e018e
Bench Category	N-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.012997
Satisfiable
(Un)Satisfiability was proved
Number of variables	15
Number of constraints	11
Maximum constraint arity	15
Maximum domain size	2
Number of constraints which are defined in extension	0
Number of constraints which are defined in intension	11
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
Mistral-prime 1.313	1054152	SAT	0.012997	0.0190431
MDG-noprobe 2008-06-27	1054142	SAT	0.012997	0.0204769
MDG-probe 2008-06-27	1054141	SAT	0.013997	0.0225441
cpHydra k_40	1054158	SAT	0.022996	0.024105
cpHydra k_10	1054157	SAT	0.023995	0.0314051
bpsolver 2008-06-27	1054146	SAT	0.036994	0.0451171
casper zito	1054154	SAT	0.047992	0.0560299
casper zao	1054153	SAT	0.162974	0.168422
Minion/Tailor 2008-07-04	1104842	SAT	0.364943	0.38312
choco2_impwdeg 2008-06-26	1054147	SAT	0.545916	0.575857
choco2_dwdeg 2008-06-26	1054148	SAT	0.574912	0.632221
Concrete + CSP4J - Tabu Engine 2008-05-30	1054138	SAT	0.969852	0.994301
Concrete + CSP4J - WMC Engine 2008-05-30	1054139	SAT	1.04084	1.12468
Concrete + CPS4J 2008-05-30	1054140	SAT	1.04984	1.10084
Abscon 112v4 ESAC	1054156	SAT	1.22281	1.25251
Abscon 112v4 AC	1054155	SAT	1.34579	1.36251
Sugar v1.13+minisat	1054145	SAT	1.39379	1.4883
galac M	1054149	SAT	2.57861	2.66994
galac E	1054150	SAT	2.80057	2.89356
Mistral-option 1.314	1054151	SAT	3.35449	3.43192
Sugar v1.13+picosat	1054144	SAT	4.05838	4.21181
SAT4J CSP 2008-06-13	1054143	SAT	12.7241	12.7069

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

Solution found:

1 1 0 1 0 1 1 0 1 1 0 0 0 1 1