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

Result page for benchmark
taillard/
os-taillard-15/os-taillard-15-95-0.xml

Jump to solvers results

General information on the benchmark

Nametaillard/
os-taillard-15/os-taillard-15-95-0.xml
MD5SUM9022ba7be6fd37cd1686d43ac72ffbad
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints3150
Maximum constraint arity2
Maximum domain size908
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3150
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
CSP4J - Combo 2006-12-19233655? 25.5251 25.6922
CSP4J - MAC 2007-01-16272207? 29.0826 29.3039
CSP4J - MAC 2006-12-19233656? 30.7823 30.9144
SAT4JCSP-CACHED 1.7 RC BF3233659? 105.247 104.369
sat4jCSP 1.7 RC BF3233660? 324.632 326.03
galac 1233657? (problem) 190.838 191.124
galacJ beta 1233646? (problem) 198.626 199.593
VALCSP 3.0233658? (MO) 163.567 164.353
VALCSP 3.1269415? (MO) 167.399 167.692
BPrologCSPSolver70a 2006-12-13233644? (TO) 1800.01 1816.32
Mistral 2006-12-04233663? (TO) 1800.04 1808.41
Tramontane 2006-12-04233664? (TO) 1800.05 1812.74
sugar 0.40233665? (TO) 1800.05 1816.9
Abscon 109 AC233654? (TO) 1800.05 1805.58
buggy_2_5_s 2007-01-08233661? (TO) 1800.08 1808.67
buggy_2_5 2007-01-08233662? (TO) 1800.1 1800.7
CSPtoSAT+minisat 0.3233666? (TO) 1800.1 1804.99
Abscon 109 ESAC233653? (TO) 1800.12 1806.71