CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/pseudo/jnh/
normalized-jnh-17.xml

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/jnh/
normalized-jnh-17.xml
MD5SUMd9dfd8b083ab2549504d8f42c66f9dc9
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.206967
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints950
Maximum constraint arity11
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension950
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
casper zito1061826SAT 0.206967 0.215196
casper zao1061825SAT 0.250961 0.258644
Mistral-prime 1.3131061824SAT 0.302953 0.311112
cpHydra k_101061829SAT 0.303953 0.309211
cpHydra k_401061830SAT 0.311952 0.323457
bpsolver 2008-06-271061818SAT 0.316951 0.326897
Mistral-option 1.3141061823SAT 0.349946 0.354691
MDG-noprobe 2008-06-271061814SAT 0.363944 0.372723
Minion/Tailor 2008-07-041106453SAT 0.986849 1.04425
Sugar v1.13+minisat1061817SAT 1.44878 1.55063
Abscon 112v4 AC1061827SAT 1.62875 1.67617
Sugar v1.13+picosat1061816SAT 1.63175 1.74705
choco2_dwdeg 2008-06-261061820SAT 1.63575 1.67349
Abscon 112v4 ESAC1061828SAT 1.79273 1.84522
choco2_impwdeg 2008-06-261061819SAT 1.80872 1.89321
Concrete + CPS4J 2008-05-301061812SAT 1.87071 1.89835
galac M1061821SAT 3.15452 3.25188
MDG-probe 2008-06-271061813SAT 3.2755 3.31069
galac E1061822SAT 3.2825 3.44707
SAT4J CSP 2008-06-131061815SAT 3.86341 3.84578
Concrete + CSP4J - WMC Engine 2008-05-301061811SAT 5.97209 6.11626
Concrete + CSP4J - Tabu Engine 2008-05-301061810SAT 20.8248 21.0713

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