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

Result page for benchmark
fapp/fapp11-15/fapp11/
fapp11-1000-6.xml

Jump to solvers results

General information on the benchmark

Namefapp/fapp11-15/fapp11/
fapp11-1000-6.xml
MD5SUM6b5dd0783de8ffe8db36fbbb14ddfcf0
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 benchmark5.85211
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables1000
Number of constraints15032
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension15032
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
buggy_2_5_s 2007-01-08201412UNSAT 5.85211 5.8788
buggy_2_5 2007-01-08201413UNSAT 6.03808 6.15925
Abscon 109 AC201405UNSAT 8.12576 8.21701
Abscon 109 ESAC201404UNSAT 203.984 205.776
CSP4J - Combo 2006-12-19201406UNSAT 295.858 297.364
CSP4J - MAC 2006-12-19201407UNSAT 297.148 297.305
CSP4J - MAC 2007-01-16270317UNSAT 298.882 299.025
sugar 0.40201416? 26.9879 27.2454
SAT4JCSP-CACHED 1.7 RC BF3201410? 118.977 118.667
sat4jCSP 1.7 RC BF3201411? 1470.42 1476.61
galac 1201408? (problem) 823.201 827.299
galacJ beta 1201403? (problem) 907.684 914.51
VALCSP 3.0201409? (MO) 87.3437 88.018
VALCSP 3.1268245? (MO) 99.9438 100.341
Tramontane 2006-12-04201415? (TO) 1800.06 1810.95
Mistral 2006-12-04201414? (TO) 1800.07 1806.63
BPrologCSPSolver70a 2006-12-13201402? (TO) 1800.12 1805.59
CSPtoSAT+minisat 0.3201417? (TO) 1800.12 1815.09