Name | csp/super-queens/ normalized-super-queens-6.xml |
MD5SUM | 2e0c449e9fcf4011cd4abe4683793658 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 16 |
Best CPU time to get the best result obtained on this benchmark | 3600.08 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 300 |
Number of constraints | 33675 |
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 | 33675 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112627 | MSAT (TO) | 16 | 3600.08 | 3619.62 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112628 | MSAT (TO) | 34 | 3600.06 | 3606.62 |
AbsconMax 112 pc-d | 1112630 | MSAT (TO) | 68 | 1686.98 | 4000.07 |
AbsconMax 112 pc-w | 1112629 | MSAT (TO) | 86 | 1733.27 | 4000.1 |
Sugar++ v1.13+minisat-inc | 1112631 | ? | 191.837 | 207.206 | |
Sugar v1.13+minisat | 1112632 | ? | 202.593 | 209.102 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Number of falsified constraints: 1679 20 104 10 57 20 110 1 29 6 42 25 59 10 84 33 78 10 81 11 98 19 17 11 45 10 21 33 71 32 55 41 68 25 100 19 69 1 90 19 148 40 97 19 149 10 58 25 115 1 24 25 116 6 76 25 35 11 121 6 47 10 96 19 63 20 74 33 92 1 48 33 130 19 141 25 146 40 36 19 4 20 91 2 131 19 110 11 67 10 24 33 142 2 77 1 34 2 144 51 62 11 129 25 15 19 112 1 122 20 66 1 8 2 150 11 79 20 103 1 13 6 125 19 143 10 132 11 118 2 145 33 126 22 114 25 150 6 62 11 65 32 26 25 56 2 135 19 49 20 94 1 124 2 113 11 105 10 69 1 61 22 123 19 138 32 23 33 147 10 109 11 7 2 148 11 16 10 54 11 106 2 73 1 9 10 36 41 139 6 134 25 3 20 125 1 136 32 142 11 44 22 115 33 89 20 95 53 107 6 120 51 140 32 12 53 137 22 119 11 30 20 133 25 144 10 38 32 83 6 46 19 87 40 50 19 88 40 27 19 5 10 117 33 37 41 52 32 102 10 130 11 86 10 72 25 129 19 101 1 124 25 120 2 108 20 39 19 85 11 14 10 127 11 64 18 111 25 75 19 99 20 80 6 43 10 128 20 93 19 82 2 28 41 70 11 31 6 60 53