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

Result page for benchmark
tightness/tightness0.2/
rand-2-40-11-414-200-71_ext.xml

Jump to solvers results

General information on the benchmark

Nametightness/tightness0.2/
rand-2-40-11-414-200-71_ext.xml
MD5SUM1b35e673177acbdb08af03d1f34ee6a3
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 benchmark2.89856
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints414
Maximum constraint arity2
Maximum domain size11
Number of constraints which are defined in extension414
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 ESAC228305SAT 2.89856 2.95076
Abscon 109 AC228306SAT 2.99554 3.09337
VALCSP 3.1269150SAT 4.18036 4.21568
VALCSP 3.0228310SAT 4.43333 4.45466
CSP4J - Combo 2006-12-19228307SAT 5.68913 5.77437
sugar 0.40228317SAT 7.13891 7.29856
buggy_2_5 2007-01-08228314SAT 11.8432 11.8503
buggy_2_5_s 2007-01-08228313SAT 11.8782 11.9499
BPrologCSPSolver70a 2006-12-13228302SAT 13.359 13.4176
galac 1228309SAT 22.2716 22.3359
Mistral 2006-12-04228315SAT 22.8405 22.9552
Tramontane 2006-12-04228316SAT 27.1719 27.2149
CSP4J - MAC 2007-01-16271936SAT 71.3951 71.4596
CSP4J - MAC 2006-12-19228308SAT 71.4211 72.1042
Diarmuid-rndi 2006-12-21228301SAT 84.8061 84.9404
CSPtoSAT+minisat 0.3228318SAT 164.71 165.472
Diarmuid-rndi 2007-01-22286832SAT 262.744 264.355
rjw-solver 2006-12-09228303SAT 265.732 266.526
rjw-solver 2007-01-21283894SAT 272.339 273.176
Diarmuid-wtdi 2006-12-21228300SAT 280.689 281.557
galacJ beta 1228304SAT 719.809 720.234
SAT4JCSP-CACHED 1.7 RC BF3228311SAT 1441.94 1450.32
sat4jCSP 1.7 RC BF3228312SAT 1455.01 1461.91