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

Result page for benchmark
blackHole/BH-4-13/
BlackHole-4-13-m-0_ext.xml

Jump to solvers results

General information on the benchmark

NameblackHole/BH-4-13/
BlackHole-4-13-m-0_ext.xml
MD5SUM811accd700d628ecbc30bc8faaf190de
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-rndi 2006-12-21238885? (problem) 0.063989 0.068749
rjw-solver 2006-12-09238887? (problem) 0.064989 0.07324
Diarmuid-wtdi 2006-12-21238884? (problem) 0.066989 0.161531
rjw-solver 2007-01-21284115? (problem) 0.436933 0.623953
Diarmuid-rndi 2007-01-22287053? (problem) 0.446931 0.456825
galac 1238893? (TO) 13.6799 1800.56
CSP4J - MAC 2007-01-16272535? (TO) 1800.02 1820.03
BPrologCSPSolver70a 2006-12-13238886? (TO) 1800.03 1804
Tramontane 2006-12-04238900? (TO) 1800.04 1817.31
CSP4J - Combo 2006-12-19238891? (TO) 1800.04 1803.43
CSP4J - MAC 2006-12-19238892? (TO) 1800.06 1816.91
buggy_2_5_s 2007-01-08238897? (TO) 1800.07 1813.67
VALCSP 3.0238894? (TO) 1800.07 1814.11
VALCSP 3.1269615? (TO) 1800.08 1810.61
galacJ beta 1238888? (TO) 1800.1 1802.1
Mistral 2006-12-04238899? (TO) 1800.11 1800.71
Abscon 109 AC238890? (TO) 1800.12 1811.44
buggy_2_5 2007-01-08238898? (TO) 1800.13 1808.92
Abscon 109 ESAC238889? (TO) 1800.16 1816.9
SAT4JCSP-CACHED 1.7 RC BF3238895? (TO) 1800.17 1794.38
CSPtoSAT+minisat 0.3238902? (TO) 1800.18 1810.57
sat4jCSP 1.7 RC BF3238896? (TO) 1800.19 1809.58
sugar 0.40238901? (TO) 1800.54 1804.22