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

Result page for benchmark
driver/
driverlogw-09-sat_ext.xml

Jump to solvers results

General information on the benchmark

Namedriver/
driverlogw-09-sat_ext.xml
MD5SUM5933f4a42187117e9e508d20340f2ade
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 benchmark1.89671
SatisfiableYES
(Un)Satisfiability was proved
Number of variables650
Number of constraints17447
Maximum constraint arity2
Maximum domain size12
Number of constraints which are defined in extension17447
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
CSPtoSAT+minisat 0.3247627SAT 1.89671 1.98618
VALCSP 3.0247619SAT 2.80257 2.82319
SAT4JCSP-CACHED 1.7 RC BF3247620SAT 6.23905 6.30936
sat4jCSP 1.7 RC BF3247621SAT 6.32804 6.38243
galacJ beta 1247613SAT 8.11277 8.19499
galac 1247618SAT 11.4853 11.672
Abscon 109 AC247615SAT 14.1049 14.2558
Mistral 2006-12-04247624SAT 20.8448 21.0467
sugar 0.40247626SAT 21.6357 21.8815
Abscon 109 ESAC247614SAT 26.7869 26.9573
buggy_2_5 2007-01-08247623SAT 38.4751 38.8662
buggy_2_5_s 2007-01-08247622SAT 40.4189 40.533
Tramontane 2006-12-04247625SAT 46.5929 47.0296
CSP4J - MAC 2007-01-16272938SAT 87.5617 87.7744
CSP4J - Combo 2006-12-19247616SAT 90.3343 90.4633
CSP4J - MAC 2006-12-19247617SAT 152.716 153.197
Diarmuid-wtdi 2006-12-21247609? (problem) 0.112982 0.11527
rjw-solver 2006-12-09247612? (problem) 0.114981 0.115587
Diarmuid-rndi 2006-12-21247610? (problem) 0.118981 0.118674
Diarmuid-rndi 2007-01-22287143? (problem) 0.11998 0.122723
rjw-solver 2007-01-21284205? (problem) 0.119981 0.125276
BPrologCSPSolver70a 2006-12-13247611? (TO) 1800.1 1801.54
VALCSP 3.1269719Wrong Cert. 2.78158 2.81368