Name | csp/super-js/super-js-taillard-20-15/ normalized-super-js-taillard-20-15-24.xml |
MD5SUM | 32c080069cd6a9f51c8c0a6f1b619a56 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 89 |
Best CPU time to get the best result obtained on this benchmark | 3600.07 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 600 |
Number of constraints | 9690 |
Maximum constraint arity | 2 |
Maximum domain size | 1288 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 9690 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112555 | MSAT (TO) | 89 | 3600.07 | 3633.72 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112556 | MSAT (TO) | 141 | 3600.08 | 3604.63 |
Sugar v1.13+minisat | 1112560 | ? | 189.931 | 196.913 | |
Sugar++ v1.13+minisat-inc | 1112559 | ? | 190.403 | 196.038 | |
AbsconMax 112 pc-w | 1112557 | ? | 693.797 | 694.875 | |
AbsconMax 112 pc-d | 1112558 | ? | 708.489 | 712.496 |
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: 8958 63 779 773 1010 1003 1135 1140 1279 1276 74 79 581 576 884 794 930 941 1038 1040 1152 1143 290 263 476 474 1116 675 1242 1243 191 184 237 261 324 306 359 391 551 552 605 594 723 725 826 101 488 289 593 594 762 756 909 918 997 1006 1022 1017 1053 1039 0 4 15 18 120 106 391 429 554 557 698 678 772 771 929 945 1103 980 1212 1209 1234 1238 413 79 546 545 939 940 1184 1190 16 8 102 101 198 203 428 429 599 605 762 886 948 914 15 997 129 115 231 241 378 382 714 719 784 818 870 850 1237 973 0 61 112 520 763 859 942 930 1109 1092 1249 1207 185 191 381 388 1162 1142 244 133 338 300 432 448 856 738 1109 1118 1235 1138 0 3 225 222 462 255 592 570 837 812 884 888 956 1168 1265 1223 10 16 159 161 328 335 717 681 985 991 1030 1049 1231 1213 156 166 373 368 547 546 635 570 824 829 885 898 1126 982 573 259 823 1011 1044 1037 1154 103 293 294 511 519 772 765 1124 1138 3 4 26 64 409 391 535 530 627 597 720 650 824 823 914 913 962 972 1086 1209 1239 1250 4 5 120 116 805 801 1250 1249 10 7 170 277 474 539 570 845 888 696 1090 1097 149 174 443 448 667 661 1025 970 1209 289 352 91 450 449 895 892 1017 1188 25 0 67 126 222 233 454 441 794 796 78 1154 148 167 392 299 502 489 526 677 901 904 1177 1272 169 173 323 280 763 469 58 72 130 112 577 586 708 716 913 806 930 928 1063 1089 1132 1280 94 77 318 314 408 411 508 464 651 647 828 1154 1234 1233 124 6 220 221 373 661 913 878 1 18 83 80 151 255 278 271 434 437 559 548 667 671 961 960 1069 1031 1121 1122 1236 1231 1 3 114 110 219 217 670 660 986 89 225 275 816 322 1037 1157 1239 1192 72 15 320 322 440 437 528 621 710 716 1274 990 65 78 699 677 980 1099 1121 1146 152 148 191 240 572 293 725 741 908 1200 84 1075 259 278 446 457 622 624 1186 869 1247 1234 2 1 322 319 700 697 801 921 1023 1020 1091 1085 1152 1156 108 100 268 277 331 329 533 538 884 893 1025 1048 1142 1151 1232 1233 0 8 135 131 317 307 419 418 571 566 579 584 670 671 865 878 1020 1009 4 6 59 60 381 388 591 577 880 885 944 932 2 89 303 289 555 561 711 675 834 823 992 972 1031 1026 0 12 208 223 431 449 574 632 698 690 954 974 1065 1055 1195 1191 4 0 81 72 233 250 382 380 668 675 820 829 149 971 181 293 427 420 541 540 623 624 800 810 868 921 937 925 1134 1191 390 396 780 795 956 951 1138 1042 1212 83 238 222 303 290 393 385 555 465 901 906 1097 1084 288 274 658 656 742 758 974 975 38 138 373 255 501 471 598 844 872 881 1030 1040 1145 459 484 1159 596 597 762 751 928 931 954 945 1028 1015 1091 1092 1155 1143