CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/super-os/super-os-taillard-15/
normalized-super-os-taillard-15-15.xml
MD5SUM874fd86118a4813c9be08ba39f4519b6
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 benchmark58.1612
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints9675
Maximum constraint arity2
Maximum domain size1042
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
Concrete + CSP4J - WMC Engine 2008-05-301082362SAT 58.1612 58.2728
Sugar v1.13+minisat1082368SAT 106.735 107.884
Sugar v1.13+picosat1082367SAT 219.45 222.359
SAT4J CSP 2008-06-131082366? 210.91 212.126
galac M1082372? (problem) 61.0687 61.7122
galac E1082373? (problem) 61.2347 61.8909
Concrete + CPS4J 2008-05-301082363? (TO) 1800.02 1818.92
MDG-probe 2008-06-271082364? (TO) 1800.03 1809.11
Minion/Tailor 2008-07-041107101? (TO) 1800.03 1812.91
cpHydra k_101082380? (TO) 1800.03 1827.84
cpHydra k_401082381? (TO) 1800.04 1827.33
Concrete + CSP4J - Tabu Engine 2008-05-301082361? (TO) 1800.09 1813.12
Mistral-option 1.3141082374? (TO) 1800.09 1810.21
Mistral-prime 1.3131082375? (TO) 1800.09 1803.12
bpsolver 2008-06-271082369? (TO) 1800.09 1806.52
casper zito1082377? (TO) 1800.1 1813.71
casper zao1082376? (TO) 1800.1 1811.54
MDG-noprobe 2008-06-271082365? (TO) 1800.11 1806.61
Abscon 112v4 AC1082378? (TO) 1800.12 1818.85
Abscon 112v4 ESAC1082379? (TO) 1800.15 1812.55
choco2_dwdeg 2008-06-261082371? (TO) 1800.15 1811.36
choco2_impwdeg 2008-06-261082370? (TO) 1800.43 1813.67

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:
106 107 1036 1035 798 808 131 130 15 16 945 948 697 703 273 274 385 381 630 624 851 858 471 472 836 820 505 502 172 175 1 10 643 644 987 986
306 300 511 514 409 446 797 792 702 697 915 913 235 238 128 127 577 575 92 478 891 893 194 195 811 232 887 878 669 673 499 498 982 979 1 3
771 749 695 707 1012 1009 89 354 417 397 259 260 842 841 136 134 544 549 544 877 303 297 942 939 85 883 674 675 350 351 785 788 3 1 112 110
191 190 910 911 577 580 515 877 754 741 435 436 0 8 519 516 421 419 270 277 998 1001 569 567 902 892 657 676 785 782 80 79 200 197 689 690
158 156 304 302 358 362 888 881 952 951 654 653 130 134 28 33 615 609 504 502 784 786 259 253 200 593 274 272 430 429 19 11 294 301 399 392
635 637 245 246 386 826 722 821 739 753 521 522 71 74 396 438 841 837 173 174 3 0 317 316 1032 499 936 940 112 114 199 197 880 518 606 519
927 919 363 365 702 506 416 429 738 541 752 754 12 10 133 137 839 840 48 51 984 541 269 267 231 238 42 41 953 952 784 785 637 498 360 498
551 515 269 266 877 878 133 138 754 507 77 78 441 440 695 673 230 198 300 308 531 522 427 429 171 169 711 714 274 502 798 796 65 509 2 0 607
609 838 840 86 96 1010 500 895 901 349 350 130 129 30 20 670 674 638 463 964 358 527 529 210 208 172 176 264 271 868 861 753 751 10 878 992
996 907 912 393 367 963 968 644 642 797 512 350 352 727 559 695 694 927 925 309 513 208 199 866 67 442 441 873 872 132 128 2 15 247 570 1017
498 91 94 296 283 920 918 398 506 231 240 357 505 629 472 557 563 846 848 188 480 0 6 191 192 991 982 749 748 590 589 317 315 696 699 89 540
910 516 122 118 454 451 1034 1035 566 544 406 404 672 673 194 193 788 515 948 941 852 839 824 811 280 281 4 1 454 452 400 404 614 608 878
880 221 222 31 25 356 357 776 775 539 542 696 699 124 127 1007 1010