Name | csp/rand-2-30-15-fcd/ normalized-rand-2-30-15-306-230-fcd-1_ext.xml |
MD5SUM | fb962e9cebb6dc6265bb92f0d9b96b34 |
Bench Category | 2-ARY-EXT (binary constraints in extension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.280957 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 30 |
Number of constraints | 225 |
Maximum constraint arity | 2 |
Maximum domain size | 15 |
Number of constraints which are defined in extension | 225 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2090400 | SAT | 0.280957 | 0.280436 |
pcs-restart 0.3.2 (complete) | 2090393 | SAT | 0.402938 | 0.405648 |
bpsolver 09 (complete) | 2090401 | SAT | 1.27181 | 1.28375 |
Conquer 2009-07-10 (complete) | 2090399 | SAT | 1.54077 | 1.84022 |
Abscon 112v4 AC (complete) | 2099085 | SAT | 1.83672 | 1.87564 |
pcs 0.3.2 (complete) | 2090392 | SAT | 1.88271 | 1.88983 |
Abscon 112v4 ESAC (complete) | 2099086 | SAT | 1.9907 | 2.04507 |
Choco2.1.1b 2009-07-16 (complete) | 2117454 | SAT | 2.18167 | 2.25146 |
Sugar v1.14.6+minisat (complete) | 2090398 | SAT | 2.6446 | 2.82339 |
Sugar v1.14.6+picosat (complete) | 2090397 | SAT | 2.75358 | 2.84928 |
Concrete 2009-07-14 (complete) | 2090394 | SAT | 2.79757 | 2.8644 |
SAT4J CSP 2.1.1 (complete) | 2090391 | SAT | 3.2745 | 3.31625 |
Concrete DC 2009-07-14 (complete) | 2090395 | SAT | 3.53446 | 3.58396 |
Choco2.1.1 2009-06-10 (complete) | 2090396 | SAT | 3.70744 | 3.78305 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:0 9 10 3 14 4 14 1 13 13 4 13 7 3 12 4 2 12 6 14 11 2 10 14 14 14 13 8 12 2