Name | csp/queens/ normalized-queens-100.xml |
MD5SUM | 3dde0b63013d3cc4747840f0db935897 |
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 | 3.18951 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 4950 |
Maximum constraint arity | 2 |
Maximum domain size | 100 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 4950 |
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:10 12 14 69 63 13 67 16 76 72 24 64 15 75 68 91 17 11 18 89 92 90 74 55 52 62 66 78 23 70 77 60 21 82 61 65 27 80 59 31 45 57 38 40 50 81 84 71 1 3 5 9 34 86 96 99 87 79 35 93 2 100 28 8 4 39 83 36 6 88 7 42 44 49 94 98 51 58 56 41 53 20 43 19 25 29 33 37 22 32 47 54 48 97 73 85 95 26 46 30