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

Result page for benchmark
tightness/tightness0.8/
rand-2-40-80-103-800-79_ext.xml

Jump to solvers results

General information on the benchmark

Nametightness/tightness0.8/
rand-2-40-80-103-800-79_ext.xml
MD5SUMef74412dcce82e3ae72faf928ec1b3de
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3.9214
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints103
Maximum constraint arity2
Maximum domain size80
Number of constraints which are defined in extension103
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
VALCSP 3.0225133UNSAT 3.9214 3.95258
VALCSP 3.1269006UNSAT 4.28935 4.29092
Abscon 109 AC225129UNSAT 4.50131 4.55766
Abscon 109 ESAC225128UNSAT 4.5973 4.68733
CSP4J - MAC 2007-01-16271792UNSAT 10.0915 10.2724
Mistral 2006-12-04225138UNSAT 17.1334 17.2886
Tramontane 2006-12-04225139UNSAT 17.7613 17.9141
CSP4J - MAC 2006-12-19225131UNSAT 18.1482 18.4483
CSP4J - Combo 2006-12-19225130UNSAT 33.2089 33.5586
buggy_2_5_s 2007-01-08225136UNSAT 37.3373 37.3738
buggy_2_5 2007-01-08225137UNSAT 37.3873 37.5983
rjw-solver 2007-01-21283750UNSAT 90.4912 90.9109
rjw-solver 2006-12-09225126UNSAT 95.6415 95.7214
galacJ beta 1225127UNSAT 97.7341 97.8457
Diarmuid-rndi 2006-12-21225124UNSAT 99.9798 100.91
Diarmuid-rndi 2007-01-22286688UNSAT 107.572 108.574
sat4jCSP 1.7 RC BF3225135UNSAT 117.123 117.215
SAT4JCSP-CACHED 1.7 RC BF3225134UNSAT 125.256 126.272
galac 1225132UNSAT 195.229 197.094
BPrologCSPSolver70a 2006-12-13225125UNSAT 316.263 318.509
Diarmuid-wtdi 2006-12-21225123UNSAT 418.595 420.523
CSPtoSAT+minisat 0.3225141UNSAT 1289.3 1289.8
sugar 0.40225140? (TO) 1800.41 1811.17