Name | csp/super-queens/ normalized-super-queens-2.xml |
MD5SUM | c461fd9f78bea6a7f910d09245157b44 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 11 |
Best CPU time to get the best result obtained on this benchmark | 1696.76 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 14950 |
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 | 14950 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
AbsconMax 112 pc-w | 1112647 | MSAT (TO) | 11 | 1696.76 | 4000.08 |
AbsconMax 112 pc-d | 1112648 | MSAT (TO) | 11 | 1714.73 | 4000.08 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112645 | MSAT (TO) | 12 | 3600 | 3607.52 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112646 | MSAT (TO) | 20 | 3600.06 | 3618.72 |
Sugar++ v1.13+minisat-inc | 1112649 | ? | 198.342 | 214.71 | |
Sugar v1.13+minisat | 1112650 | ? | 199.651 | 208.222 |
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: 1188 35 23 72 74 81 39 92 48 53 87 82 47 81 30 18 67 82 70 38 56 63 73 18 96 61 96 52 68 53 49 52 16 53 86 82 22 81 75 72 60 63 41 52 95 61 40 72 62 63 95 53 2 61 91 38 15 63 31 82 11 61 88 38 65 63 21 82 25 61 3 38 20 63 84 53 8 53 5 92 5 38 10 92 97 53 6 82 26 81 51 38 59 53 3 18 100 63 58 38 27 81 93 82 19 63 85 82 7 61 67 82 42 81 1 92 55 53 77 52 90 35 80 72 12 63 9 52 4 35 24 92 46 61 14 82 94 63 54 18 31 63 76 81 93 61 33 18 36 63 99 82 28 92 69 72 15 53 37 72 79 81 89 92 78 53 57 81 98 82 17 92 43 81 13 82 66 81 83 82 44 35 64 92 71 81 65 38 32 92 50 38 60 35 45 92 34 81 29 92