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

Result page for benchmark
pseudoSeries/mpsReduced/
mps-red-bell4.xml

Jump to solvers results

General information on the benchmark

NamepseudoSeries/mpsReduced/
mps-red-bell4.xml
MD5SUM566fbec4895e0207309266d6015c3301
Bench CategoryN-ARY-INT (n-ary constraints in intension)
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 variables1996
Number of constraints135
Maximum constraint arity135
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension135
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
sat4jCSP 1.7 RC BF3211699? (MO) 3.60145 3.46623
SAT4JCSP-CACHED 1.7 RC BF3211698? (MO) 4.35334 4.29268
CSPtoSAT+minisat 0.3211703? (MO) 310.482 311.486
CSP4J - Combo 2006-12-19211695? (TO) 1800.02 1812.6
CSP4J - MAC 2007-01-16270956? (TO) 1800.04 1807.1
CSP4J - MAC 2006-12-19211696? (TO) 1800.05 1812.03
galac 1211697? (TO) 1800.06 1808.77
galacJ beta 1211692? (TO) 1800.07 1805.98
Abscon 109 AC211694? (TO) 1800.09 1816.74
Mistral 2006-12-04211700? (TO) 1800.1 1811.33
BPrologCSPSolver70a 2006-12-13211691? (TO) 1800.1 1813.29
Tramontane 2006-12-04211701? (TO) 1800.1 1800.66
Abscon 109 ESAC211693? (TO) 1800.16 1802.25
sugar 0.40211702? (TO) 1803.24 1864.82