CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/pseudo/
circuits/normalized-C17.xml

Name	csp/pseudo/ circuits/normalized-C17.xml
MD5SUM	2157fc0bfc21aec92e39967ae0210614
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	15
Number of constraints	20
Maximum constraint arity	5
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-option 1.314	1049566	SAT	0.006998	0.0135551
Mistral-prime 1.313	1049567	SAT	0.006998	0.0133851
casper zao	1049568	SAT	0.007998	0.0159799
MDG-noprobe 2008-06-27	1049557	SAT	0.007998	0.013546
MDG-probe 2008-06-27	1049556	SAT	0.008998	0.0146031
casper zito	1049569	SAT	0.009998	0.0152749
cpHydra k_40	1049573	SAT	0.015996	0.024764
cpHydra k_10	1049572	SAT	0.018997	0.018029
bpsolver 2008-06-27	1049561	SAT	0.027995	0.0357909
Minion/Tailor 2008-07-04	1104748	SAT	0.307952	0.321979
Concrete + CPS4J 2008-05-30	1049555	SAT	0.473927	0.523626
Sugar v1.13+minisat	1049560	SAT	0.480926	0.581423
Concrete + CSP4J - Tabu Engine 2008-05-30	1049553	SAT	0.503922	0.528973
Sugar v1.13+picosat	1049559	SAT	0.506922	0.589626
Concrete + CSP4J - WMC Engine 2008-05-30	1049554	SAT	0.506922	0.529809
choco2_impwdeg 2008-06-26	1049562	SAT	0.510921	0.584252
choco2_dwdeg 2008-06-26	1049563	SAT	0.536918	0.570395
Abscon 112v4 AC	1049570	SAT	0.675896	0.680002
Abscon 112v4 ESAC	1049571	SAT	0.678896	0.729726
SAT4J CSP 2008-06-13	1049558	SAT	0.962853	1.02387
galac E	1049565	SAT	1.00385	1.08579
galac M	1049564	SAT	1.08383	1.13044

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