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

Result page for benchmark
tightness/tightness0.35/
rand-2-40-16-250-350-13_ext.xml

Jump to solvers results

General information on the benchmark

Nametightness/tightness0.35/
rand-2-40-16-250-350-13_ext.xml
MD5SUM209a965c6a5512ace4d553e93d5b0a87
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.38064
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints250
Maximum constraint arity2
Maximum domain size16
Number of constraints which are defined in extension250
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
VALCSP 3.1269179SAT 2.37364 2.3758
VALCSP 3.0228987SAT 2.38064 2.40392
Abscon 109 AC228983SAT 4.5723 4.60849
buggy_2_5 2007-01-08228991SAT 5.53116 5.53657
buggy_2_5_s 2007-01-08228990SAT 5.53316 5.54061
Abscon 109 ESAC228982SAT 5.79012 5.88259
Mistral 2006-12-04228992SAT 7.42687 7.49015
Tramontane 2006-12-04228993SAT 9.64653 9.67483
BPrologCSPSolver70a 2006-12-13228979SAT 11.2373 11.2613
CSPtoSAT+minisat 0.3228995SAT 24.9072 25.0752
CSP4J - MAC 2007-01-16271965SAT 26.7479 26.9115
CSP4J - MAC 2006-12-19228985SAT 26.7899 26.883
galac 1228986SAT 51.3162 51.8615
CSP4J - Combo 2006-12-19228984SAT 52.553 52.6187
sugar 0.40228994SAT 61.4597 61.8203
galacJ beta 1228981SAT 124.982 126.227
rjw-solver 2006-12-09228980SAT 132.109 132.161
Diarmuid-rndi 2007-01-22286861SAT 133.881 134.37
rjw-solver 2007-01-21283923SAT 134.063 135.312
Diarmuid-rndi 2006-12-21228978SAT 168.086 168.364
sat4jCSP 1.7 RC BF3228989SAT 656.81 655.9
SAT4JCSP-CACHED 1.7 RC BF3228988SAT 668.543 670.818
Diarmuid-wtdi 2006-12-21228977SAT 709.797 710.487