CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/os-taillard-4/
normalized-os-taillard-4-105-4.xml

Name	csp/os-taillard-4/ normalized-os-taillard-4-105-4.xml
MD5SUM	ad057cf4092f19de7d4e6f4637f3a2e4
Bench Category	2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.008997
Satisfiable
(Un)Satisfiability was proved
Number of variables	16
Number of constraints	48
Maximum constraint arity	2
Maximum domain size	285
Number of constraints which are defined in extension	0
Number of constraints which are defined in intension	48
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
MDG-probe 2008-06-27	1074929	SAT	0.008997	0.0170229
Mistral-prime 1.313	1074940	SAT	0.008997	0.015612
Mistral-option 1.314	1074939	SAT	0.009998	0.0155111
MDG-noprobe 2008-06-27	1074930	SAT	0.009998	0.015447
casper zito	1074942	SAT	0.010997	0.0187489
cpHydra k_40	1074946	SAT	0.019996	0.027149
cpHydra k_10	1074945	SAT	0.020996	0.0269691
bpsolver 2008-06-27	1074934	SAT	0.036994	0.0439409
casper zao	1074941	SAT	0.111982	0.120886
Minion/Tailor 2008-07-04	1106174	SAT	0.359944	0.379885
Concrete + CSP4J - WMC Engine 2008-05-30	1074927	SAT	0.656899	0.685869
choco2_dwdeg 2008-06-26	1074936	SAT	0.741887	0.781976
choco2_impwdeg 2008-06-26	1074935	SAT	0.748885	0.783094
Sugar v1.13+minisat	1074933	SAT	0.759883	0.856682
Sugar v1.13+picosat	1074932	SAT	0.860868	0.95099
Concrete + CSP4J - Tabu Engine 2008-05-30	1074926	SAT	0.869867	0.896601
Concrete + CPS4J 2008-05-30	1074928	SAT	0.984849	0.999994
Abscon 112v4 ESAC	1074944	SAT	1.66475	1.72674
Abscon 112v4 AC	1074943	SAT	1.71574	1.77435
SAT4J CSP 2008-06-13	1074931	SAT	11.1523	11.2411
galac M	1074937	SAT	50.0494	50.6503
galac E	1074938	? (TO)	1800.03	1811.01

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

Solution found:

0 185 235 120 262 93 189 0 93 120 262 0 254 113 26 189