CSP 2008 Competition: solvers results per benchmarks

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

Name	csp/mknap/ normalized-mknap-1-0.xml
MD5SUM	046c53878489f404cb6ba152cc7f0101
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.006998
Satisfiable
(Un)Satisfiability was proved
Number of variables	6
Number of constraints	11
Maximum constraint arity	6
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
MDG-noprobe 2008-06-27	1054121	SAT	0.006998	0.0141691
Mistral-prime 1.313	1054131	SAT	0.007998	0.00825111
Mistral-option 1.314	1054130	SAT	0.007998	0.01478
MDG-probe 2008-06-27	1054120	SAT	0.008997	0.0150659
casper zito	1054133	SAT	0.008998	0.010269
casper zao	1054132	SAT	0.010997	0.0185229
cpHydra k_40	1054137	SAT	0.017996	0.0251811
cpHydra k_10	1054136	SAT	0.017997	0.025882
bpsolver 2008-06-27	1054125	SAT	0.028994	0.0292069
Minion/Tailor 2008-07-04	1104841	SAT	0.301953	0.31997
Sugar v1.13+picosat	1054123	SAT	0.468928	0.497531
choco2_dwdeg 2008-06-26	1054127	SAT	0.487925	0.529405
Sugar v1.13+minisat	1054124	SAT	0.499923	0.594339
choco2_impwdeg 2008-06-26	1054126	SAT	0.501922	0.521393
Concrete + CSP4J - WMC Engine 2008-05-30	1054118	SAT	0.530918	0.547448
Concrete + CPS4J 2008-05-30	1054119	SAT	0.546916	0.604127
Concrete + CSP4J - Tabu Engine 2008-05-30	1054117	SAT	0.572912	0.652658
Abscon 112v4 ESAC	1054135	SAT	0.678896	0.735921
Abscon 112v4 AC	1054134	SAT	0.746886	0.792348
SAT4J CSP 2008-06-13	1054122	SAT	1.36379	1.39053
galac E	1054129	SAT	1.46278	1.57355
galac M	1054128	SAT	1.68674	2.08377

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

Solution found:

0 1 1 0 0 1