| Name | csp/super-queens/ normalized-super-queens-4.xml |
| MD5SUM | 86f27dad5b32c8754684e5fda2e6b575 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of falsified constraints | 13 |
| Best CPU time to get the best result obtained on this benchmark | 3600.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 240 |
| Number of constraints | 21540 |
| Maximum constraint arity | 2 |
| Maximum domain size | 120 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 21540 |
| 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 | 1112669 | MSAT (TO) | 13 | 3600.03 | 3606.12 |
| AbsconMax 112 pc-w | 1112671 | MSAT (TO) | 17 | 1742.28 | 4000.05 |
| AbsconMax 112 pc-d | 1112672 | MSAT (TO) | 17 | 1754.12 | 4000.08 |
| Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112670 | MSAT (TO) | 29 | 3600.09 | 3613.43 |
| Sugar++ v1.13+minisat-inc | 1112673 | ? | 279.495 | 290.938 | |
| Sugar v1.13+minisat | 1112674 | ? | 286.988 | 297.483 |
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: 1341 106 37 105 55 104 29 103 82 116 108 101 61 116 75 99 79 101 22 120 62 96 69 98 42 120 112 96 74 106 77 120 58 106 67 103 87 111 93 101 59 111 50 114 53 98 10 111 15 111 70 104 35 106 16 104 93 103 49 102 64 116 85 104 5 114 33 116 118 111 20 96 92 99 32 98 110 104 1 96 58 106 66 116 6 103 10 116 56 120 109 104 84 105 23 106 51 111 89 96 52 101 8 98 38 101 11 120 9 103 7 102 4 103 36 116 39 105 18 102 21 111 80 96 46 111 61 96 63 111 3 98 17 99 44 114 28 103 34 116 19 103 2 104 88 105 119 116 40 106 97 102 91 111 14 104 115 99 25 106 108 101 4 114 57 99 54 104 31 111 65 106 100 103 81 104 94 120 29 116 113 111 45 99 27 102 76 103 90 102 48 96 78 120 13 114 68 106 71 120 26 101 43 111 107 103 59 96 72 114 95 102 117 98 26 99 47 105 113 102 73 98 12 99 86 120 43 101 83 102 2 116 24 104 30 114 40 106 60 120