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

Result page for benchmark
rlfap/rlfapGraphs/
graph9.xml

Jump to solvers results

General information on the benchmark

Namerlfap/rlfapGraphs/
graph9.xml
MD5SUM1d6383f6c1d067e9e389983663e98f89
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.00469
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables916
Number of constraints5246
Maximum constraint arity2
Maximum domain size44
Number of constraints which are defined in extension0
Number of constraints which are defined in intension5246
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
VALCSP 3.0195649SAT 1.22981 1.23119
VALCSP 3.1268007SAT 1.3218 1.33251
buggy_2_5 2007-01-08195653SAT 2.00469 2.0048
Abscon 109 AC195645SAT 2.11568 2.16922
Abscon 109 ESAC195644SAT 2.17267 2.23559
Mistral 2006-12-04195654SAT 2.33164 2.35571
Tramontane 2006-12-04195655SAT 2.33164 2.35523
BPrologCSPSolver70a 2006-12-13195642SAT 2.6246 2.62655
buggy_2_5_s 2007-01-08195652SAT 3.2795 3.29475
CSP4J - MAC 2006-12-19195647SAT 20.3339 20.4419
CSP4J - Combo 2006-12-19195646SAT 20.4159 21.0823
CSP4J - MAC 2007-01-16269967SAT 20.4169 20.5637
sat4jCSP 1.7 RC BF3195651SAT 26.9559 27.2992
SAT4JCSP-CACHED 1.7 RC BF3195650SAT 31.7452 31.13
galacJ beta 1195643SAT 38.6901 38.8343
galac 1195648SAT 61.5836 61.9395
CSPtoSAT+minisat 0.3195657? (TO) 1800.09 1810.09
sugar 0.40195656? (TO) 1804.39 1987.72