CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/ssa/
normalized-ssa-2670-141_ext.xml

Jump to solvers results

General information on the benchmark

Namecsp/ssa/
normalized-ssa-2670-141_ext.xml
MD5SUMc6177c74c4adf68f910d393f0077bd16
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.012997
Satisfiable
(Un)Satisfiability was proved
Number of variables391
Number of constraints177
Maximum constraint arity4
Maximum domain size2
Number of constraints which are defined in extension177
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-probe 2008-06-271050513SAT 0.011997 0.01999
MDG-noprobe 2008-06-271050514SAT 0.012997 0.014036
Mistral-prime 1.3131050524SAT 0.013997 0.0203819
Mistral-option 1.3141050523SAT 0.014997 0.015347
cpHydra k_101050529SAT 0.024996 0.0283051
cpHydra k_401050530SAT 0.025996 0.031568
spider 2008-06-141050512SAT 0.029994 0.0342419
mddc-solv 2008-06-091050511SAT 0.034994 0.0410521
bpsolver 2008-06-271050518SAT 0.066989 0.0686801
casper zao1050525SAT 0.161974 0.165542
casper zito1050526SAT 0.169973 0.177867
Concrete + CSP4J - Tabu Engine 2008-05-301050508SAT 0.447931 0.473626
Concrete + CPS4J 2008-05-301050510SAT 0.448931 0.476867
Concrete + CSP4J - WMC Engine 2008-05-301050509SAT 0.478926 0.530928
Minion/Tailor 2008-07-041105068SAT 0.484925 0.51348
choco2_dwdeg 2008-06-261050520SAT 0.6519 0.680656
choco2_impwdeg 2008-06-261050519SAT 0.682896 0.734961
Sugar v1.13+picosat1050516SAT 0.876866 1.03721
Sugar v1.13+minisat1050517SAT 0.887864 1.01145
SAT4J CSP 2008-06-131050515SAT 0.975851 1.02743
Abscon 112v4 ESAC1050528SAT 1.04684 1.10604
Abscon 112v4 AC1050527SAT 1.07883 1.10269
galac M1050521SAT 1.35079 1.45381
galac E1050522SAT 1.46778 1.53135

Additionnal information

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

Solution found:
1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 1 1 1 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0
0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0
0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0
0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0
1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1