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

Result page for benchmark
random/rand-2-27/
rand-27-27-351-163-61021_ext.xml

Jump to solvers results

General information on the benchmark

Namerandom/rand-2-27/
rand-27-27-351-163-61021_ext.xml
MD5SUM1acdbceef9bfb6410329133ff072e451
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 benchmark873.694
SatisfiableNO
(Un)Satisfiability was proved
Number of variables27
Number of constraints351
Maximum constraint arity2
Maximum domain size27
Number of constraints which are defined in extension351
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.1268356UNSAT 838.505 841.248
VALCSP 3.0203771UNSAT 873.694 877.571
buggy_2_5_s 2007-01-08203774UNSAT 1324.01 1330.35
buggy_2_5 2007-01-08203775UNSAT 1412.67 1418.67
CSP4J - MAC 2006-12-19203769? (TO) 1800 1807.44
Diarmuid-rndi 2007-01-22286314? (TO) 1800.02 1810.71
Tramontane 2006-12-04203777? (TO) 1800.03 1803.91
CSP4J - Combo 2006-12-19203768? (TO) 1800.03 1816.28
BPrologCSPSolver70a 2006-12-13203763? (TO) 1800.05 1802.67
Diarmuid-wtdi 2006-12-21203761? (TO) 1800.06 1804.45
Mistral 2006-12-04203776? (TO) 1800.06 1811.72
CSP4J - MAC 2007-01-16270448? (TO) 1800.06 1801.5
Diarmuid-rndi 2006-12-21203762? (TO) 1800.07 1816.42
rjw-solver 2007-01-21283376? (TO) 1800.07 1801.57
sugar 0.40203778? (TO) 1800.08 1809.54
rjw-solver 2006-12-09203764? (TO) 1800.08 1811.79
galacJ beta 1203765? (TO) 1800.09 1814.94
Abscon 109 ESAC203766? (TO) 1800.09 1812.13
galac 1203770? (TO) 1800.11 1812.37
CSPtoSAT+minisat 0.3203779? (TO) 1800.12 1800.57
Abscon 109 AC203767? (TO) 1800.14 1814.37
sat4jCSP 1.7 RC BF3203773? (TO) 1800.17 1814.54
SAT4JCSP-CACHED 1.7 RC BF3203772? (TO) 1800.18 1804.46