CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/jnh/
normalized-jnh-301.xml
MD5SUM8a202569b681b8a0c0b3c46a95fc4e43
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.703892
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints1000
Maximum constraint arity14
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1000
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
bpsolver 2008-06-271061629SAT 0.703892 0.714245
Minion/Tailor 2008-07-041106465SAT 0.970851 0.995439
casper zao1061636SAT 0.991848 1.00194
casper zito1061637SAT 1.25181 1.27089
cpHydra k_401061641SAT 1.54276 1.5646
Sugar v1.13+minisat1061628SAT 1.55876 1.65547
Abscon 112v4 AC1061638SAT 1.75473 1.77533
Sugar v1.13+picosat1061627SAT 1.77073 1.90354
Abscon 112v4 ESAC1061639SAT 1.81572 1.89302
Mistral-prime 1.3131061635SAT 1.88871 1.91394
choco2_impwdeg 2008-06-261061630SAT 2.01769 2.04112
choco2_dwdeg 2008-06-261061631SAT 2.04869 2.09541
Concrete + CPS4J 2008-05-301061623SAT 2.10068 2.16453
MDG-noprobe 2008-06-271061625SAT 2.12368 2.1376
galac E1061633SAT 3.68844 3.77884
galac M1061632SAT 3.81842 3.90661
Mistral-option 1.3141061634SAT 4.15837 4.2002
SAT4J CSP 2008-06-131061626SAT 4.88925 4.90367
MDG-probe 2008-06-271061624SAT 9.47156 9.56303
cpHydra k_101061640SAT 9.92049 10.1621
Concrete + CSP4J - Tabu Engine 2008-05-301061621? (TO) 1800.01 1802.32
Concrete + CSP4J - WMC Engine 2008-05-301061622? (TO) 1800.02 1811.22

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