Name | csp/super-os/super-os-taillard-7/ normalized-super-os-taillard-7-20.xml |
MD5SUM | dc0f46dd1d9bd929288568267897d6d4 |
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.565913 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 98 |
Number of constraints | 931 |
Maximum constraint arity | 2 |
Maximum domain size | 418 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 931 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2081138 | SAT | 0.565913 | 0.567673 |
pcs-restart 0.3.2 (complete) | 2081131 | SAT | 1.49477 | 1.51715 |
pcs 0.3.2 (complete) | 2081130 | SAT | 1.67674 | 1.69435 |
Sugar v1.14.6+minisat (complete) | 2081136 | SAT | 3.20351 | 3.36209 |
Concrete 2009-07-14 (complete) | 2081132 | SAT | 6.65099 | 6.77789 |
Sugar v1.14.6+picosat (complete) | 2081135 | SAT | 8.18175 | 8.30482 |
Choco2.1.1 2009-06-10 (complete) | 2081134 | SAT | 19.3291 | 19.3672 |
Abscon 112v4 ESAC (complete) | 2097402 | SAT | 51.9391 | 52.0186 |
Abscon 112v4 AC (complete) | 2097401 | SAT | 67.5697 | 68.2788 |
Concrete DC 2009-07-14 (complete) | 2081133 | SAT | 407.41 | 411.333 |
Choco2.1.1b 2009-07-16 (complete) | 2116612 | SAT | 1311.14 | 1311.68 |
SAT4J CSP 2.1.1 (complete) | 2081129 | ? | 278.753 | 279.778 |
bpsolver 09 (complete) | 2081139 | ? (TO) | 1800.07 | 1808.21 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:248 247 0 1 267 268 95 94 319 373 376 375 181 186 414 413 28 27 400 375 89 90 0 375 190 182 285 286 400 378 218 217 182 183 282 283 396 395 14 15 96 95 161 160 361 360 214 215 0 1 312 305 111 112 272 273 272 273 146 147 0 2 52 54 153 154 218 217 319 332 106 105 22 21 215 214 319 331 153 150 300 413 52 53 161 160 90 89 305 329 111 112 182 183 248 247 5 0