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

Result page for benchmark
random/rand-3-24-24/
rand-3-24-24-76-632-43_ext.xml

Jump to solvers results

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-43_ext.xml
MD5SUM5f7d365bd388718d753166b5efce5d4f
Bench CategoryN-ARY-EXT (n-ary 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 variables24
Number of constraints76
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension76
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
CSP4J - MAC 2006-12-19196094? (TO) 1800.01 1810.57
galacJ beta 1196090? (TO) 1800.05 1800.6
Tramontane 2006-12-04196099? (TO) 1800.06 1805.74
galac 1196095? (TO) 1800.06 1809.72
Abscon 109 ESAC196091? (TO) 1800.06 1817.7
Mistral 2006-12-04196098? (TO) 1800.07 1802.64
CSP4J - Combo 2006-12-19196093? (TO) 1800.08 1816.81
CSP4J - MAC 2007-01-16270000? (TO) 1800.1 1802.01
BPrologCSPSolver70a 2006-12-13196089? (TO) 1800.12 1816.76
sat4jCSP 1.7 RC BF3196097? (TO) 1800.14 1809.28
Abscon 109 AC196092? (TO) 1800.14 1801.19
SAT4JCSP-CACHED 1.7 RC BF3196096? (TO) 1800.17 1808.41
CSPtoSAT+minisat 0.3196101? (TO) 1800.18 1812.23
sugar 0.40196100? (TO) 1800.98 1807.61