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

Result page for benchmark
fapp/fapp01-05/fapp01/
fapp01-0200-10.xml

Jump to solvers results

General information on the benchmark

Namefapp/fapp01-05/fapp01/
fapp01-0200-10.xml
MD5SUM77e758121f45352fcd7f4ff036be2f28
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 benchmark1.36879
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables200
Number of constraints2053
Maximum constraint arity2
Maximum domain size190
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2053
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral 2006-12-04209068SAT 1.36879 1.38569
Tramontane 2006-12-04209069SAT 1.39079 1.43607
buggy_2_5 2007-01-08209067SAT 1.81272 1.82677
Abscon 109 AC209059SAT 6.01808 6.08944
VALCSP 3.0209063SAT 11.3553 11.4582
Abscon 109 ESAC209058SAT 11.4673 11.611
VALCSP 3.1268576SAT 12.5571 12.6795
buggy_2_5_s 2007-01-08209066SAT 15.6576 15.8056
CSP4J - Combo 2006-12-19209060SAT 16.2795 16.4529
CSP4J - MAC 2007-01-16270768SAT 16.7095 16.9256
CSP4J - MAC 2006-12-19209061SAT 19.44 19.696
sat4jCSP 1.7 RC BF3209065SAT 138.999 140.602
galacJ beta 1209057SAT 367.81 371.1
galac 1209062SAT 493.046 495.511
sugar 0.40209070? 3.28 3.50223
SAT4JCSP-CACHED 1.7 RC BF3209064? 143.159 143.373
BPrologCSPSolver70a 2006-12-13209056? (TO) 1800.02 1813.72
CSPtoSAT+minisat 0.3209071? (TO) 1800.11 1808.62