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

Result page for benchmark
langford/
slangford-3-11-ext.xml

Jump to solvers results

General information on the benchmark

Namelangford/
slangford-3-11-ext.xml
MD5SUMa63b53c58cc85f1e586b8a11ebe118fe
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.65975
SatisfiableNO
(Un)Satisfiability was proved
Number of variables33
Number of constraints572
Maximum constraint arity2
Maximum domain size33
Number of constraints which are defined in extension572
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
rjw-solver 2007-01-21284207UNSAT 0.435932 0.458335
Diarmuid-rndi 2007-01-22287145UNSAT 0.533918 0.541303
CSP4J - MAC 2006-12-19247655UNSAT 0.819875 0.869626
CSP4J - Combo 2006-12-19247654UNSAT 0.827873 0.873209
VALCSP 3.0247657UNSAT 1.65975 1.66855
VALCSP 3.1269721UNSAT 1.85172 1.8744
buggy_2_5_s 2007-01-08247660UNSAT 4.76127 4.78781
buggy_2_5 2007-01-08247661UNSAT 4.97424 5.01656
Abscon 109 AC247653UNSAT 6.03008 6.1062
Abscon 109 ESAC247652UNSAT 6.05508 6.12518
BPrologCSPSolver70a 2006-12-13247649UNSAT 6.607 6.6231
galac 1247656UNSAT 14.2818 14.3579
Tramontane 2006-12-04247663UNSAT 17.4543 17.4641
CSP4J - MAC 2007-01-16272940UNSAT 17.9163 17.9752
Mistral 2006-12-04247662UNSAT 18.1272 18.2083
galacJ beta 1247651UNSAT 32.4111 32.5467
sat4jCSP 1.7 RC BF3247659UNSAT 65.886 65.0392
SAT4JCSP-CACHED 1.7 RC BF3247658UNSAT 74.9996 75.67
CSPtoSAT+minisat 0.3247665UNSAT 94.3597 94.4071
sugar 0.40247664UNSAT 536.191 539.915
Diarmuid-rndi 2006-12-21247648Wrong Cert. 0.600908 0.609409
rjw-solver 2006-12-09247650Wrong Cert. 0.615906 0.616399
Diarmuid-wtdi 2006-12-21247647Wrong Cert. 0.652899 0.658983