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

Result page for benchmark
composed/composed-75-1-2/
composed-75-1-2-4_ext.xml

Jump to solvers results

General information on the benchmark

Namecomposed/composed-75-1-2/
composed-75-1-2-4_ext.xml
MD5SUMa219f12af5155b1af1933c37bd3884e9
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 benchmark0.05599
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables83
Number of constraints624
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension624
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
VALCSP 3.1267830UNSAT 0.05499 0.0806329
VALCSP 3.0192329UNSAT 0.05599 0.0628371
Tramontane 2006-12-04192335UNSAT 0.080987 0.0835861
Mistral 2006-12-04192334UNSAT 0.098984 0.100821
BPrologCSPSolver70a 2006-12-13192321UNSAT 0.115982 0.120025
CSPtoSAT+minisat 0.3192337UNSAT 0.141978 0.146141
Diarmuid-wtdi 2006-12-21192319UNSAT 0.289955 0.290459
buggy_2_5_s 2007-01-08192332UNSAT 0.331948 0.352433
buggy_2_5 2007-01-08192333UNSAT 0.332948 0.347317
CSP4J - MAC 2006-12-19192327UNSAT 0.693894 0.77108
CSP4J - MAC 2007-01-16269789UNSAT 0.703892 0.757147
CSP4J - Combo 2006-12-19192326UNSAT 0.77788 0.813796
rjw-solver 2007-01-21283076UNSAT 0.821874 0.904646
rjw-solver 2006-12-09192322UNSAT 0.844871 0.847866
Abscon 109 ESAC192324UNSAT 0.869867 0.932196
Abscon 109 AC192325UNSAT 0.982849 1.02541
galacJ beta 1192323UNSAT 1.02184 1.05857
galac 1192328UNSAT 1.41378 1.47191
Diarmuid-rndi 2007-01-22286014UNSAT 1.72874 1.73845
sugar 0.40192336UNSAT 2.3 2.54256
SAT4JCSP-CACHED 1.7 RC BF3192330UNSAT 2.41663 2.5048
sat4jCSP 1.7 RC BF3192331UNSAT 2.6146 2.67053
Diarmuid-rndi 2006-12-21192320UNSAT 3.17352 3.21041