Name | csp/nengfa/ normalized-queens1.xml |
MD5SUM | 72b10381b21e6b6e79bdf3ac7e3009a4 |
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 | 2.19767 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 96 |
Number of constraints | 13680 |
Maximum constraint arity | 2 |
Maximum domain size | 96 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 13680 |
Global constraints used (with number of constraints) |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:7 5 15 8 4 22 3 65 2 60 18 73 71 62 57 78 64 6 21 63 12 16 56 54 11 43 48 52 10 61 68 76 82 13 69 81 66 23 85 80 24 67 14 58 53 36 79 59 9 55 74 88 91 95 37 75 33 28 1 29 96 25 89 77 93 27 94 20 84 90 26 70 45 47 41 38 86 35 32 30 19 40 51 17 50 42 87 31 34 49 39 46 44 72 92 83