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

Result page for benchmark
dimacs/
jnhSat/jnh01_ext.xml

Jump to solvers results

General information on the benchmark

Namedimacs/
jnhSat/jnh01_ext.xml
MD5SUMc481cc1e72109d78802a5e6b79cd85a4
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.076987
SatisfiableYES
(Un)Satisfiability was proved
Number of variables100
Number of constraints850
Maximum constraint arity14
Maximum domain size2
Number of constraints which are defined in extension850
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.3242060SAT 0.076987 0.082738
Mistral 2006-12-04242057SAT 0.187971 0.195548
Tramontane 2006-12-04242058SAT 0.31995 0.330229
BPrologCSPSolver70a 2006-12-13242048SAT 0.611906 0.623431
Abscon 109 AC242051SAT 1.06784 1.12104
sugar 0.40242059SAT 1.16282 1.47101
Abscon 109 ESAC242050SAT 1.22581 1.28233
CSP4J - MAC 2006-12-19242053SAT 1.67174 1.69209
CSP4J - MAC 2007-01-16272735SAT 1.72874 1.80251
sat4jCSP 1.7 RC BF3242056SAT 2.01369 1.78088
SAT4JCSP-CACHED 1.7 RC BF3242055SAT 2.17467 2.24537
CSP4J - Combo 2006-12-19242052SAT 2.38964 2.43803
galacJ beta 1242049SAT 5.64914 5.78222
galac 1242054SAT 6.00009 6.2759