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

Result page for benchmark
composed/composed-75-1-40/
composed-75-1-40-0_ext.xml

Jump to solvers results

General information on the benchmark

Namecomposed/composed-75-1-40/
composed-75-1-40-0_ext.xml
MD5SUMc7059d41f5b62aa19ec5211c7b5bf98b
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 constraints662
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension662
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.1268697UNSAT 0.05499 0.0609441
VALCSP 3.0219055UNSAT 0.05999 0.0618739
Tramontane 2006-12-04219061UNSAT 0.080986 0.087141
Mistral 2006-12-04219060UNSAT 0.087986 0.094754
BPrologCSPSolver70a 2006-12-13219047UNSAT 0.119981 0.131095
CSPtoSAT+minisat 0.3219063UNSAT 0.144977 0.16957
Diarmuid-wtdi 2006-12-21219045UNSAT 0.305953 0.324843
buggy_2_5 2007-01-08219059UNSAT 0.32095 0.324319
buggy_2_5_s 2007-01-08219058UNSAT 0.32395 0.334292
CSP4J - Combo 2006-12-19219052UNSAT 0.736887 0.769547
CSP4J - MAC 2006-12-19219053UNSAT 0.746886 0.814663
CSP4J - MAC 2007-01-16271483UNSAT 0.791878 0.820609
Abscon 109 ESAC219050UNSAT 0.873867 0.955598
rjw-solver 2007-01-21283483UNSAT 0.91386 0.918489
rjw-solver 2006-12-09219048UNSAT 0.940856 0.944706
Abscon 109 AC219051UNSAT 0.971851 1.03856
galacJ beta 1219049UNSAT 1.09583 1.16595
Diarmuid-rndi 2006-12-21219046UNSAT 1.41878 1.43877
galac 1219054UNSAT 1.49477 1.54285
SAT4JCSP-CACHED 1.7 RC BF3219056UNSAT 2.55561 1.6278
sat4jCSP 1.7 RC BF3219057UNSAT 2.56561 1.68047
sugar 0.40219062UNSAT 2.6046 2.85168
Diarmuid-rndi 2007-01-22286421UNSAT 2.72658 2.74584