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

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

Jump to solvers results

General information on the benchmark

Nametightness/tightness0.9/
rand-2-40-180-84-900-35_ext.xml
MD5SUMfb4b4507e7f6489fee0b46aa958528d3
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.9644
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 AC225431UNSAT 3.9644 4.04504
Abscon 109 ESAC225430UNSAT 4.14537 4.26233
buggy_2_5 2007-01-08225439UNSAT 4.69529 4.77546
buggy_2_5_s 2007-01-08225438UNSAT 4.94525 4.98808
CSP4J - MAC 2007-01-16271806UNSAT 8.5557 8.64046
Tramontane 2006-12-04225441UNSAT 24.7882 24.9066
Mistral 2006-12-04225440UNSAT 25.7391 25.8526
CSP4J - MAC 2006-12-19225433UNSAT 38.7561 39.0175
VALCSP 3.1269020UNSAT 40.7638 40.9309
CSP4J - Combo 2006-12-19225432UNSAT 81.0167 81.8
galacJ beta 1225423UNSAT 85.244 85.7309
galac 1225434UNSAT 110.486 111.574
sat4jCSP 1.7 RC BF3225437UNSAT 150.955 151.704
SAT4JCSP-CACHED 1.7 RC BF3225436UNSAT 164.064 164.467
rjw-solver 2006-12-09225422? (problem) 0.033994 0.0362759
Diarmuid-rndi 2006-12-21225419? (problem) 0.035993 0.0443829
Diarmuid-wtdi 2006-12-21225418? (problem) 0.035994 0.042261
Diarmuid-rndi 2007-01-22286702? (problem) 0.036993 0.0446091
rjw-solver 2007-01-21283764? (conv) 0 0
CSPtoSAT+minisat 0.3225443? (MO) 7.38288 7.39794
VALCSP 3.0225435? (TO) 1800.07 1804.85
BPrologCSPSolver70a 2006-12-13225420? (TO) 1800.1 1811.85
sugar 0.40225442? (TO) 1800.98 1811.37