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

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

Jump to solvers results

General information on the benchmark

Nametightness/tightness0.9/
rand-2-40-180-84-900-3_ext.xml
MD5SUMb405be014f1ccce7d38c40ecbabc7829
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 benchmark2.5996
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 ESAC225260UNSAT 2.5996 2.83607
buggy_2_5 2007-01-08225269UNSAT 2.70059 2.72761
Abscon 109 AC225261UNSAT 2.82557 2.93326
buggy_2_5_s 2007-01-08225268UNSAT 2.91456 2.93483
CSP4J - MAC 2007-01-16271798UNSAT 5.71113 5.79195
Mistral 2006-12-04225270UNSAT 11.4423 11.5005
Tramontane 2006-12-04225271UNSAT 11.5702 11.6723
VALCSP 3.0225265UNSAT 11.8782 11.9396
VALCSP 3.1269012UNSAT 12.0372 12.1477
CSP4J - MAC 2006-12-19225263UNSAT 21.5267 21.695
galacJ beta 1225259UNSAT 28.4947 28.9013
sat4jCSP 1.7 RC BF3225267UNSAT 30.5514 30.8659
SAT4JCSP-CACHED 1.7 RC BF3225266UNSAT 32.561 32.8753
galac 1225264UNSAT 36.8684 37.5006
CSP4J - Combo 2006-12-19225262UNSAT 37.9972 38.4663
Diarmuid-wtdi 2006-12-21225255? (problem) 0.031994 0.0361591
Diarmuid-rndi 2007-01-22286694? (problem) 0.031995 0.040523
rjw-solver 2007-01-21283756? (problem) 0.034993 0.0370131
rjw-solver 2006-12-09225258? (problem) 0.034994 0.039266
Diarmuid-rndi 2006-12-21225256? (problem) 0.036993 0.0426429
CSPtoSAT+minisat 0.3225273? (MO) 6.71598 6.7696
BPrologCSPSolver70a 2006-12-13225257? (TO) 1800.14 1809.59
sugar 0.40225272? (TO) 1800.77 1815.32