Name | csp/js-taillard-20/ normalized-js-taillard-20-105-6.xml |
MD5SUM | 1c733877136bc0dc2d619d936a559dba |
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 | 65.503 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 4180 |
Maximum constraint arity | 2 |
Maximum domain size | 1789 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 4180 |
Global constraints used (with number of constraints) |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:293 416 521 582 701 711 781 902 904 1004 1042 1107 1188 1226 1277 1358 1395 1467 1619 1690 7 87 232 322 405 529 536 655 672 685 757 785 858 976 1041 1091 1253 1323 1445 1477 10 153 238 301 372 436 524 551 581 654 753 763 814 931 1033 1548 1646 1690 1697 1730 29 189 241 246 250 334 388 391 488 535 544 557 693 858 906 978 981 1016 1152 1600 453 540 591 686 710 806 860 911 972 1104 1306 1397 1487 1511 1570 1629 1655 1733 1737 1740 25 67 114 124 151 269 361 449 485 518 574 707 717 743 821 890 1021 1124 1282 1523 245 264 302 465 515 546 634 730 829 911 988 992 1092 1279 1356 1446 1514 1615 1705 1735 96 121 168 178 226 309 371 374 412 527 613 974 1161 1226 1257 1306 1361 1441 1578 1749 63 80 250 275 352 414 442 494 499 531 568 663 733 875 933 1025 1188 1334 1415 1517 195 236 341 375 379 478 735 793 807 1024 1095 1192 1287 1351 1363 1380 1446 1588 1656 1736 116 143 355 387 399 498 553 589 617 726 935 1106 1206 1296 1301 1386 1543 1663 1667 1708 58 168 271 434 555 574 633 907 1156 1231 1278 1355 1363 1406 1436 1524 1564 1574 1650 1760 35 385 532 732 808 834 862 898 1103 1143 1175 1219 1293 1345 1392 1406 1467 1565 1652 1725 0 153 196 252 344 470 564 624 661 742 864 905 966 1064 1123 1218 1256 1375 1510 1767 30 87 183 194 275 722 835 1109 1197 1292 1318 1409 1466 1496 1528 1586 1626 1637 1688 1707 6 219 487 603 648 711 807 832 880 913 969 1023 1120 1307 1526 1567 1568 1585 1682 1763 203 260 282 444 472 551 615 681 727 802 898 982 1046 1166 1201 1210 1299 1607 1650 1703 100 190 242 268 383 459 514 591 1023 1105 1185 1258 1336 1345 1416 1495 1526 1605 1649 1663 158 217 274 661 708 721 756 828 902 958 1043 1095 1129 1221 1313 1394 1470 1561 1654 1701 3 31 120 123 198 229 316 382 452 486 505 589 680 740 1332 1372 1387 1453 1480 1626