Name | csp/queens/ normalized-queens-150.xml |
MD5SUM | 3e1168ad51844cea85c2810ca2ef4fbf |
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 | 8.5767 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 150 |
Number of constraints | 11175 |
Maximum constraint arity | 2 |
Maximum domain size | 150 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 11175 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 AC (complete) | 2098557 | SAT | 8.5767 | 8.68021 |
Abscon 112v4 ESAC (complete) | 2098558 | SAT | 10.3584 | 10.4381 |
bpsolver 09 (complete) | 2087497 | SAT | 10.5324 | 10.6329 |
Concrete 2009-07-14 (complete) | 2087490 | SAT | 28.4767 | 28.8374 |
Sugar v1.14.6+minisat (complete) | 2087494 | SAT | 30.8763 | 31.374 |
Choco2.1.1 2009-06-10 (complete) | 2087492 | SAT | 54.8277 | 55.1423 |
Choco2.1.1b 2009-07-16 (complete) | 2117190 | SAT | 60.2678 | 60.8321 |
Mistral 1.545 (complete) | 2087496 | SAT | 89.8013 | 90.6685 |
pcs-restart 0.3.2 (complete) | 2087489 | SAT | 100.712 | 101.105 |
Sugar v1.14.6+picosat (complete) | 2087493 | SAT | 106.411 | 107.642 |
pcs 0.3.2 (complete) | 2087488 | SAT | 158.265 | 159.738 |
Concrete DC 2009-07-14 (complete) | 2087491 | SAT | 562.602 | 567.981 |
SAT4J CSP 2.1.1 (complete) | 2087487 | ? | 775.49 | 781.111 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:67 62 72 57 89 98 86 97 6 69 145 143 8 144 95 9 142 10 141 11 140 12 139 13 138 14 68 137 15 136 16 135 17 134 18 133 19 132 20 131 21 94 130 22 90 92 78 65 79 66 63 24 93 129 53 128 23 54 127 25 126 26 125 121 41 45 105 30 28 31 106 27 29 124 32 51 120 122 100 40 109 35 119 3 52 115 39 42 103 59 102 111 38 112 37 116 110 113 46 44 47 108 77 43 34 107 101 33 118 81 84 114 117 36 123 149 87 76 5 146 55 60 147 50 56 49 104 96 70 48 58 64 82 85 83 99 80 71 75 2 91 1 73 61 148 74 7 88 4 150