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

Result page for benchmark
qcp-qwh/QCP-15/
qcp-15-120-8_ext.xml

Jump to solvers results

General information on the benchmark

Nameqcp-qwh/QCP-15/
qcp-15-120-8_ext.xml
MD5SUMcf319c3d778b545d6992f736e2b438ef
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.232963
SatisfiableYES
(Un)Satisfiability was proved
Number of variables225
Number of constraints3150
Maximum constraint arity2
Maximum domain size15
Number of constraints which are defined in extension3150
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.1269676SAT 0.218966 0.221031
VALCSP 3.0240053SAT 0.232963 0.240678
CSPtoSAT+minisat 0.3240061SAT 0.288955 0.343731
Tramontane 2006-12-04240059SAT 0.835871 0.838081
Abscon 109 AC240049SAT 2.41763 2.47405
galacJ beta 1240047SAT 2.43663 2.61547
galac 1240052SAT 3.02554 3.1884
sugar 0.40240060SAT 3.03154 3.30001
SAT4JCSP-CACHED 1.7 RC BF3240054SAT 3.07353 3.11182
Abscon 109 ESAC240048SAT 3.10953 3.15785
Mistral 2006-12-04240058SAT 3.14052 3.16969
sat4jCSP 1.7 RC BF3240055SAT 3.69044 2.29021
buggy_2_5 2007-01-08240057SAT 3.9724 4.07785
buggy_2_5_s 2007-01-08240056SAT 3.97839 4.09772
CSP4J - Combo 2006-12-19240050SAT 4.31734 4.43926
CSP4J - MAC 2006-12-19240051SAT 5.38518 5.44935
CSP4J - MAC 2007-01-16272596SAT 6.65199 6.7466
rjw-solver 2007-01-21284176SAT 51.0572 51.1679
rjw-solver 2006-12-09240046SAT 52.2581 52.5664
Diarmuid-wtdi 2006-12-21240043SAT 57.4013 57.9353
BPrologCSPSolver70a 2006-12-13240045SAT 127.351 128.312
Diarmuid-rndi 2007-01-22287114SAT 426.239 428.611
Diarmuid-rndi 2006-12-21240044SAT 892.759 893.182