CSP 2009 Competition: solvers results per benchmarks

Result page for benchmark
csp/os-taillard-20/
normalized-os-taillard-20-105-8.xml

Jump to solvers results

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-105-8.xml
MD5SUM86b24a9ba558d9e8e32f84b5d3fc0678
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 benchmark6.42902
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1388
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
Mistral 1.545 (complete)2076518SAT 6.42902 6.54024
Abscon 112v4 AC (complete)2096561SAT 8.45871 8.50571
Abscon 112v4 ESAC (complete)2096562SAT 9.36758 9.49862
pcs-restart 0.3.2 (complete)2076511SAT 9.8595 9.91744
pcs 0.3.2 (complete)2076510SAT 10.0175 10.1182
Concrete 2009-07-14 (complete)2076512SAT 11.4253 11.5904
Sugar v1.14.6+minisat (complete)2076516SAT 56.2794 57.221
Choco2.1.1b 2009-07-16 (complete)2116192SAT 58.6651 58.9603
Choco2.1.1 2009-06-10 (complete)2076514SAT 68.3486 69.0226
Sugar v1.14.6+picosat (complete)2076515SAT 226.646 229.542
bpsolver 09 (complete)2076519SAT 898.763 902.499
Concrete DC 2009-07-14 (complete)2076513? 863.097 863.842
SAT4J CSP 2.1.1 (complete)2076509? (exit code) 281.491 282.353

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:
1250 1194 0 1026 1036 690 1069 1173 509 772 334 421 180 253 566 22 1323 864 942 50 74 697 548 967 333 1127 639 0 1295 894 152 451 1302 249
604 1271 1187 653 356 835 342 884 493 213 1377 1295 885 1248 574 0 1362 839 917 1190 696 972 612 1143 1048 97 97 912 1290 1182 565 904 406
488 1241 152 1069 1172 859 0 817 1002 356 954 258 828 494 71 1079 856 158 0 301 1339 894 1128 381 537 762 604 222 1190 680 448 109 992 1289
1069 1224 758 669 62 1385 409 42 1013 0 473 1174 1154 262 760 611 437 342 193 249 19 635 718 939 250 1249 1101 578 0 1013 190 675 86 496
1346 954 1144 1276 423 773 941 207 1206 367 1171 0 426 65 269 485 1001 51 1294 840 973 1276 228 1082 592 74 1294 0 993 498 1097 917 348 1293
1199 478 891 1335 133 666 1340 690 42 885 612 113 1155 686 1199 0 308 628 1311 558 433 1305 250 1053 730 957 920 51 338 826 185 151 1242
1124 745 316 484 1309 916 236 442 1285 543 262 1152 421 814 1033 650 58 616 0 910 836 1151 170 1331 1006 1025 91 1239 1029 348 442 805 258
419 334 1085 770 392 419 616 1242 932 698 498 88 1127 259 1301 0 149 537 1187 1034 870 1155 339 50 787 202 152 1104 1327 718 770 970 1055 66
259 426 75 0 1199 580 881 670 834 1231 364 759 0 671 829 113 1168 476 1290 269 383 316 170 1097 548 1059 918 255 19 1251 282 0 331 916 1063
223 342 255 651 851 670 133 718 1236 1377 1034 462 587 1143 404 772 894 1030 787 640 333 543 86 104 1024 864 451 388 0 989 121 1229 1326
1108 313 222 109 992 946 509 1129 1283 0 1323 579 83 936 324 670 928 831 440 1185 191 246 1037 0 1107 855 1239 185 423 643 1155 762 1246 301
473 228 1295 488 1013 938 91 697 364 1203 669 313 1054 1276 1197 724 575 174 1138 648 406 476 761 976 75 236 1315 1295 0