| Name | csp/tightness0.9/ normalized-rand-2-40-180-84-900-76_ext.xml |
| MD5SUM | b7d6815ddb89ad9e349ee6c0e6d6f674 |
| Bench Category | 2-ARY-EXT (binary constraints in extension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of falsified constraints | 1 |
| Best CPU time to get the best result obtained on this benchmark | 3600.01 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 40 |
| Number of constraints | 84 |
| Maximum constraint arity | 2 |
| Maximum domain size | 180 |
| Number of constraints which are defined in extension | 84 |
| Number of constraints which are defined in intension | 0 |
| 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 | 1114983 | MSAT (TO) | 1 | 3600.01 | 3612.12 |
| Sugar v1.13+minisat | 1114988 | MSAT (TO) | 2 | 3600.04 | 3639.14 |
| Concrete + CSP4J - Tabu Engine 2008-05-30 | 1114984 | MSAT (TO) | 2 | 3600.09 | 3609.52 |
| AbsconMax 112 pc-d | 1114986 | MSAT (TO) | 3 | 1590.81 | 4000.09 |
| AbsconMax 112 pc-w | 1114985 | MSAT (TO) | 3 | 2639.76 | 4000.05 |
| Sugar++ v1.13+minisat-inc | 1114987 | MSAT (TO) | 5 | 3600.14 | 3615.65 |
| toulbar2/BTD 2008-06-27 | 1114989 | ? (exit code) | 17.9793 | 21.3464 | |
| toulbar2 2008-06-27 | 1114990 | ? (TO) | 3600.05 | 3626.41 |
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: 116 27 113 161 81 163 178 42 67 104 20 152 134 78 92 48 70 137 168 153 107 79 121 168 59 89 23 49 41 115 114 149 114 45 34 109 15 89 10 137