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

Result page for benchmark
tightness/tightness0.65/
rand-2-40-40-135-650-27_ext.xml

Jump to solvers results

General information on the benchmark

Nametightness/tightness0.65/
rand-2-40-40-135-650-27_ext.xml
MD5SUM672b810056d255386d40ed6a870d4402
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 benchmark8.10577
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints135
Maximum constraint arity2
Maximum domain size40
Number of constraints which are defined in extension135
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.1269058SAT 8.01878 8.03107
VALCSP 3.0226283SAT 8.10577 8.14202
buggy_2_5_s 2007-01-08226286SAT 8.5207 8.60959
buggy_2_5 2007-01-08226287SAT 8.60969 8.70491
Abscon 109 ESAC226278SAT 12.5101 12.627
Abscon 109 AC226279SAT 19.74 20.0185
Mistral 2006-12-04226288SAT 20.3639 20.4495
Tramontane 2006-12-04226289SAT 24.3983 24.6131
CSP4J - MAC 2007-01-16271844SAT 30.3954 30.5115
CSP4J - MAC 2006-12-19226281SAT 42.2176 42.668
galacJ beta 1226277SAT 53.0309 53.1492
Diarmuid-rndi 2007-01-22286740SAT 72.37 73.0458
CSP4J - Combo 2006-12-19226280SAT 96.9423 97.2786
Diarmuid-wtdi 2006-12-21226273SAT 283.779 284.978
Diarmuid-rndi 2006-12-21226274SAT 409.148 411.566
rjw-solver 2006-12-09226276SAT 414.171 416.245
rjw-solver 2007-01-21283802SAT 426.511 426.511
galac 1226282SAT 795.774 796.235
SAT4JCSP-CACHED 1.7 RC BF3226284SAT 1438.78 1446.74
sat4jCSP 1.7 RC BF3226285SAT 1440.57 1447.86
CSPtoSAT+minisat 0.3226291SAT 1725.72 1733.65
BPrologCSPSolver70a 2006-12-13226275? (TO) 1800.12 1805.1
sugar 0.40226290? (TO) 1800.99 1808.69