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

Result page for benchmark
composed/composed-25-1-25/
composed-25-1-25-8_ext.xml

Jump to solvers results

General information on the benchmark

Namecomposed/composed-25-1-25/
composed-25-1-25-8_ext.xml
MD5SUMed52a4b289b3e872223549759a70175d
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.023995
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables33
Number of constraints247
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension247
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.1268647UNSAT 0.022995 0.0245441
VALCSP 3.0216883UNSAT 0.023995 0.0302799
Mistral 2006-12-04216888UNSAT 0.039993 0.041327
Tramontane 2006-12-04216889UNSAT 0.039993 0.0467741
BPrologCSPSolver70a 2006-12-13216875UNSAT 0.061989 0.0693769
CSPtoSAT+minisat 0.3216891UNSAT 0.064989 0.0687521
Diarmuid-wtdi 2006-12-21216873UNSAT 0.12598 0.12871
buggy_2_5 2007-01-08216887UNSAT 0.154975 0.164109
buggy_2_5_s 2007-01-08216886UNSAT 0.158975 0.180888
Diarmuid-rndi 2007-01-22286381UNSAT 0.206968 0.232261
rjw-solver 2006-12-09216876UNSAT 0.295954 0.30423
rjw-solver 2007-01-21283443UNSAT 0.297953 0.304956
CSP4J - MAC 2007-01-16271348UNSAT 0.516921 0.546907
CSP4J - MAC 2006-12-19216881UNSAT 0.542917 0.557678
CSP4J - Combo 2006-12-19216880UNSAT 0.544916 0.608906
Abscon 109 ESAC216878UNSAT 0.752885 0.814918
Abscon 109 AC216879UNSAT 0.834872 0.902141
galacJ beta 1216877UNSAT 0.892863 0.91407
galac 1216882UNSAT 1.05484 1.11766
sugar 0.40216890UNSAT 1.56 1.71224
Diarmuid-rndi 2006-12-21216874UNSAT 1.74073 1.75895
sat4jCSP 1.7 RC BF3216885UNSAT 1.75973 1.8095
SAT4JCSP-CACHED 1.7 RC BF3216884UNSAT 1.85272 1.87921