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

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

Jump to solvers results

General information on the benchmark

Namelard/
lard-85-85.xml
MD5SUMb04af19a2e260b235db0a096d6d2c07f
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 benchmark18.7921
SatisfiableYES
(Un)Satisfiability was proved
Number of variables85
Number of constraints3570
Maximum constraint arity2
Maximum domain size86
Number of constraints which are defined in extension3570
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 AC287292SAT 18.7921 19.0026
Abscon 109 ESAC287291SAT 20.2039 20.9436
Tramontane 2006-12-04287302SAT 20.5419 20.5542
Mistral 2006-12-04287301SAT 21.2448 21.3587
buggy_2_5 2007-01-08287300SAT 49.6075 53.5999
buggy_2_5_s 2007-01-08287299SAT 52.338 53.9871
CSP4J - Combo 2006-12-19287293SAT 58.1172 58.536
CSP4J - MAC 2006-12-19287294SAT 58.932 59.2586
SAT4JCSP-CACHED 1.7 RC BF3287297SAT 63.2334 63.3632
sat4jCSP 1.7 RC BF3287298SAT 64.4282 57.3748
CSP4J - MAC 2007-01-16287306SAT 69.0035 69.5497
VALCSP 3.1287305SAT 419.707 420.316
VALCSP 3.0287296SAT 452.425 455.185
sugar 0.40287303? 36.57 36.7907
Diarmuid-wtdi 2006-12-21287286? (problem) 0.033994 0.13019
Diarmuid-rndi 2006-12-21287287? (problem) 0.036993 0.0431519
rjw-solver 2006-12-09287289? (problem) 0.036993 0.134957
rjw-solver 2007-01-21287307? (problem) 0.037994 0.157933
Diarmuid-rndi 2007-01-22287308? (problem) 0.040993 0.127706
galac 1287295? (problem) 374.425 376.972
galacJ beta 1287290? (problem) 398.761 399.677
BPrologCSPSolver70a 2006-12-13287288? (conv) 0.016997 0.024157
CSPtoSAT+minisat 0.3287304? (MO) 5.53516 5.63432