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

Result page for benchmark
dimacs/jnhSat/
jnh218_ext.xml

Jump to solvers results

General information on the benchmark

Namedimacs/jnhSat/
jnh218_ext.xml
MD5SUM7819f900e99016ed2d2474318e86794a
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.072988
SatisfiableYES
(Un)Satisfiability was proved
Number of variables100
Number of constraints797
Maximum constraint arity11
Maximum domain size2
Number of constraints which are defined in extension797
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
CSPtoSAT+minisat 0.3242034SAT 0.072988 0.0751109
Tramontane 2006-12-04242032SAT 0.160974 0.167296
BPrologCSPSolver70a 2006-12-13242022SAT 0.164974 0.170813
Mistral 2006-12-04242031SAT 0.204968 0.219413
Abscon 109 AC242025SAT 0.938856 1.02791
sugar 0.40242033SAT 1.12 1.5161
Abscon 109 ESAC242024SAT 1.14382 1.18801
CSP4J - MAC 2006-12-19242027SAT 1.36279 1.43828
CSP4J - Combo 2006-12-19242026SAT 1.40979 1.45236
CSP4J - MAC 2007-01-16272733SAT 1.42178 1.44111
sat4jCSP 1.7 RC BF3242030SAT 1.80272 1.45285
SAT4JCSP-CACHED 1.7 RC BF3242029SAT 1.88771 1.61572
galacJ beta 1242023SAT 4.76827 4.92678
galac 1242028SAT 4.94625 5.37896