CSP 2006 Competition (second round): solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

NamegolombRuler/golombRulerArity3/
ruler-17-6-a3.xml
MD5SUM12bf120a80ade638cc83fd8cb68d474a
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.019996
SatisfiableYES
(Un)Satisfiability was provedYES
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
Tramontane 2006-12-04217838SAT 0.019996 0.024409
BPrologCSPSolver70a 2006-12-13217828SAT 0.021996 0.023621
Mistral 2006-12-04217837SAT 0.022996 0.0242511
CSPtoSAT+minisat 0.3217840SAT 0.371942 0.380317
sugar 0.40217839SAT 0.500922 0.940304
CSP4J - Combo 2006-12-19217832SAT 0.777881 0.821788
CSP4J - MAC 2007-01-16271406SAT 0.824873 0.863889
Abscon 109 AC217831SAT 0.865868 0.916632
CSP4J - MAC 2006-12-19217833SAT 0.936856 0.97244
Abscon 109 ESAC217830SAT 1.10983 1.15613
galacJ beta 1217829SAT 1.63375 1.77257
galac 1217834SAT 2.06769 2.12155
SAT4JCSP-CACHED 1.7 RC BF3217835SAT 3.14852 3.17778
sat4jCSP 1.7 RC BF3217836SAT 3.22451 3.28696