| Name | csp/js-taillard-20-15/ normalized-js-taillard-20-15-100-9.xml |
| MD5SUM | f1b65786d4cc212820340d13acbe5b6b |
| 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 | 277.083 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 300 |
| Number of constraints | 3130 |
| Maximum constraint arity | 2 |
| Maximum domain size | 1383 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 3130 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Sugar v1.14.6+picosat (complete) | 2080244 | SAT | 277.083 | 277.426 |
| Concrete DC 2009-07-14 (complete) | 2080242 | ? | 281.589 | 283.94 |
| SAT4J CSP 2.1.1 (complete) | 2080238 | ? | 310.042 | 311.679 |
| Sugar v1.14.6+minisat (complete) | 2080245 | ? (TO) | 1800.02 | 1801.77 |
| Concrete 2009-07-14 (complete) | 2080241 | ? (TO) | 1800.03 | 1808.43 |
| bpsolver 09 (complete) | 2080248 | ? (TO) | 1800.06 | 1813.71 |
| Choco2.1.1 2009-06-10 (complete) | 2080243 | ? (TO) | 1800.07 | 1817.25 |
| Mistral 1.545 (complete) | 2080247 | ? (TO) | 1800.09 | 1809.01 |
| Choco2.1.1b 2009-07-16 (complete) | 2116531 | ? (TO) | 1800.12 | 1802.37 |
| pcs-restart 0.3.2 (complete) | 2080240 | ? (TO) | 1800.12 | 1806.55 |
| pcs 0.3.2 (complete) | 2080239 | ? (TO) | 1800.15 | 1807.56 |
| Abscon 112v4 ESAC (complete) | 2097240 | ? (TO) | 1800.16 | 1816.98 |
| Abscon 112v4 AC (complete) | 2097239 | ? (TO) | 1800.18 | 1801.89 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:126 255 454 525 575 703 744 793 825 912 1008 1121 1156 1265 1338 28 57 79 126 389 483 527 545 683 728 763 904 951 1130 1266 24 197 233 298 390 498 612 627 693 783 822 830 1093 1156 1269 0 175 225 276 441 842 938 978 1045 1086 1095 1153 1225 1301 1376 10 23 92 109 125 275 369 387 481 534 571 667 838 1209 1274 0 121 201 306 407 467 551 568 613 673 761 845 1041 1150 1232 0 4 119 152 214 300 330 409 627 783 830 939 979 1067 1322 3 32 210 697 723 778 833 886 1040 1137 1161 1230 1265 1286 1325 66 102 192 228 378 390 476 650 752 936 984 1058 1086 1202 1339 0 61 110 218 324 384 483 670 824 935 1039 1235 1313 1346 1350 108 288 379 653 685 823 935 1007 1053 1152 1229 1284 1346 1366 1382 0 74 123 248 329 392 441 602 648 720 806 839 949 1025 1055 63 109 313 550 616 739 950 1020 1046 1141 1156 1179 1252 1307 1313 380 472 518 616 617 693 752 838 944 1029 1041 1132 1230 1328 1339 461 534 604 618 650 669 727 747 843 911 991 1033 1045 1124 1134 0 78 263 274 385 395 474 498 555 913 955 1040 1183 1241 1260 71 152 265 355 369 395 425 531 838 976 979 1039 1109 1149 1298 170 531 609 614 697 722 726 746 825 885 893 990 1023 1282 1353 0 93 118 179 265 308 387 410 507 548 642 774 791 1022 1136 0 184 261 335 394 410 486 581 693 758 896 986 1021 1156 1203