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

Result page for benchmark
blackHole/BH-4-7/
BlackHole-4-7-h-4_ext.xml

Jump to solvers results

General information on the benchmark

NameblackHole/BH-4-7/
BlackHole-4-7-h-4_ext.xml
MD5SUM95a5ef5cda51a9050b5581b33f8a5de6
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 variables112
Number of constraints1262
Maximum constraint arity2
Maximum domain size28
Number of constraints which are defined in extension1262
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-21238637? (problem) 0.042993 0.0536409
rjw-solver 2006-12-09238640? (problem) 0.043993 0.054423
Diarmuid-rndi 2006-12-21238638? (problem) 0.045992 0.0535181
Diarmuid-rndi 2007-01-22287040? (problem) 0.107983 0.113325
rjw-solver 2007-01-21284102? (problem) 0.112982 0.114465
CSP4J - MAC 2007-01-16272522? (TO) 1800.01 1821.31
buggy_2_5 2007-01-08238651? (TO) 1800.03 1806.46
Mistral 2006-12-04238652? (TO) 1800.03 1811.87
sugar 0.40238654? (TO) 1800.04 1806.78
VALCSP 3.1269602? (TO) 1800.04 1814.62
buggy_2_5_s 2007-01-08238650? (TO) 1800.06 1813.4
galacJ beta 1238641? (TO) 1800.06 1800.88
VALCSP 3.0238647? (TO) 1800.06 1813.01
CSP4J - Combo 2006-12-19238644? (TO) 1800.07 1800.79
Tramontane 2006-12-04238653? (TO) 1800.08 1813.54
galac 1238646? (TO) 1800.09 1803.26
CSP4J - MAC 2006-12-19238645? (TO) 1800.1 1817.57
BPrologCSPSolver70a 2006-12-13238639? (TO) 1800.1 1804.76
CSPtoSAT+minisat 0.3238655? (TO) 1800.11 1806.49
SAT4JCSP-CACHED 1.7 RC BF3238648? (TO) 1800.15 1804.27
Abscon 109 AC238643? (TO) 1800.15 1814.33
Abscon 109 ESAC238642? (TO) 1800.19 1815.48
sat4jCSP 1.7 RC BF3238649? (TO) 1800.24 1806.46