| Name | csp/os-taillard-20/ normalized-os-taillard-20-95-6.xml |
| MD5SUM | 5cd20cea40cbbe199e65e8aaf2196708 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of falsified constraints | 25 |
| Best CPU time to get the best result obtained on this benchmark | 3600.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 400 |
| Number of constraints | 7600 |
| Maximum constraint arity | 2 |
| Maximum domain size | 1284 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 7600 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
|---|---|---|---|---|---|
| Concrete + CSP4J - Tabu Engine 2008-05-30 | 1111534 | MSAT (TO) | 25 | 3600.02 | 3632.82 |
| Concrete + CSP4J - MCRW Engine 2008-05-30 | 1111533 | MSAT (TO) | 32 | 3600.09 | 3617.72 |
| AbsconMax 112 pc-d | 1111536 | ? | 97.7291 | 98.3357 | |
| AbsconMax 112 pc-w | 1111535 | ? | 102.909 | 103.942 | |
| Sugar++ v1.13+minisat-inc | 1111537 | ? | 169.137 | 174.98 | |
| Sugar v1.13+minisat | 1111538 | ? | 176.818 | 184.045 |
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: 251191 326 487 16 1049 947 302 624 418 783 717 535 48 103 869 973 1131 257 563 152 1164 661 867 968 491 1008 404 1015 2 1263 66 793 354 1169 1084 843 465 201 160 941 38 697 867 356 724 732 538 151 1074 1180 1244 600 476 205 269 1 968 64 465 556 388 970 860 101 266 343 796 865 140 733 603 1172 693 488 643 1096 1 0 1241 282 6 313 1268 628 63 794 900 359 1161 970 729 431 760 562 1052 251 377 500 782 1123 909 140 739 74 3 268 482 1080 217 1172 643 850 1259 332 557 963 746 947 182 422 652 944 800 86 1221 890 1079 44 439 639 169 1155 756 1011 336 548 1 687 434 240 1245 544 874 156 586 527 1077 332 986 791 919 692 193 647 0 1196 200 410 282 435 1059 6 233 44 444 618 141 1049 1023 880 342 1185 883 693 789 532 561 972 1106 984 22 771 1206 0 853 355 1112 663 971 1065 144 581 259 908 77 964 1196 412 516 231 668 1186 808 457 33 922 1205 180 155 710 1025 1133 576 723 790 2 1095 136 694 325 468 386 1148 516 620 235 153 428 1105 820 28 1059 166 1232 724 93 911 280 939 69 547 334 875 801 1069 939 1035 613 691 1 1248 907 164 489 61 414 178 1133 252 199 224 507 969 1091 1177 855 751 611 186 413 350 917 95 114 255 0 1066 257 683 454 196 942 1096 1252 489 802 544 310 252 555 1015 176 730 168 629 416 6 573 761 91 149 157 544 672 260 965 870 4 482 322 580 749 1212 314 363 335 61 1069 376 1163 0 1028 168 859 230 762 431 277 1068 489 1205 531 902 392 334 75 939 1160 654 89 837 526 266 370 629 308 6 110 672 156 798 1180 763 1134 501 1172 199 968 1056 810 201 799 1109 994 3 58 864 529 1144 547 139 426 1047 733 1007 331 1195 1256 475 668 149 1011 507 43 316 1064 17 832 397 126 611 1236 843 436 805 899 1144 222 717 890