Name | csp/js-taillard-15/ normalized-js-taillard-15-95-2.xml |
MD5SUM | 82e30b1cc0425fc71c427eb8ae1415f1 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MOPT |
Best Number of falsified constraints | 2 |
Best CPU time to get the best result obtained on this benchmark | 1098.43 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 1785 |
Maximum constraint arity | 2 |
Maximum domain size | 1171 |
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-inc | 1112177 | OPTIMUM | 2 | 1098.43 | 1109.57 |
Sugar v1.13+minisat | 1112178 | OPTIMUM | 2 | 1506.77 | 1518.6 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112173 | MSAT (TO) | 18 | 3600.01 | 3639.93 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112174 | MSAT (TO) | 22 | 3600.03 | 3613.02 |
AbsconMax 112 pc-w | 1112175 | ? | 165.749 | 167.382 | |
AbsconMax 112 pc-d | 1112176 | ? | 165.866 | 167.517 |
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: 20 69 155 236 426 506 509 547 707 761 827 986 1068 1071 1083 182 265 368 415 430 664 740 792 885 909 994 1020 1050 1055 1149 4 99 148 241 298 464 618 696 827 846 879 923 1042 1141 1150 10 43 187 287 317 499 572 583 609 696 751 807 817 927 930 66 106 181 191 267 336 420 444 509 584 671 703 801 874 1159 4 87 163 169 188 343 437 473 549 620 650 723 785 818 870 165 194 295 316 401 418 493 507 530 546 595 860 887 1030 1107 98 110 184 257 260 332 394 578 733 782 925 1013 1068 1073 1144 18 150 208 275 322 408 439 545 593 627 667 787 809 913 1155 121 183 201 641 721 798 943 1125 15 119 434 510 533 629 1132 74 146 176 269 336 413 422 519 542 654 689 902 909 963 1112 105 274 616 678 1026 1027 111 458 549 967 993 1072 1081 1105 1129 1 39 125 163 234 383 419 566 583 682 706 763 844 972 1132 0 13 275 398 461 522 589 680 770 810 907 915 942 1038 1107 102 175 187 201 272 275 338 452 536 624 714 828 915 1005 1096