Name | csp/nengfa/ normalized-queens2.xml |
MD5SUM | feda91e5b3c1ff49ee389ed427acc709 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.075987 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 310 |
Number of constraints | 211 |
Maximum constraint arity | 104 |
Maximum domain size | 104 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 208 |
Global constraints used (with number of constraints) | alldifferent(3) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-prime 1.313 | 1055490 | SAT | 0.075987 | 0.082785 |
MDG-noprobe 2008-06-27 | 1055482 | SAT | 0.082986 | 0.0909779 |
cpHydra k_40 | 1055496 | SAT | 0.087985 | 0.0960449 |
cpHydra k_10 | 1055495 | SAT | 0.094985 | 0.101987 |
MDG-probe 2008-06-27 | 1055481 | SAT | 0.154975 | 0.161151 |
bpsolver 2008-06-27 | 1055486 | SAT | 0.499923 | 0.51302 |
casper zito | 1055492 | SAT | 0.929858 | 0.943951 |
casper zao | 1055491 | SAT | 1.39679 | 1.4095 |
Mistral-option 1.314 | 1055489 | SAT | 3.00754 | 3.0393 |
Abscon 112v4 AC | 1055493 | SAT | 3.84542 | 3.92087 |
Abscon 112v4 ESAC | 1055494 | SAT | 5.82211 | 5.90332 |
choco2_dwdeg 2008-06-26 | 1055488 | SAT | 16.3085 | 16.8433 |
Sugar v1.13+minisat | 1055485 | SAT | 16.9174 | 17.2241 |
SAT4J CSP 2008-06-13 | 1055483 | SAT | 19.0301 | 18.6217 |
Sugar v1.13+picosat | 1055484 | SAT | 34.2218 | 34.3527 |
Minion/Tailor 2008-07-04 | 1104836 | ? (TO) | 1800.09 | 1811.51 |
choco2_impwdeg 2008-06-26 | 1055487 | ? (TO) | 1800.15 | 1807.06 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1 24 23 22 106 104 102 92 89 86 90 86 82 33 28 23 31 25 19 105 98 91 103 95 87 42 33 24 84 74 64 21 10 -1 44 32 20 43 30 17 94 80 66 26 11 -4 97 81 65 48 31 14 30 12 -6 95 76 57 93 73 53 100 79 58 78 56 34 36 13 -10 40 16 -8 66 41 16 62 36 10 75 48 21 128 100 72 76 47 18 39 9 -21 51 20 -11 131 99 67 126 93 60 119 85 51 112 77 42 85 49 13 120 83 46 81 43 5 127 88 49 130 90 50 55 14 -27 59 17 -25 145 102 59 140 96 52 60 15 -30 147 101 55 138 91 44 67 19 -29 146 97 48 132 82 32 135 84 33 144 92 40 115 62 9 114 60 6 73 18 -37 143 87 31 102 45 -12 161 103 45 125 66 7 68 8 -52 83 22 -39 86 24 -38 117 54 -9 123 59 -5 159 94 29 87 21 -45 136 69 2 121 53 -15 141 72 3 137 67 -3 109 38 -33 118 46 -26 99 26 -47 113 39 -35 133 58 -17 82 6 -70 111 34 -43 122 44 -34 108 29 -50 107 27 -53 116 35 -46 124 42 -40 134 51 -32 88 4 -80 142 57 -28 150 64 -22 155 68 -19 153 65 -23 129 40 -49 160 70 -20 96 5 -86 170 78 -14 168 75 -18 157 63 -31 166 71 -24 98 2 -94 158 61 -36 101 3 -95 154 55 -44 152 52 -48 151 50 -51 139 37 -65 110 7 -96