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

Result page for benchmark
schurrLemma/
lemma-100-9-mod.xml

Jump to solvers results

General information on the benchmark

NameschurrLemma/
lemma-100-9-mod.xml
MD5SUM0eccfd6635dce0f6180185bd782d874f
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark5.62914
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables100
Number of constraints2450
Maximum constraint arity3
Maximum domain size9
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2450
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
sugar 0.40209964UNSAT 5.62914 5.76199
BPrologCSPSolver70a 2006-12-13209953UNSAT 6.52501 6.58786
CSPtoSAT+minisat 0.3209965UNSAT 62.2125 62.7185
Mistral 2006-12-04209962UNSAT 187.929 189.33
Tramontane 2006-12-04209963UNSAT 317.393 317.482
sat4jCSP 1.7 RC BF3209961UNSAT 406.484 407.307
galacJ beta 1209954UNSAT 498.15 502.657
galac 1209959UNSAT 706.322 710.712
CSP4J - MAC 2007-01-16270825? (TO) 1800.03 1806.73
Abscon 109 ESAC209955? (TO) 1800.04 1804.97
CSP4J - MAC 2006-12-19209958? (TO) 1800.09 1810.28
CSP4J - Combo 2006-12-19209957? (TO) 1800.09 1801.32
Abscon 109 AC209956? (TO) 1800.16 1805.04
SAT4JCSP-CACHED 1.7 RC BF3209960Wrong Cert. 5.72913 5.7457