Name | csp/os-taillard-15/ normalized-os-taillard-15-95-2.xml |
MD5SUM | 8376fcfcac18b60a71faf845a033c81e |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 15 |
Best CPU time to get the best result obtained on this benchmark | 3600.08 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 3150 |
Maximum constraint arity | 2 |
Maximum domain size | 854 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 3150 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1109770 | MSAT (TO) | 15 | 3600.08 | 3617.82 |
Sugar v1.13+minisat | 1109774 | MSAT (TO) | 18 | 3600.23 | 3616.72 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1109769 | MSAT (TO) | 19 | 3600.01 | 3629.72 |
AbsconMax 112 pc-w | 1109771 | ? | 115.812 | 115.764 | |
AbsconMax 112 pc-d | 1109772 | ? | 122.641 | 123.748 | |
Sugar++ v1.13+minisat-inc | 1109773 | No Cert. | 50.9323 | 52.0099 |
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: 15358 800 683 524 460 376 144 168 41 263 716 345 623 8 243 296 127 257 60 222 598 367 647 433 463 153 815 708 1 477 400 247 788 142 513 618 90 853 209 291 335 442 724 0 520 287 599 1 64 430 676 848 530 249 452 153 371 148 769 828 93 441 826 754 560 144 446 291 18 793 344 222 382 599 694 560 76 673 769 792 1 28 282 476 388 842 688 448 424 154 67 471 717 130 363 3 492 204 265 764 20 506 662 435 529 714 473 5 76 606 820 306 276 671 18 163 762 529 369 260 267 597 545 224 157 368 1 50 829 287 699 767 377 469 80 741 527 456 500 811 544 164 530 295 376 619 689 8 62 528 771 109 519 718 216 726 8 23 169 452 299 314 628 646 134 593 87 307 66 719 797 422 627 698 16 760 331 217 184 550 237 695 667 311 530 102 632 386 480 774 151 820 26 61 3 20 526 714 147 34 273 280 180 90 663 387 777 786 602 476 605 729 363 768 49 571 510 284 151 245 453 696 812 218 654