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

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

Jump to solvers results

General information on the benchmark

Namecomposed/composed-75-1-80/
composed-75-1-80-4_ext.xml
MD5SUMd9245102b14af27eab4c58b2c9346eb1
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.05999
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables83
Number of constraints702
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension702
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.0191573UNSAT 0.05999 0.066259
VALCSP 3.1267788UNSAT 0.061989 0.164924
Mistral 2006-12-04191578UNSAT 0.087986 0.0909799
Tramontane 2006-12-04191579UNSAT 0.090985 0.097892
BPrologCSPSolver70a 2006-12-13191565UNSAT 0.12198 0.128972
CSPtoSAT+minisat 0.3191581UNSAT 0.149976 0.230605
rjw-solver 2007-01-21283048UNSAT 0.158975 0.244177
rjw-solver 2006-12-09191566UNSAT 0.159975 0.172176
Diarmuid-wtdi 2006-12-21191563UNSAT 0.165974 0.435054
buggy_2_5 2007-01-08191577UNSAT 0.343946 0.910222
buggy_2_5_s 2007-01-08191576UNSAT 0.346947 0.35203
CSP4J - Combo 2006-12-19191570UNSAT 0.669897 0.761453
CSP4J - MAC 2006-12-19191571UNSAT 0.700893 0.784306
CSP4J - MAC 2007-01-16269747UNSAT 0.711891 0.918378
Abscon 109 AC191569UNSAT 0.878865 2.125
Abscon 109 ESAC191568UNSAT 0.908861 0.981583
galacJ beta 1191567UNSAT 1.12283 1.20472
galac 1191572UNSAT 1.55576 1.90127
sugar 0.40191580UNSAT 2.47462 5.515
Diarmuid-rndi 2006-12-21191564UNSAT 2.74158 2.90126
SAT4JCSP-CACHED 1.7 RC BF3191574UNSAT 2.86656 2.8165
sat4jCSP 1.7 RC BF3191575UNSAT 2.90856 2.96529
Diarmuid-rndi 2007-01-22285986UNSAT 4.99024 5.02629