MAX-CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/os-taillard-20/
normalized-os-taillard-20-95-0.xml

Jump to solvers results

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-95-0.xml
MD5SUM0d7f52239cc079a8b40c34e4f80db59c
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints26
Best CPU time to get the best result obtained on this benchmark3600.02
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1154
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerNumber of falsified constraintsCPU timeWall clock time
Concrete + CSP4J - Tabu Engine 2008-05-301111528MSAT (TO)26 3600.02 3621.62
Concrete + CSP4J - MCRW Engine 2008-05-301111527MSAT (TO)33 3600.07 3634.52
AbsconMax 112 pc-w1111529? 151.312 153.131
AbsconMax 112 pc-d1111530? 160.111 161.704
Sugar++ v1.13+minisat-inc1111531? 172.451 179.529
Sugar v1.13+minisat1111532? 172.472 179.634

Additionnal information

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

Number of falsified constraints: 26
Solution found:
533 281 858 582 661 1080 407 339 15 479 896 679 24 966 134 1031 919 232 1036 782 47 430 188 976 327 874 27 540 785 623 892 700 410 240 90
1088 1011 799 388 511 570 709 413 930 162 3 420 1092 1035 1135 758 391 845 267 952 471 299 845 820 79 1012 702 467 919 1032 9 802 336 659
111 678 760 937 958 842 557 823 363 205 95 1120 1 1053 796 532 230 636 66 381 584 991 466 933 891 708 215 1025 319 162 87 1084 869 806 503
490 224 986 653 171 756 404 600 275 1049 342 1012 6 60 914 388 7 491 418 140 635 813 742 1059 245 3 131 1023 950 625 498 752 1010 844 324
901 37 1075 265 166 797 870 262 104 523 786 382 425 942 625 698 12 464 830 641 1041 860 509 283 425 693 733 655 1025 974 535 472 302 21 371
3 211 1114 119 937 577 523 336 1013 70 924 315 701 319 160 244 450 801 1047 652 864 269 947 3 754 592 266 1073 248 663 1053 1017 457 830 990
601 523 762 118 46 322 65 498 431 4 928 227 345 534 0 979 923 435 699 733 652 806 581 268 757 139 13 1014 821 1098 86 60 368 796 147 1041 0
496 747 212 690 559 268 816 1083 872 933 647 363 968 510 971 530 1014 560 1132 698 105 791 351 252 584 1103 884 444 1069 29 849 955 641 474
976 658 785 648 8 563 932 434 1038 118 1055 238 105 882 383 155 285 488 96 1074 12 514 173 576 696 1054 1031 353 554 976 223 780 452 779 844
637 295 944 853 80 953 970 238 265 988 1027 339 931 164 17 542 63 698 156 1123 838 88 614 388 759 1 1127 776 548 885 179 400 252 157 14 573
520 206 1028 957 680 441 585 40 347 732 655 214 951 191 463 991 371 1035 102 1106 785 1 713 548 936 335 854 37 607 239 410 689 3 624 12 710
574 321 502 95 1103 952 1143 798 863 234 712 1035 489