Name | csp/super-os/super-os-taillard-15/ normalized-super-os-taillard-15-8.xml |
MD5SUM | c2291ba3dc9f570e8979ae152fcb5d84 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 254.689 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 450 |
Number of constraints | 9675 |
Maximum constraint arity | 2 |
Maximum domain size | 916 |
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 | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.14.6+picosat (complete) | 2080970 | SAT | 254.689 | 257.592 |
Sugar v1.14.6+minisat (complete) | 2080971 | SAT | 266.602 | 269.702 |
SAT4J CSP 2.1.1 (complete) | 2080964 | ? | 253.341 | 254.187 |
Concrete DC 2009-07-14 (complete) | 2080968 | ? | 988.163 | 988.494 |
bpsolver 09 (complete) | 2080974 | ? (TO) | 1800.03 | 1813.02 |
Mistral 1.545 (complete) | 2080973 | ? (TO) | 1800.04 | 1807.22 |
Concrete 2009-07-14 (complete) | 2080967 | ? (TO) | 1800.09 | 1802.22 |
pcs 0.3.2 (complete) | 2080965 | ? (TO) | 1800.11 | 1802.47 |
Abscon 112v4 AC (complete) | 2097371 | ? (TO) | 1800.12 | 1807.56 |
pcs-restart 0.3.2 (complete) | 2080966 | ? (TO) | 1800.14 | 1814.68 |
Choco2.1.1b 2009-07-16 (complete) | 2116597 | ? (TO) | 1800.15 | 1812.09 |
Choco2.1.1 2009-06-10 (complete) | 2080969 | ? (TO) | 1800.17 | 1800.79 |
Abscon 112v4 ESAC (complete) | 2097372 | ? (TO) | 1800.19 | 1801.99 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:862 863 778 777 199 198 832 347 593 755 110 152 186 286 295 296 687 686 524 525 344 671 377 378 3 2 674 365 58 57 847 846 492 139 396 108 672 670 0 108 641 640 736 735 204 173 513 516 584 583 616 615 59 130 807 808 56 581 304 303 586 587 345 346 750 749 432 431 675 676 180 181 0 1 827 828 269 268 59 60 616 615 115 116 495 496 584 585 125 124 400 401 179 178 530 529 755 175 241 240 775 760 505 506 879 878 489 863 21 20 298 299 124 123 60 61 670 671 618 617 832 833 79 78 110 111 380 381 433 428 274 275 628 627 703 704 787 786 509 510 196 197 7 8 518 517 548 549 0 825 436 435 734 566 136 135 243 242 678 677 404 405 587 3 346 911 372 5 59 58 849 848 506 505 614 615 787 786 355 356 37 38 259 258 750 751 436 435 548 549 205 206 146 145 787 788 85 86 332 30 846 847 335 336 518 517 864 865 648 649 355 354 464 444 649 650 644 143 44 42 229 228 406 427 581 594 148 149 699 700 284 285 379 274 764 198 548 549 837 832 386 385 612 611 245 244 698 699 88 87 355 356 189 188 7 6 492 493 344 178 776 781 399 398 144 143 211 212 449 450 584 133 737 736 593 587 33 129 217 216 648 649 0 178 855 854 572 574 372 371 273 274 614 615 807 808 471 470 243 242 325 617 535 536 254 255 407 408 912 250 699 700 96 95 460 459 848 849 489 488 1 829 38 34 592 593 204 203 734 733 817 818 636 637 732 731 581 580 50 78 136 135 499 500 228 108 912 4 410 408 256 257 7 8 342 341 26 25 826 825 58 59 304 176 494 159 737 178 879 345 205 206 764 143 644 645 465 466 269 615 374 373 837 333 14 15 576 144 118 117 34 35 333 441 877 373 491 490 134 126 406 430 158 159 313 309 548 559 637 638 227 441 1 2 326 609 38 37 734 735 671 56 640 641 124 57 496 497 692 691 586 585 762 0 62 63 14 16 818 819 127 126 384 387 280 279 339 338 189 188