CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/ogdPuzzle/
normalized-crossword-m1-ogd-puzzle02.xml

Name	csp/ogdPuzzle/ normalized-crossword-m1-ogd-puzzle02.xml
MD5SUM	5b1577ec76c69aa3280b02ccc8b31bd9
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.008998
Satisfiable
(Un)Satisfiability was proved
Number of variables	8
Number of constraints	13
Maximum constraint arity	6
Maximum domain size	26
Number of constraints which are defined in extension	6
Number of constraints which are defined in intension	7
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
MDG-probe 2008-06-27	1078639	SAT	0.008998	0.0161739
Mistral-option 1.314	1078649	SAT	0.009998	0.0093131
Mistral-prime 1.313	1078650	SAT	0.014997	0.0229609
MDG-noprobe 2008-06-27	1078640	SAT	0.018996	0.025305
cpHydra k_40	1078656	SAT	0.027995	0.0340869
cpHydra k_10	1078655	SAT	0.029994	0.0304469
casper zito	1078652	SAT	0.033994	0.038801
casper zao	1078651	SAT	0.039993	0.0425641
bpsolver 2008-06-27	1078644	SAT	0.064989	0.0710299
Minion/Tailor 2008-07-04	1106078	SAT	0.342947	0.390287
choco2_impwdeg 2008-06-26	1078645	SAT	0.672897	0.701088
Abscon 112v4 ESAC	1078654	SAT	0.724889	0.790689
choco2_dwdeg 2008-06-26	1078646	SAT	0.731888	0.782355
Abscon 112v4 AC	1078653	SAT	0.740887	0.787539
Sugar v1.13+minisat	1078643	SAT	0.833872	0.894296
Sugar v1.13+picosat	1078642	SAT	0.895862	0.947026
Concrete + CSP4J - Tabu Engine 2008-05-30	1078636	SAT	31.1473	31.166
Concrete + CSP4J - WMC Engine 2008-05-30	1078637	SAT	32.5471	32.5887
galac M	1078647	SAT	75.0796	75.5179
galac E	1078648	SAT	79.9988	80.8551
Concrete + CPS4J 2008-05-30	1078638	SAT	88.9545	89.454
SAT4J CSP 2008-06-13	1078641	SAT	1337.74	1345

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

Solution found:

2 3 0 3 0 0 3 12