| Name | csp/js-taillard-20-15/ normalized-js-taillard-20-15-105-0.xml |
| MD5SUM | a7e24af60e92a1b4969e8de32e0c94e1 |
| 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 | 38.3632 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 300 |
| Number of constraints | 3130 |
| Maximum constraint arity | 2 |
| Maximum domain size | 1444 |
| 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) | 2080211 | SAT | 38.3632 | 38.52 |
| Sugar v1.14.6+minisat (complete) | 2080212 | SAT | 139.739 | 141.361 |
| Choco2.1.1 2009-06-10 (complete) | 2080210 | SAT | 1439.54 | 1440.1 |
| Concrete DC 2009-07-14 (complete) | 2080209 | ? | 247.888 | 248.275 |
| SAT4J CSP 2.1.1 (complete) | 2080205 | ? | 304.258 | 305.368 |
| bpsolver 09 (complete) | 2080215 | ? (TO) | 1800.04 | 1813.71 |
| Concrete 2009-07-14 (complete) | 2080208 | ? (TO) | 1800.04 | 1805.13 |
| Mistral 1.545 (complete) | 2080214 | ? (TO) | 1800.06 | 1804.61 |
| Abscon 112v4 ESAC (complete) | 2097234 | ? (TO) | 1800.09 | 1807.47 |
| pcs-restart 0.3.2 (complete) | 2080207 | ? (TO) | 1800.1 | 1800.96 |
| Abscon 112v4 AC (complete) | 2097233 | ? (TO) | 1800.11 | 1804.24 |
| pcs 0.3.2 (complete) | 2080206 | ? (TO) | 1800.11 | 1804.86 |
| Choco2.1.1b 2009-07-16 (complete) | 2116528 | ? (TO) | 1800.19 | 1823.89 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:370 395 535 745 823 864 941 983 1042 1056 1069 1137 1182 1240 1442 48 115 149 180 191 470 504 610 656 691 787 809 901 1211 1249 84 425 523 555 619 710 772 836 888 940 987 1017 1036 1294 1330 0 304 360 379 414 617 859 978 1075 1117 1180 1257 1354 1403 1422 0 99 530 590 691 753 847 979 1014 1054 1056 1169 1226 1278 1356 101 151 260 274 276 339 445 531 534 586 926 1026 1069 1253 1391 44 108 151 237 315 456 555 622 656 674 769 839 893 922 957 201 281 284 369 375 421 585 590 672 786 857 947 1075 1139 1278 1 115 208 289 304 336 424 821 929 1011 1100 1194 1282 1311 1382 362 440 538 597 825 858 939 1022 1038 1094 1173 1241 1300 1318 1395 0 18 24 120 173 208 312 388 417 431 521 585 666 761 940 0 44 135 147 160 318 443 514 589 619 712 738 769 866 1303 1 201 257 531 741 861 952 990 1026 1081 1129 1151 1197 1332 1428 1 87 112 120 265 403 456 534 569 661 757 853 940 1005 1086 234 351 443 461 542 579 619 713 796 873 970 1081 1151 1204 1343 1 59 93 169 197 273 339 371 385 417 672 985 1077 1135 1250 18 119 208 272 312 361 443 470 513 569 599 690 710 808 1289 24 110 136 223 284 511 662 750 851 1096 1180 1240 1300 1381 1425 327 370 424 470 675 808 839 859 882 951 1168 1265 1281 1354 1399 44 97 205 209 382 512 612 890 1014 1080 1095 1139 1162 1357 1391