Name | csp/os-taillard-10/ normalized-os-taillard-10-95-3.xml |
MD5SUM | dfb2240ca0f054206c6638f309ef341d |
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 | 2152.9 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 900 |
Maximum constraint arity | 2 |
Maximum domain size | 548 |
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 | 1113891 | OPTIMUM | 4 | 2152.9 | 2170.3 |
Sugar v1.13+minisat | 1113892 | MSAT (TO) | 5 | 3600.03 | 3617.17 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113888 | MSAT (TO) | 9 | 3600.03 | 3617.12 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1113887 | MSAT (TO) | 9 | 3600.08 | 3610.52 |
AbsconMax 112 pc-w | 1113889 | ? | 60.4448 | 60.8014 | |
AbsconMax 112 pc-d | 1113890 | ? | 89.26 | 90.2078 |
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: 4189 471 487 60 1 333 318 408 126 170 253 137 0 87 405 113 172 488 307 267 292 14 84 342 280 500 424 169 453 395 195 501 101 140 318 4 530 402 452 227 528 169 346 1 361 419 375 449 210 94 206 523 498 19 146 449 360 401 262 222 274 110 404 61 200 326 356 469 382 15 168 213 146 125 7 344 106 494 250 418 87 132 32 426 167 266 368 451 336 98 172 381 256 223 533 171 1 90 328 452