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

Result page for benchmark
pigeons/
pigeons-20-ord.xml

Jump to solvers results

General information on the benchmark

Namepigeons/
pigeons-20-ord.xml
MD5SUM50aabcc3ef01e29d19a6a938b0592422
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.045992
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables20
Number of constraints380
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension0
Number of constraints which are defined in intension380
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
VALCSP 3.0198417UNSAT 0.018996 0.0268071
VALCSP 3.1268113UNSAT 0.020996 0.030781
Tramontane 2006-12-04198423UNSAT 0.045992 0.05211
Mistral 2006-12-04198422UNSAT 0.075987 0.079161
buggy_2_5_s 2007-01-08198420UNSAT 0.103984 0.112855
buggy_2_5 2007-01-08198421UNSAT 0.106983 0.114975
sugar 0.40198424UNSAT 0.430934 0.904963
Abscon 109 ESAC198412UNSAT 0.752884 0.845412
Abscon 109 AC198413UNSAT 0.796878 0.832173
CSP4J - MAC 2006-12-19198415UNSAT 1.10583 1.12494
galacJ beta 1198411UNSAT 1.10783 1.15568
CSP4J - Combo 2006-12-19198414UNSAT 1.12183 1.18004
CSP4J - MAC 2007-01-16270140UNSAT 1.13383 1.17442
galac 1198416UNSAT 1.9807 2.02427
SAT4JCSP-CACHED 1.7 RC BF3198418UNSAT 2.73258 2.81713
sat4jCSP 1.7 RC BF3198419UNSAT 3.2725 3.29145
BPrologCSPSolver70a 2006-12-13198410UNSAT 4.06138 4.08314
CSPtoSAT+minisat 0.3198425UNSAT 5.54216 5.56162