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

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

Jump to solvers results

General information on the benchmark

Nametightness/tightness0.9/
rand-2-40-180-84-900-7_ext.xml
MD5SUMaf09c5e8d011acd1a0d78df9306bfbb2
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.42563
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 ESAC225703UNSAT 2.42563 2.48468
Abscon 109 AC225704UNSAT 2.46663 2.53599
buggy_2_5 2007-01-08225712UNSAT 4.23835 4.26552
buggy_2_5_s 2007-01-08225711UNSAT 4.65329 4.73711
CSP4J - MAC 2007-01-16271818UNSAT 4.97824 5.03178
Mistral 2006-12-04225713UNSAT 9.77351 9.80387
Tramontane 2006-12-04225714UNSAT 10.3624 10.4601
VALCSP 3.1269032UNSAT 12.955 13.2005
VALCSP 3.0225708UNSAT 13.6119 13.7392
CSP4J - MAC 2006-12-19225706UNSAT 17.0384 17.2226
CSP4J - Combo 2006-12-19225705UNSAT 30.6163 30.748
galacJ beta 1225702UNSAT 31.9911 32.2087
SAT4JCSP-CACHED 1.7 RC BF3225709UNSAT 35.3616 33.9459
sat4jCSP 1.7 RC BF3225710UNSAT 38.2732 38.6865
galac 1225707UNSAT 48.7236 49.0113
BPrologCSPSolver70a 2006-12-13225700UNSAT 1048.23 1053.56
Diarmuid-rndi 2006-12-21225699? (problem) 0.033993 0.039267
Diarmuid-rndi 2007-01-22286714? (problem) 0.034993 0.0370139
Diarmuid-wtdi 2006-12-21225698? (problem) 0.035993 0.0434489
rjw-solver 2007-01-21283776? (problem) 0.035993 0.037372
rjw-solver 2006-12-09225701? (problem) 0.036993 0.0391229
CSPtoSAT+minisat 0.3225716? (MO) 6.80496 6.86953
sugar 0.40225715? (TO) 1800.78 1810.53