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

Result page for benchmark
pseudoSeries/routing/
s4-4-3-2.xml

Jump to solvers results

General information on the benchmark

NamepseudoSeries/routing/
s4-4-3-2.xml
MD5SUM07af4b284be550c53f3d300c97c5dc0a
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.62
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables648
Number of constraints1952
Maximum constraint arity27
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1952
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
sugar 0.40214335SAT 1.62 1.98574
galac 1214330SAT 288.139 289.648
galacJ beta 1214325SAT 298.855 300.828
CSP4J - Combo 2006-12-19214328SAT 1253.36 1259.3
BPrologCSPSolver70a 2006-12-13214324SAT 1562.22 1575.89
sat4jCSP 1.7 RC BF3214332? (MO) 7.76282 7.82027
SAT4JCSP-CACHED 1.7 RC BF3214331? (MO) 8.28074 8.34044
CSPtoSAT+minisat 0.3214336? (MO) 128.127 129.2
CSP4J - MAC 2006-12-19214329? (TO) 1800.07 1802.79
Mistral 2006-12-04214333? (TO) 1800.08 1801.64
Abscon 109 ESAC214326? (TO) 1800.08 1802.97
CSP4J - MAC 2007-01-16271158? (TO) 1800.08 1801.38
Abscon 109 AC214327? (TO) 1800.09 1808.33
Tramontane 2006-12-04214334? (TO) 1800.1 1805.12