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

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

Jump to solvers results

General information on the benchmark

Nametightness/tightness0.9/
rand-2-40-180-84-900-75_ext.xml
MD5SUMb7c1c41dbc3e9546e44459527f1aa21c
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.9494
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
buggy_2_5 2007-01-08226032UNSAT 3.9494 3.96721
buggy_2_5_s 2007-01-08226031UNSAT 4.51831 4.58008
Abscon 109 AC226024UNSAT 4.72028 4.85505
Abscon 109 ESAC226023UNSAT 4.88426 4.97441
CSP4J - MAC 2007-01-16271832UNSAT 9.2306 9.29305
VALCSP 3.1269046UNSAT 14.4888 14.5026
VALCSP 3.0226028UNSAT 14.9627 15.1071
Mistral 2006-12-04226033UNSAT 20.5369 20.6032
Tramontane 2006-12-04226034UNSAT 22.5646 22.7547
CSP4J - MAC 2006-12-19226026UNSAT 27.5088 27.8418
galacJ beta 1226022UNSAT 31.5252 31.6267
sat4jCSP 1.7 RC BF3226030UNSAT 32.644 32.7473
SAT4JCSP-CACHED 1.7 RC BF3226029UNSAT 36.2665 36.7024
CSP4J - Combo 2006-12-19226025UNSAT 40.8388 40.9995
galac 1226027UNSAT 119.318 119.734
BPrologCSPSolver70a 2006-12-13226020UNSAT 229.286 230.379
rjw-solver 2007-01-21283790? (problem) 0.034994 0.036002
Diarmuid-rndi 2007-01-22286728? (problem) 0.034994 0.036761
Diarmuid-rndi 2006-12-21226019? (problem) 0.036993 0.0397661
rjw-solver 2006-12-09226021? (problem) 0.038993 0.0446091
Diarmuid-wtdi 2006-12-21226018? (conv) 0 0
CSPtoSAT+minisat 0.3226036? (MO) 6.81096 6.87394
sugar 0.40226035? (TO) 1800.99 1814.56