Name | csp/super-os/super-os-taillard-5/ normalized-super-os-taillard-5-21.xml |
MD5SUM | 211a31b34cdccac40457a597ad4f15a8 |
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 | 3600.04 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 325 |
Maximum constraint arity | 2 |
Maximum domain size | 285 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 325 |
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 | 1112431 | MSAT (TO) | 11 | 3600.04 | 3623.72 |
AbsconMax 112 pc-d | 1112434 | MSAT (TO) | 12 | 1613.36 | 4000.04 |
AbsconMax 112 pc-w | 1112433 | MSAT (TO) | 12 | 1640.1 | 4000.07 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112432 | MSAT (TO) | 12 | 3600.01 | 3628.02 |
Sugar++ v1.13+minisat-inc | 1112435 | MSAT (TO) | 14 | 3600.12 | 3633.93 |
Sugar v1.13+minisat | 1112436 | MSAT (TO) | 16 | 3600.1 | 3625.83 |
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: 11131 133 1 0 86 87 241 238 65 136 276 278 109 1 207 164 125 127 16 10 0 3 146 147 66 132 19 21 224 222 237 145 18 26 5 0 119 122 221 222 65 66 265 257 12 11 146 150 0 1