Name | csp/os-taillard-7/ normalized-os-taillard-7-100-9.xml |
MD5SUM | 3ad2628e033d36895a2885b148e4c877 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.213967 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 49 |
Number of constraints | 294 |
Maximum constraint arity | 2 |
Maximum domain size | 398 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 294 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2087727 | SAT | 0.213967 | 0.221053 |
Choco2.1.1b 2009-07-16 (complete) | 2117211 | SAT | 1.56776 | 1.58613 |
Sugar v1.14.6+minisat (complete) | 2087725 | SAT | 1.71474 | 1.8254 |
Choco2.1.1 2009-06-10 (complete) | 2087723 | SAT | 1.81172 | 1.85269 |
Sugar v1.14.6+picosat (complete) | 2087724 | SAT | 3.23151 | 3.33877 |
Concrete 2009-07-14 (complete) | 2087721 | SAT | 12.6671 | 12.8465 |
Abscon 112v4 AC (complete) | 2098599 | SAT | 16.2735 | 16.4529 |
Concrete DC 2009-07-14 (complete) | 2087722 | SAT | 44.0943 | 44.539 |
pcs-restart 0.3.2 (complete) | 2087720 | SAT | 64.4832 | 64.8084 |
Abscon 112v4 ESAC (complete) | 2098600 | SAT | 104.051 | 105.055 |
pcs 0.3.2 (complete) | 2087719 | SAT | 146.435 | 147.818 |
bpsolver 09 (complete) | 2087728 | ? (TO) | 1800.05 | 1808.71 |
SAT4J CSP 2.1.1 (complete) | 2087718 | ? (TO) | 1800.21 | 1801.17 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:210 235 103 2 333 168 336 0 235 29 42 103 143 308 0 122 186 44 38 233 312 236 329 0 115 40 210 88 69 392 186 236 0 115 328 0 131 61 229 161 222 336 122 147 309 69 4 168 225