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

Result page for benchmark
qcp-qwh/QWH-25/
qwh-25-235-9_ext.xml

Jump to solvers results

General information on the benchmark

Nameqcp-qwh/QWH-25/
qwh-25-235-9_ext.xml
MD5SUM03dc1b3d046dc33e16e19fd78e1c4a83
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 benchmark9.59
SatisfiableYES
(Un)Satisfiability was proved
Number of variables625
Number of constraints15000
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension15000
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
sugar 0.40239452SAT 9.59 9.9553
sat4jCSP 1.7 RC BF3239447SAT 10.5064 10.5755
SAT4JCSP-CACHED 1.7 RC BF3239446SAT 11.2213 11.3406
galac 1239444SAT 12.1032 12.1735
CSPtoSAT+minisat 0.3239453SAT 15.0107 15.3849
galacJ beta 1239439SAT 30.1814 30.4373
Diarmuid-wtdi 2006-12-21239435? (TO) 1800 1812.42
rjw-solver 2006-12-09239438? (TO) 1800.01 1816.78
VALCSP 3.0239445? (TO) 1800.02 1814.68
rjw-solver 2007-01-21284144? (TO) 1800.02 1816.86
CSP4J - MAC 2007-01-16272564? (TO) 1800.03 1813.1
BPrologCSPSolver70a 2006-12-13239437? (TO) 1800.04 1804.5
buggy_2_5_s 2007-01-08239448? (TO) 1800.05 1808.38
Tramontane 2006-12-04239451? (TO) 1800.05 1802.26
CSP4J - MAC 2006-12-19239443? (TO) 1800.06 1817.05
buggy_2_5 2007-01-08239449? (TO) 1800.07 1808.71
Diarmuid-rndi 2006-12-21239436? (TO) 1800.07 1807.56
CSP4J - Combo 2006-12-19239442? (TO) 1800.08 1813.01
Abscon 109 ESAC239440? (TO) 1800.1 1802.15
Mistral 2006-12-04239450? (TO) 1800.11 1813.78
VALCSP 3.1269644? (TO) 1800.11 1800.69
Diarmuid-rndi 2007-01-22287082? (TO) 1800.11 1815.81
Abscon 109 AC239441? (TO) 1800.17 1806.97