| Name | application/leberre/ 2dimensionalstrippacking/E00N10.cnf |
| MD5SUM | cbdbbdcb2e327b05e11605d021145286 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.252961 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1610 |
| Number of clauses | 7176 |
| Sum of the clauses size | 19762 |
| Maximum clause length | 15 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 17 |
| Number of clauses of size 2 | 3951 |
| Number of clauses of size 3 | 2521 |
| Number of clauses of size 4 | 300 |
| Number of clauses of size 5 | 150 |
| Number of clauses of size over 5 | 237 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Haifa-MUC 2011-04-07 (complete) | 3494552 | UNSAT | 0.252961 | 0.254443 |
| MoUsSaka 2011-03-26 (complete) | 3495752 | UNSAT | 0.314951 | 0.317025 |
| Haifa-MUC 2011-04-07 (complete) | 3494252 | UNSAT | 0.335948 | 0.335079 |
| Haifa-MUC-A 2011-04-07 (complete) | 3493952 | UNSAT | 0.534917 | 0.536116 |
| MUSer 2011-02-10 (complete) | 3481152 | UNSAT | 0.564913 | 0.569741 |
| MiniUnsat2 2011-02-22 (complete) | 3483244 | UNSAT | 1.9767 | 1.97805 |
| PicoMUS 941 (complete) | 3483544 | UNSAT | 3.09753 | 3.12182 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3482944 | UNSAT | 5.46617 | 4.72536 |
| OptimuS p100_source (complete) | 3495152 | UNSAT | 10.0245 | 10.0288 |
| OptimuS a100_source (complete) | 3494852 | UNSAT | 10.3244 | 10.3237 |
| OptimuS x100_source (complete) | 3495452 | UNSAT | 219.776 | 219.774 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2 4 6 8 10 14 16 18 20 22 24 26 28 30 32 34 36 38 40 42 44 46 48 50 52 54 56 58 60 62 64 66 68 70 72 74 76 78 80 82 84 86 88 90 509 510 511 512 513 514 516 517 518 519 520 521 522 523 524 525 526 527 529 530 531 532 533 534 535 536 537 538 539 545 546 547 548 549 550 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 570 571 572 573 574 575 577 578 581 582 583 584 585 586 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 606 607 608 609 610 611 613 614 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 831 832 833 834 835 838 840 841 842 843 844 846 847 848 849 850 851 853 854 855 856 857 859 860 861 862 864 865 868 871 872 875 879 881 884 886 890 893 898 913 914 916 917 918 919 920 921 925 926 927 929 931 954 956 957 966 968 969 971 973 974 975 976 977 979 980 2421 2422 2424 2425 2427 2428 2430 2431 2433 2434 2436 2437 2439 2440 2442 2443 2445 2446 2449 2602 2605 2607 2608 2610 2611 2613 2614 2616 2617 2619 2620 2621 2622 2623 2625 2626 2628 2632 2635 2637 2638 2640 2641 2643 2644 2646 2647 2649 2650 2651 2652 2653 2655 2656 2658 2669 2672 2678 2690 2721 2722 2724 2725 2727 2728 2730 2731 2733 2734 2736 2737 2739 2740 2743 2746 2749 2849 2852 2855 2861 2867 2872 2875 2877 2878 2880 2881 2883 2884 2886 2887 2889 2890 2892 2893 2895 2896 2898 2899 2931 2932 2933 2934 2935 2936 2937 2938 2940 2941 2943 2944 2946 2947 2949 2950 2952 2953 2955 2956 2959 3052 3055 3057 3058 3060 3061 3063 3064 3066 3067 3069 3070 3072 3073 3075 3076 3078 3079 3111 3112 3113 3114 3115 3116 3117 3118 3120 3121 3123 3124 3126 3127 3129 3130 3132 3133 3135 3136 3139 3263 3266 3269 3272 3275 3278 3281 3284 3287 3290 3531 3532 3534 3535 3537 3540 3543 3546 3549 3552 3555 3558 4219 4281 4285 4292 4296 4299 4300 4302 4306 4329 4365 4366 4367 4369 4371 4384 4396 4397 4406 4450 4462 4463 4472 4517 4518 4519 4520 4521 4522 4523 4524 4525 4526 4626 6887 6888 6937 6938 0