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

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

Jump to solvers results

General information on the benchmark

Nametightness/tightness0.9/
rand-2-40-180-84-900-23_ext.xml
MD5SUMf5042e2ed2d3e0b87ed40f3a4d9f65a1
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 benchmark15.7556
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 ESAC225232UNSAT 15.7556 15.8605
Abscon 109 AC225233UNSAT 15.9986 16.2223
VALCSP 3.0225237UNSAT 25.6661 25.6775
VALCSP 3.1269011UNSAT 25.8541 25.8645
CSP4J - MAC 2007-01-16271797UNSAT 33.3279 33.4977
Mistral 2006-12-04225242UNSAT 102.474 103.36
Tramontane 2006-12-04225243UNSAT 105.171 105.798
CSP4J - MAC 2006-12-19225235UNSAT 117.499 118.661
buggy_2_5 2007-01-08225241UNSAT 134.319 134.618
buggy_2_5_s 2007-01-08225240UNSAT 134.353 134.549
CSP4J - Combo 2006-12-19225234UNSAT 196.491 197.564
sat4jCSP 1.7 RC BF3225239UNSAT 670.741 674.456
SAT4JCSP-CACHED 1.7 RC BF3225238UNSAT 680.244 685.211
galacJ beta 1225225UNSAT 781.121 785.022
galac 1225236UNSAT 1438.65 1439.41
rjw-solver 2006-12-09225224? (problem) 0.031994 0.039899
rjw-solver 2007-01-21283755? (problem) 0.031994 0.0367679
Diarmuid-wtdi 2006-12-21225220? (problem) 0.034993 0.0386449
Diarmuid-rndi 2007-01-22286693? (problem) 0.034993 0.0440979
Diarmuid-rndi 2006-12-21225221? (conv) 0 0
CSPtoSAT+minisat 0.3225245? (MO) 7.2059 7.29139
BPrologCSPSolver70a 2006-12-13225222? (TO) 1800.07 1806.95
sugar 0.40225244? (TO) 1800.71 1806.46