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

Result page for benchmark
pseudoSeries/
ssa/ssa-7552-038.xml

Jump to solvers results

General information on the benchmark

NamepseudoSeries/
ssa/ssa-7552-038.xml
MD5SUM0865fc8ec012f0abefd3219ca2fcad95
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 benchmark0.312951
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables3002
Number of constraints5072
Maximum constraint arity6
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension5072
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
BPrologCSPSolver70a 2006-12-13210109SAT 0.312951 0.314555
Tramontane 2006-12-04210119SAT 1.66774 1.68384
sugar 0.40210120SAT 2.15467 2.24403
Mistral 2006-12-04210118SAT 3.47747 3.48089
CSPtoSAT+minisat 0.3210121SAT 5.13322 5.18682
sat4jCSP 1.7 RC BF3210117SAT 7.2159 4.54368
SAT4JCSP-CACHED 1.7 RC BF3210116SAT 8.5787 5.06023
CSP4J - MAC 2006-12-19210114SAT 11.5392 11.5931
CSP4J - Combo 2006-12-19210113SAT 11.6812 11.7469
CSP4J - MAC 2007-01-16270837SAT 12.1801 12.2749
galac 1210115SAT 12.2031 12.2912
galacJ beta 1210110SAT 12.3711 12.4387
Abscon 109 AC210112SAT 12.4811 12.7703
Abscon 109 ESAC210111SAT 15.2027 15.2342