CSP 2009 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/super-os/super-os-taillard-15/
normalized-super-os-taillard-15-8.xml
MD5SUMc2291ba3dc9f570e8979ae152fcb5d84
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 benchmark254.689
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints9675
Maximum constraint arity2
Maximum domain size916
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.14.6+picosat (complete)2080970SAT 254.689 257.592
Sugar v1.14.6+minisat (complete)2080971SAT 266.602 269.702
SAT4J CSP 2.1.1 (complete)2080964? 253.341 254.187
Concrete DC 2009-07-14 (complete)2080968? 988.163 988.494
bpsolver 09 (complete)2080974? (TO) 1800.03 1813.02
Mistral 1.545 (complete)2080973? (TO) 1800.04 1807.22
Concrete 2009-07-14 (complete)2080967? (TO) 1800.09 1802.22
pcs 0.3.2 (complete)2080965? (TO) 1800.11 1802.47
Abscon 112v4 AC (complete)2097371? (TO) 1800.12 1807.56
pcs-restart 0.3.2 (complete)2080966? (TO) 1800.14 1814.68
Choco2.1.1b 2009-07-16 (complete)2116597? (TO) 1800.15 1812.09
Choco2.1.1 2009-06-10 (complete)2080969? (TO) 1800.17 1800.79
Abscon 112v4 ESAC (complete)2097372? (TO) 1800.19 1801.99

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:
862 863 778 777 199 198 832 347 593 755 110 152 186 286 295 296 687 686 524 525 344 671 377 378 3 2 674 365 58 57 847 846 492 139 396 108
672 670 0 108 641 640 736 735 204 173 513 516 584 583 616 615 59 130 807 808 56 581 304 303 586 587 345 346 750 749 432 431 675 676 180 181
0 1 827 828 269 268 59 60 616 615 115 116 495 496 584 585 125 124 400 401 179 178 530 529 755 175 241 240 775 760 505 506 879 878 489 863 21
20 298 299 124 123 60 61 670 671 618 617 832 833 79 78 110 111 380 381 433 428 274 275 628 627 703 704 787 786 509 510 196 197 7 8 518 517
548 549 0 825 436 435 734 566 136 135 243 242 678 677 404 405 587 3 346 911 372 5 59 58 849 848 506 505 614 615 787 786 355 356 37 38 259
258 750 751 436 435 548 549 205 206 146 145 787 788 85 86 332 30 846 847 335 336 518 517 864 865 648 649 355 354 464 444 649 650 644 143 44
42 229 228 406 427 581 594 148 149 699 700 284 285 379 274 764 198 548 549 837 832 386 385 612 611 245 244 698 699 88 87 355 356 189 188 7 6
492 493 344 178 776 781 399 398 144 143 211 212 449 450 584 133 737 736 593 587 33 129 217 216 648 649 0 178 855 854 572 574 372 371 273 274
614 615 807 808 471 470 243 242 325 617 535 536 254 255 407 408 912 250 699 700 96 95 460 459 848 849 489 488 1 829 38 34 592 593 204 203
734 733 817 818 636 637 732 731 581 580 50 78 136 135 499 500 228 108 912 4 410 408 256 257 7 8 342 341 26 25 826 825 58 59 304 176 494 159
737 178 879 345 205 206 764 143 644 645 465 466 269 615 374 373 837 333 14 15 576 144 118 117 34 35 333 441 877 373 491 490 134 126 406 430
158 159 313 309 548 559 637 638 227 441 1 2 326 609 38 37 734 735 671 56 640 641 124 57 496 497 692 691 586 585 762 0 62 63 14 16 818 819
127 126 384 387 280 279 339 338 189 188