CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/golombRulerArity3/
normalized-ruler-17-6-a3.xml

Jump to solvers results

General information on the benchmark

Namecsp/golombRulerArity3/
normalized-ruler-17-6-a3.xml
MD5SUMa7a71a443bcaea0731ac8a53572c84b6
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.009998
Satisfiable
(Un)Satisfiability was proved
Number of variables21
Number of constraints135
Maximum constraint arity3
Maximum domain size18
Number of constraints which are defined in extension0
Number of constraints which are defined in intension135
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-probe 2008-06-271050685SAT 0.009998 0.019074
MDG-noprobe 2008-06-271050686SAT 0.010998 0.022319
Mistral-prime 1.3131050696SAT 0.011997 0.049313
cpHydra k_101050701SAT 0.021996 0.029773
Mistral-option 1.3141050695SAT 0.021996 0.0281821
cpHydra k_401050702SAT 0.021996 0.185918
bpsolver 2008-06-271050690SAT 0.050991 0.0567579
Minion/Tailor 2008-07-041104782SAT 0.416935 0.439597
Sugar v1.13+minisat1050689SAT 0.731888 0.879579
Sugar v1.13+picosat1050688SAT 0.755884 0.902987
Concrete + CSP4J - WMC Engine 2008-05-301050683SAT 0.774881 0.807355
Concrete + CPS4J 2008-05-301050684SAT 0.791879 0.813181
choco2_impwdeg 2008-06-261050691SAT 0.872866 0.895929
choco2_dwdeg 2008-06-261050692SAT 0.888864 0.898787
Abscon 112v4 AC1050699SAT 0.921859 0.962112
Abscon 112v4 ESAC1050700SAT 1.14082 1.20958
galac E1050694SAT 1.9407 1.99987
galac M1050693SAT 2.00369 2.06625
casper zito1050698SAT 3.21751 3.24048
SAT4J CSP 2008-06-131050687SAT 3.63045 3.68844
Concrete + CSP4J - Tabu Engine 2008-05-301050682SAT 4.18336 4.28142
casper zao1050697SAT 32.0711 32.2109

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 4 10 15 17 1 4 10 15 17 3 9 14 16 6 11 13 5 7 2