Name | csp/js-taillard-15/ normalized-js-taillard-15-95-4.xml |
MD5SUM | 65012234ef8a22a0fbbf13548c18283e |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 2 |
Best CPU time to get the best result obtained on this benchmark | 3600.16 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 1785 |
Maximum constraint arity | 2 |
Maximum domain size | 1174 |
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 | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Sugar v1.13+minisat | 1112184 | MSAT (TO) | 2 | 3600.16 | 3616.88 |
Sugar++ v1.13+minisat-inc | 1112183 | MSAT (TO) | 2 | 3600.29 | 3615.06 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112179 | MSAT (TO) | 17 | 3600.07 | 3633.82 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112180 | MSAT (TO) | 22 | 3600.09 | 3602.32 |
AbsconMax 112 pc-d | 1112182 | ? | 188.418 | 189.58 | |
AbsconMax 112 pc-w | 1112181 | ? | 188.621 | 190.832 |
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: 21 104 200 329 494 593 668 691 756 828 844 915 967 1051 1150 14 16 231 374 426 650 792 830 898 965 1057 64 181 288 449 1087 249 295 309 396 522 601 663 844 903 904 1001 1017 1027 1078 1 20 60 102 187 342 357 433 459 644 728 910 980 1061 1077 249 317 388 391 467 558 595 715 736 821 955 1006 1056 1080 1110 5 19 81 110 182 188 219 330 380 464 472 617 695 728 1109 26 47 127 259 342 466 537 584 713 769 847 900 914 1022 1023 104 133 218 322 370 434 472 571 619 635 700 790 865 1077 1127 235 272 379 428 451 452 530 569 584 604 698 733 858 890 957 82 236 332 417 463 473 510 570 654 680 691 811 927 1002 1123 33 55 109 147 149 275 307 550 618 639 700 863 958 1041 1126 0 83 129 150 173 259 278 348 400 422 520 531 651 795 839 41 62 142 172 204 226 257 380 581 595 608 676 794 987 1019 190 287 382 458 517 550 562 645 741 816 831 948 951 1111 1168 35 132 185 239 281 351 424 467 520 756 826 866 914 953 1115