| Name | application/leberre/ 2dimensionalstrippacking/E07N10.cnf |
| MD5SUM | 9221c4eb6c807704f36e7a0ab318c2cb |
| 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.368943 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1610 |
| Number of clauses | 6978 |
| Sum of the clauses size | 19039 |
| Maximum clause length | 15 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 16 |
| Number of clauses of size 2 | 3941 |
| Number of clauses of size 3 | 2488 |
| Number of clauses of size 4 | 120 |
| Number of clauses of size 5 | 200 |
| Number of clauses of size over 5 | 213 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Haifa-MUC-A 2011-04-07 (complete) | 3493958 | UNSAT | 0.368943 | 0.370126 |
| Haifa-MUC 2011-04-07 (complete) | 3494258 | UNSAT | 0.371943 | 0.373671 |
| Haifa-MUC 2011-04-07 (complete) | 3494558 | UNSAT | 0.409937 | 0.412119 |
| MUSer 2011-02-10 (complete) | 3481144 | UNSAT | 0.679896 | 0.684051 |
| MoUsSaka 2011-03-26 (complete) | 3495758 | UNSAT | 0.846871 | 0.848956 |
| PicoMUS 941 (complete) | 3483547 | UNSAT | 2.23666 | 2.23928 |
| OptimuS x100_source (complete) | 3495458 | UNSAT | 3.02854 | 3.02875 |
| MiniUnsat2 2011-02-22 (complete) | 3483247 | UNSAT | 5.29419 | 5.29696 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3482947 | UNSAT | 5.36418 | 4.57264 |
| OptimuS p100_source (complete) | 3495158 | UNSAT | 14.5408 | 14.5411 |
| OptimuS a100_source (complete) | 3494858 | UNSAT | 17.2084 | 17.2099 |
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 12 14 16 18 20 22 24 26 28 30 32 34 36 40 42 44 46 48 50 54 56 58 60 62 72 80 86 90 101 106 494 495 496 499 500 503 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 623 624 625 626 627 628 629 653 654 655 656 657 658 661 662 663 664 665 668 669 670 671 674 675 676 679 680 683 725 726 727 728 729 730 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 767 768 769 770 771 772 774 775 776 777 778 780 781 782 783 785 786 787 789 790 792 831 833 835 838 839 841 843 846 847 848 851 853 854 855 856 857 858 859 860 862 864 865 867 868 869 870 871 872 873 874 875 886 887 889 890 893 898 900 905 912 914 915 919 920 921 922 932 933 938 939 942 943 944 946 950 951 952 953 954 956 957 958 959 960 961 962 2314 2316 2317 2319 2320 2322 2323 2325 2326 2328 2329 2331 2332 2334 2335 2337 2338 2340 2341 2344 2346 2349 2352 2355 2358 2361 2364 2367 2370 2375 2378 2381 2384 2387 2390 2393 2396 2399 2402 2404 2406 2409 2412 2415 2418 2421 2424 2427 2430 2435 2464 2466 2469 2472 2475 2478 2481 2484 2487 2490 2494 2496 2497 2499 2500 2502 2503 2505 2506 2508 2509 2511 2514 2517 2520 2528 2531 2534 2537 2540 2543 2546 2613 2614 2616 2617 2619 2620 2622 2623 2625 2626 2628 2629 2631 2632 2634 2635 2637 2638 2640 2641 2644 2647 2650 2652 2655 2658 2661 2664 2667 2670 2678 2681 2684 2687 2690 2693 2696 2763 2766 2767 2769 2770 2772 2773 2775 2776 2778 2779 2781 2782 2785 2788 2790 2798 2801 2804 2807 2810 2813 2816 2819 2822 3071 3074 3077 3080 3083 3086 3089 3092 3123 3126 3130 3133 3135 3136 3138 3139 3141 3142 3144 3145 3147 3148 3150 3183 3186 3187 3189 3190 3192 3193 3195 3196 3198 3199 3201 3202 3204 3205 3207 3208 3210 3211 3214 3217 3220 3222 3225 3228 3231 3234 3237 3240 3341 3393 3396 3399 3402 3405 3406 3408 3409 3411 3412 3414 3415 3418 3421 3424 3427 3429 3430 3432 3433 3435 3436 3438 3439 3441 3442 3444 3447 3450 3614 3617 3620 3623 3626 3629 4168 4179 4180 4181 4182 4183 4184 4185 4186 4187 4188 4189 4201 4202 4223 4234 4236 4237 4238 4239 4240 4241 4242 4278 4289 4291 4292 4293 4294 4295 4296 4297 4333 4335 4336 4337 4338 4339 4340 4341 4342 4343 4435 4436 4437 4438 4439 4440 4441 4442 4465 4487 4498 4534 4564 4575 4634 4635 4636 4637 4638 4639 6649 6659 0