CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/super-os/super-os-taillard-15/
normalized-super-os-taillard-15-4.xml

Jump to solvers results

General information on the benchmark

Namecsp/super-os/super-os-taillard-15/
normalized-super-os-taillard-15-4.xml
MD5SUMa4490a5a6ae6ebec4d14213e63359d8e
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark119.549
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints9675
Maximum constraint arity2
Maximum domain size946
Number of constraints which are defined in extension0
Number of constraints which are defined in intension9675
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Sugar v1.13+minisat1082305SAT 119.549 121.588
Sugar v1.13+picosat1082304SAT 211.97 214.864
SAT4J CSP 2008-06-131082303? 204.858 204.273
galac E1082310? (problem) 58.4021 58.9483
galac M1082309? (problem) 61.5846 62.2184
Concrete + CSP4J - Tabu Engine 2008-05-301082298? (TO) 1800.02 1803.22
Mistral-option 1.3141082311? (TO) 1800.06 1811.01
MDG-probe 2008-06-271082301? (TO) 1800.06 1814.71
Concrete + CSP4J - WMC Engine 2008-05-301082299? (TO) 1800.06 1808.62
MDG-noprobe 2008-06-271082302? (TO) 1800.06 1804.02
Concrete + CPS4J 2008-05-301082300? (TO) 1800.07 1808.52
cpHydra k_401082318? (TO) 1800.07 1815.53
casper zao1082313? (TO) 1800.07 1814.85
cpHydra k_101082317? (TO) 1800.07 1830.44
casper zito1082314? (TO) 1800.07 1819.71
Abscon 112v4 AC1082315? (TO) 1800.07 1806.15
Mistral-prime 1.3131082312? (TO) 1800.08 1803.02
bpsolver 2008-06-271082306? (TO) 1800.09 1815.52
Minion/Tailor 2008-07-041107104? (TO) 1800.1 1812.72
choco2_impwdeg 2008-06-261082307? (TO) 1800.12 1814.46
choco2_dwdeg 2008-06-261082308? (TO) 1800.15 1815.25
Abscon 112v4 ESAC1082316? (TO) 1800.19 1803.19

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

Solution found:
67 68 343 398 895 896 780 779 5 368 152 151 423 422 847 848 257 256 512 513 702 701 935 934 759 760 688 689 857 856 270 269 179 180 687 686
384 385 772 773 116 117 235 236 541 540 641 640 533 534 14 28 898 899 1 885 428 427 860 861 663 384 23 22 316 321 603 602 740 739 838 837
135 134 234 233 2 587 45 46 231 707 934 933 411 446 500 499 892 891 389 390 798 799 152 153 70 114 869 868 541 540 176 175 751 752 438 102
52 51 296 297 224 223 488 489 714 713 638 640 120 528 659 660 362 372 333 524 768 767 574 575 925 924 291 290 444 11 406 405 33 469 941 496
672 671 192 191 847 482 392 402 467 466 814 813 166 167 631 630 671 672 314 315 901 902 34 33 932 396 298 297 780 781 410 409 557 558 916
915 169 168 19 18 638 639 244 245 753 754 543 544 654 653 109 108 709 710 884 883 489 490 708 797 798 797 326 327 615 92 859 858 333 555 449
100 797 798 415 113 836 835 690 691 79 564 613 614 923 489 120 592 235 234 518 155 89 592 285 470 871 872 270 271 2 475 773 774 606 605 684
437 1 0 290 289 888 465 131 132 246 247 359 360 20 19 526 527 387 386 850 851 771 770 93 99 681 682 237 236 433 432 523 524 387 388 331 150
153 154 1 2 879 878 335 334 606 605 920 127 587 586 686 687 872 5 35 34 210 211 267 268 764 763 902 901 59 17 115 114 837 0 510 511 365 366
77 78 421 420 267 266 705 706 632 633 806 524 874 875 133 134 837 506 565 564 202 203 340 339 501 500 57 56 338 500 553 41 432 433 146 549
233 232 449 448 1 0 556 557 766 767 123 176 663 662 260 261 417 854 316 315 199 198 878 877 93 529 345 344 1 0 247 246 380 381 492 493 603
604 747 748 154 155 657 656 44 43 882 883 588 587 290 289 133 132 404 403 804 803 638 639 931 528 257 583 754 88 616 615 185 184 1 2 170 670
432 440 361 360 11 513 55 83 281 280 835 510 676 675