Name | csp/super-os/super-os-taillard-15/ normalized-super-os-taillard-15-27.xml |
MD5SUM | 29eeeb4fa472c212f46109214960e651 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 56 |
Best CPU time to get the best result obtained on this benchmark | 3600.03 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 450 |
Number of constraints | 9675 |
Maximum constraint arity | 2 |
Maximum domain size | 884 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 9675 |
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 | 1112407 | MSAT (TO) | 56 | 3600.03 | 3605.02 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112408 | MSAT (TO) | 58 | 3600.09 | 3601.43 |
Sugar v1.13+minisat | 1112412 | ? | 189.717 | 196.458 | |
Sugar++ v1.13+minisat-inc | 1112411 | ? | 194.978 | 201.283 | |
AbsconMax 112 pc-w | 1112409 | ? | 276.361 | 276.578 | |
AbsconMax 112 pc-d | 1112410 | ? | 290.6 | 292.059 |
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: 56147 19 872 66 290 42 665 47 374 3 645 7 127 78 554 550 230 20 743 5 442 15 633 7 846 7 458 21 277 6 359 34 384 8 828 831 235 3 668 13 134 1 477 480 882 37 598 30 749 39 553 27 876 875 522 2 195 6 266 11 862 866 275 14 674 688 236 6 655 13 729 41 772 5 128 4 545 9 142 23 517 0 412 413 292 52 745 3 365 3 734 22 336 337 209 4 691 70 173 4 254 238 824 7 412 44 732 16 111 109 595 4 843 10 398 7 497 3 471 24 166 104 163 30 370 32 873 870 296 292 760 14 633 14 512 513 552 7 686 41 249 29 225 16 858 49 849 18 357 9 157 37 860 858 501 39 548 15 230 228 737 734 100 20 292 34 350 24 384 0 634 2 482 62 276 0 812 68 390 10 546 8 284 10 119 9 173 14 289 6 646 59 169 8 468 8 394 30 730 18 438 11 3 2 698 9 773 778 834 47 223 2 110 1 151 35 863 12 280 87 335 20 678 1 869 31 637 9 539 5 413 14 478 0 299 2 452 4 751 749 666 79 314 320 701 3 124 67 373 389 602 603 461 90 14 15 718 9 883 717 283 856 552 64 494 69 739 736 200 174 609 12 879 3 640 647 703 108 539 8 235 1 746 4 789 3 466 16 447 1 410 14 136 37 272 8 120 4 380 33 598 15 802 16 132 136 511 9 653 643 513 48 0 882 703 708 384 46 230 14 267 10 268 22 782 22 470 101 359 45 175 8 0 9 876 43 671 21 252 20 760 1 828 17 116 2 327 1 526 530 672 7 114 6 412 5 272 2 610 615 410 10 496 22 127 0 528 2 704 15 212 68 354 34 882 14 636 646 104 14 270 269 851 2 778 4 538 3 245 6 624 627 819 7 824 1 528 14 256 16 135 131 302 25 697 3 447 7 521 529 368 380 756 11 76 65 288 0 164 6 290 21 466 1 700 707 557 44 167 93 237 20 754 7 660 14 681 2 392 55 749 15 500 8 846 22 563 18 283 9