CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/pseudo/mps/
normalized-mps-stein9.xml

Name	csp/pseudo/mps/ normalized-mps-stein9.xml
MD5SUM	abf99451588d658da9394b5944aebc2a
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.005998
Satisfiable
(Un)Satisfiability was proved
Number of variables	9
Number of constraints	13
Maximum constraint arity	9
Maximum domain size	2
Number of constraints which are defined in extension	0
Number of constraints which are defined in intension	13
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
MDG-noprobe 2008-06-27	1065195	SAT	0.005998	0.013045
Mistral-prime 1.313	1065205	SAT	0.006998	0.0105681
MDG-probe 2008-06-27	1065194	SAT	0.006998	0.0130591
casper zao	1065206	SAT	0.006998	0.0156911
Mistral-option 1.314	1065204	SAT	0.006998	0.0136761
casper zito	1065207	SAT	0.011997	0.0361079
cpHydra k_40	1065211	SAT	0.017996	0.0253061
cpHydra k_10	1065210	SAT	0.018996	0.0244031
bpsolver 2008-06-27	1065199	SAT	0.025995	0.0335131
Minion/Tailor 2008-07-04	1106500	SAT	0.275957	0.328043
Concrete + CSP4J - Tabu Engine 2008-05-30	1065191	SAT	0.434933	0.475432
Concrete + CSP4J - WMC Engine 2008-05-30	1065192	SAT	0.459929	0.481084
Concrete + CPS4J 2008-05-30	1065193	SAT	0.474927	0.559364
choco2_impwdeg 2008-06-26	1065200	SAT	0.475926	0.519844
Sugar v1.13+minisat	1065198	SAT	0.484925	0.577102
choco2_dwdeg 2008-06-26	1065201	SAT	0.497924	0.5251
Sugar v1.13+picosat	1065197	SAT	0.509922	0.587243
Abscon 112v4 ESAC	1065209	SAT	0.669897	0.735227
Abscon 112v4 AC	1065208	SAT	0.707892	0.736483
galac E	1065203	SAT	0.957853	0.995943
SAT4J CSP 2008-06-13	1065196	SAT	0.987849	1.09057
galac M	1065202	SAT	1.24181	1.93561

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

Solution found:

0 0 1 0 1 1 1 1 0