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

Result page for benchmark
blackHole/BH-4-13/
BlackHole-4-13-e-1_ext.xml

Jump to solvers results

General information on the benchmark

NameblackHole/BH-4-13/
BlackHole-4-13-e-1_ext.xml
MD5SUMde93c5d317c976395f6ee058e260e016
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables208
Number of constraints4218
Maximum constraint arity2
Maximum domain size52
Number of constraints which are defined in extension4218
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
Diarmuid-wtdi 2006-12-21238865? (problem) 0.063989 0.153402
Diarmuid-rndi 2006-12-21238866? (problem) 0.068989 0.0848681
rjw-solver 2006-12-09238868? (problem) 0.070988 0.163775
rjw-solver 2007-01-21284114? (problem) 0.399938 0.408652
Diarmuid-rndi 2007-01-22287052? (problem) 0.430934 0.438576
galac 1238874? (MO) 13.6319 1564.76
VALCSP 3.0238875? (TO) 1800.04 1813.29
BPrologCSPSolver70a 2006-12-13238867? (TO) 1800.05 1813.08
buggy_2_5_s 2007-01-08238878? (TO) 1800.06 1812.92
Mistral 2006-12-04238880? (TO) 1800.06 1809.34
galacJ beta 1238869? (TO) 1800.06 1810.14
buggy_2_5 2007-01-08238879? (TO) 1800.07 1811.66
CSP4J - MAC 2006-12-19238873? (TO) 1800.07 1807.8
CSP4J - Combo 2006-12-19238872? (TO) 1800.07 1820.17
CSP4J - MAC 2007-01-16272534? (TO) 1800.09 1805.09
Tramontane 2006-12-04238881? (TO) 1800.11 1808.96
VALCSP 3.1269614? (TO) 1800.11 1814.97
SAT4JCSP-CACHED 1.7 RC BF3238876? (TO) 1800.16 1805.46
Abscon 109 ESAC238870? (TO) 1800.16 1817.04
sat4jCSP 1.7 RC BF3238877? (TO) 1800.19 1808.46
Abscon 109 AC238871? (TO) 1800.23 1815.16
CSPtoSAT+minisat 0.3238883? (TO) 1800.24 1816.84
sugar 0.40238882? (TO) 1800.65 1807.13