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

Result page for benchmark
lard/
lard-86-86.xml

Jump to solvers results

General information on the benchmark

Namelard/
lard-86-86.xml
MD5SUMc7c0c4e8f76295b01abd1856d40887f2
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark19.533
SatisfiableYES
(Un)Satisfiability was proved
Number of variables86
Number of constraints3655
Maximum constraint arity2
Maximum domain size87
Number of constraints which are defined in extension3655
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
Abscon 109 ESAC287222SAT 19.533 19.9012
Abscon 109 AC287223SAT 21.0408 22.7423
Mistral 2006-12-04287232SAT 22.1156 22.2834
Tramontane 2006-12-04287233SAT 23.6514 24.1463
buggy_2_5 2007-01-08287231SAT 51.6032 52.5526
buggy_2_5_s 2007-01-08287230SAT 56.1835 58.0769
sat4jCSP 1.7 RC BF3287229SAT 62.3315 62.4346
SAT4JCSP-CACHED 1.7 RC BF3287228SAT 62.7085 62.8929
CSP4J - Combo 2006-12-19287224SAT 75.5805 77.0095
CSP4J - MAC 2006-12-19287225SAT 86.3579 87.6616
CSP4J - MAC 2007-01-16287237SAT 92.4749 93.4375
VALCSP 3.1287236SAT 464.946 468.926
VALCSP 3.0287227SAT 489.569 494.917
sugar 0.40287234? 39.67 40.6671
rjw-solver 2007-01-21287238? (problem) 0.035993 0.0366511
rjw-solver 2006-12-09287220? (problem) 0.035994 0.151729
Diarmuid-rndi 2006-12-21287218? (problem) 0.037993 0.147484
Diarmuid-wtdi 2006-12-21287217? (problem) 0.038993 0.171234
Diarmuid-rndi 2007-01-22287239? (problem) 0.041993 0.303555
galacJ beta 1287221? (problem) 277.882 283.94
galac 1287226? (problem) 304.76 306.017
BPrologCSPSolver70a 2006-12-13287219? (conv) 0.016997 0.0183131
CSPtoSAT+minisat 0.3287235? (MO) 5.46917 7.48155