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

Result page for benchmark
haystacks/
haystacks_04.xml

Jump to solvers results

General information on the benchmark

Namehaystacks/
haystacks_04.xml
MD5SUMd27edd6530026bc4e9b6a215c658ef2b
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.016997
SatisfiableNO
(Un)Satisfiability was proved
Number of variables16
Number of constraints27
Maximum constraint arity2
Maximum domain size4
Number of constraints which are defined in extension0
Number of constraints which are defined in intension27
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
VALCSP 3.1269558UNSAT 0.002998 0.00891506
CSPtoSAT+minisat 0.3237865UNSAT 0.016997 0.018417
BPrologCSPSolver70a 2006-12-13237850UNSAT 0.024996 0.0253959
buggy_2_5_s 2007-01-08237860UNSAT 0.05999 0.0695621
buggy_2_5 2007-01-08237861UNSAT 0.062989 0.072771
CSP4J - Combo 2006-12-19237854UNSAT 0.485925 0.518589
CSP4J - MAC 2006-12-19237855UNSAT 0.490924 0.571121
CSP4J - MAC 2007-01-16272476UNSAT 0.501923 0.568321
galacJ beta 1237851UNSAT 0.6529 0.689629
galac 1237856UNSAT 0.666897 0.688482
Abscon 109 ESAC237852UNSAT 0.724889 0.782082
Abscon 109 AC237853UNSAT 0.732887 0.77734
SAT4JCSP-CACHED 1.7 RC BF3237858UNSAT 0.886865 0.983578
sat4jCSP 1.7 RC BF3237859UNSAT 0.934857 0.967561
sugar 0.40237864? 0.420935 0.476446
Tramontane 2006-12-04237863Signal 0.014996 0.0213929
Mistral 2006-12-04237862Signal 0.015997 0.0174679
VALCSP 3.0237857Wrong Cert. 0.003998 0.00567799