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

Result page for benchmark
coloring/
dsjc-125-1-4-ext.xml

Jump to solvers results

General information on the benchmark

Namecoloring/
dsjc-125-1-4-ext.xml
MD5SUM95c76cc1eda1816f42d2ae5c2bb2a089
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 benchmark0.016996
SatisfiableNO
(Un)Satisfiability was proved
Number of variables125
Number of constraints736
Maximum constraint arity2
Maximum domain size4
Number of constraints which are defined in extension736
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.0252880UNSAT 0.016996 0.018718
VALCSP 3.1269732UNSAT 0.017996 0.024133
BPrologCSPSolver70a 2006-12-13252865UNSAT 0.039993 0.042371
CSPtoSAT+minisat 0.3252888UNSAT 0.048991 0.0639999
Mistral 2006-12-04252885UNSAT 0.056991 0.067848
Tramontane 2006-12-04252886UNSAT 0.05799 0.060403
buggy_2_5 2007-01-08252884UNSAT 0.436933 0.440121
buggy_2_5_s 2007-01-08252883UNSAT 0.442931 0.502338
rjw-solver 2006-12-09252867UNSAT 0.494923 0.505223
CSP4J - MAC 2006-12-19252878UNSAT 0.621904 0.741202
CSP4J - MAC 2007-01-16273147UNSAT 0.637903 0.658407
CSP4J - Combo 2006-12-19252877UNSAT 0.684895 0.720047
galacJ beta 1252868UNSAT 0.864867 0.910802
Abscon 109 AC252876UNSAT 0.885865 0.918255
galac 1252879UNSAT 0.914859 0.974703
Abscon 109 ESAC252875UNSAT 0.943856 0.976618
Diarmuid-wtdi 2006-12-21252863UNSAT 1.19182 1.19132
sugar 0.40252887UNSAT 1.24281 1.36808
SAT4JCSP-CACHED 1.7 RC BF3252881UNSAT 1.57676 1.10348
sat4jCSP 1.7 RC BF3252882UNSAT 1.60975 1.13409
Diarmuid-rndi 2006-12-21252864UNSAT 20.011 20.0496
Diarmuid-rndi 2007-01-22287156Wrong Cert. 0.18997 0.199904
rjw-solver 2007-01-21284218Wrong Cert. 0.209968 0.213649