Name | csp/os-taillard-15/ normalized-os-taillard-15-95-9.xml |
MD5SUM | 4b78d7f43a355b62cc35ed3e75b3d9c4 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 12 |
Best CPU time to get the best result obtained on this benchmark | 3600.35 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 3150 |
Maximum constraint arity | 2 |
Maximum domain size | 888 |
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 |
---|---|---|---|---|---|
Sugar v1.13+minisat | 1109780 | MSAT (TO) | 12 | 3600.35 | 3622.05 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1109776 | MSAT (TO) | 18 | 3600.01 | 3603.53 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1109775 | MSAT (TO) | 18 | 3600.1 | 3616.22 |
AbsconMax 112 pc-d | 1109778 | ? | 198.683 | 198.812 | |
AbsconMax 112 pc-w | 1109777 | ? | 199.271 | 199.397 | |
Sugar++ v1.13+minisat-inc | 1109779 | No Cert. | 53.1939 | 54.1621 |
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: 12179 663 497 545 592 735 490 753 405 247 5 360 96 839 606 57 1 537 605 98 235 174 299 438 849 376 704 407 649 762 158 249 1 568 792 814 278 737 309 645 201 439 847 821 13 205 567 885 405 368 392 453 698 584 109 342 819 651 796 738 829 186 276 97 294 476 824 685 625 357 702 4 152 241 540 864 532 95 334 246 20 794 492 871 175 608 697 822 395 12 716 111 85 169 234 604 9 509 666 304 439 411 848 644 771 187 486 328 733 263 722 1 617 833 413 803 883 546 90 692 273 461 452 641 738 808 386 9 98 72 506 15 839 526 186 603 749 300 638 706 719 577 487 373 161 30 215 438 838 77 609 641 801 4 65 875 324 755 649 672 727 158 336 457 552 638 111 524 568 374 737 431 292 836 393 870 183 354 531 65 843 161 586 552 761 294 884 645 464 810 46 344 694 267 174 529 361 302 461 705 643 357 551 795 661 434 228 369 536 406 450 96 732 38 808 2 677 389 587 164 263 560 748 620 350