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

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

Jump to solvers results

General information on the benchmark

NamejobShop/jobShop-ewddr2/
ewddr2-10-by-5-4.xml
MD5SUMd7ac110c12476667aab63936d86efbb4
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.034994
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables50
Number of constraints265
Maximum constraint arity2
Maximum domain size155
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
Tramontane 2006-12-04218638SAT 0.034994 0.041301
Mistral 2006-12-04218637SAT 0.036993 0.040637
buggy_2_5 2007-01-08218636SAT 0.391939 0.428909
sugar 0.40218639SAT 1.05 1.17347
VALCSP 3.1268687SAT 1.08783 1.1114
VALCSP 3.0218632SAT 1.16782 1.17508
Abscon 109 ESAC218627SAT 2.09068 2.16286
Abscon 109 AC218628SAT 2.09768 2.10663
CSP4J - Combo 2006-12-19218629SAT 3.13552 3.22517
CSP4J - MAC 2007-01-16271453SAT 3.9654 4.03363
CSP4J - MAC 2006-12-19218630SAT 4.05738 4.10847
buggy_2_5_s 2007-01-08218635SAT 8.73267 8.75513
sat4jCSP 1.7 RC BF3218634SAT 16.2005 16.2728
SAT4JCSP-CACHED 1.7 RC BF3218633SAT 21.3747 19.5024
BPrologCSPSolver70a 2006-12-13218625SAT 23.4704 23.6008
galacJ beta 1218626SAT 42.5255 42.6721
galac 1218631SAT 59.8729 60.3273
CSPtoSAT+minisat 0.3218640? (TO) 1800.06 1802.2