CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/jnh/
normalized-jnh-1.xml
MD5SUM869aa8859d068d3fd6f577d17a43a000
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.299954
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints950
Maximum constraint arity14
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 zito1061721SAT 0.299954 0.310081
casper zao1061720SAT 0.331948 0.341513
bpsolver 2008-06-271061713SAT 0.339947 0.354138
Mistral-prime 1.3131061719SAT 0.343947 0.351343
MDG-noprobe 2008-06-271061709SAT 0.630903 0.636444
Minion/Tailor 2008-07-041106454SAT 1.00385 1.05074
cpHydra k_401061725SAT 1.13083 1.13074
cpHydra k_101061724SAT 1.35479 1.37638
Sugar v1.13+picosat1061711SAT 1.51977 1.71201
Abscon 112v4 AC1061722SAT 1.56476 1.36828
Abscon 112v4 ESAC1061723SAT 1.68874 1.7307
Sugar v1.13+minisat1061712SAT 1.70674 1.8113
choco2_impwdeg 2008-06-261061714SAT 1.9797 2.04428
choco2_dwdeg 2008-06-261061715SAT 2.00869 2.05157
Concrete + CSP4J - WMC Engine 2008-05-301061706SAT 2.06868 2.11278
Concrete + CPS4J 2008-05-301061707SAT 2.09768 2.13927
Mistral-option 1.3141061718SAT 2.71459 2.74432
galac E1061717SAT 3.37949 3.52019
galac M1061716SAT 3.56746 3.68383
SAT4J CSP 2008-06-131061710SAT 4.80227 3.80481
MDG-probe 2008-06-271061708SAT 8.15076 8.23161
Concrete + CSP4J - Tabu Engine 2008-05-301061705SAT 39.9999 40.4253

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