CSP 2008 Competition: solvers results per benchmarks

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

Name	csp/pseudo/mps/ normalized-mps-bm23.xml
MD5SUM	36b4039dec856f336186f2becf06c420
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.052991
Satisfiable
(Un)Satisfiability was proved
Number of variables	27
Number of constraints	20
Maximum constraint arity	26
Maximum domain size	2
Number of constraints which are defined in extension	0
Number of constraints which are defined in intension	20
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
Mistral-prime 1.313	1065163	SAT	0.052991	0.0652331
MDG-noprobe 2008-06-27	1065153	SAT	0.063989	0.0718599
bpsolver 2008-06-27	1065157	SAT	0.068988	0.0752831
cpHydra k_40	1065169	SAT	0.079987	0.0820029
cpHydra k_10	1065168	SAT	0.081987	0.080342
casper zao	1065164	SAT	0.12798	0.138256
casper zito	1065165	SAT	0.12998	0.1997
MDG-probe 2008-06-27	1065152	SAT	0.287956	0.355216
Minion/Tailor 2008-07-04	1106488	SAT	0.500923	0.54459
choco2_dwdeg 2008-06-26	1065159	SAT	0.655899	0.685998
choco2_impwdeg 2008-06-26	1065158	SAT	0.869867	0.900211
Sugar v1.13+minisat	1065156	SAT	1.60176	1.75583
Sugar v1.13+picosat	1065155	SAT	2.52661	2.93265
Abscon 112v4 AC	1065166	SAT	18.2782	18.5722
Abscon 112v4 ESAC	1065167	SAT	41.9816	42.3993
Mistral-option 1.314	1065162	SAT	48.0967	48.6015
Concrete + CSP4J - WMC Engine 2008-05-30	1065150	SAT	129.564	130.826
Concrete + CPS4J 2008-05-30	1065151	SAT	131.906	132.649
Concrete + CSP4J - Tabu Engine 2008-05-30	1065149	SAT	139.59	140.826
SAT4J CSP 2008-06-13	1065154	?	480.457	484.784
galac M	1065160	? (problem)	37.4963	37.8573
galac E	1065161	? (problem)	38.0572	38.6244

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 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1