Name | csp/QWH-15/ normalized-qwh-15-106-3_ext.xml |
MD5SUM | 8f69a2d056f3b3ee7c88f8906dc5abe2 |
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.070988 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 2324 |
Maximum constraint arity | 2 |
Maximum domain size | 15 |
Number of constraints which are defined in extension | 2324 |
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) | 2058038 | SAT | 0.070988 | 0.07453 |
pcs 0.3.2 (complete) | 2058030 | SAT | 0.090985 | 0.0889351 |
pcs-restart 0.3.2 (complete) | 2058031 | SAT | 0.094984 | 0.108685 |
bpsolver 09 (complete) | 2058039 | SAT | 0.286955 | 0.30458 |
Conquer 2009-07-10 (complete) | 2058037 | SAT | 0.773881 | 1.00859 |
Abscon 112v4 AC (complete) | 2093201 | SAT | 1.34779 | 1.42334 |
Abscon 112v4 ESAC (complete) | 2093202 | SAT | 1.39579 | 1.14939 |
Sugar v1.14.6+picosat (complete) | 2058035 | SAT | 1.42978 | 1.2242 |
Sugar v1.14.6+minisat (complete) | 2058036 | SAT | 1.51177 | 1.65458 |
Concrete 2009-07-14 (complete) | 2058032 | SAT | 1.90971 | 1.97046 |
SAT4J CSP 2.1.1 (complete) | 2058029 | SAT | 2.5886 | 1.6399 |
Concrete DC 2009-07-14 (complete) | 2058033 | SAT | 2.83957 | 2.90757 |
Choco2.1.1b 2009-07-16 (complete) | 2114512 | SAT | 3.77343 | 3.44649 |
Choco2.1.1 2009-06-10 (complete) | 2058034 | SAT | 3.9624 | 4.04188 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:5 11 8 1 14 6 4 12 3 0 7 9 10 13 2 12 3 13 8 11 2 7 5 14 10 9 6 4 0 1 10 12 0 14 9 3 13 8 5 2 1 4 11 6 7 8 13 2 0 12 11 1 14 6 5 3 7 9 4 10 2 7 10 5 1 4 14 9 11 6 0 3 13 8 12 13 0 12 2 6 9 5 3 10 7 4 8 1 11 14 6 1 7 4 8 10 11 13 9 3 12 2 0 14 5 1 8 14 7 3 5 0 6 13 4 2 10 12 9 11 0 14 3 10 4 13 8 11 1 12 6 5 2 7 9 4 10 9 12 13 1 2 0 7 14 8 11 3 5 6 3 5 4 6 2 7 9 1 12 8 11 0 14 10 13 9 4 11 13 0 12 10 7 8 1 5 14 6 2 3 14 6 1 11 7 0 3 2 4 9 10 13 5 12 8 7 2 6 9 5 14 12 10 0 11 13 1 8 3 4 11 9 5 3 10 8 6 4 2 13 14 12 7 1 0