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

Result page for benchmark
jobShop/
jobShop-enddr2/enddr2-10-by-5-10.xml

Jump to solvers results

General information on the benchmark

NamejobShop/
jobShop-enddr2/enddr2-10-by-5-10.xml
MD5SUM904e806a2ec9ddf153f995e44bb12f0c
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.035993
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables50
Number of constraints265
Maximum constraint arity2
Maximum domain size147
Number of constraints which are defined in extension0
Number of constraints which are defined in intension265
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
BPrologCSPSolver70a 2006-12-13200220SAT 0.035993 0.0441489
Mistral 2006-12-04200232SAT 0.037993 0.0461591
Tramontane 2006-12-04200233SAT 0.037993 0.046264
buggy_2_5 2007-01-08200231SAT 0.411937 0.422858
VALCSP 3.1268180SAT 1.01584 1.02653
sugar 0.40200234SAT 1.1 1.29381
VALCSP 3.0200227SAT 1.12383 1.13985
Abscon 109 AC200223SAT 1.9727 2.00597
Abscon 109 ESAC200222SAT 2.08268 2.11979
CSP4J - Combo 2006-12-19200224SAT 3.03954 3.11875
CSP4J - MAC 2007-01-16270252SAT 3.9404 3.99075
CSP4J - MAC 2006-12-19200225SAT 4.30534 4.36946
buggy_2_5_s 2007-01-08200230SAT 7.31289 7.35045
sat4jCSP 1.7 RC BF3200229SAT 15.5806 15.7727
SAT4JCSP-CACHED 1.7 RC BF3200228SAT 20.2709 20.4232
galacJ beta 1200221SAT 43.6654 44.0548
galac 1200226SAT 54.7527 54.887
CSPtoSAT+minisat 0.3200235? (TO) 1800.04 1815.52