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

Result page for benchmark
marc/
large-84-sat_ext.xml

Jump to solvers results

General information on the benchmark

Namemarc/
large-84-sat_ext.xml
MD5SUMc1da3872c8c700d6551dce8fed18838d
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 benchmark15.7256
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables84
Number of constraints3486
Maximum constraint arity2
Maximum domain size84
Number of constraints which are defined in extension3486
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 ESAC197772SAT 15.7256 16.0024
Abscon 109 AC197773SAT 17.4104 17.6099
Tramontane 2006-12-04197783SAT 20.018 20.0451
Mistral 2006-12-04197782SAT 21.3887 21.4133
buggy_2_5 2007-01-08197781SAT 51.8141 52.4669
buggy_2_5_s 2007-01-08197780SAT 52.1881 52.7976
CSP4J - Combo 2006-12-19197774SAT 52.752 52.9859
CSP4J - MAC 2006-12-19197775SAT 52.801 53.2429
sat4jCSP 1.7 RC BF3197779SAT 54.6307 48.9355
SAT4JCSP-CACHED 1.7 RC BF3197778SAT 55.9085 51.336
CSP4J - MAC 2007-01-16270100SAT 58.3591 58.5627
VALCSP 3.0197777SAT 421.716 424.942
VALCSP 3.1268087SAT 433.801 433.972
sugar 0.40197784? 42.4086 42.815
Diarmuid-wtdi 2006-12-21197767? (problem) 0.032994 0.0348801
rjw-solver 2006-12-09197770? (problem) 0.032994 0.0392701
Diarmuid-rndi 2007-01-22286223? (problem) 0.034993 0.039274
rjw-solver 2007-01-21283285? (problem) 0.034994 0.0431341
Diarmuid-rndi 2006-12-21197768? (problem) 0.035993 0.040518
galacJ beta 1197771? (problem) 186.422 187.363
galac 1197776? (problem) 193.956 195.38
BPrologCSPSolver70a 2006-12-13197769? (conv) 0.016996 0.020882
CSPtoSAT+minisat 0.3197785? (MO) 5.59215 5.61668