| Name | csp/os-taillard-20/ normalized-os-taillard-20-100-3.xml |
| MD5SUM | b03ce6bb41b3c7eeec8edd1190e4268e |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 7.06092 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 400 |
| Number of constraints | 7600 |
| Maximum constraint arity | 2 |
| Maximum domain size | 1310 |
| 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 | CPU time | Wall clock time |
|---|---|---|---|---|
| bpsolver 09 (complete) | 2076497 | SAT | 7.06092 | 7.13206 |
| Mistral 1.545 (complete) | 2076496 | SAT | 8.04777 | 8.09288 |
| Abscon 112v4 AC (complete) | 2096557 | SAT | 9.01963 | 9.07582 |
| Abscon 112v4 ESAC (complete) | 2096558 | SAT | 9.65853 | 9.76549 |
| pcs-restart 0.3.2 (complete) | 2076489 | SAT | 16.2065 | 16.3638 |
| pcs 0.3.2 (complete) | 2076488 | SAT | 24.1133 | 24.338 |
| Concrete 2009-07-14 (complete) | 2076490 | SAT | 33.9028 | 34.1365 |
| Sugar v1.14.6+minisat (complete) | 2076494 | SAT | 56.4344 | 974.378 |
| Choco2.1.1b 2009-07-16 (complete) | 2116190 | SAT | 85.0351 | 85.1257 |
| Choco2.1.1 2009-06-10 (complete) | 2076492 | SAT | 93.7877 | 94.2612 |
| Sugar v1.14.6+picosat (complete) | 2076493 | SAT | 212.215 | 215.417 |
| Concrete DC 2009-07-14 (complete) | 2076491 | ? | 771.426 | 776.745 |
| SAT4J CSP 2.1.1 (complete) | 2076487 | ? (exit code) | 302.262 | 303.969 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:752 853 344 660 94 54 1107 984 821 574 933 1190 0 430 1168 1066 617 174 494 264 738 461 96 917 986 870 1028 1059 1068 0 1012 372 660 1076 802 1044 191 285 608 547 433 844 183 430 936 865 765 1039 0 263 409 549 1107 634 322 475 366 810 95 1209 1054 932 1095 0 584 686 486 721 354 264 99 885 777 799 1180 605 187 673 420 734 867 350 1026 265 233 140 734 1002 791 752 1230 256 68 0 972 355 663 1093 459 573 420 0 438 182 774 568 282 663 252 855 929 99 1068 695 1146 1023 534 360 1223 239 261 230 462 371 345 1174 140 584 67 758 0 1012 600 1212 984 94 698 189 870 166 259 158 521 797 605 0 492 344 88 252 442 1130 568 998 929 1091 861 687 261 752 861 189 608 1196 286 777 641 721 871 340 928 1145 453 521 436 990 418 420 98 0 671 605 1075 0 1010 527 972 1043 1102 802 735 189 265 860 353 1121 443 901 96 791 99 195 497 802 605 282 433 924 765 837 646 871 559 947 898 687 968 0 727 366 579 85 468 320 183 998 1060 1193 268 372 64 195 867 758 840 453 547 353 797 645 724 166 662 283 479 1043 246 99 810 91 986 260 187 1170 1116 534 871 589 0 322 985 265 1071 0 459 178 780 475 825 642 705 891 87 486 195 947 1121 363 593 497 0 433 87 1155 993 744 265 898 1082 337 704 696 187 617 420 1196 837 535 642 670 904 865 349 415 1160 1267 1102 968 278 1217 704 763 461 577 1047 623 0 94 521 174 445 550 1121 264 1271 1047 763 1174 698 360 661 928 176 871 0 951 521 633 623 99 928 0 505 593 701 268 1097 1142 344 415 630 1057 352 1217 93 804 285 191 1002 91 967 951 780 1095 1010 360 0 607 449 687 633 1170 1204 462 871 286 182 549 727 94 860 1121 260 1008 174 962 738 399 177 1170 411 98 342 507 449 0 799 573 646 1071