CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-95-1.xml
MD5SUM1badaae3ade26737a7c9af09708047c4
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 benchmark55.6205
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1265
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 NameTraceIDAnswerCPU timeWall clock time
Sugar v1.13+minisat1074786SAT 55.6205 56.8894
choco2_dwdeg 2008-06-261074789SAT 107.755 108.828
choco2_impwdeg 2008-06-261074788SAT 114.46 115.506
cpHydra k_401074799SAT 143.26 145.835
Mistral-prime 1.3131074793SAT 175.541 176.421
Sugar v1.13+picosat1074785SAT 207.848 210.347
cpHydra k_101074798SAT 270.498 274.215
Mistral-option 1.3141074792SAT 539.653 539.859
Abscon 112v4 AC1074796SAT 696.552 699.995
Abscon 112v4 ESAC1074797SAT 697.197 703.891
SAT4J CSP 2008-06-131074784? 255.006 255.373
galac E1074791? (problem) 74.3747 74.7633
galac M1074790? (problem) 74.7176 75.4942
Concrete + CSP4J - Tabu Engine 2008-05-301074779? (TO) 1800.01 1801.12
MDG-noprobe 2008-06-271074783? (TO) 1800.02 1813.71
Concrete + CSP4J - WMC Engine 2008-05-301074780? (TO) 1800.03 1804.03
MDG-probe 2008-06-271074782? (TO) 1800.05 1812.81
Minion/Tailor 2008-07-041106164? (TO) 1800.05 1801.11
Concrete + CPS4J 2008-05-301074781? (TO) 1800.07 1813.02
bpsolver 2008-06-271074787? (TO) 1800.09 1812.81
casper zito1074795? (TO) 1800.1 1805.21
casper zao1074794? (TO) 1800.11 1804.93

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:
1159 263 835 611 559 8 465 974 41 699 897 802 1249 214 1100 755 382 762 317 148 430 840 911 128 2 1250 677 361 759 1215 526 984 1124 201 648
738 69 266 1063 60 549 570 397 1220 432 814 779 391 356 686 176 446 452 1036 84 259 374 1 928 533 574 769 1058 3 1069 1160 345 490 971 247
54 159 888 421 24 681 848 68 119 6 796 315 597 297 406 250 151 91 1264 2 951 1033 982 1200 162 1232 911 1206 1240 450 1030 1134 914 404 49
200 1 1206 1211 582 931 701 253 314 834 1088 599 840 495 121 404 1159 1259 250 86 938 521 1096 707 366 611 4 1250 446 344 766 1028 675 41
862 1148 140 1234 1254 755 693 368 886 934 241 606 1086 514 51 49 1082 496 825 982 397 1249 148 30 1179 1032 892 685 1107 952 1253 323 1217
233 479 589 822 562 380 741 379 1183 975 911 928 217 602 1121 350 783 90 424 1051 1074 505 301 581 858 704 1005 529 442 623 404 1115 1233
954 1182 165 1004 541 329 0 1197 1176 852 78 701 171 1082 269 898 244 1051 641 692 379 0 137 979 531 299 556 82 1196 829 171 788 1137 430
214 1027 1099 1012 16 1254 680 895 1211 1059 215 859 950 111 1188 346 273 490 731 923 1240 818 927 245 911 459 363 314 1174 902 747 2 92 13
1076 31 157 981 43 530 606 1003 1095 438 665 838 710 1208 431 401 615 6 180 121 157 336 239 743 9 228 910 1205 393 274 676 781 951 658 1159
43 1056 1043 530 505 848 982 662 358 699 622 880 1227 843 599 14 899 685 536 162 221 746 1135 903 648 967 501 404 1064 345 84 251 435 170 78
1195 1057 563 870 683 578 1257 616 261 1140 343 784 967 1130 42 974 755 979 92 1186 817 18 1053 177 1107 690 290 757 528 827 485 457 611 884
53 665 1198 187 119 514 1061 764 921 452 1141 1180 468 908 837 385 402 1018 1210 689 271 675 630