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

Result page for benchmark
dimacs/aim-200/
aim-200-3-4-sat-2_ext.xml

Jump to solvers results

General information on the benchmark

Namedimacs/aim-200/
aim-200-3-4-sat-2_ext.xml
MD5SUM94a97ae905bf33f4458c8b3f25bf2515
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.05499
SatisfiableYES
(Un)Satisfiability was proved
Number of variables200
Number of constraints636
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension636
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.3243352SAT 0.05499 0.0813879
Tramontane 2006-12-04243350SAT 0.154976 0.156195
Mistral 2006-12-04243349SAT 0.203968 0.205426
Abscon 109 ESAC243342SAT 1.06084 1.11961
CSP4J - Combo 2006-12-19243344SAT 1.08583 1.13259
sugar 0.40243351SAT 1.11 1.30001
Abscon 109 AC243343SAT 1.16282 1.23288
sat4jCSP 1.7 RC BF3243348SAT 1.47977 1.04079
SAT4JCSP-CACHED 1.7 RC BF3243347SAT 1.50677 1.09438
galacJ beta 1243341SAT 1.54776 1.64291
galac 1243346SAT 1.60576 1.71431
CSP4J - MAC 2006-12-19243345SAT 1.70874 1.75433
CSP4J - MAC 2007-01-16272833SAT 1.73373 1.80687
BPrologCSPSolver70a 2006-12-13243340? (TO) 1800.09 1800.68