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

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

Jump to solvers results

General information on the benchmark

Namecomposed/composed-75-1-40/
composed-75-1-40-4_ext.xml
MD5SUMcb232de8a0aaed5e654eba603242c145
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.05899
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.0219207UNSAT 0.05899 0.062467
VALCSP 3.1268705UNSAT 0.06299 0.0637401
Tramontane 2006-12-04219213UNSAT 0.084986 0.086615
Mistral 2006-12-04219212UNSAT 0.095984 0.098855
BPrologCSPSolver70a 2006-12-13219199UNSAT 0.117981 0.118327
CSPtoSAT+minisat 0.3219215UNSAT 0.148977 0.18543
Diarmuid-wtdi 2006-12-21219197UNSAT 0.307952 0.310448
buggy_2_5 2007-01-08219211UNSAT 0.331949 0.335844
buggy_2_5_s 2007-01-08219210UNSAT 0.336948 0.387177
CSP4J - MAC 2006-12-19219205UNSAT 0.642901 0.718482
CSP4J - MAC 2007-01-16271491UNSAT 0.701892 0.766783
CSP4J - Combo 2006-12-19219204UNSAT 0.77888 0.813286
rjw-solver 2007-01-21283491UNSAT 0.835872 0.838263
rjw-solver 2006-12-09219200UNSAT 0.840871 0.849375
Abscon 109 ESAC219202UNSAT 0.882864 0.916806
Abscon 109 AC219203UNSAT 0.948854 0.967227
galacJ beta 1219201UNSAT 1.02384 1.04483
Diarmuid-rndi 2006-12-21219198UNSAT 1.41778 1.41904
galac 1219206UNSAT 1.46878 1.49908
sugar 0.40219214UNSAT 2.54 2.76488
SAT4JCSP-CACHED 1.7 RC BF3219208UNSAT 2.6036 1.68569
sat4jCSP 1.7 RC BF3219209UNSAT 2.6116 1.66358
Diarmuid-rndi 2007-01-22286429UNSAT 2.83257 2.83477