CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/pseudo/niklas/
normalized-stein27.xml

Name	csp/pseudo/niklas/ normalized-stein27.xml
MD5SUM	1c6703700d3846257d8be65b30a853dc
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	27
Number of constraints	118
Maximum constraint arity	27
Maximum domain size	2
Number of constraints which are defined in extension	0
Number of constraints which are defined in intension	118
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
Mistral-prime 1.313	1062832	SAT	0.012997	0.0138351
Mistral-option 1.314	1062831	SAT	0.012997	0.0203799
MDG-noprobe 2008-06-27	1062822	SAT	0.013997	0.020429
MDG-probe 2008-06-27	1062821	SAT	0.014997	0.02029
cpHydra k_10	1062837	SAT	0.025996	0.031479
casper zito	1062834	SAT	0.026994	0.031613
cpHydra k_40	1062838	SAT	0.026995	0.0565409
casper zao	1062833	SAT	0.031994	0.038928
bpsolver 2008-06-27	1062826	SAT	0.047992	0.05745
Minion/Tailor 2008-07-04	1106539	SAT	0.397939	0.432632
choco2_dwdeg 2008-06-26	1062828	SAT	0.6499	0.675876
Sugar v1.13+minisat	1062825	SAT	0.686895	0.83466
Sugar v1.13+picosat	1062824	SAT	0.693894	0.847893
choco2_impwdeg 2008-06-26	1062827	SAT	0.84787	0.898647
Abscon 112v4 AC	1062835	SAT	0.854869	0.887143
Abscon 112v4 ESAC	1062836	SAT	0.860868	0.896624
Concrete + CSP4J - WMC Engine 2008-05-30	1062819	SAT	13.8879	14.1784
Concrete + CSP4J - Tabu Engine 2008-05-30	1062818	SAT	14.3308	14.556
Concrete + CPS4J 2008-05-30	1062820	SAT	74.7056	75.1439
SAT4J CSP 2008-06-13	1062823	?	172.37	170.896
galac M	1062829	? (MO)	40.99	41.7251
galac E	1062830	? (MO)	41.56	41.827

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