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

Result page for benchmark
fapp/fapp26-30/fapp26/
fapp26-2300-8.xml

Jump to solvers results

General information on the benchmark

Namefapp/fapp26-30/fapp26/
fapp26-2300-8.xml
MD5SUMeccaffa8feca1c3f937f3cdaf6255c96
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 benchmark11.9272
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables2300
Number of constraints24253
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension24253
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Abscon 109 AC209731SAT 11.9272 12.0175
buggy_2_5 2007-01-08209739SAT 15.1347 15.2616
buggy_2_5_s 2007-01-08209738SAT 16.8924 17.0453
Abscon 109 ESAC209730SAT 88.5935 89.3968
CSP4J - Combo 2006-12-19209732SAT 1470.79 1479.74
CSP4J - MAC 2006-12-19209733SAT 1486.73 1492.15
CSP4J - MAC 2007-01-16270810? 130.381 130.752
sugar 0.40209742? 340.84 342.909
galac 1209734? (problem) 668.714 669.814
galacJ beta 1209729? (problem) 687.527 690.872
SAT4JCSP-CACHED 1.7 RC BF3209736? (MO) 65.855 65.7187
VALCSP 3.0209735? (MO) 73.9588 74.3141
VALCSP 3.1268618? (MO) 83.0834 83.108
sat4jCSP 1.7 RC BF3209737? (MO) 308.952 309.932
Tramontane 2006-12-04209741? (TO) 1800.03 1809.37
BPrologCSPSolver70a 2006-12-13209728? (TO) 1800.05 1808.81
CSPtoSAT+minisat 0.3209743? (TO) 1800.06 1809.11
Mistral 2006-12-04209740? (TO) 1800.07 1807.78