CSP 2008 Competition: solvers results per benchmarks

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

Name	csp/pseudo/circuits/ normalized-b1.xml
MD5SUM	95d59610a2f0b864d0a3716215c362e9
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	24
Number of constraints	45
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	45
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
Mistral-prime 1.313	1049525	SAT	0.006998	0.01535
casper zito	1049527	SAT	0.008997	0.017118
Mistral-option 1.314	1049524	SAT	0.008997	0.0160161
MDG-noprobe 2008-06-27	1049515	SAT	0.009997	0.016941
MDG-probe 2008-06-27	1049514	SAT	0.009997	0.016199
casper zao	1049526	SAT	0.011997	0.0293419
cpHydra k_10	1049530	SAT	0.020996	0.0240701
cpHydra k_40	1049531	SAT	0.021995	0.0291919
bpsolver 2008-06-27	1049519	SAT	0.033994	0.042002
Minion/Tailor 2008-07-04	1104746	SAT	0.350946	0.381526
Sugar v1.13+picosat	1049517	SAT	0.591909	0.669799
choco2_dwdeg 2008-06-26	1049521	SAT	0.625904	0.683285
Sugar v1.13+minisat	1049518	SAT	0.639902	0.698243
Concrete + CPS4J 2008-05-30	1049513	SAT	0.680895	0.746026
Concrete + CSP4J - Tabu Engine 2008-05-30	1049511	SAT	0.686894	0.762974
choco2_impwdeg 2008-06-26	1049520	SAT	0.696893	0.743452
Concrete + CSP4J - WMC Engine 2008-05-30	1049512	SAT	0.722889	0.742927
Abscon 112v4 ESAC	1049529	SAT	0.731888	0.782026
Abscon 112v4 AC	1049528	SAT	0.734888	0.780612
galac M	1049522	SAT	1.2868	1.36444
SAT4J CSP 2008-06-13	1049516	SAT	1.50277	1.55405
galac E	1049523	SAT	1.55976	1.63856

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

Solution found:

0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 0 0