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

Result page for benchmark
driver/
driverlogw-04c-sat_ext.xml

Jump to solvers results

General information on the benchmark

Namedriver/
driverlogw-04c-sat_ext.xml
MD5SUM290b29a36d35c08c113b2794c307ab80
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 benchmark0.093985
SatisfiableYES
(Un)Satisfiability was proved
Number of variables272
Number of constraints3876
Maximum constraint arity2
Maximum domain size11
Number of constraints which are defined in extension3876
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.0247600SAT 0.093985 0.100889
VALCSP 3.1269718SAT 0.100984 0.107364
BPrologCSPSolver70a 2006-12-13247592SAT 0.244962 0.251393
Tramontane 2006-12-04247606SAT 0.274957 0.278262
Mistral 2006-12-04247605SAT 0.278957 0.28137
CSPtoSAT+minisat 0.3247608SAT 0.302953 0.335119
buggy_2_5_s 2007-01-08247603SAT 0.802877 0.837794
buggy_2_5 2007-01-08247604SAT 0.821874 0.831019
Abscon 109 AC247596SAT 1.3228 1.39385
Abscon 109 ESAC247595SAT 1.52577 1.54226
CSP4J - MAC 2007-01-16272937SAT 2.29565 2.33372
CSP4J - MAC 2006-12-19247598SAT 2.39364 2.42191
CSP4J - Combo 2006-12-19247597SAT 2.54461 2.58432
galacJ beta 1247594SAT 2.6516 2.7089
galac 1247599SAT 3.15352 3.24348
sugar 0.40247607SAT 3.72943 3.82943
SAT4JCSP-CACHED 1.7 RC BF3247601SAT 4.03039 2.49556
sat4jCSP 1.7 RC BF3247602SAT 4.06238 2.48379
rjw-solver 2006-12-09247593? (problem) 0.047991 0.0495979
Diarmuid-wtdi 2006-12-21247590? (problem) 0.048992 0.053943
Diarmuid-rndi 2006-12-21247591? (problem) 0.052991 0.0646419
rjw-solver 2007-01-21284204? (problem) 0.05799 0.064883
Diarmuid-rndi 2007-01-22287142? (problem) 0.05999 0.058874