CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/super-os/super-os-taillard-15/
normalized-super-os-taillard-15-1.xml
MD5SUM8fafd39c31371d79429097ec8078bafd
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 benchmark209.49
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints9675
Maximum constraint arity2
Maximum domain size956
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+picosat1082325SAT 209.49 212.046
Sugar v1.13+minisat1082326SAT 320.731 324.232
SAT4J CSP 2008-06-131082324? 219.585 220.663
galac E1082331? (problem) 73.2469 73.9097
galac M1082330? (problem) 78.0601 78.8238
cpHydra k_101082338? (TO) 1800 1830.13
Concrete + CSP4J - WMC Engine 2008-05-301082320? (TO) 1800.01 1810.82
MDG-noprobe 2008-06-271082323? (TO) 1800.05 1811.21
casper zao1082334? (TO) 1800.05 1809.44
Concrete + CPS4J 2008-05-301082321? (TO) 1800.05 1812.62
Mistral-option 1.3141082332? (TO) 1800.06 1805.52
MDG-probe 2008-06-271082322? (TO) 1800.06 1809.71
Mistral-prime 1.3131082333? (TO) 1800.07 1817.01
casper zito1082335? (TO) 1800.07 1803.71
bpsolver 2008-06-271082327? (TO) 1800.09 1812.42
choco2_impwdeg 2008-06-261082328? (TO) 1800.09 1818.96
Concrete + CSP4J - Tabu Engine 2008-05-301082319? (TO) 1800.09 1814.22
cpHydra k_401082339? (TO) 1800.09 1802.74
Minion/Tailor 2008-07-041107102? (TO) 1800.1 1811.11
Abscon 112v4 AC1082336? (TO) 1800.14 1814.56
choco2_dwdeg 2008-06-261082329? (TO) 1800.19 1818.99
Abscon 112v4 ESAC1082337? (TO) 1800.2 1821.69

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:
551 552 610 609 68 754 870 738 333 332 478 317 494 495 298 299 797 798 190 189 0 1 91 90 580 590 343 344 895 896 275 276 688 689 526 525 4 3
598 588 871 872 333 332 130 131 651 664 186 191 767 592 167 168 845 846 773 774 405 417 375 376 871 870 823 824 699 700 0 431 617 618 440
442 27 28 548 549 501 502 141 140 738 737 223 222 124 125 289 288 566 567 124 125 859 858 712 713 783 784 344 345 83 84 614 613 656 657 403
404 0 1 233 237 266 265 428 429 494 493 500 501 94 95 317 318 865 864 552 551 293 292 188 197 0 1 361 362 626 627 776 777 716 715 620 621
430 429 224 225 412 413 315 316 296 393 721 722 518 517 82 83 706 486 867 868 626 633 940 941 785 784 131 132 186 185 429 436 9 662 244 245
566 188 0 1 296 295 182 181 494 495 884 632 408 407 759 760 48 375 719 718 111 112 52 51 859 860 437 438 697 696 494 529 314 315 884 0 810
809 563 562 162 163 249 248 671 672 891 892 585 586 44 80 1 2 786 484 952 613 593 592 826 825 105 104 1 0 248 247 78 77 500 501 656 215 893
324 365 374 133 132 690 689 823 97 749 748 552 553 943 551 496 494 41 40 566 567 776 777 729 126 261 262 896 895 633 632 871 870 189 2 358
357 412 411 222 223 298 299 639 659 555 556 320 319 760 759 227 228 35 36 422 447 97 404 820 819 894 893 180 751 106 105 263 262 456 457 141
142 704 705 0 364 226 225 125 126 869 870 432 431 687 375 605 364 344 345 86 85 174 173 649 456 753 528 26 364 494 493 627 626 428 427 783
784 249 946 556 555 491 492 949 850 258 259 703 702 0 1 167 168 24 23 329 330 857 850 83 82 825 717 437 696 854 731 227 228 170 169 423 739
84 83 951 714 474 475 870 344 570 696 312 729 763 764 0 1 610 611 1 0 500 501 123 124 487 674 51 632 540 539 27 28 277 278 417 418 189 188
777 778 711 413 319 320 736 737 876 877