Name | csp/js-taillard-15/ normalized-js-taillard-15-100-7.xml |
MD5SUM | 3a7497b7cd2a115ee4d429cc301e1993 |
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 | 334.785 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 1785 |
Maximum constraint arity | 2 |
Maximum domain size | 1221 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1785 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.14.6+minisat (complete) | 2080410 | SAT | 334.785 | 337.947 |
Sugar v1.14.6+picosat (complete) | 2080409 | SAT | 394.584 | 398.459 |
Choco2.1.1 2009-06-10 (complete) | 2080408 | SAT | 712.514 | 718.971 |
Choco2.1.1b 2009-07-16 (complete) | 2116546 | SAT | 1506.93 | 1508.84 |
Concrete DC 2009-07-14 (complete) | 2080407 | ? | 258.273 | 260.592 |
SAT4J CSP 2.1.1 (complete) | 2080403 | ? | 337.582 | 339.33 |
Abscon 112v4 ESAC (complete) | 2097270 | ? (TO) | 1800.05 | 1808.83 |
Mistral 1.545 (complete) | 2080412 | ? (TO) | 1800.05 | 1800.71 |
Concrete 2009-07-14 (complete) | 2080406 | ? (TO) | 1800.06 | 1800.92 |
Abscon 112v4 AC (complete) | 2097269 | ? (TO) | 1800.08 | 1800.75 |
pcs 0.3.2 (complete) | 2080404 | ? (TO) | 1800.1 | 1801.28 |
bpsolver 09 (complete) | 2080413 | ? (TO) | 1800.1 | 1805.41 |
pcs-restart 0.3.2 (complete) | 2080405 | ? (TO) | 1800.17 | 1815.18 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:106 241 242 356 458 499 579 708 717 778 813 832 986 1069 1157 44 50 118 261 282 366 522 588 639 722 818 886 924 986 1145 86 132 189 255 340 428 486 593 628 687 898 942 1038 1062 1117 16 91 160 213 311 319 400 481 519 577 580 639 842 872 959 1 100 180 254 351 447 488 502 505 922 1021 1030 1072 1167 1194 9 37 48 204 229 264 491 552 636 746 802 900 981 1053 1198 180 201 206 333 338 385 401 478 563 661 707 743 882 1053 1097 58 107 354 415 511 552 558 641 722 766 849 858 952 1051 1089 11 88 544 612 681 720 773 872 878 912 939 990 1076 1104 1197 1 96 187 245 321 410 545 641 655 710 857 948 956 974 1134 2 42 50 86 140 141 197 360 542 632 769 1039 1143 1185 1210 11 49 139 187 301 348 358 450 542 660 757 789 836 891 1201 69 158 202 230 282 330 440 810 860 948 962 1046 1052 1085 1198 100 114 192 196 336 343 349 367 429 483 707 709 716 720 816 45 216 292 296 316 395 445 468 483 497 595 701 797 1081 1218