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

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

Jump to solvers results

General information on the benchmark

Nametightness/tightness0.9/
rand-2-40-180-84-900-27_ext.xml
MD5SUM3ac0e5fd51cdfeaeb41cf7ea716924ba
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 benchmark231.646
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 ESAC225326UNSAT 231.646 231.932
buggy_2_5_s 2007-01-08225334UNSAT 270.529 271.308
buggy_2_5 2007-01-08225335UNSAT 271.289 272.558
Abscon 109 AC225327UNSAT 280.36 280.678
VALCSP 3.1269015UNSAT 308.752 309.057
VALCSP 3.0225331UNSAT 515.583 515.846
CSP4J - MAC 2007-01-16271801UNSAT 572.031 572.33
CSP4J - MAC 2006-12-19225329UNSAT 1683.68 1686.67
Mistral 2006-12-04225336UNSAT 1699.91 1706.29
Tramontane 2006-12-04225337UNSAT 1781.44 1786.74
rjw-solver 2007-01-21283759? (problem) 0.031994 0.0346289
rjw-solver 2006-12-09225318? (problem) 0.034994 0.043518
Diarmuid-wtdi 2006-12-21225314? (problem) 0.035993 0.035999
Diarmuid-rndi 2006-12-21225315? (problem) 0.036993 0.0443701
Diarmuid-rndi 2007-01-22286697? (problem) 0.036993 0.0434281
CSPtoSAT+minisat 0.3225339? (MO) 7.2439 7.30142
galacJ beta 1225319? (TO) 1800 1807.43
CSP4J - Combo 2006-12-19225328? (TO) 1800.04 1810.37
galac 1225330? (TO) 1800.05 1804.67
BPrologCSPSolver70a 2006-12-13225316? (TO) 1800.1 1800.83
sat4jCSP 1.7 RC BF3225333? (TO) 1800.18 1809.32
SAT4JCSP-CACHED 1.7 RC BF3225332? (TO) 1800.23 1817.09
sugar 0.40225338? (TO) 1800.32 1803.86