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

Result page for benchmark
fapp/fapp11-15/fapp14/
fapp14-2500-1.xml

Jump to solvers results

General information on the benchmark

Namefapp/fapp11-15/fapp14/
fapp14-2500-1.xml
MD5SUMe25e356bc98ab8ce9620a3fb6e6db1ca
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark13.29
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables2500
Number of constraints40767
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension40767
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Abscon 109 AC200878UNSAT 13.29 13.3288
buggy_2_5 2007-01-08200886UNSAT 16.7814 16.8965
buggy_2_5_s 2007-01-08200885UNSAT 17.8483 18.0034
Abscon 109 ESAC200877UNSAT 209.116 210.179
CSP4J - MAC 2007-01-16270288? 108.18 108.556
CSP4J - Combo 2006-12-19200879? 154.45 154.647
CSP4J - MAC 2006-12-19200880? 172.456 173.626
sugar 0.40200889? 353.29 355.378
galacJ beta 1200870? (problem) 629.627 634.05
galac 1200881? (problem) 764.33 767.165
sat4jCSP 1.7 RC BF3200884? (MO) 4.81727 4.62777
SAT4JCSP-CACHED 1.7 RC BF3200883? (MO) 5.19721 4.8971
VALCSP 3.1268216? (MO) 83.1074 83.4349
VALCSP 3.0200882? (MO) 84.7151 85.3881
Tramontane 2006-12-04200888? (TO) 1800.05 1812.98
Mistral 2006-12-04200887? (TO) 1800.06 1803.78
BPrologCSPSolver70a 2006-12-13200868? (TO) 1800.06 1814.14
CSPtoSAT+minisat 0.3200890? (TO) 1800.09 1813.17