CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/jnh/
normalized-jnh-207.xml
MD5SUMfc0e4ee974d12b80c04911ae1791d17d
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.431933
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints900
Maximum constraint arity11
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension900
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131061782SAT 0.431933 0.43751
casper zito1061784SAT 0.467928 0.475658
cpHydra k_101061787SAT 0.541916 0.548911
casper zao1061783SAT 0.546915 0.554456
Mistral-option 1.3141061781SAT 0.549916 0.555881
cpHydra k_401061788SAT 0.58191 0.588175
bpsolver 2008-06-271061776SAT 0.706891 0.723181
Minion/Tailor 2008-07-041106458SAT 0.991848 1.04921
MDG-noprobe 2008-06-271061772SAT 1.17282 1.18959
Sugar v1.13+picosat1061774SAT 1.41178 1.51219
Abscon 112v4 AC1061785SAT 1.61175 1.62296
Sugar v1.13+minisat1061775SAT 1.61575 1.75732
Abscon 112v4 ESAC1061786SAT 1.76173 1.82964
choco2_impwdeg 2008-06-261061777SAT 1.77973 1.84722
Concrete + CPS4J 2008-05-301061770SAT 1.9507 2.01739
choco2_dwdeg 2008-06-261061778SAT 2.00769 2.04735
galac E1061780SAT 2.99254 3.08057
galac M1061779SAT 3.46747 3.60176
SAT4J CSP 2008-06-131061773SAT 4.12037 4.22553
MDG-probe 2008-06-271061771SAT 6.88895 6.9578
Concrete + CSP4J - Tabu Engine 2008-05-301061768SAT 1295.14 1301.54
Concrete + CSP4J - WMC Engine 2008-05-301061769? (TO) 1800.07 1801.92

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