Name | csp/os-taillard-15/ normalized-os-taillard-15-105-3.xml |
MD5SUM | 5e792bc79615f181544eb9a50a682e17 |
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 | 0.886864 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 3150 |
Maximum constraint arity | 2 |
Maximum domain size | 993 |
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 | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2065716 | SAT | 0.886864 | 0.955909 |
bpsolver 09 (complete) | 2065717 | SAT | 0.91386 | 0.923978 |
pcs-restart 0.3.2 (complete) | 2065709 | SAT | 1.65475 | 1.67508 |
pcs 0.3.2 (complete) | 2065708 | SAT | 2.78458 | 2.80376 |
Abscon 112v4 ESAC (complete) | 2094598 | SAT | 3.55946 | 3.65715 |
Abscon 112v4 AC (complete) | 2094597 | SAT | 3.58145 | 3.50665 |
Concrete 2009-07-14 (complete) | 2065710 | SAT | 4.06238 | 4.14948 |
Choco2.1.1 2009-06-10 (complete) | 2065712 | SAT | 13.6569 | 13.8178 |
Choco2.1.1b 2009-07-16 (complete) | 2115210 | SAT | 14.2038 | 14.3698 |
Sugar v1.14.6+minisat (complete) | 2065714 | SAT | 17.5323 | 17.9832 |
Sugar v1.14.6+picosat (complete) | 2065713 | SAT | 67.2818 | 67.8633 |
SAT4J CSP 2.1.1 (complete) | 2065707 | ? | 286.564 | 287.673 |
Concrete DC 2009-07-14 (complete) | 2065711 | ? | 835.927 | 840.098 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:678 826 772 851 32 274 504 101 906 569 350 407 484 236 119 313 608 156 663 847 958 525 241 733 0 388 556 101 40 945 537 845 568 197 758 90 897 662 391 302 288 276 143 0 496 733 556 143 626 670 827 223 0 166 501 46 82 775 519 924 699 413 302 425 119 454 893 745 825 76 0 114 899 239 198 665 13 154 820 566 422 669 117 900 103 628 241 338 741 305 154 267 229 460 0 705 776 655 340 566 942 46 827 58 425 534 340 58 114 87 971 598 211 0 948 860 455 418 103 680 628 437 408 644 745 537 820 103 479 313 456 76 821 914 0 541 223 388 82 569 816 0 302 512 658 906 347 171 741 515 805 728 486 173 198 76 254 383 538 575 451 0 673 327 904 677 78 537 634 834 320 216 388 865 119 744 23 54 823 914 27 364 559 735 636 457 134 43 249 119 0 302 394 504 892 383 0 42 425 545 156 901 811 688 212 796 598 284 68 305 288 481 874 912 405 678 427 906 0 607 320 841 496 171 749