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

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

Jump to solvers results

General information on the benchmark

Namecomposed/composed-25-1-2/
composed-25-1-2-0_ext.xml
MD5SUM24a15259b1c9601cd7de2963dac67595
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.021995
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables33
Number of constraints224
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension224
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.0218521UNSAT 0.021995 0.0245379
VALCSP 3.1268681UNSAT 0.023995 0.033868
Tramontane 2006-12-04218527UNSAT 0.036993 0.0420001
Mistral 2006-12-04218526UNSAT 0.042993 0.0509131
BPrologCSPSolver70a 2006-12-13218513UNSAT 0.05999 0.0678679
CSPtoSAT+minisat 0.3218529UNSAT 0.060989 0.074524
Diarmuid-wtdi 2006-12-21218511UNSAT 0.118981 0.127977
Diarmuid-rndi 2007-01-22286415UNSAT 0.129979 0.144591
buggy_2_5 2007-01-08218525UNSAT 0.149976 0.155708
buggy_2_5_s 2007-01-08218524UNSAT 0.155975 0.169788
Diarmuid-rndi 2006-12-21218512UNSAT 0.179972 0.18444
rjw-solver 2007-01-21283477UNSAT 0.286955 0.296591
rjw-solver 2006-12-09218514UNSAT 0.288956 0.290962
CSP4J - MAC 2006-12-19218519UNSAT 0.514921 0.548287
CSP4J - MAC 2007-01-16271447UNSAT 0.52092 0.549012
CSP4J - Combo 2006-12-19218518UNSAT 0.572912 0.61354
Abscon 109 ESAC218516UNSAT 0.754884 0.819292
Abscon 109 AC218517UNSAT 0.807877 0.86702
galacJ beta 1218515UNSAT 0.870867 0.905302
galac 1218520UNSAT 0.994847 1.01933
sugar 0.40218528UNSAT 1.51 1.67191
sat4jCSP 1.7 RC BF3218523UNSAT 1.68574 1.1401
SAT4JCSP-CACHED 1.7 RC BF3218522UNSAT 1.70474 1.15438