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

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

Jump to solvers results

General information on the benchmark

Nametightness/tightness0.9/
rand-2-40-180-84-900-45_ext.xml
MD5SUM86bba9e80ad831d1c8b30429daff653e
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.32865
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 AC225591UNSAT 2.32865 2.38021
Abscon 109 ESAC225590UNSAT 2.6166 2.70446
buggy_2_5 2007-01-08225599UNSAT 2.87656 2.89238
buggy_2_5_s 2007-01-08225598UNSAT 3.3085 3.34185
CSP4J - MAC 2007-01-16271813UNSAT 4.15437 4.18933
VALCSP 3.1269027UNSAT 11.9242 12.014
VALCSP 3.0225595UNSAT 12.3631 12.3928
Mistral 2006-12-04225600UNSAT 12.5891 12.6648
Tramontane 2006-12-04225601UNSAT 13.5399 13.6659
SAT4JCSP-CACHED 1.7 RC BF3225596UNSAT 14.9797 15.127
sat4jCSP 1.7 RC BF3225597UNSAT 15.4776 15.5771
CSP4J - MAC 2006-12-19225593UNSAT 18.8821 19.1107
galacJ beta 1225589UNSAT 20.2399 20.421
CSP4J - Combo 2006-12-19225592UNSAT 30.3604 30.7111
galac 1225594UNSAT 42.4565 42.7697
BPrologCSPSolver70a 2006-12-13225587UNSAT 94.7296 95.1787
rjw-solver 2007-01-21283771? (problem) 0.032994 0.038077
rjw-solver 2006-12-09225588? (problem) 0.033994 0.036525
Diarmuid-rndi 2007-01-22286709? (problem) 0.033994 0.0418909
Diarmuid-wtdi 2006-12-21225585? (problem) 0.034993 0.0363899
Diarmuid-rndi 2006-12-21225586? (conv) 0 0
CSPtoSAT+minisat 0.3225603? (MO) 7.42187 7.50241
sugar 0.40225602? (TO) 1800.65 1808.74