CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/jnh/
normalized-jnh-220.xml
MD5SUMc9aa85cd9730f69cc89d32efe9cb9e3f
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.157975
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
casper zito1061805SAT 0.157975 0.165951
casper zao1061804SAT 0.201968 0.217029
MDG-noprobe 2008-06-271061793SAT 0.286956 0.293677
cpHydra k_101061808SAT 0.306952 0.317796
cpHydra k_401061809SAT 0.311952 0.318426
Mistral-prime 1.3131061803SAT 0.396939 0.409069
bpsolver 2008-06-271061797SAT 0.441932 0.452862
Minion/Tailor 2008-07-041106464SAT 0.989848 1.03511
Sugar v1.13+minisat1061796SAT 1.61475 1.73384
choco2_dwdeg 2008-06-261061799SAT 1.70674 1.73271
choco2_impwdeg 2008-06-261061798SAT 1.70774 1.78444
Sugar v1.13+picosat1061795SAT 1.71474 1.86695
Concrete + CPS4J 2008-05-301061791SAT 1.9517 1.99129
Abscon 112v4 AC1061806SAT 2.15167 2.19065
Abscon 112v4 ESAC1061807SAT 2.33464 2.40933
Mistral-option 1.3141061802SAT 2.66459 2.69741
galac M1061800SAT 3.19951 3.26804
galac E1061801SAT 3.33549 3.5791
Concrete + CSP4J - WMC Engine 2008-05-301061790SAT 3.82642 3.87021
SAT4J CSP 2008-06-131061794SAT 4.47832 4.58281
MDG-probe 2008-06-271061792SAT 6.80196 6.87906
Concrete + CSP4J - Tabu Engine 2008-05-301061789SAT 573.648 578.869

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