Name | csp/js-taillard-20-15/ normalized-js-taillard-20-15-100-6.xml |
MD5SUM | 63cd5470592839865b6357c53b6681fa |
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 | 167.471 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 300 |
Number of constraints | 3130 |
Maximum constraint arity | 2 |
Maximum domain size | 1495 |
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+minisat (complete) | 2080256 | SAT | 167.471 | 169.19 |
Choco2.1.1b 2009-07-16 (complete) | 2116532 | SAT | 1243.44 | 1245.96 |
Concrete DC 2009-07-14 (complete) | 2080253 | ? | 228.055 | 228.629 |
SAT4J CSP 2.1.1 (complete) | 2080249 | ? (exit code) | 289.779 | 290.839 |
Concrete 2009-07-14 (complete) | 2080252 | ? (TO) | 1800.03 | 1805.82 |
Sugar v1.14.6+picosat (complete) | 2080255 | ? (TO) | 1800.03 | 1816.13 |
Mistral 1.545 (complete) | 2080258 | ? (TO) | 1800.04 | 1806.21 |
bpsolver 09 (complete) | 2080259 | ? (TO) | 1800.05 | 1811.91 |
Abscon 112v4 ESAC (complete) | 2097242 | ? (TO) | 1800.1 | 1805.44 |
Choco2.1.1 2009-06-10 (complete) | 2080254 | ? (TO) | 1800.1 | 1800.84 |
pcs-restart 0.3.2 (complete) | 2080251 | ? (TO) | 1800.13 | 1809.26 |
Abscon 112v4 AC (complete) | 2097241 | ? (TO) | 1800.16 | 1803.78 |
pcs 0.3.2 (complete) | 2080250 | ? (TO) | 1800.16 | 1816.86 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:32 72 130 225 296 398 429 486 522 614 808 888 927 930 1466 32 52 256 470 590 625 766 858 910 1016 1123 1217 1249 1305 1376 210 479 484 677 762 803 859 875 894 1019 1074 1097 1160 1331 1471 313 393 451 492 526 620 683 691 808 868 919 957 960 1044 1313 47 232 303 357 416 470 539 626 712 755 762 844 941 1116 1210 2 84 179 250 324 382 662 923 1069 1159 1181 1217 1328 1358 1452 1 99 162 297 329 368 464 951 1018 1023 1179 1243 1369 1416 1447 294 347 382 562 796 950 1040 1174 1255 1309 1371 1384 1405 1410 1459 71 117 148 296 400 790 857 923 960 1042 1111 1311 1315 1377 1429 13 80 154 241 269 312 325 343 424 497 517 699 1168 1320 1482 83 219 349 455 519 546 625 772 913 1087 1100 1204 1378 1395 1437 207 635 671 758 785 934 1006 1055 1134 1164 1196 1253 1319 1401 1405 102 108 170 308 430 522 545 588 606 659 686 1190 1287 1356 1491 18 311 447 618 687 699 758 808 865 969 1256 1311 1393 1454 1459 12 118 153 249 258 373 461 493 561 670 701 730 752 1169 1178 7 30 64 137 345 819 934 1007 1022 1073 1226 1236 1279 1286 1349 129 147 227 324 451 591 738 806 915 1044 1084 1125 1244 1259 1396 116 126 406 452 770 781 863 967 1033 1117 1232 1309 1367 1390 1452 1 171 209 301 386 464 534 581 613 697 793 856 985 1227 1355 168 248 301 373 397 492 537 572 618 675 797 1039 1163 1290 1464