Name | csp/super-js/super-js-taillard-15/ normalized-super-js-taillard-15-22.xml |
MD5SUM | b143b6832d0d7021c7c579e11837017e |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 51 |
Best CPU time to get the best result obtained on this benchmark | 3600.03 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 450 |
Number of constraints | 5580 |
Maximum constraint arity | 2 |
Maximum domain size | 1200 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 5580 |
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 | 1112537 | MSAT (TO) | 51 | 3600.03 | 3617.12 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112538 | MSAT (TO) | 85 | 3600 | 3616.83 |
AbsconMax 112 pc-d | 1112540 | ? | 306.456 | 308.668 | |
AbsconMax 112 pc-w | 1112539 | ? | 327.093 | 330.352 | |
Sugar++ v1.13+minisat-inc | 1112541 | ? (MO) | 113.873 | 490.326 | |
Sugar v1.13+minisat | 1112542 | ? (MO) | 119.508 | 124.186 |
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: 5135 8 421 192 583 579 648 682 866 871 32 54 386 197 485 528 574 529 73 811 190 203 301 299 309 339 904 406 976 975 128 130 237 287 410 401 482 546 718 726 17 159 229 160 340 338 385 395 541 482 753 755 821 820 913 842 1053 1059 1160 1153 80 77 256 268 523 535 631 637 740 744 55 84 237 206 753 688 113 938 170 174 329 252 441 452 588 582 1041 1009 1107 1101 138 212 230 205 276 247 368 380 838 844 925 919 957 961 1124 1097 105 89 264 257 518 531 842 811 948 949 1045 1047 1155 1189 5 14 153 137 219 209 394 411 464 466 526 528 592 705 802 816 1112 991 129 201 278 199 477 495 841 856 936 919 1062 1045 2 6 313 317 397 400 505 665 691 717 776 772 947 962 1131 1125 5 212 298 537 634 627 793 804 877 865 953 965 1123 1066 123 141 205 208 297 293 491 459 535 586 890 778 1049 1067 1088 1072 1 2 268 204 434 431 657 653 829 830 972 987 1129 1130 5 1 103 128 334 326 438 488 753 797 1023 1027 1152 1156 1194 58 109 138 523 402 554 547 622 777 821 691 973 1011 1072 1073 291 314 446 444 494 503 611 711 878 695 1095 1099 41 53 140 182 227 225 432 403 810 530 873 852 1076 1034 1141 1145 1173 1175 5 1 85 72 160 365 430 415 448 446 678 583 827 783 916 927 1130 1118 42 4 193 217 340 315 597 460 697 740 1039 1034 250 248 356 373 435 439 562 546 685 683 780 783 16 20 156 159 267 246 341 535 634 504 643 738 948 956 1007 1018 1063 1088 65 72 181 499 537 531 580 587 600 597 690 716 889 834 960 953 971 995 1076 1079 34 1159 216 214 297 296 665 387 814 808 12 123 391 401 1177 1173 72 57 123 138 267 270 353 449 519 516 590 577 683 692 708 705 755 788 869 875 917 1029 1075 1059 13 226 305 354 544 548 634 627 718 695 797 790 841 845 873 876 944 940 1119 1115 34 31 584 576 733 714 795 772 878 877 79 242 285 311 866 453 1012 1021 1048 1042 5 20 83 72 155 434 456 463 573 566 734 725 848 846 935 944 1025 1032 1071 1065