Name | csp/os-taillard-10/ normalized-os-taillard-10-95-1.xml |
MD5SUM | c4bee948f28d4254d98dcb202c49f529 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MOPT |
Best Number of falsified constraints | 4 |
Best CPU time to get the best result obtained on this benchmark | 210.432 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 900 |
Maximum constraint arity | 2 |
Maximum domain size | 558 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 900 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Sugar++ v1.13+minisat-inc | 1113885 | OPTIMUM | 4 | 210.432 | 213.228 |
Sugar v1.13+minisat | 1113886 | OPTIMUM | 4 | 1045.37 | 1052.75 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1113881 | MSAT (TO) | 8 | 3600.07 | 3604.52 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113882 | MSAT (TO) | 9 | 3600.01 | 3609.62 |
AbsconMax 112 pc-w | 1113883 | ? | 91.6911 | 92.13 | |
AbsconMax 112 pc-d | 1113884 | ? | 92.9399 | 94.183 |
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: 43 183 473 294 356 98 509 392 422 0 307 278 113 190 17 187 165 405 107 495 477 390 550 304 144 55 197 335 105 4 446 27 466 97 329 234 163 453 6 2 160 145 471 131 26 346 404 251 66 280 396 226 271 130 316 84 15 392 467 434 228 450 422 24 526 412 18 175 127 312 73 159 250 384 68 283 227 472 370 5 399 445 536 443 20 301 48 253 144 1 29 158 483 195 177 416 497 58 283 355