Name | csp/js-taillard-15/ normalized-js-taillard-15-100-5.xml |
MD5SUM | 1b1d2d2d7706319bf2fd92a5865476d2 |
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 | 368.53 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 1785 |
Maximum constraint arity | 2 |
Maximum domain size | 1247 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1785 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.14.6+picosat (complete) | 2080365 | SAT | 368.53 | 372.209 |
Sugar v1.14.6+minisat (complete) | 2080366 | SAT | 547.073 | 551.885 |
Concrete DC 2009-07-14 (complete) | 2080363 | ? | 308.276 | 309.378 |
SAT4J CSP 2.1.1 (complete) | 2080359 | ? | 330.791 | 332.127 |
bpsolver 09 (complete) | 2080369 | ? (TO) | 1800.01 | 1808.11 |
Concrete 2009-07-14 (complete) | 2080362 | ? (TO) | 1800.07 | 1802.93 |
Choco2.1.1b 2009-07-16 (complete) | 2116542 | ? (TO) | 1800.09 | 1809.55 |
Mistral 1.545 (complete) | 2080368 | ? (TO) | 1800.1 | 1800.81 |
pcs 0.3.2 (complete) | 2080360 | ? (TO) | 1800.11 | 1807.49 |
Abscon 112v4 ESAC (complete) | 2097262 | ? (TO) | 1800.13 | 1803.08 |
Abscon 112v4 AC (complete) | 2097261 | ? (TO) | 1800.15 | 1804.07 |
pcs-restart 0.3.2 (complete) | 2080361 | ? (TO) | 1800.16 | 1808.08 |
Choco2.1.1 2009-06-10 (complete) | 2080364 | ? (TO) | 1800.17 | 1816.68 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:40 136 343 425 461 489 505 532 634 653 728 771 776 788 1046 54 91 197 296 380 446 495 555 645 668 712 810 830 849 999 0 332 425 574 680 690 756 783 876 900 926 941 1010 1084 1150 0 172 260 343 375 430 470 538 594 677 680 706 822 832 1206 0 46 159 170 219 468 555 668 678 756 824 851 922 997 1166 9 87 244 336 423 496 685 763 900 992 1033 1046 1073 1168 1234 30 247 294 429 509 624 729 811 905 921 926 1027 1069 1076 1078 416 495 519 562 691 736 773 777 819 826 870 953 1012 1072 1203 0 19 74 120 194 270 308 366 429 489 599 687 822 879 1241 0 118 208 247 337 343 380 451 507 535 603 733 1147 1159 1177 0 194 278 284 328 380 469 532 589 646 835 992 1080 1132 1148 0 29 80 157 235 276 336 429 468 537 654 694 790 949 1010 156 187 267 307 370 570 655 712 773 788 829 942 1006 1069 1150 0 9 46 63 118 208 287 368 429 586 710 734 757 908 1011 0 142 177 358 416 497 526 574 602 666 731 899 934 1144 1199