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

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

Jump to solvers results

General information on the benchmark

Namecomposed/composed-25-1-40/
composed-25-1-40-7_ext.xml
MD5SUMe81361ec4d2007a67e83ac3c416ef1c1
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 constraints262
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension262
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.0217035UNSAT 0.023995 0.0317769
VALCSP 3.1268655UNSAT 0.023995 0.0254009
Tramontane 2006-12-04217041UNSAT 0.040993 0.0427521
Mistral 2006-12-04217040UNSAT 0.043993 0.0494921
BPrologCSPSolver70a 2006-12-13217027UNSAT 0.061989 0.0633531
CSPtoSAT+minisat 0.3217043UNSAT 0.067988 0.0830721
Diarmuid-wtdi 2006-12-21217025UNSAT 0.149976 0.151871
Diarmuid-rndi 2007-01-22286389UNSAT 0.159975 0.161024
buggy_2_5_s 2007-01-08217038UNSAT 0.166974 0.180617
buggy_2_5 2007-01-08217039UNSAT 0.167973 0.19502
Diarmuid-rndi 2006-12-21217026UNSAT 0.325949 0.340056
rjw-solver 2007-01-21283451UNSAT 0.393939 0.395011
rjw-solver 2006-12-09217028UNSAT 0.394939 0.400267
CSP4J - MAC 2006-12-19217033UNSAT 0.522919 0.56879
CSP4J - MAC 2007-01-16271356UNSAT 0.532918 0.622383
CSP4J - Combo 2006-12-19217032UNSAT 0.578911 0.607882
Abscon 109 ESAC217030UNSAT 0.810876 0.873355
Abscon 109 AC217031UNSAT 0.85087 0.868518
galacJ beta 1217029UNSAT 0.903862 0.96513
galac 1217034UNSAT 0.995847 1.09574
sugar 0.40217042UNSAT 1.65375 1.72611
sat4jCSP 1.7 RC BF3217037UNSAT 1.74673 1.85634
SAT4JCSP-CACHED 1.7 RC BF3217036UNSAT 1.89671 1.99025