Name | csp/os-taillard-20/ normalized-os-taillard-20-105-2.xml |
MD5SUM | 4edeb52ba8c5e270795a490c2e727147 |
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 | 2.68759 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 7600 |
Maximum constraint arity | 2 |
Maximum domain size | 1359 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 7600 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2076540 | SAT | 2.68759 | 2.70449 |
Abscon 112v4 AC (complete) | 2096565 | SAT | 9.59654 | 10.4011 |
Abscon 112v4 ESAC (complete) | 2096566 | SAT | 9.8455 | 9.9105 |
Concrete 2009-07-14 (complete) | 2076534 | SAT | 11.8292 | 12.015 |
pcs-restart 0.3.2 (complete) | 2076533 | SAT | 22.1256 | 22.2267 |
pcs 0.3.2 (complete) | 2076532 | SAT | 25.8301 | 26.0837 |
Sugar v1.14.6+minisat (complete) | 2076538 | SAT | 65.0981 | 66.5468 |
Choco2.1.1 2009-06-10 (complete) | 2076536 | SAT | 69.5654 | 69.6307 |
Choco2.1.1b 2009-07-16 (complete) | 2116194 | SAT | 82.4635 | 82.5564 |
Sugar v1.14.6+picosat (complete) | 2076537 | SAT | 218.015 | 219.655 |
bpsolver 09 (complete) | 2076541 | SAT | 895.202 | 902.853 |
SAT4J CSP 2.1.1 (complete) | 2076531 | ? | 313.808 | 314.156 |
Concrete DC 2009-07-14 (complete) | 2076535 | ? | 948.88 | 955.862 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:0 872 742 78 258 709 1116 1272 170 1207 817 931 633 134 363 540 1045 462 968 346 465 1272 1102 70 616 940 875 540 814 989 383 301 1181 12 144 679 225 1044 838 1287 666 348 98 1178 709 1085 438 905 494 223 604 890 0 10 1048 787 1121 346 147 1275 1161 1237 893 685 1030 250 595 616 0 83 209 1272 1116 163 991 294 640 322 734 806 55 510 391 435 805 110 237 235 792 1100 960 593 1271 1077 727 0 1198 332 38 74 477 1274 390 654 223 78 892 1141 0 300 845 1009 712 1214 562 54 174 633 685 1050 93 233 1186 0 81 1335 367 91 1002 1287 899 943 312 521 497 146 261 225 246 1098 0 1299 420 973 742 898 1141 294 1321 1004 1302 81 952 156 1063 236 175 690 223 333 1209 1342 811 618 1052 1186 248 392 83 933 1139 143 845 0 562 743 1021 304 647 483 174 1024 1218 0 439 961 666 483 1349 748 844 81 378 1118 520 1286 311 1100 610 208 648 1283 999 407 1059 1067 843 294 1201 762 1231 209 731 0 1116 144 348 446 51 925 691 779 262 407 1033 521 991 1220 130 933 51 182 1138 1154 1299 0 870 530 350 78 1237 557 163 0 494 431 1055 647 637 1205 899 262 1110 340 21 597 1057 50 1222 1278 219 349 883 570 134 1291 1205 497 484 314 640 723 1074 0 1079 1110 305 83 146 391 410 573 973 349 785 39 634 1092 1062 694 1240 223 1184 100 1137 1260 0 171 1058 875 626 255 1114 0 1205 29 1302 520 877 763 841 974 439 1109 93 38 74 918 350 1237 181 1132 971 884 434 300 1181 1300 0 32 680 347 829 1335 81 213 206 171 383 580 557 1319 867 343 519 477 1044 799 208 420 1212 960 635 50 1114 364 767 0 295 128 1275 1199 383 1141 794 258 873 181 477 93 1235 364 1050 944 0 182 435 783 1088 966 1202 481 729 722 54 906 128 1178 1114 637 367 994 1081 435 917 182 295 1278 580 0