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

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

Jump to solvers results

General information on the benchmark

Nametightness/tightness0.9/
rand-2-40-180-84-900-63_ext.xml
MD5SUMe430de49b0be58351772a240d00e2552
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 benchmark6.41302
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 ESAC225364UNSAT 6.41302 6.48549
Abscon 109 AC225365UNSAT 6.64499 6.70043
CSP4J - MAC 2007-01-16271803UNSAT 15.1987 15.4168
VALCSP 3.1269017UNSAT 24.1223 24.1311
VALCSP 3.0225369UNSAT 25.0332 25.1877
Mistral 2006-12-04225374UNSAT 40.0379 40.4605
Tramontane 2006-12-04225375UNSAT 42.5215 42.7666
buggy_2_5 2007-01-08225373UNSAT 42.9755 43.2117
buggy_2_5_s 2007-01-08225372UNSAT 43.9563 44.2762
CSP4J - MAC 2006-12-19225367UNSAT 65.637 66.1284
CSP4J - Combo 2006-12-19225366UNSAT 149.955 151.195
SAT4JCSP-CACHED 1.7 RC BF3225370UNSAT 534.024 535.418
sat4jCSP 1.7 RC BF3225371UNSAT 534.686 540.29
galacJ beta 1225363UNSAT 548.725 552.674
galac 1225368UNSAT 614.88 616.462
Diarmuid-wtdi 2006-12-21225359? (problem) 0.032994 0.038066
Diarmuid-rndi 2007-01-22286699? (problem) 0.032994 0.0399001
Diarmuid-rndi 2006-12-21225360? (problem) 0.034993 0.040517
rjw-solver 2006-12-09225362? (problem) 0.034993 0.0434169
rjw-solver 2007-01-21283761? (problem) 0.034993 0.039394
CSPtoSAT+minisat 0.3225377? (MO) 7.42287 7.50454
BPrologCSPSolver70a 2006-12-13225361? (TO) 1800.05 1800.64
sugar 0.40225376? (TO) 1800.31 1816.83