Name | csp/ogdVg/ normalized-crossword-m1c-ogd-vg5-9_ext.xml |
MD5SUM | 16750553619d5e84a329ed4c4c27d137 |
Bench Category | N-ARY-EXT (n-ary constraints in extension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 2.80257 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 45 |
Number of constraints | 14 |
Maximum constraint arity | 9 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 14 |
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 |
---|---|---|---|---|
Abscon 112v4 AC (complete) | 2096735 | SAT | 2.80257 | 2.88086 |
Abscon 112v4 ESAC (complete) | 2096736 | SAT | 2.90256 | 2.98872 |
Conquer 2009-07-10 (complete) | 2077474 | SAT | 4.79127 | 5.02126 |
Concrete 2009-07-14 (complete) | 2077469 | SAT | 9.38157 | 9.4919 |
bpsolver 09 (complete) | 2077476 | SAT | 40.5658 | 40.7394 |
Mistral 1.545 (complete) | 2077475 | SAT | 48.1477 | 48.3468 |
Choco2.1.1 2009-06-10 (complete) | 2077471 | SAT | 107.237 | 107.801 |
Choco2.1.1b 2009-07-16 (complete) | 2116279 | SAT | 387.149 | 387.303 |
Concrete DC 2009-07-14 (complete) | 2077470 | SAT | 600.298 | 605.543 |
pcs 0.3.2 (complete) | 2077467 | SAT | 823.755 | 831.555 |
SAT4J CSP 2.1.1 (complete) | 2077466 | ? | 101.866 | 99.8899 |
Sugar v1.14.6+minisat (complete) | 2077473 | ? (TO) | 1800.02 | 1885.29 |
pcs-restart 0.3.2 (complete) | 2077468 | ? (TO) | 1800.06 | 1812.91 |
Sugar v1.14.6+picosat (complete) | 2077472 | ? (TO) | 1800.08 | 1848 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:15 17 4 0 2 2 14 17 3 17 4 13 19 17 0 24 0 8 4 13 2 11 0 21 0 8 19 15 0 17 0 12 4 19 17 4 0 11 4 18 0 18 18 4 18