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

Result page for benchmark
tightness/tightness0.9/
rand-2-40-180-84-900-43_ext.xml

Jump to solvers results

General information on the benchmark

Nametightness/tightness0.9/
rand-2-40-180-84-900-43_ext.xml
MD5SUM55ee9766c366815ef366a7cf5353999e
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 benchmark2.08868
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints84
Maximum constraint arity2
Maximum domain size180
Number of constraints which are defined in extension84
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 ESAC225402UNSAT 2.08868 2.12205
Abscon 109 AC225403UNSAT 2.09768 2.11789
CSP4J - MAC 2007-01-16271805UNSAT 4.32134 4.41579
buggy_2_5 2007-01-08225411UNSAT 5.49216 5.55871
buggy_2_5_s 2007-01-08225410UNSAT 5.87611 6.0329
Tramontane 2006-12-04225413UNSAT 9.10961 9.19259
Mistral 2006-12-04225412UNSAT 9.67753 9.72791
VALCSP 3.1269019UNSAT 17.3324 17.5547
VALCSP 3.0225407UNSAT 17.4683 17.5517
CSP4J - MAC 2006-12-19225405UNSAT 21.6787 21.9221
sat4jCSP 1.7 RC BF3225409UNSAT 57.6272 57.7013
SAT4JCSP-CACHED 1.7 RC BF3225408UNSAT 58.4641 58.8301
galacJ beta 1225401UNSAT 62.1496 62.5092
CSP4J - Combo 2006-12-19225404UNSAT 72.547 72.9919
galac 1225406UNSAT 106.741 107.893
rjw-solver 2006-12-09225400? (problem) 0.031994 0.0391431
Diarmuid-rndi 2006-12-21225398? (problem) 0.032994 0.035376
rjw-solver 2007-01-21283763? (problem) 0.032994 0.038637
Diarmuid-rndi 2007-01-22286701? (problem) 0.033994 0.0394011
Diarmuid-wtdi 2006-12-21225397? (conv) 0 0
CSPtoSAT+minisat 0.3225415? (MO) 6.84796 6.87831
BPrologCSPSolver70a 2006-12-13225399? (TO) 1800.05 1807.6
sugar 0.40225414? (TO) 1800.97 1809.98